# Questions tagged [real-analysis]

Real-valued functions of real variable, analytic properties of functions and sequences, limits, continuity, smoothness of these.

2,542 questions
813 views

### Is the absolutely continuous image of a nowhere dense set is also nowhere dense?

Let $f: [a, b] \subseteq \mathbb{R} \to \mathbb{R}$ be an absolutely continuous map. Does $f$ map a nowhere dense subset of $[a, b]$ to a nowhere dense set? Remarks: The answer is "no" if $f$ is ...
8k views

### Can Cantor set be the zero set of a continuous function?

More generally, can the zero set $V(f)$ of a continuous function $f : \mathbb{R} \to \mathbb{R}$ be nowhere dense and uncountable? What if $f$ is smooth? Some days ago I discovered that in this proof ...
690 views

### Partition of R into midpoint convex sets

We say that a subset $X$ of $\mathbb{R}$ is midpoint convex if for any two points $a,b\in X$ the midpoint $\frac{a+b}{2}$ also lies in $X$. My question is: is it possible to partition $\mathbb{R}$ ...
335 views

1k views

### Can a continuous, nowhere differentiable function have specified “shape” at every point?

I'm a bit embarrassed to admit that: a) This is a rather unmotivated question. b) I can't remember whether or not I've asked this before, but searching doesn't seem to turn anything up so ... ...
3k views

### existence of antiderivatives of nasty but elementary functions

In discussing with my honors calculus class the fact that some continuous elementary functions do not have an elementary antiderivative, I realized I was unsure whether every discontinuous elementary ...
807 views

### Text/structure for an analysis course for students with pre-existing understanding of some applied aspects of analysis

Greetings, I'm teaching a one-off course (perhaps never to be repeated) in a curriculum that's in transition, and I'm looking for advice on a textbook, or stories from people who have taught similar ...
27k views

### solving $f(f(x))=g(x)$

This question is of course inspired by the question How to solve f(f(x))=cosx and Joel David Hamkins' answer, which somehow gives a formal trick for solving equations of the form $f(f(x))=g(x)$ on a ...
5k views

### Best way to teach concept of real numbers using a hands-on activity?

I know a middle school math teacher looking for some suggestions for hands-on activities to teach the concept of real numbers. I'm new to this site, so this may be a little off topic.
3k views

### completeness axiom for the real numbers

Do any treatises on real analysis take the following as the basic completeness axiom for the reals? "Let $A$ and $B$ be set of real numbers such that (a) every real number is either in $A$ or in $B$; ...
2k views

### Hausdorff Dimension and Hölder Continuity

Suppose we have a curve γ : [0,1] -> ℝn. It is well known that if this curve is Hölder continuous for some exponent α then the Hausdorff dimension of γ[0,1] is bounded above ...
883 views

### Which functions are Wiener-integrable?

I'm looking for either a few precise mathematical statements about Wiener integrals, or a reference where I can find them. Background The Wiener integral is an analytic tool to define certain "...
315 views

1k views

### Dependence of error on mesh for Riemann sums

Suppose $f$ is continuous on $[a,b]$ with $I = \int_a^b f(x)\: dx$, and for every $\epsilon > 0$ let $\delta(\epsilon)$ be the largest $\delta > 0$ such that every Riemann sum arising from a ...
569 views

### Approximation of a Sobolev function that has vanishing trace on the reduced boundary of a Caccioppoli (i.e. finite perimeter) set

For $\Omega\subset\mathbb{R}^N$ open and bounded, let $W^{1,p}(\Omega)$ denote the usual Sobolev space of $L^p(\Omega)$ functions with weak partial derivatives in $L^p(\Omega)$ and $W_0^{1,p}(\Omega)$ ...
539 views

### Explicit bounds for the asymptotics of oscillatory integrals

Recall the following theorem (c.f. LC Evans, M Zworski, "Lectures on semiclassical analysis", Theorem 3.15, depending on the version): Theorem: Let $\varphi: \mathbb R^n \to \mathbb R$ be smooth and ...
865 views

### Why is this generality in Vitali's Lemma useful?

In Vitali's Lemma it uses outer measure rather than measure. What are some results that depend on it this theorem applying to sets with only outer measure rather than measurable sets? Vitali's Lemma: ...
3k views

### Rolle's theorem in n dimensions

This looks like a statement from a calculus textbook, which perhaps it should be. "Rolle's theorem". Let $F\colon [a,b]\to\mathbb R^n$ be a continuous function such that $F(a)=F(b)$ and $F'(t)$ ...
1k views

### How can we use the bounded convergence theorem in this proof of the Riesz Representation Theorem?

I'm studying the proof of the Riesz Representation Theorem as it appears in Ch. 6 of Royden's Real Analysis. When I looked on the web I noted there are a few different theorems that go by the name "...
292 views

### Bibliography for topologies defined by a family of seminorms

Hello I am trying to learn more about Fréchet spaces (in order to study the theory of distributions) and was wondering what people thought was the best resource. Thank you very much.
686 views

13k views

### f(f(x))=exp(x)-1 and other functions “just in the middle” between linear and exponential

The question is about the function f(x) so that f(f(x))=exp (x)-1. The question is open ended and it was discussed quite recently in the comment thread in Aaronson's blog here http://scottaaronson....
41k views

### Text for an introductory Real Analysis course.

Any suggestions on a good text to use for teaching an introductory Real Analysis course? Specifically what have you found to be useful about the approach taken in specific texts?
12k views

### Why do functions in complex analysis behave so well? (as opposed to functions in real analysis)

Complex analytic functions show rigid behavior while real-valued smooth functions are flexible. Why is this the case?
1k views

### Minkowski inequality

In the Wikipedia proof of the Minkowski inequality (http://en.wikipedia.org/wiki/Minkowski_inequality), the following inequality is used: |f+g|p ≤ 2p-1(|f|p+|g|p). I was just wondering if this ...