0
votes
2answers
34 views

Proving the arithmetic mean equals the geometric mean when $a=b$.

Arithmetic mean $a,b \in \mathbb R$ is $A(a,b)=\frac{a+b}{2}$ Geomtric mean $a,b \in\left[0,\infty\right]$ is $G(a,b)=\sqrt{ab}$ I'm trying to prove that $G(a,b)=A(a,b)$ if and only if $a=b$. ...
0
votes
2answers
53 views

Prove intersection of open balls is another open ball

I was wondering how I would prove that an intersection of two open balls is also another open ball. The definition I have of an open ball is: If x $\in X$ and $\epsilon > 0$, $B_{\epsilon}(x) :=$ ...
2
votes
4answers
69 views

Is this a valid proof for the existence of a rational number between any two real numbers?

Given $a, b \in \mathbb R$ with $a<b$, prove that there exists some $r \in \mathbb Q$ such that $a<r<b$. Before I prove the main statement, there's a lemma I'd like to prove: Lemma ...
2
votes
2answers
52 views

Surjectivity of a piecewise function $f:(-1,1)\to \mathbb R$

Function $f$ is defined as $f: (-1, 1) \to \mathbb{R}$. $$ f(x) = \begin{cases} -x/(x-1),&x\geq 0 \\ x/(x+1),&x \leq 0 \end{cases} $$ Let $y \in \mathbb{R}$. How would I prove that there ...
0
votes
1answer
55 views

Prove that a function is continuous at x =0

I need to prove that $f$ continuous at $(x)=0$ using a $\epsilon$- proof $$ f(x) = \begin{cases} x/(1-x),&x\geq 0 \\ x/(1+x),&x \leq 0 \end{cases} $$ So this is what I have so far: Let ...
0
votes
0answers
44 views

Prove that a defined function g is continuous for a certain point

Consider the set of rational numbers $\mathbb{Q}$ equipped with the subspace topology inherited from $\mathbb{R}$. Let $c \in \mathbb{R}$. Define the function $g_{c}: \mathbb{Q} \to \mathbb{Q}$ via: ...
0
votes
1answer
58 views

A set $A \subseteq \mathbb{R}$ is closed if and only if every convergent sequence in $\mathbb{R}$ completely contained in A has its limit in A

Real analysis is a topic I'm unfamiliar with and I'm confused on how to write proofs on them. In order to prove that: A set $A \subseteq \mathbb{R}$ is closed (1) $\iff$ Every convergent sequence in ...
2
votes
2answers
75 views

Proving Lebesgue integration result

I have a Lebesgue integration question and a proposed proof. Please advise. Let $\Omega \subset \mathbb{R}^{n}$(denote the boundary as $\partial \Omega$) and consider $$\int_{\partial \Omega} vf ...
0
votes
3answers
92 views

Proving Riemann Sums via Analysis

Exercise $\bf 5.1.7$: Suppose $f:[a,b]\to\Bbb R$ is Riemann integrable. Let $\epsilon\gt0$ be given. Then show that there exists a partition $P=\{x_0,x_1,\ldots,x_n\}$ such that if we pick any set ...
1
vote
0answers
47 views

Euler proof of the formula for factorial?

Let me be formal and write the formula Euler's Formula: Let a and n by nonnegative integers with $a\geq n.$ Then $$n!=a^n-\binom{n}{1}(a-1)^n+\binom{n}{2}(a-2)^n-\binom{n}{3}(a-3)^n+ ...
0
votes
2answers
63 views

Proof that doesn't exists a rational $s$ such that $s^2 = 6$

Well, I solved it, and I would like to know if there is anything that can be corrected or improved here. I think that the proof ended up too long, and with too many letters. Surely there is a better ...
0
votes
2answers
75 views

Showing convergence rigourously

So I have $f_n(x) = x^{4n} + \frac1{n^2}$ which I know converges to $f(x)=0$ uniformly on interval $[0,1)$, but how can I show this with rigour? Is this acceptably rigourous? $\lim ...
1
vote
4answers
33 views

Lowest possible value of a function with derivative greater than 2

I have the following two problems, and want to attempt to solve them with Mathematical rigour(which I don't yet possess): Suppose that $f$ is differentiable on $[1,4]$ and is such that $f(1) = 10$ ...
0
votes
0answers
26 views

U-substitution proof by partitions

I am trying to prove integration by substitution, i.e. for $f:[c,d] \rightarrow \mathbb{R}$ continuous and $\phi: [c,d] \rightarrow [a,b]$ continuous on $[c,d]$ and $C^1$ on $(c,d)$. Then define ...
1
vote
2answers
41 views

Show a double-sided infinite integral of $\sin(x+b)$ exists iff $b=n\pi$

More formally: Show that $$\lim_{a\rightarrow \infty} \int_{-a}^a \sin(x+b)$$ exists if and only if $b=n\pi$ for some $n \in \mathbb{Z}$. I get the intuition fine. The function is just a horizontal ...
4
votes
0answers
76 views

Proving u-substitution the hard way — use only definition of integration with partitions

I am trying to prove integration by substitution, i.e. for $f:[c,d] \rightarrow \mathbb{R}$ continuous and $\phi: [c,d] \rightarrow [a,b]$ continuous on $[c,d]$ and $C^1$ on $(c,d)$. Then define ...
4
votes
3answers
98 views

Existence of increasing sequence $\{x_n\}\subset S$ with $\lim_{n\to\infty}x_n=\sup S$

Let $S\subset\mathbb{R}$ be a non-empty bounded above set. Then there exists a monotone increasing sequence $\{x_n\}\subset S$ such that $$\lim_{n\to\infty}x_n=\sup S.$$ I'm struggling with ...
1
vote
0answers
33 views

Proof Validation Function From Integers to Rationals is Continuous

I am teaching myself real analysis, so any help is greatly appreciated. Let the function be defined as $F : Z \rightarrow Q$ where $Z$ is the set of integers and $Q$ is the set of rational numbers, ...
3
votes
1answer
50 views

$f'$ strictly increases and $f'(c)=0$. There exist $x_1 < c < x_2$ such that $f'(c)=\frac{f(x_2)-f(x_1)}{x_2 - x_1}$

Question: Let $f$ be continuous on $[a,b]$ and differentiable on $(a,b)$. Assume that $f'$ is strictly increasing. Show that for any $c\in(a,b)$ such that $f'(c)=0$, there exist $x_1, x_2 \in [a,b], ...
2
votes
0answers
62 views

Proof regarding derivatives and Mean Value Theorem.

Original question: $f$ is continuous on $[a,b]$ and differentiable on $(a,b)$. Show that for any $c \in (a,b)$ that is not a point of maximum or minimum for $f'$, there exist $x_1, x_2 \in (a,b)$ ...
3
votes
1answer
63 views

$f$ is differentiable. If $\lim_{x \to c}f'(x)$ exists, then this limit must be $f'(c)$.

Please prove: Let $f:(a,b) \to R$ be differentiable function, and let $c \in (a,b). $ If $\lim_{x \to c}f'(x)$ exists and is finite, then this limit must be $f'(c)$. I tried doing it directly but ...
0
votes
0answers
32 views

Show if this is integrable (defined 1 on rationals, 0 else)

Define $f: [0,1] \rightarrow \mathbb{R}$ as $f(x) = \begin{cases} 0 & x \in \mathbb{Q} \\ 1 & x \notin \mathbb{Q} \end{cases}$ Find $\underline{\int_0^1f}$ and $\overline{\int_0^1f}$. Is ...
1
vote
1answer
24 views

Inequalities involving x and y.

I am asked to prove: $(x-y)^3 \ge x^3-3x^2y$ where $x,y$ are real and $0 < y < x$ I am told Bernoulli's inequality may help. I have however reduced this to $3xy^2 - y^3 \ge 0$. I have ...
0
votes
1answer
45 views

Help with proof for solving an ODE using contraction mapping theorem

I'm trying to follow a proof for solving the ODE $$\frac{df}{dx} = (f(x)+x)x$$ For $0 \leq x \leq 1$ with the initial condition $ f(0)=0$. The proof I am following goes like this Define ...
6
votes
1answer
106 views

Rudin's 'Principle of Mathematical Analysis' Exercise 3.14

Since I'm studying real analysis using this book by myself, I'm not sure whether or not my method to prove convergence of sequence is right. I'm working on the above question's (d), and my solution ...
2
votes
2answers
31 views

Proving a theorem about the limit of a function

The theorem is as follows: $$\exists L\in\mathbb R\ \bigg(\lim_{x \to c}f(x)=L\bigg)\iff\forall\varepsilon>0\ \exists\delta>0\ \forall x_1,x_2\in B_{\delta}(c):|f(x_1)-f(x_2)|<\varepsilon$$ ...
0
votes
2answers
31 views

Show that $f$ is everywhere differentiable and the partials commute

Take the function $$ f(x,y) = \begin{cases}\frac{x^3y -xy^3}{x^2+y^2} & (x,y) \neq (0,0) \\ 0 & (x,y) = (0,0) \end{cases}. $$ Show that it is everywhere differentiable and that $D_{1,2}f(0,0)$ ...
0
votes
2answers
33 views

How to quantify this statement

How do I quantify this statement? Let $x \in \mathbb{R}$. $1 \le x \le 2$ if and only if $1 \le x \le 1+ 1/n$ for some $n \in \mathbb{N}$. When I am trying to prove this, I am led (in the course of ...
1
vote
1answer
40 views

Is there a more concise way?

I am currently trying to prove Taylor's Theorem, this is the proof I am given: I am finding this very long and hard to follow, can anyone give me a more concise, clear proof? Thanks
2
votes
1answer
46 views

Showing that if derivative is 0, function is constant ($f: U \rightarrow \mathbb{R}$ where $U \subset \mathbb{R}^n$)

Here's the question: Suppose that $f: U \rightarrow \mathbb{R}$ is differentiable on the open subset $U\subset \mathbb{R}^n$, and $Df(x) =0$ for all $x\in U$. Show that $f$ is constant on $U$. My ...
0
votes
0answers
10 views

prove where $f(x,y) = \sqrt{|x| + |y|}$ is differentiable and is not differentiable [duplicate]

Classify where $f(x,y) = \sqrt{|x| + |y|}$ is differentiable -- where it's not, prove it, and where it is, prove it. For $x\neq 0$ and $y\neq 0$, we can just treat it as $f(a,b) = \sqrt{a+b}$ (where ...
0
votes
1answer
42 views

Suppose that the sequence of prices{$p_k$} converges to a limiting price $\bar p$. What must $\bar p$ be?

We let $Q_k$ denote the supply of commodity, $D_k$ the demand for the commodity, and $p_k$ the price at $k$-th time. The demand depends on the current price, $D_k = a + b p_k$ and the supply depends ...
0
votes
1answer
45 views

General conceptual confusion relating to vacuous proofs and quantifier help

I need to prove the statement: Let $x \in \mathbb{R}$. Prove that $1 \le x \le 2$ if and only if $1 \le x \le 1+ 1/n$ for some $n \in \mathbb{N}$. So I start with the forward implication: If $1 ≤ ...
0
votes
1answer
54 views

When proving things how do I defer choosing a values?

The best example is what I've just tried to prove. Usually I do these proofs in 2 or 3 passes, or draw a margin to separate notes. In the example I want to defer picking an $\epsilon_f$ and ...
1
vote
0answers
44 views

Show that this is not differentiable at any point in $\mathbb{R}$

Define $\phi: \ \mathbb{R} \rightarrow \mathbb{R}$ by $$ \phi(x) = \begin{cases} x\ :\ 0\le x\le \frac{1}{2}\\ 1-x :\ \frac{1}{2} \le x \le 1 \end{cases}$$ And then extend ...
0
votes
1answer
53 views

Prove the least upper bound property using Bolzano Weierstrass theorem

Prove the least upper bound property using Bolzano Weierstrass theorem. I know there are quite a fair number of similar questions on the site, but none of them provide satisfactory proofs. Does ...
2
votes
1answer
175 views

Proof concerning equivalent definition of supremum using limits

I believe I have a proof to the following theorem: Let $S$ be a subset of $\mathbb{R}$ that is non-empty and bounded above. $s \in \mathbb{R}$ is the supremum iff $s$ is an upper bound of $S$ and for ...
0
votes
0answers
59 views

Let {$p_n$} be a sequence of points in the $\mathbb{R}^2$. Use the notion of convergence to solve the following

A) Define what it means for a point p $\in$ $\mathbb{R}^2$ to be a limit point of {$p_n$}. B) Prove that p is a limit point of {$p_n$} if and only if {$p_n$} has a subsequence which converges to p. ...
3
votes
0answers
74 views

My first simple direct proof (very simple theorem on real numbers). Please mark/grade.

What do you think about my first simple direct proof? What mark/grade would you give me? Besides, I am curious about whether you like the style. Theorem Let $I = [a,b]$ be a non-empty closed ...
1
vote
1answer
40 views

show that for any $n \in \mathbb{Z}$ gcd($n^2 - n + 1, n +1)$ is either $1$ or $3$.

show that for any $n \in \mathbb{Z}$ gcd($n^2 - n + 1, n +1)$ is either $1$ or $3$. My Work: I considered the case where $n =-1$ , and the case $n \not= 1$. So when $n\not= -1$ we can let $n^2 - ...
0
votes
3answers
30 views

Proving some number is a subsequential limit

Let $X_n$ be a sequence of real numbers. Suppose that for every $\epsilon>0$ and for every $m\in{N}$, there exists $n\geq m$ with $|x_n|<\epsilon$. Prove that 0 is a subsequential limit of the ...
1
vote
2answers
65 views

$\forall x \in \mathbb{R}$ show that $x=\sum_{n=1}^\infty k_na_n = \prod_{n=1}^{\infty}m_na_n$ …

Yet again, another cool problem from the book "problems in mathematical analysis" by Piotr & Witkowski: Prove that if $a_n \neq 0$, $n=1,2,\cdots$ and $\displaystyle \lim_{n \to \infty} a_n = 0$, ...
0
votes
1answer
74 views

Proving a Sequence Diverges

Let {${\alpha_n}$} be a sequence in $\mathbb R$ satisfying $|\alpha_n - \alpha_{n+1}|\geq c$ for some $c > 0$ and all $n \in \mathbb N$. Prove that the sequence {$\alpha_n$} diverges. I've looked ...
1
vote
3answers
58 views

Let $P(x)$ be any polynomial and suppose that $a_n \rightarrow a$. Prove $lim_{n\rightarrow\infty} P(a_n) = P(a)$

I know the limit rules but that's not helping me out much here this seems so simple but I don't even know where to start. I read the chapter on this and they don't do any examples like this. I ...
1
vote
4answers
126 views

Proving the inequality $|a-b| \leq |a-c| + |c-b|$ for real $a,b,c$

Let $a,b,c$ real numbers. Prove the inequality $|a-b| \leq |a-c| + |c-b|$. Prove that equality holds if and only if $a \leq c \leq b$ or $b \leq c \leq a$. I've tried starting with just $a \leq ...
0
votes
6answers
93 views

Suppose that $x$ and $y$ satisfy $\frac{x}{2} + \frac{y}{3} = 1$. Prove that $x^2 + y^2 > 1$.

Ok , i tried to prove this via Contrapositive setting $x^2 + y^2 \le 1$. After doing some algebra i have arrived at $x \le \sqrt{-y^2}$. I'm fairly sure this isn't right. I also solved for x and y in ...
1
vote
0answers
85 views

So we don't need to choose delta, epsilon, or $N \in \mathbb{N}$ in delta-epsilon or sequence convergence proofs?

(http://math.stackexchange.com/a/700667/85079) I would write the proof with all my bounds $\eta$ and then choose $\eta$ to make the conclusion match the arbitrary $\epsilon$. ...
0
votes
2answers
73 views

Prove that there is a real solution of $x=e^{-x}$

I know I have to use the intermediate value theorem but how?
2
votes
2answers
82 views

Another Epsilon-N Limit Proof Question

How to prove the limit of the following sequence using epsilon-N argument. $$a_n=\frac{3n^2+2n+1}{2n^2+n}$$ I took the limit to be $\frac{3}{2}$ and proceeded with the argument, ...
0
votes
3answers
51 views

Help with proof of continuous functions with neighborhood value $N$.

Prove that if $f(x)$ and $g(x)$ are continuous at $c$ and $f(c) < g(c)$ then there is a neighborhood $N$ of $c$ such that $f(x) < g(x)$.