All Questions
5,672 questions
239
votes
14
answers
76k
views
Have any long-suspected irrational numbers turned out to be rational?
The history of proving numbers irrational is full of interesting stories, from the ancient proofs for $\sqrt{2}$, to Lambert's irrationality proof for $\pi$, to Roger Apéry's surprise demonstration ...
25
votes
9
answers
6k
views
Function with range equal to whole reals on every open set
There is an example of a function that is unbounded on every open set. Just take $f(n/m) = m$ for coprime $n$ and $m$ and $f(irrational) = 0$.
I want to generalize this in a way to get a function ...
- 2,821
13
votes
3
answers
2k
views
Set of real numbers with positive measure containing no midpoints
Does there exists a subset E of R with positive measure and without containing any midpoints (i.e. x,y distinct in E, (x+y)/2 not in E)?
- 133
12
votes
1
answer
5k
views
Points of continuity of Baire class one functions
This is an idle question motivated by two comments I made to a previous MO question (which I just searched for, unsuccessfully). That question asked if the characteristic function of the rationals is ...
- 65.4k
5
votes
1
answer
2k
views
Continuous functions remaining constant
I solved a problem in analysis and i was thinking of generalizing this question which i couldn't succeed.
If $f:\mathbb{R} \to \mathbb{R}$ is a continuous function which satisfies $f(x)=f(2x+1)$, ...
- 4,795
24
votes
11
answers
8k
views
The role of the mean value theorem (MVT) in first-year calculus
Should the mean value theorem be taught in first-year calculus?
Most calculus textbooks present the MVT just before the section that says that if $f'>0$ on an interval then $f$ increases on that ...
4
votes
1
answer
346
views
approximately linear functions -- more
Suppose $f,g$ are continuous functions from $\mathbb R$ to $\mathbb R$, with the property that
$$f(x)+f(y)=g(x+y)$$
for all $x,y$. Taking $x=y=z/2$ implies that $g(x)=2f(x/2)$ so that the above ...
- 123
7
votes
1
answer
2k
views
approximately linear functions
i suppose it's fairly well known that if a (continuous, real-valued) function $f$ on the real line satisfies
$f(x-y)=f(x)-f(y)+const$
then it is necessarily linear.
are there any general ...
- 123
3
votes
1
answer
2k
views
What is the pure intuition for topological continuity and topology? [closed]
I have read the introductory sections of many books on Real Analysis and Topology, yet nowhere have I found an unbiased motivation for the notions of either topology or (topological) continuity.
The ...
- 191
4
votes
4
answers
385
views
Is anything known about $w^*(x)=\sup_y w(x+y)/w(y)$ for measurable functions w on $R^n$
In my recent studies (fourier multipliers on weighted Lp spaces) I have to deal with this kind of transformation: if w is a measurable function on $R^n$, define
$w^*(x)=\sup_y \frac{w(x+y)}{w(y)}$.
...
- 783
1
vote
4
answers
620
views
Do there exist nonconstant functions such that...
Do there exist nonconstant real valued functions $f$ and $g$ such that the expression:
$$f(x) -v/g(x)$$
is maximized at $x = v$ for all positive real $v$?
- 13
23
votes
3
answers
6k
views
Density of smooth functions under "Hölder metric"
This question came up when I was doing some reading into convolution squares of singular measures. Recall a function $f$ on the torus $T = [-1/2,1/2]$ is said to be $\alpha$-Hölder (for $0 < \alpha ...
- 505
25
votes
1
answer
8k
views
Convergence of Fourier Series of $L^1$ Functions
I recently learned of the result by Carleson and Hunt (1968) which states that if $f \in L^p$ for $p > 1$, then the Fourier series of $f$ converges to $f$ pointwise-a.e. Also, Wikipedia informs me ...
- 871
-3
votes
2
answers
260
views
On \ell_3 norm in R^2
Let $v,w\in\mathbb{R}^{2}$ and $v\perp w$. Is it true that $\left\Vert v\right\Vert _{3}\leq\left\Vert v+w\right\Vert _{3}$,
in which $\left\Vert \left(x,y\right)\right\Vert _{3}:=\sqrt[3]{\left|x\...
- 65
1
vote
1
answer
879
views
Countable discrete abelian group amenable
For me the definition of amenability of an at most countable discrete group (with counting measure) is existence of a Folner sequence. Assuming this, why is every countable discrete abelian group ...
- 5,019
7
votes
1
answer
2k
views
Hanner's inequalities: the intuition behind them
Hanner's inequalities in the theory of $L^p$ spaces (see http://en.wikipedia.org/wiki/Hanner's_inequalities) look hard to come-up with at the first glance. Their proof (say, the one in Lieb & Loss ...
- 5,019
6
votes
1
answer
778
views
Inverse function theorem for DC-functions
I would like to have an inverse (or/and) implicite function theorem for DC-functions.
It seems that I have right definitions, but I fail to prove it...
Definitions:
Let $h:\mathbb R^n\to\mathbb R$ ...
- 45k
-3
votes
1
answer
590
views
A problem regarding definition of p-norm [closed]
Let ${\bf x}=(x_1,...,x_n)$, the p-norm of x is $(|x_1|^p+...+|x_n|^p)^{1/p}$. If one of the components of x is 0, there will be exponential of the form $0^p$. If p is an irrational, $x^p$ is only ...
- 764
13
votes
7
answers
35k
views
Real analysis has no applications?
I'm teaching an undergrad course in real analysis this Fall and we are using the text "Real Mathematical Analysis" by Charles Pugh. On the back it states that real analysis involves no "applications ...
17
votes
12
answers
5k
views
Looking for an interesting problem/riddle involving triple integrals.
Does anyone know some good problem in real analysis, the solution of which involves triple integrals, and which is suitable for second semester Analysis students?
Thanks!
- 459
4
votes
2
answers
734
views
Analyzing the solution to a second-order, non-linear ODE
Let $\psi : [0,\infty] \to \mathbb R$ be a strictly positive, continuously differentiable function, and consider the non-linear ODE $$\ddot x = - \frac{1}{4} \frac{\psi'(x)}{\psi(x)} \left( \dot x^2 - ...
- 8,512
3
votes
2
answers
2k
views
Examples of deterministic processes of quadratic variation which are of unbounded variation
In [Föllmer 81] (English translation to be found here) writes: "The class of processes of quadratic variation is clearly larger than the class of semimartingales: Just consider a deterministic process ...
- 5,935
7
votes
2
answers
505
views
The set of non-smooth points of a convex function is (m - 1)-rectifiable
I am looking for a reference to the following result.
Let $f:\mathbb R^m\to\mathbb R$ be a convex function.
Then $f$ is differentiable at all points of outside of a countable union of $(m-1)$-...
- 45k
87
votes
8
answers
16k
views
Why is Lebesgue integration taught using positive and negative parts of functions?
Background: When I first took measure theory/integration, I was bothered by the idea that the integral of a real-valued function w.r.t. a measure was defined first for nonnegative functions and only ...
- 50.6k
7
votes
4
answers
6k
views
The characteristic (indicator) function of a set is not in the Sobolev space H¹
Is it true that the characteristic
(indicator) function of a subset of
Euclidean space with finite positive
measure is never in the Sobolev space
$H^1 = W^{1,2}$? And if so, what is the best/easiest/...
- 1,771
9
votes
3
answers
4k
views
Are there sigma-algebras of cardinality $\kappa>2^{\aleph_0}$ with countable cofinality?
A standard homework in measure theory textbooks asks the student to prove that there are not countably infinite $\sigma$-algebras. The only proof that I know is via a contradiction argument which ...
user2529
7
votes
1
answer
1k
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 ...
- 5,339
2
votes
2
answers
3k
views
Multiple outliers for two variable linear regression
Problem
Visually, the "extreme" outliers in the following graph are somewhat obvious:
Question
Given:
T - Set of all temperatures
Y - Set of all years
ΣT - Sum of temperatures.
ΣY - Sum of years.
...
- 43
39
votes
8
answers
13k
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 ...
- 5,339
9
votes
2
answers
804
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}$ ...
- 1,359
2
votes
0
answers
354
views
What is this effect in Fourier/additive synthesis called?
Hi, I have re-synthesized a cyclic function additively, and I added a fixed offset to the frequency of each partial. So if the function was $\sum a_{n} sin(2 \pi x * n)$ and its frequencies were $n*f_{...
- 165
14
votes
6
answers
3k
views
What's a natural candidate for an analytic function that interpolates the tower function?
I know that there are analytic functions whose composition with itself is the exponential function, the so-called functional square root of the exponential function, with the additional property that ...
- 4,466
5
votes
0
answers
558
views
continuous selection of a multivalued function?
The title is probably a bit too broad. I frequently encountered the following situation: suppose I need to select a solution to a linear equation from a compact set. Can I make this selection ...
- 1,839
32
votes
4
answers
18k
views
About the Riemann integrability of composite functions
When I was teaching calculus recently, a freshman asked me the conditions of the Riemann integrability of composite functions.
For the composite function $f \circ g$, He presented three cases:
1) ...
- 627
10
votes
2
answers
3k
views
Continuous function from $[0,1]$ to $[0,1]$
Does there exist a continuous function $f:[0,1]\rightarrow [0,1]$ such that $f$ takes every value in $[0,1]$ an infinite number of times?
- 1,001
0
votes
1
answer
359
views
a unique solution ? iteration involving conditional distributions
consider the following mappings, G and T,
$y(s) = Gx(s)=\exp\left[\sum_{s'}p(s'|s)\log x(s') \right]$
$z(s) = Ty(s)=\sum_{s'}q(s'|s)y(s')e^{-r(s')}$
where $0< x(s)\leq 1$ ,$r(s)<0$ , $s,s'\in ...
- 1
7
votes
1
answer
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 ...
...
- 793
6
votes
6
answers
4k
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 ...
- 19.7k
2
votes
1
answer
897
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 ...
107
votes
9
answers
36k
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 ...
- 41.4k
6
votes
7
answers
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.
- 163
7
votes
4
answers
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$;
...
- 19.7k
13
votes
1
answer
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 ...
- 183
13
votes
1
answer
1k
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 "...
- 54.6k
4
votes
2
answers
340
views
Embeddings of Weighted Banach Spaces
Let be $d$ a positive integer, $\Omega=\mathbb{R}^{\mathbb{Z}^d}$ and fix $R\geq 2$. We define weighted Banach spaces
$$ \Omega_p:=\left\{ x\in \Omega\left| \left[\sum_{i\in\mathbb{Z}^d}\frac{|x_i|^...
- 2,044
3
votes
1
answer
363
views
"exchange" of real analyticity and integration
Sorry for the impreciseness of the title. It is merely meant for an analogy.
Exchange of limiting operations and integrations are basically derived from Lebesgue's dominated convergence theorem. For ...
- 1,839
2
votes
0
answers
517
views
When deRham curve is bijection?
Motivation: Suppose we have deRham curve. From wikipedia:
Consider some metric space $(M,d)$ (generally $R^2$ with the usual euclidean distance), and a pair of contraction mappings on M:
$d_0:\ M \...
- 1,626
10
votes
0
answers
439
views
Evaluating Shintani cone zeta functions
Hi everyone
I am trying the evaluate sums of the form
$$ \sum_{n_1>0,n_2>0,\ldots,n_m>0} \frac{1}{\big((a_{1,1}n_1 +\ldots +a_{1,m}n_m)^k \ldots (a_{m,1}n_1+ \ldots +a_{m,m}n_m)^k\big)}$$
...
- 265
6
votes
3
answers
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 ...
- 19.7k
6
votes
1
answer
802
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)$ ...
- 143