Questions tagged [real-analysis]

For questions about real analysis, a branch of mathematics dealing with limits, convergence of sequences, construction of the real numbers, the least upper bound property; and related analysis topics, such as continuity, differentiation, and integration through the Fundamental Theorem of Calculus. This tag can also be used for more advanced topics, like measure theory.

Real analysis is a branch of mathematical analysis, which deals with the real numbers and real-valued functions. In particular, it deals with the analytic properties of real functions and sequences, including convergence and limits of sequences of real numbers, the limits of sequences of functions of real numbers, continuity, smoothness and related properties of real-valued functions.

It also includes measure theory, integration theory, Lebesgue measures and integration, differentiation of measures, limits, sequences and series, continuity, and derivatives. Questions regarding these topics should also use the more specific tags, e.g. .

132426 questions
171
votes
2 answers

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 real-valued and defined on a bounded interval.
user58273
  • 1,827
  • 3
  • 12
  • 3
168
votes
9 answers

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 often performed by replacing subexpressions by…
user9413
166
votes
29 answers

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 to Analysis" by Gaughan. While it's a good book,…
164
votes
6 answers

Induction on Real Numbers

One of my Fellows asked me whether total induction is applicable to real numbers, too ( or at least all real numbers ≥ 0) . We only used that for natural numbers so far. Of course you have to change some things in the inductive step, when you want…
Baju
  • 1,743
  • 3
  • 11
  • 8
161
votes
7 answers

Find a real function $f:\mathbb{R}\to\mathbb{R}$ such that $f(f(x)) = -x$?

I've been perusing the internet looking for interesting problems to solve. I found the following problem and have been going at it for the past 30 minutes with no success: Find a function $f: \mathbb{R} \to \mathbb{R}$ satisfying $f(f(x)) = -x$ for…
Gamma Function
  • 5,376
  • 8
  • 29
  • 48
160
votes
1 answer

What functions can be made continuous by "mixing up their domain"?

Definition. A function $f:\Bbb R\to\Bbb R$ will be called potentially continuous if there is a bijection $\phi:\Bbb R\to\Bbb R$ such that $f\circ \phi$ is continuous. So one could say a potentially continuous (p.c.) function is "a continuous…
M. Winter
  • 28,034
  • 8
  • 43
  • 92
153
votes
4 answers

Sum of random decreasing numbers between 0 and 1: does it converge??

Let's define a sequence of numbers between 0 and 1. The first term, $r_1$ will be chosen uniformly randomly from $(0, 1)$, but now we iterate this process choosing $r_2$ from $(0, r_1)$, and so on, so $r_3\in(0, r_2)$, $r_4\in(0, r_3)$... The set of…
148
votes
2 answers

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.
Marso
  • 31,275
  • 18
  • 107
  • 243
136
votes
16 answers

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. Can someone provide a nice proof that $$A(1,1) =…
133
votes
4 answers

Is it possible for a function to be in $L^p$ for only one $p$?

I'm wondering if it's possible for a function to be an $L^p$ space for only one value of $p \in [1,\infty)$ (on either a bounded domain or an unbounded domain). One can use interpolation to show that if a function is in two $L^p$ spaces, (e.g. $p_1$…
128
votes
7 answers

Is there an integral that proves $\pi > 333/106$?

The following integral, $$ \int_0^1 \frac{x^4(1-x)^4}{x^2 + 1} \mathrm{d}x = \frac{22}{7} - \pi $$ is clearly positive, which proves that $\pi < 22/7$. Is there a similar integral which proves $\pi > 333/106$?
anon
120
votes
5 answers

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 measure, how would one construct a Borel set $A…
user1736
  • 7,933
  • 7
  • 50
  • 60
119
votes
24 answers

Proofs of AM-GM inequality

The arithmetic - geometric mean inequality states that $$\frac{x_1+ \ldots + x_n}{n} \geq \sqrt[n]{x_1 \cdots x_n}$$ I'm looking for some original proofs of this inequality. I can find the usual proofs on the internet but I was wondering if someone…
117
votes
4 answers

How to show that a set of discontinuous points of an increasing function is at most countable

I would like to prove the following: Let $g$ be a monotone increasing function on $[0,1]$. Then the set of points where $g$ is not continuous is at most countable. My attempt: Let $g(x^-)~,g(x^+)$ denote the left and right hand limits of $g$…
AKM
  • 1,271
  • 2
  • 9
  • 6
117
votes
10 answers

Motivation for the rigour of real analysis

I am about to finish my first year of studying mathematics at university and have completed the basic linear algebra/calculus sequence. I have started to look at some real analysis and have really enjoyed it so far. One thing I feel I am lacking in…
1729
  • 2,057
  • 1
  • 11
  • 21