Theoretical foundations of calculus: limits, convergence of sequences, construction of the real numbers, least upper bound property, and related analysis topics such as continuity, differentiation, and integration through the fundamental theorem of calculus.

learn more… | top users | synonyms

155
votes
21answers
12k views

Zero to the zero power - Is $0^0=1$?

Could someone provide me with good explanation of why $0^0 = 1$? My train of thought: $x > 0$ $0^x = 0^{x-0} = 0^x/0^0$, so $0^0 = 0^x/0^x = ?$ Possible answers: $0^0 * 0^x = 1 * 0^x$, so ...
122
votes
6answers
10k views

How can you prove that a function has no closed form integral?

I've come across statements in the past along the lines of "function $f(x)$ has no closed form integral", which I assume means that there is no combination of the operations: addition/subtraction ...
28
votes
2answers
6k views

Examples of bijective map from $\mathbb{R}^3\rightarrow \mathbb{R}$

Could any one give an example of a bijective map from $\mathbb{R}^3\rightarrow \mathbb{R}$? Thank you.
79
votes
8answers
4k views

Evaluating $\lim_{n\to\infty} e^{-n} \sum\limits_{k=0}^{n} \frac{n^k}{k!}$

I'm supposed to calculate: $$\lim_{n\to\infty} e^{-n} \sum_{k=0}^{n} \frac{n^k}{k!}$$ By using W|A, i may guess that the limit is $\frac{1}{2}$ that is a pretty interesting and nice result. I ...
49
votes
5answers
7k views

How to define a bijection between $(0,1)$ and $(0,1]$?

How to define a bijection between $(0,1)$ and $(0,1]$? Or any other open and closed intervals? If the intervals are both open like $(-1,2)\text{ and }(-5,4)$ I do a cheap trick (don't know if ...
32
votes
2answers
3k views

Convergence a.e. and of norms implies that in Lebesgue space

Let $1\leq p < \infty$. Suppose that $\{f_k\} \subset L^p$ (the domain here does not necessarily have to be finite), $f_k \to f$ almost everywhere, and $\|f_k\|_{L^p} \to \|f\|_{L^p}$. Why is it ...
106
votes
1answer
5k views

How discontinuous can a derivative be?

There is a well-known result in elementary analysis due to Darboux which says if $f$ is a differentiable function then $f'$ satisfies the intermediate value property. To my knowledge, not many ...
68
votes
10answers
3k views

Proving an alternating Euler sum: $\sum_{k=1}^{\infty} \frac{(-1)^{k+1} H_k}{k} = \frac{1}{2} \zeta(2) - \frac{1}{2} \log^2 2$

Let $$A(p,q) = \sum_{k=1}^{\infty} \frac{(-1)^{k+1}H^{(p)}_k}{k^q},$$ where $H^{(p)}_n = \sum_{i=1}^n i^{-p}$, the $n$th $p$-harmonic number. The $A(p,q)$'s are known as alternating Euler sums. ...
19
votes
4answers
3k views

Sine function dense in $[-1,1]$

We know that the sine function takes it values between $[-1,1]$. So is the set $$A = \{ \sin{n} \ : \ n \in \mathbb{N}\}$$ dense in $[-1,1]$. Generally, for showing the set is dense, one proceeds, by ...
50
votes
5answers
3k views

Calculating the integral $\int_{0}^{\infty} \frac{\cos x}{1+x^2}\mathrm{d}x$ without using complex analysis

Suppose that we do not know anything about the complex analysis (numbers). In this case, how to calculate the following integral in closed form? $$\int_0^\infty\frac{\cos\;x}{1+x^2}\mathrm{d}x$$
33
votes
7answers
3k views

Comparing $\pi^{e}$ and $e^{\pi}$

How can I calculate without calculator or something like this the values of $\pi^{e}$ and $e^{\pi}$ in order to compare them ?
31
votes
2answers
3k views

Set of continuity points of a real function

I have a question about subsets $$ A \subseteq \mathbb R $$ for which there exists a function $$f : \mathbb R \to \mathbb R$$ such that the set of continuity points of $f$ is $A$. Can I characterize ...
36
votes
4answers
6k views

Construction of a Borel set with positive but not full measure in each interval

I was wondering how one can construct a Borel set that doesn't have full measure on any interval of the real line but does have positive measure everywhere. To be precise, if $\mu$ denotes Lebesgue ...
15
votes
5answers
686 views

Given $y_n=(1+\frac{1}{n})^{n+1}$ show that $\lbrace y_n \rbrace$ is a decreasing sequence

Given $$ y_n=\left(1+\frac{1}{n}\right)^{n+1}\hspace{-6mm},\qquad n \in \mathbb{N}, \quad n \geq 1. $$ Show that $\lbrace y_n \rbrace$ is a decreasing sequence. Anyone can help ? I consider the ...
27
votes
12answers
4k views

$\lim\limits_{n \to{+}\infty}{\sqrt[n]{n!}}$ is infinite

How do I prove that $ \displaystyle\lim_{n \to{+}\infty}{\sqrt[n]{n!}}$ is infinite?
9
votes
3answers
7k views

How to prove a sequence of a function converges uniformly?

For $n \in \mathbb{N}$, define the formula, $$f_n(x)= x/(2n^2x^2+8),\quad x \in [0,1].$$ Prove that the sequence $f_n$ converges uniformly on $[0,1]$, as $n \to \infty$. I know that the definition ...
82
votes
8answers
4k views

Self-Contained Proof that $\sum\limits_{n=1}^{\infty} \frac1{n^p}$ Converges for $p > 1$

To prove the convergence of $$\sum_{n=1}^{\infty} \frac1{n^p}$$ for $p > 1$, one typically appeals to either the Integral Test or the Cauchy Condensation Test. I am wondering if there is a ...
33
votes
2answers
3k views

What is the limit of $n \sin (2 \pi \cdot e \cdot n!)$ as $n$ goes to infinity?

I tried and got this $$e=\sum_{k=0}^\infty\frac{1}{k!}=\lim_{n\to\infty}\sum_{k=0}^n\frac{1}{k!}$$ $$n!\sum_{k=0}^n\frac{1}{k!}=\frac{n!}{0!}+\frac{n!}{1!}+\cdots+\frac{n!}{n!}=m$$ where $m$ is an ...
32
votes
4answers
3k views

Can there be two distinct, continuous functions that are equal at all rationals?

Akhil showed that the Cardinality of set of real continuous functions is the same as the continuum, using as a step the observation that continuous functions that agree at rational points must agree ...
47
votes
5answers
6k views

Completion of rational numbers via Cauchy sequences

Can anyone recommend a good self-contained reference for completion of rationals to get reals using Cauchy sequences?
68
votes
5answers
6k views

Why is $1^{\infty}$ considered to be an indeterminate form

From Wikipedia: In calculus and other branches of mathematical analysis, an indeterminate form is an algebraic expression obtained in the context of limits. Limits involving algebraic operations are ...
37
votes
4answers
2k views

Proof of Frullani's Theorem

How can I prove the Theorem of Frullani? I did not even know all the hypothesis that $f$ must satisfy, but I think that this are Let $\,f:\left[ {0,\infty } \right) \to \mathbb R$ be a a continuously ...
35
votes
8answers
2k views

Is $\lim\limits_{k\to\infty}\sum\limits_{n=k+1}^{2k}{\frac{1}{n}} = 0$?

Is it the case that $$\lim\limits_{k\to\infty}\sum\limits_{n=k+1}^{2k}{\frac{1}{n}} = 0$$ That is, does the "second half" of the harmonic series go to zero?
22
votes
3answers
1k views

No continuous function switches $\mathbb{Q}$ and the irrationals

Is there a way to prove the following result using connectedness? Result: Let $J=\mathbb{R} \setminus \mathbb{Q}$ denote the set of irrational numbers. There is no continuous map $f: \mathbb{R} ...
19
votes
4answers
11k views

Discontinuous derivative.

Could someone give an example of a ‘very’ discontinuous derivative? I myself can only come up with examples where the derivative is discontinuous at only one point. I am assuming the function is ...
34
votes
2answers
18k views

When can a sum and integral be interchanged?

Let's say I have $\int_{0}^{\infty}\sum_{n = 0}^{\infty} f_{n}(x)\, dx$ with $f_{n}(x)$ being continuous functions. When can interchange the integral and summation? Is $f_{n}(x) \geq 0$ for all $x$ ...
9
votes
1answer
23k views

Reverse Triangle Inequality Proof

I've seen the full proof of the Triangle Inequality \begin{equation*} |x+y|\le|x|+|y|. \end{equation*} However, I haven't seen the proof of the reverse triangle inequality: \begin{equation*} ...
28
votes
6answers
9k views

Does $ \int_0^{\infty}\frac{\sin x}{x}dx $ have an improper Riemann integral or a Lebesgue integral?

In this wikipedia article for improper integral, $$ \int_0^{\infty}\frac{\sin x}{x}dx $$ is given as an example for the integrals that have an improper Riemann integral but do not have a (proper) ...
16
votes
5answers
2k views

Nonzero $f \in C([0, 1])$ for which $\int_0^1 f(x)x^n dx = 0$ for all $n$

As the title says, I'm wondering if there is a continuous function such that $f$ is nonzero on $[0, 1]$, and for which $\int_0^1 f(x)x^n dx = 0$ for all $n \geq 1$. I am trying to solve a problem ...
35
votes
10answers
13k views

Any open subset of $\Bbb R$ is a at most countable union of disjoint open intervals. [Collecting Proofs]

This question has probably been asked. However, I am not interested in just getting the answer to it. Rather, I am interested in collecting as many different proofs of it which are as diverse as ...
28
votes
3answers
2k views

Every power series is the Taylor series of some $C^{\infty}$ function

Do you have some reference to a proof of the so-called Borel theorem, i.e. every power series is the Taylor series of some $C^{\infty}$ function?
45
votes
5answers
6k views

Evaluate the integral: $\int_{0}^{1} \frac{\ln(x+1)}{x^2+1} \mathrm dx$

Compute $$\int_{0}^{1} \frac{\ln(x+1)}{x^2+1} \mathrm dx$$
16
votes
2answers
2k views

On the equality case of the Hölder and Minkowski inequalites

I'm following the book Measure and Integral of Richard L. Wheeden and Antoni Zygmund. This is the problem 4 of chapter 8. Consider $E\subseteq \mathbb{R}^n$ a measurable set. In the following all the ...
18
votes
3answers
2k views

Continuity of the function $x\mapsto d(x,A)$ on a metric space

Let $(X,d)$ be a metric space. How to prove that for any closed $A$ a function $d(x,A)$ is continuous - I know that it is even Lipschitz continuous, but I have a problem with the proof: $$ |d(x,a) - ...
8
votes
3answers
547 views

Infinite Series $\sum_{n=1}^\infty\frac{x^{3n}}{(3n-1)!}$

How can we prove that? $$\sum_{n=1}^\infty\frac{x^{3n}}{(3n-1)!}=\frac{1}{3}e^{\frac{-x}{2}}x\left(e^{\frac{3x}{2}}-2\sin\left(\frac{\pi+3\sqrt{3}x}{6}\right)\right).$$ I think if we write the taylor ...
25
votes
3answers
3k views

Proving that $m+n\sqrt{2}$ is dense in R

I am having trouble proving the statement: Let $S = \{m + n\sqrt 2 : m, n \in\mathbb Z\}$. Prove for every $\epsilon > 0$, The intersection of $S$ and $(0, \epsilon)$ is nonempty.
32
votes
5answers
2k views

Evaluating $\int_0^\infty \sin x^2\, dx$ with real methods?

I have seen the Fresnel integral $$\int_0^\infty \sin x^2\, dx = \sqrt{\frac{\pi}{8}}$$ evaluated by contour integration and other complex analysis methods, and I have found these methods to be the ...
22
votes
1answer
4k views

Cardinality of Borel sigma algebra

It seems it's well known that if a sigma algebra is generated by countably many sets, then the cardinality of it is either finite or $c$ (the cardinality of continuum). But it seems hard to prove it, ...
21
votes
2answers
8k views

Does convergence in $L^{p}$ implies convergence almost everywhere?

If I know $\|f_{n}(x) - f(x)\|_{L^{p}(\mathbb{R})} \rightarrow 0$ as $n \rightarrow \infty$, do I know $\lim_{n \rightarrow \infty}f_{n}(x) = f(x)$ for almost every $x$?
20
votes
3answers
2k views

$f$ uniformly continuous and $\int_a^\infty f(x)\,dx$ converges imply $\lim_{x \to \infty} f(x) = 0$

Trying to solve $f(x)$ is uniformly continuous in the range of $[0, +\infty)$ and $\int_a^\infty f(x)dx $ converges. I need to prove that: $$\lim \limits_{x \to \infty} f(x) = 0$$ Would ...
11
votes
4answers
4k views

How does the existence of a limit imply that a function is uniformly continuous

I am working on a homework problem from Avner Friedman's Advanced Calculus (#1 page 68) which asks Suppose that $f(x)$ is a continuous function on the interval $[0,\infty)$. Prove that if ...
7
votes
5answers
2k views

Proof of Convergence: Babylonian Method $x_{n+1}=\frac{1}{2}(x_n + \frac{a}{x_n})$

a) Let $a>0$ and the sequence $x_n$ fulfills $x_1>0$ and $x_{n+1}=\frac{1}{2}(x_n + \frac{a}{x_n})$ for $n \in \mathbb N$. Show that $x_n \rightarrow \sqrt a$ when $n\rightarrow \infty$. I have ...
91
votes
9answers
6k views

Why is Euler's Gamma function the “best” extension of the factorial function to the reals?

There are lots (an infinitude) of smooth functions that coincide with f(n)=n! on the integers. Is there a simple reason why Euler's Gamma function $\Gamma (z) = \int_0^\infty t^{z-1} e^t dt$ is ...
19
votes
5answers
2k views

Perfect set without rationals

Give an example of a perfect set in $\mathbb R^n$ that does not contain any of the rationals. (Or prove that it does not exist).
10
votes
3answers
1k views

A vector space over $R$ is not a countable union of proper subspaces

I was looking for alternate proofs of the theorem that "a vector space $V$ of dimension greater than $1$ over an infinite field is not a union of fewer than $|\mathbf{F}|$ proper subspaces" and ...
38
votes
4answers
13k views

When can you switch the order of limits?

Suppose you have a double sequence $\displaystyle a_{nm}$. What are sufficient conditions for you to be able to say that $\displaystyle \lim_{n\to \infty}\,\lim_{m\to \infty}{a_{nm}} = \lim_{m\to ...
51
votes
17answers
29k views

Good book for self study of a First Course in Real Analysis

Does anyone have a recommendation for a book to use for the self study of real analysis? Several years ago when I completed about half a semester of Real Analysis I, the instructor used "Introduction ...
27
votes
1answer
4k views

Proving that the sequence $F_{n}(x)=\sum\limits_{k=1}^{n} \frac{\sin{kx}}{k}$ is boundedly convergent on $\mathbb{R}$

Here is an exercise, on analysis which i am stuck. How do I prove that if $F_{n}(x)=\sum\limits_{k=1}^{n} \frac{\sin{kx}}{k}$, then the sequence $\{F_{n}(x)\}$ is boundedly convergent on ...
20
votes
4answers
976 views

Prove $\int_0^{\infty}\! \frac{\mathbb{d}x}{1+x^n}=\frac{\pi}{n \sin\frac{\pi}{n}}$ using real analysis techniques only

I have found a proof using complex analysis techniques (contour integral, residue theorem, etc.) that shows $$\int_0^{\infty}\! \frac{\mathbb{d}x}{1+x^n}=\frac{\pi}{n \sin\frac{\pi}{n}}$$ for $n\in ...
14
votes
2answers
2k views

Multiples of an irrational number forming a dense subset

Say you picked your favorite irrational number $q$ and looking at $S = \{nq: n\in \mathbb{Z} \}$ in $\mathbb{R}$, you chopped off everything but the decimal of $nq$, leaving you with a number in ...