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

25
votes
3answers
2k views

Norm for pointwise convergence

Does there exist a norm on the space of all real-valued functions on the real line (or on an open set? a compact set?) such that convergence in this norm is equivalent to pointwise convergence?
25
votes
1answer
504 views

Prove the following integral inequality: $\int_{0}^{1}f(g(x))dx\le\int_{0}^{1}f(x)dx+\int_{0}^{1}g(x)dx$

Suppose $f(x)$ and $g(x)$ are continuous function from $[0,1]\rightarrow [0,1]$, and $f$ is monotone increasing, then how to prove the following inequality: $$\int_{0}^{1}f(g(x))dx\le\int_{0}^{1}f(x)...
25
votes
3answers
2k views

Norms on C[0, 1] inducing the same topology as the sup norm

This is an old homework problem of mine that I was never able to solve. The solution may or may not involve the Baire category theorem, which I am terrible at applying. Let $C[0, 1]$ denote the ...
25
votes
2answers
586 views

If $f'(x) = 0$ for all $x \in \mathbb{Q}$, is $f$ constant?

Let $f$ be a differentiable function on $\mathbb{R}$ such that $$f'(x)=0,\forall x\in \mathbb Q.$$ Prove or disprove that $$f(x)=c$$ for some constant $c$. I've heard this problem is true, but I'm ...
25
votes
2answers
2k views

Global invertibility of a map $\mathbb{R}^n\to \mathbb{R}^n$ from everywhere local invertibility

I was told by a tutor that if $f: \mathbb{R}^n \longrightarrow \mathbb{R}^n$ has an invertible Jacobian Matrix for all $x \in \mathbb{R}^n$ and $\lim_{|x_k| \rightarrow \infty}|f(x_k)|=\infty$ for all ...
25
votes
2answers
706 views

Writing real numbers as sums of zeros and ones

Call a number $\delta\in(0,1)$ "good" if it satisfies the following property: Every real number $a\in(0,1)$ can be written as an infinite sum of the form: $$a = \sum_{i=1}^\infty \delta^i a_i$$ ...
25
votes
2answers
710 views

Does there exist a sequence $\{a_n\}_{n\ge1}$ with $a_n < a_{n+1}+a_{n^2}$ such that $\sum_{n=1}^{\infty}a_n$ converges?

Does there exist a sequence $\{a_n\}_{n\ge1}$ with $a_n < a_{n+1}+a_{n^2}$ such that $\sum_{n=1}^{\infty}a_n$ converges? Does there exist a sequence with the same property but with each term ...
25
votes
2answers
874 views

How slow/fast can $L^p$ norm grow?

This is actually an exercise in Rudin's Real and Complex Analysis, $L^p$ spaces chapter. Could anyone help me out? Thanks in advance. Motivation: It's well known that if we have a function $f$ which ...
25
votes
1answer
870 views

Evaluate $\sum\limits_{k=1}^{\infty} \frac{k^2-1}{k^4+k^2+1}$

How to find $$\sum_{k=1}^{\infty} \frac{k^2-1}{k^4+k^2+1}$$ I try something like this: $$\begin{align*}\sum_{k=1}^{\infty} \frac{k^2-1}{k^4+k^2+1}=\sum_{k=1}^{\infty}\frac{k^2}{k^4+k^2+1}-\sum_{k=1}^...
25
votes
2answers
434 views

Measurability of $\xi$ in the mean value theorem

Suppose $f\in C^1(\mathbb{R})$, by mean value theorem, for any $x\in (0,\infty)$, there exists $\xi(x)\in (0,x)$ such that $$\frac{f(x)-f(0)}{x}=f'(\xi(x)).$$ My question is: Question: Can $\...
25
votes
1answer
1k views

Is the image of a nowhere dense closed subset of $[0,1]$ under a differentiable map still nowhere dense?

Let $f:[0,1]\to[0,1]$ be a continuous function such that its derivative $f'$ exists on $(0,1)$. My question is: Q1. If $E\subset[0,1]$ is a nowhere dense closed subset, is $f(E)$ also nowhere ...
25
votes
2answers
953 views

Number of local maxima of a function

Let $z_j$ ($j=1,\dots, k$) be $k$ points on the complex plane none of which lies on the real line. Is it always true that the function $$ F(x)=\sum_{j=1}^k \frac{1}{|x-z_j|^2} $$ has at most $k$ ...
25
votes
1answer
543 views

Smooth functions for which $f(x)$ is rational if and only if $x$ is rational

A friend of mine introduced me to the following question: Does there exist a smooth function $f: \mathbb{R} \to \mathbb{R}$ ($f \in C^{\infty}$), such that $f$ maps rationals to rationals and ...
24
votes
7answers
4k views

Why do introductory real analysis courses teach bottom up?

A big part of introductory real analysis courses is getting intuition for the $\epsilon-\delta$ proofs. For example, these types of proofs come up a lot when studying differentiation, continuity, and ...
24
votes
5answers
9k views

Density of irrationals

I came across the following problem: Show that if $x$ and $y$ are real numbers with $x <y$, then there exists an irrational number $t$ such that $x < t < y$. We know that $y-x>0$. ...
24
votes
4answers
4k 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 ...
24
votes
4answers
1k views

Maybe a rather famous integral

How to evaluate : $$\int_0^{\frac{\pi}{2}}\left(\frac{x}{\sin x}\right)^2\text{d}x$$ Thx guys! I was wondering how would use a series expansion?
24
votes
2answers
1k views

How local is the information of a derivative?

I have read it a thousand times: "you only need local information to compute derivatives." To be more precise: when you take a derivative, in say point $a$, what you are essentially doing is taking a ...
24
votes
1answer
1k views

Finding the limit of a sequence with an undesirable $\ln k$

I am trying to compute the limit of this sequence: $$\lim\limits_{n \to \infty} \dfrac{(-1)^nn^2}{n!} \sum\limits_{k=2}^{n}\binom{n}{k}(-1)^kk^{n-1}\ln k$$ I can compute without the $\ln k$ in the ...
24
votes
5answers
1k views

Were “real numbers” used before things like Dedekind cuts, Cauchy sequences, etc. appeared?

Just the question in the title, I'm trying to understand how something like analysis could be developed without formal constructions of the real numbers. I'm also very interested, if the answer is "...
23
votes
8answers
1k views

A proof of $\int_{0}^{1}\left( \frac{\ln t}{1-t}\right)^2\,\mathrm{d}t=\frac{\pi^2}{3}$

What is the proof of the following: $$\int_{0}^{1} \left(\frac{\ln t}{1-t}\right)^2 \,\mathrm{d}t=\frac{\pi^2}{3} \>?$$
23
votes
6answers
2k views

Proof that $\lim_{n\rightarrow \infty} \sqrt[n]{n}=1$

Thomson et al. provide a proof that $\lim_{n\rightarrow \infty} \sqrt[n]{n}=1$ in this book. It has to do with using an inequality that relies on the binomial theorem. I tried to do an alternate proof ...
23
votes
5answers
15k views

Is there a rational number between any two irrationals?

Suppose $i_1$ and $i_2$ are distinct irrational numbers with $i_1 < i_2$. Is it necessarily the case that there is a rational number $r$ in the interval $[i_1, i_2]$? How would you construct such ...
23
votes
3answers
6k views

Sum of two closed sets in $\mathbb R$ is closed?

Is there a counterexample for the claim in the question subject, that a sum of two closed sets in $\mathbb R$ is closed? If not, how can we prove it? (By sum of sets $X+Y$ I mean the set of all sums $...
23
votes
4answers
9k views

$\epsilon$-$\delta$ proof that $\lim\limits_{x \to 1} \frac{1}{x} = 1$.

I'm starting Spivak's Calculus and finally decided to learn how to write epsilon-delta proofs. I have been working on chapter 5, number 3(ii). The problem, in essence, asks to prove that $$\lim\...
23
votes
4answers
1k 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 \...
23
votes
2answers
9k views

Differentiating an Inner Product

If $(V, \langle \cdot, \cdot \rangle)$ is a finite-dimensional inner product space and $f,g : \mathbb{R} \longrightarrow V$ are differentiable functions, a straightforward calculation with components ...
23
votes
4answers
909 views

About the integral $\int_{-1}^1 \frac{1}{\pi^2+(2 \operatorname{arctanh}(x))^2} \, dx=\frac{1}{6} $

Here is a question that naturally arose in the study of some specific integrals. I'm curious if for such integrals are known nice real analysis tools for calculating them (including here all possible ...
23
votes
4answers
554 views

Prove that $\int_0^1 \frac{{\rm{Li}}_2(x)\ln(1-x)\ln^2(x)}{x} \,dx=-\frac{\zeta(6)}{3}$

I have spent my holiday on Sunday to crack several integral & series problems and I am having trouble to prove the following integral \begin{equation} \int_0^1 \frac{{\rm{Li}}_2(x)\ln(1-x)\ln^...
23
votes
2answers
2k views

Better Proofs Than Rudin's For The Inverse And Implicit Function Theorems

I am finding Rudin's proofs of these theorems very non-intuitive and difficult to recall. I can understand and follow both as I work through them, but if you were to ask me a week later to prove one ...
23
votes
3answers
2k views

Choice of $q$ in Baby Rudin's Example 1.1

First, my apologies if this has already been asked/answered. I wasn't able to find this question via search. My question comes from Rudin's "Princicples of Mathematical Analysis," or "Baby Rudin," ...
23
votes
2answers
814 views

How to prove that $\sum\limits_{n=1}^\infty\frac{(n-1)!}{n\prod\limits_{i=1}^n(a+i)}=\sum\limits_{k=1}^\infty \frac{1}{(a+k)^2}$ for $a>-1$?

A problem on my (last week's) real analysis homework boiled down to proving that, for $a>-1$, $$\sum_{n=1}^\infty\frac{(n-1)!}{n\prod\limits_{i=1}^n(a+i)}=\sum_{k=1}^\infty \frac{1}{(a+k)^2}.$$ ...
23
votes
2answers
501 views

How to prove $\sum_{n=0}^{\infty} \frac{1}{1+n^2} = \frac{\pi+1}{2}+\frac{\pi}{e^{2\pi}-1}$

How can we prove the following $$\sum_{n=0}^{\infty} \dfrac{1}{1+n^2} = \dfrac{\pi+1}{2}+\dfrac{\pi}{e^{2\pi}-1}$$ I tried using partial fraction and the famous result $$\sum_{n=0}^{\infty} \...
23
votes
2answers
530 views

Closed-form of $\sum_{n=1}^\infty\frac{(-1)^{n+1}}{n}\Psi_3(n+1)=-\int_0^1\frac{\ln(1+x)\ln^3 x}{1-x}\,dx$

Does the following series or integral have a closed-form \begin{equation} \sum_{n=1}^\infty\frac{(-1)^{n+1}}{n}\Psi_3(n+1)=-\int_0^1\frac{\ln(1+x)\ln^3 x}{1-x}\,dx \end{equation} where $\Psi_3(x)...
23
votes
1answer
902 views

Is the image of a Borel subset of $[0,1]$ under a differentiable map still a Borel set?

Let $f:[0,1]\to[0,1]$ be a continuous function such that its derivative $f'$ exists on $(0,1)$. Inspired by a similar question of myself here, I want to ask: If $E\subset[0,1]$ is a Borel set, is ...
23
votes
3answers
813 views

Compute $\int_0^\pi\frac{\cos nx}{a^2-2ab\cos x+b^2}\, dx$

How to compute the following integral \begin{equation} \int_0^\pi\frac{\cos nx}{a^2-2ab\cos x+b^2}\, dx \end{equation} I have been given two integral questions by my teacher. I cannot answer this ...
23
votes
2answers
3k views

If every real-valued continuous function is bounded on $X$ (metric space), then $X$ is compact.

Let $X$ be a metric space. Prove that if every continuous function $f: X \rightarrow \mathbb{R}$ is bounded, then $X$ is compact. This has been asked before, but all the answers I have seen prove the ...
23
votes
6answers
2k views

Is the theory of dual numbers strong enough to develop real analysis, and does it resemble Newton's historical method for doing calculus?

I've been interested in non-standard analysis recently. I was reading up on it and noticed the following interesting comment on the Wikipedia page about hyperreal numbers, right after giving an ...
23
votes
1answer
648 views

Is $\pi$ the best constant in this inequality?

Let $E$ be the set of completely monotonous functions on $[0,+\infty)$, that is $f \in C^\infty([0,+\infty))$ and $\forall\, n\geq 0,\forall\, x\geq 0,\quad(-1)^nf^{(n)}(x)\geq 0.$. For $f\in E$ and $...
23
votes
1answer
489 views

How should I calculate $\lim_{n\rightarrow \infty} \frac{1^n+2^n+3^n+…+n^n}{n^n}$

How should I calculate the below limit $$\lim_{n\rightarrow \infty} \frac{1^n+2^n+3^n+...+n^n}{n^n}$$ I have no idea where to start from.
23
votes
1answer
617 views

Can the chain rule be relaxed to allow one of the functions to not be defined on an open set?

I've written the question first, then the motivation behind it and lastly some background. Note that the question makes references to definitions and theorems written in the background bit at the end. ...
23
votes
2answers
1k views

Evaluating $\int_{0}^{\pi/4} \log(\sin(x)) \log(\cos(x)) \log(\cos(2x)) \,dx$

What tools would you recommend me for evaluating this integral? $$\int_{0}^{\pi/4} \log(\sin(x)) \log(\cos(x)) \log(\cos(2x)) \,dx$$ My first thought was to use the beta function, but it's hard to ...
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} \...
22
votes
4answers
2k views

thoughts about $f(f(x))=e^x$

I was thinking, inspired by mathlinks, precisely from this post, if there exists a continuous real function $f:\mathbb R\to\mathbb R$ such that $$f(f(x))=e^x.$$ However I have not still been able to ...
22
votes
3answers
575 views

Compute $\sum_{k=0}^{\infty}\frac{1}{2^{k!}}$

How could the series below be computed ? $$\sum_{k=0}^{\infty}\frac{1}{2^{k!}}$$ It's not a series from a book, but a series I thought of many times, and I didn't manage to figure out what I should do ...
22
votes
4answers
669 views

Evaluating $\sum\limits_{n=1}^{\infty} \frac{1}{n\operatorname{ GPF}(n)}$, where $\operatorname{ GPF}(n)$ is the greatest prime factor

$\operatorname{ GPF}(n)=$Greatest prime factor of $n$, eg. $\operatorname{ GPF}(17)=17$, $\operatorname{ GPF}(18)=3$. How to evaluate convergence/divergence/value of the sum $$\sum_{n=1}^{\infty} \...
22
votes
2answers
666 views

Can we make $\tan(x)$ arbitrarily close to an integer when $x\in \mathbb{Z}$?

My 7-year-old son was staring at the graph of tan() and its endlessly-repeating serpentine strokes on the number line between multiples of $\pi$ and he asked me the question in the title. More ...
22
votes
3answers
662 views

Local maxima of Legendre polynomials

When I plotted the (normalized) Legendre polynoials, I couldn't help noticing that all the local maxima lay on a really nice curve: What is the equation of the curve (and how can we arrive to that ...
22
votes
2answers
515 views

Distance from $x^n$ to lesser polynomials

I am interested in the $L_1$ distance of $x^n$ to the $\mathbb R$-span of $\{1,x,\ldots,x^{n-1}\}$ over some interval. We can WLOG consider the interval $[0,1]$ (say) because scaling and shifting only ...
22
votes
1answer
1k views

A smooth function's domain of being non-analytic

I am wondering how much a smooth function may be non-analytic, because in proofs, whilst there non-analytic smooth functions, it would suffice if a smooth function were analytic on only a "small set". ...