For questions about the writing of proofs. But instead of focusing the mathematics behind the proof, these questions ask about the details and implementation of the proof.

learn more… | top users | synonyms

0
votes
4answers
39 views

How can I prove that this matrices statement is false?

How can I prove that this is not true: If for matrices A, B and C, AB=AC and A is not the zeroth matrix, then B=C.
2
votes
1answer
21 views

Characterization of subsets of $\mathbb{R}^n$ of the form $X+Y$

The following comes from the mathematical tripos exam at Cambridge: Let $X,Y \subset \mathbb{R}^n$, and define $X+Y = \{x+y : x \in X, y \in Y\}$ Prove or disprove each of the following: (i) If ...
5
votes
2answers
92 views

Idea of a proof by contradiction

Is the idea of a proof by contradiction to prove that the desired conclusion is both true and false or can it be any derived statement that is true and false (not necessarily relating to the ...
3
votes
2answers
50 views

Proving that $\sum_{i=2}^n(5i-4)=\frac{n(5n-3)-2}{2}$ for all $n\geq 1$ by mathematical induction

I have this question: Show, using mathematical induction, that for all natural numbers $n$, $$6 + 11 + 16 + 21 + \cdots + (5n-4) = \frac{n(5n-3)-2}{2}$$ I am confused in that that question states ...
2
votes
2answers
31 views

Prove using Hilbert calculus $\forall x(Px\rightarrow x\equiv a)\vdash Pb\rightarrow Pa$, formal proof.

Prove: $\forall x(Px\rightarrow x\equiv a)\vdash Pb\rightarrow Pa$ Using Hilbert Calculus Format of solution: Step (my understanding) Solution: (1) $\forall x(Px\rightarrow x\equiv a)\vdash ...
1
vote
4answers
28 views

Does an arbitrary matrix $X \in M_{n \times p}$ have a SVD?

I have proven, as below, that if $X \in M_{n \times n}$ is symmetric, then it has a SVD. $D(\lambda_i) = \text{Diag}(\lambda_i)$ is a diagonal matrix with entries $\lambda_1, \lambda_2, \dots$. ...
0
votes
0answers
13 views

Prove that unitary normal vector to a manifold is $\nabla g / |\nabla g|$ [duplicate]

I want to solve the following exercise: Let $A\subset\mathbb{R}^n$ open $g:A\to\mathbb{R}$ of class $C^{1}$ and $g'(x)\not=0$ in each $x\in A$ then I want to compute $dV$ in the differentiable ...
2
votes
0answers
31 views

Using lipschitz estimate to show $|f_n(x) - f_p(x) - (f_n(c)-f_p(c))| \leq |b-a|\sup_{y \in (a,b)}|f'_n(y)-f_p'(y)|$

Assume $(f_n)$ is a sequence of functions that are continuous on $[a,b]$ and differentiable on $(a,b)$. Then using Lipschitz estimate to prove that $$|f_n(x) - f_p(x) - (f_n(c)-f_p(c))| \leq ...
3
votes
2answers
95 views

Prove ten objects can be divided into two groups that balances each other when placed on the two pans of balance. [closed]

There are 10 objects with total weight 20, each of the weight being a positive integer. Given that none of the weights exceed 10, prove ten objects can be divided into two groups that balances each ...
5
votes
1answer
30 views

Proof check, showing pointwise convergence

My problem is this: For $x \in [0,\frac{\pi}{2}]$, $f_n(x) = \frac{nx}{1 + n\sin(x)}$ Find the pointwise limit of $(f_n)$ for all $x \in [0, \frac{\pi}{2}]$ I am not sure if the way I constructed ...
2
votes
1answer
22 views

Prove that if $f$ is an invertible function and $g$ is an inverse, then the codomain of $g$ is equal to the domain of $f$ and vice versa

I am trying to show, without using the bijection properties, what is above. Assume $f$ is an invertible function and $g$ is an inverse of $f$. For $f \circ g $ to be well defined then the image of ...
0
votes
1answer
15 views

Placement of quantifiers in a symbolic statement

I have the statement: Let $A_n$ be an indexed set of numbers defined by $A_n = n\mathbb{Z}_{\geq m}$ for $n,m \in \mathbb{Z}$. Consider the claim C: For all $n$, if $x,y$ is in $A_n$, then ...
-2
votes
2answers
32 views

Help with Discrete Structures proof [on hold]

I don't have any clue how to do this $\sum\limits_{i=1}^n(-1)^{i-1}i^2 = (-1)^{n-1}n(n+1)/2$ whenever n is a positive integer. Please explain each step.
1
vote
2answers
31 views

Let $V$ be a $K$ - Vector Space, $f: V \rightarrow V$ a linear map. Under some condition, show that $v, f(v),…,f^n(v)$ is linear independent.

Let $V$ be a $K$ - Vector Space, $f: V \rightarrow V$ a linear map. Let $v \in V$. May a number $n ≥ 0$ exist, so that: $f^n(v) \not= 0$ and $ f^{n+1}(v) = 0$. Show that $v, f(v),...,f^n(v)$ is ...
13
votes
7answers
164 views

What are statements about the natural numbers where induction is impossible or unnecessary to prove?

I'm looking for statements like "for all natural numbers, ____" where induction would be impossible or unnecessarily complicated. This is for pedagogical reasons. When students first learn induction, ...
1
vote
2answers
23 views

Proving the well ordering principle

THe well ordering principle has that every subset of $\mathbb{Z}^+_0$ has a least element. or if $S$ is a non-empty subset of $\mathbb{Z}^+_0$ and $S = \{a_1, a_2, a_3 ... a_n\}$, then there is a ...
0
votes
3answers
31 views

Proof variance of Geometric Distribution

I have a Geometric Distribution, where the stochastic variable $X$ represents the number of failures before the first success. The distribution function is $P(X=x) = q^x p$ for $x=0,1,2,\ldots$ and ...
1
vote
1answer
298 views

Proof that arithmetic and geometric mean converge

I need some help with understanding a part of this proof and also writing it up correctly. Given $a_n\geq a_{n+1}\geq b_{n+1} \geq b_n$ with $a_1=a$ and $b_1=b$. I am also given that ...
0
votes
1answer
44 views

Contradiction proofs

I'm a first year Physics student and I have some trouble approaching Proofs by Contradiction in some of my Math classes. Once I get the first 2 or 3 statements I can finish the proof but a lot of the ...
-2
votes
4answers
33 views

Proof $log_{r} a = log_r s \cdot log_s a $ [on hold]

Do you know any proof of this logarithms property: $log_{r} a = log_r s \cdot log_s a $
2
votes
0answers
65 views

Geometric proof for Sophomore's dream

Is there a "visual proof" for sophomore's dream? $$\int_0^1 x^{-x}\,dx = \sum_{n=1}^\infty n^{-n}.$$ In the wikipedia article there are two algebraic proofs, but the integral and the summation has ...
-3
votes
2answers
42 views

How should I go about this proof? [closed]

Let $a,b > 0$ be real numbers. Prove that $2ab \leq (a+b)\sqrt{ab}$. I'm new to proofs and would like some help understanding how to approach this proof. Thank You.
2
votes
1answer
33 views

Why this set is the pole set of $z$?

Suppose $V\subset \mathbb P$ a projective variety, $z$ a rational function on $V$ and let's define $J_z=\{F\in k[X_1,\ldots, K_{n+1}\mid \overline Fz\in \Gamma_h(V)\}$ and $S_z$ the polo set of $z$, ...
2
votes
2answers
53 views

On provability within minimal logic

In its most naive form my question boils down to this: when is a proposition that is provable "by contradiction" also provable "directly"? IOW, is it possible to know, a priori, that a ...
9
votes
2answers
153 views

Proving $\sqrt{2}(a+b+c) \geq \sqrt{1+a^2} + \sqrt{1+b^2} + \sqrt{1+c^2}$

I've been going through some of my notes when I found the following inequality for $a,b,c>0$ and $abc=1$: $$ \begin{equation*} \sqrt{2}(a+b+c) \geq \sqrt{1+a^2} + \sqrt{1+b^2} + \sqrt{1+c^2} ...
2
votes
5answers
41 views

Prove that $X \subset Y \implies f^{-1}(X) \subset f^{-1}(Y)$

Let E and F be two sets and $f: E \to F $ be a function, and $X, Y \subset F$. Prove that $X \subset Y \implies f^{-1}(X) \subset f^{-1}(Y)$ My answer: Let $y \in X$, then $f^{-1}(y) \in ...
2
votes
1answer
32 views

Injection proof

Prove that if f is injective, then $f(A \cap B) = f(A)\cap f(B)$ My answer: i) $f(A \cap B) \subset f(A) \cap f( B )$ Take an $x \in A \cap B$. $x \in A \cap B \implies x \in A \land x \in B$ $x ...
1
vote
1answer
23 views

Prove $\vdash\forall x(\alpha\to\beta)\to(\exists x\alpha\to\exists x\beta)$

I want to show that: $\vdash\forall x(\alpha\to\beta)\to(\exists x\alpha\to\exists x\beta)$ I started my deduction as follows: $\vdash\forall x(\alpha\to\beta)\to(\forall ...
-2
votes
3answers
31 views

Prove that for any sets $A$ and $B$ there is a unique set $C$ such that $A ∆ C=B$

Using Venn diagram, I see that letting $C = A ∆ (A ∆ B)$ works. But I have trouble proving this using notations. Show me how to do the existence and uniqueness part of this proof.
1
vote
1answer
128 views

Eccentricity in corona product

I was studying about graph operation on wiki. Corona product of graphs $G_1$ and $G_2$, is the graph which is the disjoint union of one copy of $G_1$ and $|V_1|$ copies of $G_2$ ($|V_1|$ is the number ...
3
votes
1answer
106 views

Looking for help to clearly define a function that counts the number of twin primes in a range

My goal is to define a function that counts the number of twin primes between $q$ and $q^2$ where $q$ is any prime greater than $7$. I would like to do this using: The Sieve of Eratosthenes The ...
-2
votes
2answers
60 views

Proving that $A\cup\emptyset=A$ and $A\cap\emptyset=\emptyset$ [closed]

I need to prove that $A\cup\emptyset=A$, and $A\cap\emptyset=\emptyset$. It's seem like it's obvious, yet how can I prove it mathematically?
0
votes
1answer
27 views

The Change-making problem algorithm proof (at the dynamic programming method)

I saw here the algorithm for the "Change-making problem" (at the dynamic programming method). I saw it here: http://www.columbia.edu/~cs2035/courses/csor4231.F07/dynamic.pdf I'm trying to find a ...
1
vote
3answers
93 views

Prove $\frac{1}{n} =\frac{1}{n+1}+\frac{1}{n(n+1)}$ for all integers $n\in\Bbb Z$

I'm pretty sure that we need induction, since it's the format I had to use for previous problems similar to this (it isn't specified that it HAS to be an inductive proof, either, if there is another ...
0
votes
1answer
15 views

If $G$ is a connected graph with $n$ vertices and$ n - 1$ edges then $G$ is a tree, using Induction.

I am still new to proof methods and not sure if this is the correct use of induction. Base case: $n = 1$ has $0$ edges and is a tree. Assume every connected graph with $k$ vertices and $k-1$ edges ...
0
votes
0answers
31 views

Some proofs regarding Stirling numbers

I would like you to help me to prove two proofs correlated with Stirling numbers(the first one includes Stirling numbers of the second kind and the second one I guess Stirling numbers of the second ...
26
votes
4answers
1k views

What really is mathematical rigor? How can I be more rigorous?

I'm an undergraduate mathematics student who has received some constructive feedback from two instructors at the end of my exams. Namely, that I am a bit hand-wavey and not always very rigorous. While ...
2
votes
3answers
29 views

Base of the $\mathbb{R}$ vector space that contains all real functions: $f(x) \not= 0$ for finitely many x $\in\mathbb{R}$

I did already prove that this is a vector space. It is easily shown that addition and scalar multiplication with functions that hold the above property again yields a function with $f(x) \not= 0$ for ...
2
votes
2answers
64 views

Is it ok to do this change of variable in integration: let $x = x - 1$

In integrals like $\int \sqrt{x-1}\,dx$, is it ok to make this change of variable in integration: "let $x = x - 1$"? It looks sketchy — like saying, let 5 = 4.
3
votes
2answers
72 views

Theorem 7.2 in General Topology by S. Willard

Theorem 7.2 If $X$ and $Y$ are topological spaces and $f:X \to Y$ , then the following are all equivalent :- I) $f$ is continuous. II) for each E $\subset X$ , $f(\bar E) \subset ...
2
votes
1answer
43 views

Proving $R(3,4)\le 9$

I am trying to prove $R(3,4)\le 9$. This is my approach: For any $K_9$ we have (WLOG) at least 4 red edges by the pigeonhole principle. Consider all of the edges between these 4 red edges, if ...
1
vote
1answer
27 views

An equation to prove with terms of Fibonacci sequence

I would like to prove an equation but I have stuck. The equation that is to prove is the below: $f(n)^2 + (-1)^{n+1} = f(n+1)f(n-1) , n \ge 2$. I'm trying to do an inductive proof of this equation. ...
1
vote
1answer
16 views

Proving that in a complete graph $\lambda(K_{n}) = \delta(K_{n})$

Since $K_{n}$ is n-1 regular. Then $\lambda(G)$ must be n-1. Since $\lambda(K_{n}) \leq \delta(K_{n})$ then by definition they must be equivalent. Can I use the definition or should I say since ...
42
votes
9answers
7k views

Is an irrational number odd or even?

My sister just asked this question to me: "Is an irrational number odd or even?" I told her that decimals are not odd or even and that does imply that not recurring and non repeating decimals will ...
1
vote
1answer
18 views

Proving that in a complete graph $\kappa(K_{n}) = \delta(K_{n})$

Since $K_{n}$ is n-1 regular. Then $\delta(G)$ must be n-1. Since $\kappa(K_{n}) \leq \delta(K_{n})$ then by definition they must be equivalent. Am I approaching this proof the right way?
9
votes
2answers
11k views

What is the proof that covariance matrices are always semi-definite?

Suppose that we have two different discreet signal vectors of $N^\text{th}$ dimension, namely $\mathbf{x}[i]$ and $\mathbf{y}[i]$, each one having a total of $M$ set of samples/vectors. ...
3
votes
3answers
88 views

Prove that if $B$ is similar to $A$, then $B^T$ is similar to $A^T$ .

If two matrix ($A$ and $B$) are similar if there exists an invertible matrix $P$, such that: $$ B=P^{-1} A P $$ I'm thinking if I can prove that $A$, $B$ , $A^T$ and $B^T$ have the same characteristic ...
0
votes
2answers
25 views

Understanding Proof that $\mathbb{R} \setminus A$ is dense. Verify proof.

Here's the proof I was given but with two minor? differences Proposition.- If $A$ is countable then $\mathbb{R} \setminus A $ is dense. Proof: Suppose otherwise, then there exists real numbers $a$ ...
1
vote
0answers
22 views

Developing proof writing and logical skills

What resources can a person turn to in order to develop their proof writing and logical skills? The advanced calculus course I'm taking has made me realize how weak my logic and proof writing skills ...
0
votes
2answers
59 views

$\mathbb{R}$ is uncountable with Cantors Diagonal argument (how to improve binary expansion specificity?)

I know it's spelled out more than usual, but this is an introduction to higher math class. If there's any way I can improve this, please let me know. Thank you in advance. Let ...