Intereting Posts

Bijection between $\mathbb{R}^n$ and $\mathbb{R}^m$
Other Algebraically Independent Transcendentals
Principal ideal and free module
Is $L^p \cap L^q$ dense in $L^r$?
Where is $f(z)=\Re (z)$ differentiable?
Infinite Series $\sum\limits_{n=1}^\infty\frac{(H_n)^2}{n^3}$
$f$ brings convergent nets to convergent nets, is it continuous?
Matrices with rank exactly r as variety
what is Prime Gaps relationship with number 6?
Alternate proof for $a^2+b^2+c^2\le 9R^2$
What does it mean when dx is put on the start in an integral?
Counting elements in cartesian power with plurality + pattern constraints
Radon-Nykodym approach to classic result: Left-cont. nondecreasing f on $ \Rightarrow$ exists pos. Borel measure s.t. $ f(x)-f(a)=u([a,x))$
How to sum this series to infinity: $\sum_{n=0}^{\infty} \frac1{2^{2^n}}$
Baire: Show that $f\colon \mathbb{R}\to\mathbb{R}$ is a polynomial in an open bounded set

On the page 43 of *Real Analysis* by H.L. Royden (1st Edition) we read: “(Ideally) we should like $m$ (the measure function) to have the following properties:

- $m(E)$ is defined for each subset $E$ of real numbers.
- For an interval $I$, $m(I) = l(I)$ (the length of $I$).
- If $\{E_n\}$ is a sequence of disjoint sets (for which $m$ is defined),

$m(\bigcup E_n)= \sum m (E_n)$.”

Then at the end of page 44 we read : “If we assume the Continuum Hypothesis (that every non countable set of real numbers can be put in one to one correspondence with the set of all real numbers) then such a measure is impossible,” and no more explanation was given.

Now assuming the Continuum Hypothesis I am not able to see why such a measure is not possible. Would you be kind enough to help me?

- Some thinking about the Dini' s Theorem.
- Example of non-differentiable continuous function with all partial derivatives well defined
- Examples of differentiable functions that are not of bounded variation
- An example showing that van der Waerden's theorem is not true for infinite arithmetic progressions
- Examples of results failing in higher dimensions
- Examples of Free Lie Algebra

- A (non-artificial) example of a ring without maximal ideals
- Theorem of Steinhaus
- Nonatomic vs. Continuous Measures
- Inequality for the p norm of a convolution
- Generalized Hölder inequality
- Examples of pairewise independent but not independent continuous random variables
- About linear bijection between Banach spaces!
- the measurability of $\int_0^t X(s)ds$
- Measure Theory Book
- Examples for almost-semirings without absorbing zero

This is a consequence of Ulam’s theorem: If a finite countable additive measure $\mu$ is defined on all subsets of a set of cardinality $\aleph_1$ (the first uncountable cardinal) and vanishes on all singletons, then it is identically zero.

This is the version of the theorem from the book of Bogachev (1.12.40), the original result is a bit stronger. Anyways, under CH, $\mathbb{R}$ has cardinality $\aleph_1$, so the theorem applies to $\mathbb{R}$. I’m pretty sure this is what Royden refers to.

I refer you to the MathOverflow question “Does pointwise convergence imply uniform convergence on a large subset?” for proofs and references for the following:

Assuming the Continuum Hypothesis, there exists a sequence of real-valued functions on $\mathbb R$ that converges pointwise to a function on $\mathbb R$ but does not converge uniformly on any uncountable set.

Suppose there were a function $m:\mathcal{P}(\mathbb R)\to[0,\infty]$ satisfying the three named conditions. Then $m$ is a measure on $\mathbb R$ for which every subset of $\mathbb R$ is measurable. Let $(f_n)$ be a sequence of real-valued functions on $[0,1]$ that converges pointwise to some function. By Egorov’s theorem, there is a set $E\subseteq [0,1]$ with $m(E)>0$ such that $(f_n)$ converges uniformly on $E$. The fact that $m(E)>0$ implies that $E$ is uncountable. Since $(f_n)$ was arbitrary, this implies by the above cited result that the Continuum Hypothesis does not hold.

In light of Michael’s answer, I want to mention that the hypothesis 2, that $m(I)=l(I)$ for each interval $I$, could be replaced by the following two properties:

(a) For all $x\in\mathbb R$, $m(\{x\})=0$.

(b) There exists $X\subseteq\mathbb R$ such that $0<m(X)<\infty$.

Then the same argument as above would apply with such an $X$ in place of $[0,1]$.

As a clear example (?) http://en.wikipedia.org/wiki/Vitali_set

- Calculation of $\sum_{m=1}^{\infty}\sum_{n=1}^{\infty}\frac{m^2n}{3^n\left(m\cdot 3^n+n\cdot 3^m\right)}$
- How do you integrate Gaussian integral with contour integration method?
- Riccati differential equation $y'=x^2+y^2$
- Relations (Binary) – Composition
- Uniform convergence of derivatives, Tao 14.2.7.
- Proof of non-strictly convexity of $l_1$ and $l_{\infty}$
- Prove that discrete metric space is complete
- Proof for divisibility rule for palindromic integers
- Smoothest function which passes through given points?
- Approximation symbol: Is π ≈ 3.14.. equal to π ≒ 3.14..?
- Why is Taylor series expansion for $1/(1-x)$ valid only for $x \in (-1, 1)$?
- What's the difference between tuples and sequences?
- Triangle Quadrilateral and pentagon whose areas form a set of consecutive positive integers.
- Equation of angle bisector, given the equations of two lines in 2D
- Step in Proof of Cardinality of Product of two Groups