Questions tagged [measure-theory]
Questions related to measures, sigma-algebras, measure spaces, Lebesgue integration and the like.
40,085
questions
41
votes
4
answers
20k
views
Weak Law of Large Numbers for Dependent Random Variables with Bounded Covariance
I'm currently stuck on the following problem which involves proving the weak law of large numbers for a sequence of dependent but identically distributed random variables. Here's the full statement:
...
40
votes
3
answers
24k
views
How to prove limit of measurable functions is measurable
I need help to prove the following theorem
Suppose $f$ is the pointwise limit of a sequence of $f_n$, $n = 1, 2, \cdots$, where $f_n$ is a Borel measurable function on $X$. Then $f$ is Borel ...
40
votes
2
answers
3k
views
If a continuous function is positive on the rationals, is it positive almost everywhere?
I made up this question, but unable to solve it:
Let $f : \mathbb R \to \mathbb R$ be a continuous function such that $f(x) > 0$ for all $x \in \mathbb Q$. Is it necessary that $f(x) > 0$ ...
40
votes
4
answers
2k
views
To show that the set point distant by 1 of a compact set has Lebesgue measure $0$
Could any one tell me how to solve this one?
Let $K$ be a compact subset of $\mathbb{R}^n$, and $$A:=\{x\in\mathbb{R}^n:d(x,K)=1\}.$$
Show that $A$ has Lebesgue measure $0$.
Thank you!
39
votes
3
answers
33k
views
Showing that rationals have Lebesgue measure zero.
I have been looking at examples showing that the set of all rationals have Lebesgue measure zero. In examples, they always cover the rationals using an infinite number of open intervals, then compute ...
39
votes
2
answers
9k
views
Steinhaus theorem (sums version)
This is a question from Stromberg related to Steinhaus' Theorem:
If $A$ is a set of positive Lebesgue measure, show that $A + A$ contains an interval.
I can't quite see how to modify the Steinhaus ...
39
votes
1
answer
38k
views
What is the definition of a measurable set?
I have seen multiple definitions for what a measurable set is (all of which come together to form a sigma algebra). I was wondering if they are all equivalent and if not what situation would one be ...
39
votes
1
answer
4k
views
Explain densities to me please!
When it comes to integration on manifolds, I speak two languages. The first is of course the language of differential forms, which is something I am relatively well acquainted with.
The second ...
39
votes
4
answers
2k
views
Correspondences between Borel algebras and topological spaces
Though tangentially related to another post on MathOverflow (here), the questions below are mainly out of curiosity. They may be very-well known ones with very well-known answers, but...
Suppose $\...
39
votes
2
answers
13k
views
What is the Kolmogorov Extension Theorem good for?
The Kolmogorov Extension Theorem says, essentially, that one can get a process on $\mathbb{R}^T$ for $T$ being an arbitrary, non-empty index set, by specifying all finite dimensional distributions in ...
39
votes
1
answer
1k
views
Does there exist a continuous function $f: \Bbb R\to \Bbb R$ that is rational at (Lebesgue) almost every irrational, and irrational at every rational?
Does there exist a continuous function $$f: \mathbb{R} \rightarrow \mathbb{R}$$ that is rational at (Lebesgue) almost every irrational, and irrational at every rational?
Some thoughts: for some $q\in ...
38
votes
2
answers
9k
views
The measurability of convex sets
How to prove the measurability of convex sets in $R^n$? I have seen a proof, but too long and not very intuitive. If you have seen any, please post it here.
37
votes
4
answers
29k
views
Convergence of random variables in probability but not almost surely.
Can somebody provide me with a sequence of (real-valued) functions, say on $[0,1]$ with the Lebesgue measure, such that the sequence converges in probability, or maybe in $\Vert \cdot \Vert _{L^2}$, ...
37
votes
3
answers
6k
views
Metric assuming the value infinity
If we instead define a metric as $d:X\times X \rightarrow [0,\infty]$, do we lose any nice properties of metric spaces?
The reason I ask is that I saw this theorem: Given a finite measure space $(X,\...
37
votes
4
answers
28k
views
Example of an algebra which is not a σ-algebra.
I have troubles with constructing an example of an algebra of sets which is not a σ-algebra. Could you please help me with this?