For questions concerning a specific proof, asking for verification, identifying errors, suggestions for improvement, etc.

learn more… | top users | synonyms

1
vote
2answers
26 views

How to get to $5^3 \geq n^3$ in the proof by contradiction?

This is the same problem asked here. - Next step to take to reach the contradiction? Here is it again. I understand the solution - how you want to get to the fact 100 divides n^2 and then go ...
1
vote
0answers
16 views

For what positive integer values $b,d$ does $(b^2-d)\mid(b^2-1)?$ hold?

I am curious about the answer to the following questions: And hope that you can help me For what positive integer values $b, d$ does $$(b^2-d)|(b^2-1)?$$ hold? Is it correct that the only ...
0
votes
0answers
17 views

Two example statements meant to demonstrate the importance of quantifier order don't appear to do so

In a book1 I have encountered the following: To check your understanding of [the importance of quantifier order], consider the following two statements. One is true, and the other is false. Which ...
0
votes
2answers
29 views

Prove that $\lim_{h \rightarrow 0} [f(x_{0} + h) - f(x_{0})] = 0 \Rightarrow \lim_{h \rightarrow 0} [f(x_{0} + h) - f(x_{0} - h)] = 0$

Prove: $\lim_{h \rightarrow 0} [f(x_{0} + h) - f(x_{0})] = 0 \Rightarrow \lim_{h \rightarrow 0} [f(x_{0} + h) - f(x_{0} - h)] = 0$ Proof: $\lim_{h \rightarrow 0} [f(x_{0} + h) - f(x_{0} - h)] = 0$ ...
2
votes
0answers
36 views

Proof Verification (Set Theory)

Let $S$ be a set with $N$ elements and let $A_1,\dots ,A_{101}$ be $101$ (possibly non disjoint) subsets of $S$ with the following properties: a) each element of $S$ belongs to at least one of these ...
1
vote
2answers
33 views

Induction proof concerning Pell numbers

Problem: The Pell numbers $p_n$ are defined by the recurrence relation \begin{align*} p_{n+1} = 2p_n + p_{n-1} \end{align*} for $n \geq 1$, together with $p_0 = 0$ and $p_1 = 1$. Prove with ...
0
votes
2answers
37 views

proving a limit by definition

given a sequence $a_n=a^{\frac{1}{n}}$ for $n\in\mathbb{N}^*$, $a\in\mathbb{R},a>1$ then proof that $\lim\limits_{n\to+\infty}a_n=1$ by definition. proof: given $a_n=a^{\frac{1}{n}}$ for ...
0
votes
1answer
21 views

AB = Identity matrix; matrices; determinants; proof

Let $M(n\times n, \mathbb Z)$ be the set of all $n\times n$- matrices with integer coefficients, and a matrix $A \in M$. Proof, that: There is exactly one matrix $B \in M(n\times n, \mathbb Z)$ with ...
0
votes
1answer
35 views

$\operatorname{rank}(A) = $max number of rows of submatrix $B$; Proof

I don't understand how to proof the following: The rank of a matrix $A \in M$ ($m \times n$, Field) equals the maximum number of rows of a square submatrix $B$ of $A$ with $\det (B) \neq 0$. The ...
0
votes
1answer
40 views

Elementary Operations on Sets

Let $X$ be a set with subsets $A$ and $B$. Prove: a). $X \setminus (X \setminus A) =A$. $X \setminus A$ is the set of all points of $X$ which do not belong to $A$. Given $p \in X$, we will show that ...
2
votes
1answer
34 views

$\sqrt{I}+\sqrt{J}=R$ implies $I+J=R$

Let $R$ be a commutative ring with unity and $I,J$ ideals of $R$. Suppose that $$ \sqrt{I}+\sqrt{J}=R $$ I want to show that this implies $I+J=R$. Take $r\in R$, then I can write $$ r=a+b, $$ for ...
0
votes
3answers
24 views

Proving if $a,b$ are even and $c$ is odd, then $ax+by=c$ doesn't have any solutions in $\mathbb N$

Let $a,b,c\in \mathbb Z$. Prove that if $a,b$ are even and $c$ is odd, then $ax+by=c$ doesn't have any solutions in $\mathbb N$. I get that sometimes this can acutally be false. Define ...
5
votes
3answers
58 views

Proving that if $a,b,c\in \mathbb N$ and $a^2+b^2=c^2$ then $abc$ is even.

Let $a,b,c\in \mathbb N$ and $a^2+b^2=c^2$ then $abc$ is even. My attempt: If one or two numbers of $a,b,c$ are even then we're done, so we'll have to show that at least one of them is even. ...
2
votes
3answers
50 views

Is this a valid way to prove that $\frac{d}{dx}e^x=e^x$?

$$e^x= 1+x/1!+x^2/2!+x^3/3!+x^4/4!\cdots$$ $$\frac{d}{dx}e^x= \frac{d}{dx}1+\frac{d}{dx}x+\frac{d}{dx}x^2/2!+\frac{d}{dx}x^3/3!+\frac{d}{dx}x^4/4!+\cdots$$ ...
0
votes
3answers
42 views

Prove or disprove: For every integer a, if a is not congruent to 0 (mod 3), the a^2 is congruent to 1 (mod 3)

Prove or disprove: For every integer a, if a is not congruent to 0 (mod 3), the a^2 is congruent to 1 (mod 3) SO this is for abstract algebra and I am really struggling with this. Here are some of ...
0
votes
1answer
26 views

My proof that there are primitive roots modulo $p^2$

Let $p$ be a prime number. I'd like to prove that there are primitive roots modulo $p^2$. Could someone check this argument? Note that if $r\in\mathbb Z$ is a primitive root modulo $p^2$, it must ...
1
vote
1answer
13 views

Proof by induction that for a complete simple and undirected graph that $|E|=\frac {n(n-1)} 2$

Prove with induction that for a complete simple and undirected graph that $|E|=\frac {n(n-1)} 2$ Base case is trivial. Suppose that for a graph with $n-1$ vertices we have $|E|=\frac ...
3
votes
1answer
35 views

Axler LADR Exercise

The exercise is: Suppose $v_1, \ldots , v_m$ is linearly independent in $V$ and $w \in V$. Prove that if $v_1+w, \ldots, v_m+w$ is linearly dependent, then $w \in \operatorname{span}(v_1, \ldots, ...
2
votes
1answer
23 views

$0\neq a\in \mathbb Q, b\in \mathbb R \setminus\mathbb Q \text{ (b is irrational)}$ Prove that $\frac a b$ is irrational.

$0\neq a\in \mathbb Q, b\in \mathbb R \setminus\mathbb Q \text{ (b is irrational)}$ Prove that $\frac a b$ is irrational. From defintion $a=\frac m n$ such that $m,n\in \mathbb Z, n\neq 0$. Take ...
-1
votes
1answer
17 views

question on proving inequalities [on hold]

If I need to prove $t(x) \ge0 $, for all $ x>0$ and I prove that $t(x) \gt 0 $, for all $ x>0$ does that make for a proof or is it wrong?
1
vote
1answer
33 views

Showing that the class of all sets of a particular cardinality is not a set.

How to show that the class of all sets of a particular cardinality ,say $h$ is not a set. My argument: I assume that I've shown the following lemma. Lemma: If $X$ is an infinite set of cardinality ...
1
vote
1answer
36 views

Question in analysis: subset of open interval in $\Bbb R$

Consider metric space $(X,d)$, $X=(a,b)\subset \Bbb R$, $d(x,y)= \lvert x-y \rvert$. Let a subset $S \subset (a,b)$ be open and closed. Show that either $S=(a,b)$ or $S= \emptyset$. There's a ...
-3
votes
0answers
37 views

Prove the inequality between the arithmetic and geometric mean

Assume that for $x_1,...,x_n\geq0$ we let $G=(x_1x_2\dots x_n)^{1/n}$ and $A=(x_1+x_2+...+x_n)/n$. I would like to know if the following procedure leads to a proof of $$G\leq A$$ The equality is ...
0
votes
1answer
44 views

If $\lim\limits_{z\to z_0} f(z)=0$ and $|g(z)|<M$, for all $z$, with $M$ being a positive number, then we have $\lim\limits_{z\to z_0} f(z)g(z)=0$.

Statement: If $\lim\limits_{z\to z_0} f(z)=0$ and $|g(z)|<M$, for all $z$, with $M$ being a positive number, then we have $\lim\limits_{z\to z_0} f(z)g(z)=0$. I just wanted to verify my proof ...
1
vote
0answers
36 views

Inverse property for groups Proof

I was wondering if (1) this proof is correct, and (2) if other proofs exist for the following: Prove that $(a_1a_2...a_n)^{-1}=a_n^{-1}a_{n-1}^{-1}...a_1^{-1}$ where $a_i \in $ a Group $G$ Proof by ...
0
votes
2answers
24 views

Help with proof about functions and subsets

Problem: let $f: A \rightarrow B$. Prove that $f$ is injective if and only if for all $D \subset A$ we have that $f^{-1}(f(D)) = D$. Proof: => Suppose $f$ is injective. Let $x \in f^{-1}(f(D))$. ...
1
vote
0answers
52 views

Is my understanding of the argument correct?

I worked through a proof of: $$ f(z) = {1\over 2 \pi i}\int_{\partial D} {f(w) \over w -z} dw$$ where $D\subset \mathbb C$ is an open disk and $f$ is holomorphic on $D$ and continuous on ...
1
vote
1answer
26 views

Proof of the second principle of mathematical induction

This was an exercise in my lecture notes for which no answer was provided, so I seek verification on whether my proof is correct. Prove that if 1. $P(n_0)$ is true for some $n_0 \in \mathbb N$, and ...
0
votes
0answers
21 views

Show that $\int_a^b f(x) dx=\lim_{n\rightarrow \infty} \sum_{k=0}^{n-1} \int_{x_k}^{x_{k+1}} f(x) dx$.

I've come up with a proof for the following statement, but I'm not quite sure it's 100% correct. I would appreciate any help: If $f$ is integrable on $[a,b]$, $x_0=a$, and $x_n$ is a sequence of ...
1
vote
2answers
65 views

$V$ is finite dimentional over field $K\iff$ field extension $L/K$ is finite

Let $L/K$ be a field extension and $V$ a non-zero vector space over $L$. Prove that: $V$ is finite dimensional over $K\iff V$ is finite dimensional over $L$ and $[L:K]<\infty$ for the first ...
0
votes
0answers
19 views

Conditional independence given elementary events implies conditional independence given $\sigma $-algebra

Proposition: Let $X$ be a continuous markov chain with discrete state space $S$. Let $Z$ be the corresponding jump chain and $\left\{ {{W_i},i \in \mathbb{N}} \right\}$ its holding times. Let ...
0
votes
3answers
39 views

Help me with proof concerning functions

Problem: Let $X$ and $Y$ be non-empty sets and let $f: X \rightarrow Y$ be a function. We define $F: P(Y) \rightarrow P(X)$ by $F(B) = f^{-1}(B)$ for all $B \in P(Y)$. Proof that $F$ is injective if ...
1
vote
0answers
23 views

Using Intermediate value theorem and Rolle's theorem

Find how many solutions $2\ln x+2x^2+7=0$ has. Define: $f(x)=2\ln x+2x^2+7$, derive it and equate to $0$: $f'(x)=0 \\ 2+4x^2=0$ The discriminant is negative so there are no solutions, so from ...
0
votes
1answer
30 views

Riemann Integral Property for Continuous, Monotonic, Non-negative Function

If $f$ is continuous, non-negative, and monotonically increasing function on $[0,∞)$, then prove that $\int^{x}_{0} f(t)dt\leq xf(x)$ $\forall x ≥ 0$ My attempt: Define $F(x)=\int^{x}_{0} f(t)dt$. ...
0
votes
1answer
32 views

Given the distribution of $X$ and $Y=-2\theta \ln X$. How is $Y$ distributed?

The pdf of $X$ is $f(x) = \theta x^{\theta-1},\enspace 0<x<1, \enspace 0<\theta<\infty.$ Let $Y=-2\theta \ln X.$ How is $Y$ distributed? My work: $$ \begin{align*} F(Y) = P(Y \leq y) ...
4
votes
0answers
35 views

Limit of continuous function

Prove or provide a counterexample: 1) $f: \mathbb{R} \rightarrow \mathbb{R}$ is continuous. If $(a_{n}) = f(n)$ converges to $L$, then $\lim_{x \rightarrow \infty} f(x) = L$. Counterexample: I ...
2
votes
3answers
61 views

prove or disprove (discrete math)

This the question: Q: Prove or disprove the following statement. The difference of the square of any two consecutive integers is odd This is working step: let $m,m+1$ be 2 consective ...
1
vote
2answers
65 views

Is it true that $a$ can't be zero in the quadratic function $y=ax^2+bx+c$?

I read that for $y=ax^2+bx+c$ is a quadratic function where $a\neq0$, but is it true that $a$ really can't be zero? I think it is because if $a$ was zero, there wouldn't be a parabola. There would ...
2
votes
1answer
40 views

How to adapt proof by contradiction showing that a sqrt(2) is irrational for sqrt(20)?

This example is from Discrete Math and its Applications I understand the steps the author is taking. First he assumes sqrt(2) is rational meaning that there exists integers a, and b such that ...
0
votes
1answer
28 views

Let $G$ be a connected graph, then $G$ is a tree iff $G$ has no cycles

Prove the following: Let $G$ be a connected graph, then $G$ is a tree $\iff$ $G$ has no cycles. $\Rightarrow$ If $G$ is connected and a tree then by the definition of tree it has no cycles. ...
2
votes
2answers
34 views

Integration by parts and $dx$ notation

Please overview this integral evaluation: $$ \int x^3 \arctan(x^2)dx = \frac{x^4}{4}\arctan(x^2) - \int \frac{1}{1+x^4}2x dx $$ Let's evaluate the right term: $$\int \frac{1}{1+x^4}\color{Blue}{2x ...
0
votes
1answer
9 views

Proof concerning indexed family of sets

Let $f: A \rightarrow B$ be a function. Let $I$ be a non-empty set, and let $\left\{U_i\right\}_{i \in I}$ be a family of sets indexed by $I$ such that $U_i \subset A$ for all $ i \in I$. Proof the ...
2
votes
1answer
37 views

Asymptotics of $\sum_{n\leq x}\tau_{k}\left(n\right)$

We define $\tau_{k}\left(n\right)$ to be the number of ordered $k$-tuples of positive integers with product equal to $n$. It is easily shown that this satisfies the recurrence relation ...
0
votes
1answer
26 views

$\lim_{x\to x_0 ;x\in X} f ( x)$ exists if f is a uniform continuous function and $x_0$ is an adherent point

Proposition: Let $X$ be a subset of $R$, let $f:X\to R$ be a uniformly continuous function, and let $x_0$ be an adherent point of $X$. Then $\lim_{x\to x_0 ;x\in X} f ( x)$ exists. Proof Take any ...
2
votes
1answer
22 views

Given a graph on $n$ vertices find the maximum amount of edges so it can be colored with no monochromatic $K_m$

I invented a problem and I wanted to share :What is the maximum amount of edges a graph on $n$ vertices can have if it can be edge-colored with $k$ colors so that it does not have a monochromatic ...
1
vote
1answer
29 views

Blockwise Symmetric Matrix Determinant

This question arises from another one of mine, but separate enough that I feel it deserves its own thread. Wikipedia says that $$det\begin{bmatrix}A&B\\B &A \end{bmatrix} = ...
0
votes
1answer
29 views

Prove every integral ideal $J$ is identical with $\Bbb{J}_m$ for some $m$.

Prove every integral ideal $J$ is identical with $\Bbb{J}_m$ for some $m$. Suppose $J \neq \{0\} = \Bbb{J}_0$. By the least integer principle, there exists an $m \in J$ such that $rm \in J$ in $r ...
2
votes
2answers
222 views

Is this logically valid?

$$1+\frac{1}{2}+\frac{1}{3}.....+\frac{1}{n-1} > ln(n)$$ and so, necessarily, $$1+\frac{1}{2}+\frac{1}{3}.....+\frac{1}{n-1}+\frac{1}{n} = 1+\frac{1}{2}+\frac{1}{3}.....+\frac{1}{n} > ln(n)$$ ...
0
votes
0answers
16 views

Convolution of negative binomial distribution w/ generalized binomial theorem

This is Exercise 3.1.1 from Achim Klenke: »Probability Theory — A Comprehensive Course«. Exercise: Show that $b^−_{r,p} \ast b^−_{s,p} = b^−_{r+s,p}$ for $r, s \in (0,\infty)$ and $p \in (0,1]$. ...
0
votes
1answer
24 views

Use the least integer principle to prove the following.

Least integer principle: Every non-empty set of positive integers has a least element. Using this fact, define $r$ to be the least integer for which $j - qk > 0$ where $j, k \in \Bbb{Z}$ ...