2
votes
2answers
73 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
89 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
39 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
59 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
73 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
72 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 ...
3
votes
3answers
94 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
32 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
61 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
43 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
98 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
29 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
32 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
43 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
44 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
53 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
50 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
156 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
58 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
72 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
120 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
92 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
77 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
78 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
49 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)$.
0
votes
2answers
72 views

Prove that if M = supS for some nonempty bounded set S, then there exists an increasing sequence sn, of points S such that lim sn = M

Prove that if M = supS for some nonempty bounded set S, then there exists an increasing sequence sn, of points S such that lim sn = M Is this a monotone sequence? Do I need to use Cantor's principle
0
votes
3answers
48 views

Proving the sandwich theorem for $\lim_{n \to \infty} c_n$ if $a_n \leq c_n \leq b_n$ and $a_n, b_n \to c$

Suppose $\lim\limits_{n \rightarrow \infty} a_n =\lim\limits_{n \rightarrow \infty} b_n = c$ and $a_n \le c_n \le b_n$ for all $n$. Prove that $\lim\limits_{n \rightarrow \infty} c_n = c$. How ...
0
votes
2answers
129 views

How to prove the equation |xy|=|x||y| if we assume x and y are real numbers by using analysis. [closed]

Prove that if x and y are real numbers, then |xy|=|x||y|. Hint check all the cases. I tried assuming the left hand side equals the right hand side if we remove absolute values. Also, tried using the ...
0
votes
1answer
47 views

Strange derivative

In this proof: http://www.math.hmc.edu/calculus/tutorials/mean_value/proof_mean.html Why does $g'(x) = f'(x) - \frac{f(b)-f(a)}{b-a}$?
1
vote
1answer
24 views

Proof using sets and infinimums

Let $S$ and $T$ be nonempty sets of real numbers, bounded below. Prove that $$\inf(S\cup T) = \min \{\inf S,\inf T \} $$ So the answer almost seems obvious here, I get that obviously the inf of the ...
2
votes
1answer
21 views

Question with nonempty bounds and sets

Let $A$ and $B$ be nonempty sets of real numbers, bounded above and below. Prove that if $A\cap B$ is also nonempty, then $infB\leq supA$. So my train of thought goes like this: I'm picturing that ...
1
vote
0answers
35 views

Metric space, I would like to rewrite this proof, completeness and compactness

I am looking at metric spaces. For the metric space C(X,Y) the metric is: $\rho (f,g)=sup\{|f(x)-g(x)| :x \in X\}$ This is the proof I am reading about. I would like to do the proof without just ...