For questions about the formulation of a proof, not about the mathematics behind it.

learn more… | top users | synonyms

0
votes
1answer
48 views

Convergent conjecture: What is the proof?

Lets say that $\def\nn{\mathbb{N}}$$\def\rr{\mathbb{R}}$$K : \nn \to \rr$ and $\displaystyle \sum_{i=1}^\infty \frac{K(i)}{K(i+1)}$ is a convergent sum. My conjecture is that the function $K$ must be ...
1
vote
1answer
47 views

Let $A,B$, and $C$ be sets. If $A\subseteq B$, $B\subseteq C$, and $C\subseteq A$, then $A=C$.

Here is my abstract maths problem. Let $A,B$, and $C$ be sets. If $A\subseteq B$, $B\subseteq C$, and $C\subseteq A$, then $A=C$. I am asked to either prove or disprove this statement. I am a little ...
2
votes
0answers
177 views

Deformation retract of a triangle

Let $X \subset \mathbb{R}^2$ be a triangle equipped with the topology induced by the euclidean topology on $\mathbb{R}^2$ and let $Y \subset X$ be the subset made of two sides of the triangle. I need ...
1
vote
1answer
125 views

(Ir)rationality of Real Numbers

I am working on this proof and this is what I got so far, can someone help me verify if what I have done is right? For all real numbers $x$ and $y$, if $x+y$ is rational and $x-y$ is irrational ...
0
votes
1answer
251 views

Constructive Induction to derive and prove the formula for a geometric sequence

$\sum_{i=1}^nr^i = a \cdot (b^n) + c$ Base Case: n=1, this holds Inductive Hypothesis: Assume for $n = k$, $k \ge 1$ that $\sum_{i=1}^k r^i = a * (b^k) + c$. Inductive Step: Prove for $n = k+1$ ...
1
vote
2answers
26 views

Proof: Splitting triangle

Prove that, if ABC is a triangle with Angle A= 90 Degrees, Angle B=30 Degrees and C= 60 Degress, and W is the midpoint of the hypotenus, then the line connetcting W to A divides ABC into an ...
3
votes
1answer
87 views

Doubly stochastic matrix proof

A transition matrix $P$ is said to be doubly stochastic if the sum over each column equals one, that is $\sum_i P_{ij}=1\space\forall i$. If such a chain is irreducible and aperiodic and ...
1
vote
0answers
41 views

How to formally express a negative statement (in the wording or formulation of a theorem, for instance)

This is a doubt about English mathematical formal language. I would like to know the best way to express a negative hypothesis, in the formulation or statement of a theorem, proposition, etc., using ...
2
votes
3answers
80 views

How to prove $A=(A\setminus B)\cup (A\cap B)$ [duplicate]

How to prove $A=(A\setminus B)\cup (A\cap B)$. I have seen this problem and the solution is clear to me. Initially I was satisfied by my prove but now I think it is wrong. How I have proved ...
1
vote
2answers
70 views

Try to prove a generalization of the IVT?

Here is the statement : "Let $f: (a,b) \to \mathbb{R}$ a continuous function on $(a,b)$ with $a<b$ and $a,b \in \bar{\mathbb{R}}$. Then for all $u \in \left(\lim \limits_{x\to a} f(x), \lim ...
0
votes
1answer
34 views

If $ax + by = 8$, what is $\operatorname{gcd}(a, b)$?

Our instructor has given us this problem: If $ax + by = 8$, what is $\operatorname{gcd}(a, b)$? I'm confused. Is it not just $8$? Since, say, $\operatorname{gcd}(a, b) = n$, so there must exist ...
2
votes
1answer
91 views

If $P^r$ has all positive entries, then so does $P^n$

Let $P$ be the transition probability matrix of a Markov Chain. Argue that it for some positive integer r, $P^r$ has all positive entries, then so does $P^n$, for all integers $n\geq r$ I ...
2
votes
1answer
78 views

When is it mathematically correct to take a limit in certain expresions?

So now I managed to put together a couple of proofs, that each of them use a similar procedure in a crucial step, and I am not sure what are the requirements for this step to be true. First example: ...
1
vote
1answer
40 views

negation of a null sequence

I have that a sequence $\{a_n\}$ is null $\Leftrightarrow \forall \epsilon >0, \exists X$ such that $$|a_n| < \epsilon \ \forall n > X.$$ I want to give a definition when a sequence is not ...
2
votes
2answers
59 views

Proofs: Induction on Handshakes

Here is the problem: Suppose $n$ people are at a party, and some number of them shake hands. At the end of the party, each guest $G_i$, $1 \leq i \leq n$ shares that they shook hands $x_i$ times. ...
1
vote
2answers
73 views

An exercise problem in Axler Linear Algebra Done Right for linear mapping

So I have written down a proof but feel uncertain about whether it is valid or not, could somebody please Check it and, if there exists any gap, inform me? The question is the following (Chapter 3 ...
-1
votes
2answers
39 views

Set Theory Proof $A=B$ [closed]

Let $A$ be the set of all integers $x$ such that $x = 2k$ for some integer $k$ Let $B$ be the set of all integers $x$ such that $x = 2k+2$ for some integer $k$ Give a formal proof that $A = B$.
1
vote
2answers
44 views

Proof the statement

Given a finite aperiodic irreducible Markov Chain, prove that for some $n$ all terms of $P^n$ are positive. I'm little lost in how to prove that, but I know that: $i)$ If a Markov Chain is ...
1
vote
1answer
37 views

Confused about a quality of Existential Generalization and Instantiation

Let me preface the question with a "proof" $1. \exists yP(y) \quad Premise \\ 2. P(B) \quad \quad 1,E.I. \\ 3. \exists xP(x) \quad 2,E.G. $ However, I am not sure if it is to "safe" to say that ...
3
votes
1answer
35 views

Stochastic matrix proof

Every stochastic $n\times n$ matrix corresponds to a Markov chain for which it is the one-step transition matrix. However, not every stochastic matrix $n\times n$ is the two-step transition ...
2
votes
2answers
145 views

When does $i^x=x$

Can someone please help me solve $i^x=x$? So far I have: $$i^x=x$$ $$\frac{\ln(x)}{\ln(i)}=x$$ $$e^{i\pi}=-1$$ $$e^{i\pi/2}=i$$ $$\frac{\ln(x)}{\frac{i\pi}{2}}=x$$ $$\ln(x)=\frac{i x \pi}{2}$$ ...
0
votes
2answers
68 views

Prove there exists a bijective function $\left\{a,\cdots,b\right\}\rightarrow\left\{a+k,\cdots,b+k\right\}$ for $k\in\mathbb{N}$

I must prove that there exists a bijective function $\left\{a,\cdots,b\right\}\rightarrow\left\{a+k,\cdots,b+k\right\}$ for $k\in\mathbb{N}$ (this is not homework). This is the proof I've come up with ...
0
votes
1answer
39 views

Proving that a Binary Tree of $n$ nodes has a height of at least $\log(n)$.

For a homework assignment, I need to prove that a Binary Tree of $n$ nodes has a height of at least $log(k)$. I started out by testing some trees that were filled at every layer, and checking $log(n)$ ...
2
votes
2answers
36 views

Greatest common divisors equal?

Let $a,b$ be natural numbers. Show that $gcd(a^n,b^n)$ = ($gcd(a,b)^n)$ for any integer $n$. How I started was first proof by contradiction, and then tried to do an inductive proof when that didn't ...
2
votes
1answer
42 views

Parabolic range conditions proof

This problem is getting the better of me, since I have no idea where to start: The equation of a curve is $y=ax^2-2bx+c$, where a, b and c are constants with $a>0$. Given that the vertex of the ...
0
votes
1answer
50 views

Prove that $\{a_n\}$ is bounded [duplicate]

Let $\{a_n\}$ be a sequence an $L$ a real number such that $\lim_{n\to\infty} a_n = L$ Prove that $\{a_n\}$ is bounded This reminds me of the bounded monotone convergence theorem (BMCT) but in ...
-3
votes
1answer
52 views

Prove that $f(x)$ is continuous at $a$

Prove that $f(x)$ is continuous at $a$ $\iff$ for all sequences sequence $\{a_n\}$ with $\lim_{n\to\infty} a_n = a$, $\lim_{n\to\infty} f(a_n) = f(a)$ I have no idea how to start this. Should I use ...
0
votes
1answer
97 views

Two statements R and S are logically equivalent iff R $\iff$ S is a tautology.

How do prove the following statement: "Two statements R and S are logically equivalent iff R↔S is a tautology. without using a true table.Would I have to use cases? So far I have done so far is that ...
1
vote
3answers
199 views

Symmetric matrices and eigenvalues

If the eigenvalues of a symmetric matrix $A$ are greater than 0, show that $v^{\top}Av > 0$ for every $v \ne 0$ I am trying to prove this as follows: If $v$ is an eigenvector of $A$, then $Av ...
1
vote
4answers
61 views

How to use Cross Product Properites to do proof

How do I proceed with a proof for this question? Prove that: \begin{equation} (a \times b) \cdot (c \times d) = \begin{vmatrix} a \cdot c & b \cdot c \\ a \cdot d & b \cdot ...
0
votes
1answer
34 views

Proof the statements

Proof the statements below i)If $P(A)=0$ and $B$ is any event, then $A$ and $B$ are independents ii)If $P(A)=1$ and $B$ is any event, then $A$ and $B$ are independents iii)The events ...
4
votes
1answer
200 views

Is Alfred Tarski's Introduction to Logic still helpful for self study?

I am trying to setup a self study path to enhance my knowledge of mathematical logic. I haven't taken a logic course for a few years and my confidence on mathematical proofs is unnerving. I am ...
1
vote
1answer
53 views

Principle of well ordering

Every non-empty set $A\subset\mathbb{N}$ have a smallest element, i.e. an element $n_0\in A$ such that $n_0\leq n$ $\forall n\in\mathbb{A}$ Proof: Let $I_n=\{p\in\mathbb{N};p\leq n\}$ the set ...
1
vote
2answers
41 views

Logically Equivalance - Proofs

In terms of logical statements, is ($\exists$n $\in$ N)($\forall$ x $\in$ A)(nx >= 1) equal to ($\forall$x $\in$ A)($\exists$ n $\in$ N)(nx >= 1)? Also consider the following statements $\forall x ...
3
votes
2answers
63 views

Logical Statements - Proofs

Let $f$ be a real-valued function (a function with target space the set of reals). Let $P(x, M)$ stand for $|f(x)| \leq M $, let $N$ be the set of positive real numbers, and let $\mathbb{R}$ be the ...
0
votes
2answers
123 views

Is a proof by counterexample considered a proof by contradiction?

My question is already in the title. Let us look at some example. I would like to prove that a game $G(n,m,u)$ does not have a pure Nash equilibrium (PNE), for example. I did it like this: Suppose ...
0
votes
1answer
105 views

Seemingly simple logic question

I found this pleasant textbook on Proof Theory online and free: Introduction to Proofs, an Inquiry-Based approach To quote (page 9): 2.26 DEFINITION. A sequence $\langle x_0,x_1, . . . ...
1
vote
0answers
43 views

Rank of the sum of two rank 1 matrices, proof check

Claim: $(\forall u\in \mathbb{R}^2)$ $(\nexists(\delta,v)\in(\mathbb{R}, \mathbb{R}^2))$ such that $uu'+vv'=\delta \begin{pmatrix} 1 & 0\\0 & 0 \end{pmatrix}$. That is, for any vector $u$ of ...
0
votes
4answers
54 views

Logic, writing proof

i)Suppose that $x$ and $y$ are real numbers. Prove that if $x\neq 0$, then if $y=\frac{3x^2+2y}{x^2+2}$ then $y=3$ ii)Suppose that $x$ and $y$ are real numbers. Prove that if $x^2y=2x+y$, ...
0
votes
0answers
55 views

Principle of infinite descent

I'm trying to prove the following: "It is not possible to have a sequence of natural numbers which is in infinite descent. (Hint: assume for sake of contradiction that you can find a sequence of ...
2
votes
4answers
105 views

Non-standard model of $Th(\mathbb{R})$ with the same cardinality of $\mathbb{R}$

Let $\mathfrak{R}= ⟨\mathbb{R},<,+,-,\cdot,0,1⟩$ be the standard model of $Th(\mathbb{R})$ in the language of ordered fields. I need to show that there exists a (non standard) model of ...
2
votes
2answers
81 views

Number Theory- Mathematical Proof

I am trying to prove a theorem in my textbook using another theorem. What I need to show that if a,b, and c are positive integers, show that the least positive integer linear combination of a and b ...
0
votes
2answers
30 views

Prove that for all $x$, $y$ in $\mathbb{R}$ there exist $z$, $g$ such that $x = z + g$, $y = z - g$

if I want to prove the following: $\forall x, y \in \mathbb{R}\,\,\,\exists\,\,z, g : x = z + g, y = z - g$ Can the resolution of the following system act as a proof: $\begin{cases} x = z + g\\ y ...
4
votes
2answers
40 views

Check proof of some simple inequality

Can you check please my proof of this inequality? It's all right?
3
votes
1answer
67 views

Prove equality of Fibonacci sequence

Let $u(n)$ — the Fibonacci sequence. Prove that $$u(1)^3+...+u(n)^3=\frac{ 1 }{ 10 } \left[ u(3n+2)+(-1)^{n+1}6u(n-1)+5 \right].$$ I suppose we need prove that equality by iduction in $n$. ...
1
vote
0answers
19 views

Doob's submartingale stopping theorem in the context of the submartingale problem

Let $$X^\omega_f (t, w) = f(w(t)) - f(w(t \wedge \tau)) - \frac{1}{2} \int_{t \wedge \tau}^t \Delta f(w(s))\, ds$$ be a $P^\tau_\omega$-submartingale. 1) Why Doob's submartingale stopping theorem ...
0
votes
1answer
50 views

Proving an Iff Statement

Suppose we had a function defined over the complex numbers: $ f(x)= \begin{cases} 1&\text{if } x\in\mathbb{R}\\ 0&\text{if } x\not\in\mathbb{R} \end{cases} $ And we are asked to prove that ...
3
votes
3answers
68 views

Is it necessary and sufficient that $6$ divides $n^2$ for the positive integer $n$ to be divisible by $6$? [closed]

As the title suggests, is it a necessary and sufficient that $6$ divides $n^2$ for the positive integer $n$ to be divisible by $6$? Like, I understand the dictionary definitions of necessary and ...
7
votes
3answers
444 views

Some trouble with the induction

Prove, that for any positive integer $n \geqslant 2$ we have the inequality $$ \frac{ 4^n }{ n+1 } < \frac{ (2n)! }{ (n!)^2 }.$$ For $n=2$ the inequality is true. Directly just take and ...
0
votes
2answers
51 views

On proving $(f^{-1})'(b) = \frac{1}{f'(a)}. $ where $b = f(a)$.

Could somebody kindly provide a proof or a reference to a proof of this fact: Let $ I $ be an open interval, and suppose that $ f: I \to \mathbb{R} $ is one-to-one and continuous on $ I $. If $ f ...