Questions tagged [measure-theory]
Questions related to measures, sigma-algebras, measure spaces, Lebesgue integration and the like.
40,085
questions
72
votes
5
answers
49k
views
Under what condition we can interchange order of a limit and a summation?
Suppose f(m,n) is a double sequence in $\mathbb R$. Under what condition do we have $\lim\limits_{n\to\infty}\sum\limits_{m=1}^\infty f(m,n)=\sum\limits_{m=1}^\infty \lim\limits_{n\to\infty} f(m,n)$? ...
71
votes
2
answers
29k
views
Integration with respect to counting measure.
I am having trouble computing integration w.r.t. counting measure. Let $(\mathbb{N},\scr{P}(\mathbb{N}),\mu)$ be a measure space where $\mu$ is counting measure. Let $f:\mathbb{N}\rightarrow{\mathbb{R}...
71
votes
4
answers
15k
views
How do people apply the Lebesgue integration theory?
This question has puzzled me for a long time. It may be too vague to ask here. I hope I can narrow down the question well so that one can offer some ideas.
In a lot of calculus textbooks, there is ...
70
votes
3
answers
13k
views
Set of continuity points of a real function
I have a question about subsets $$
A \subseteq \mathbb R
$$
for which there exists a function $$f : \mathbb R \to \mathbb R$$ such that the set of continuity points of $f$ is $A$. Can I characterize ...
70
votes
2
answers
24k
views
Differences between the Borel measure and Lebesgue measure
I'm having difficult time in understanding the difference between the Borel measure and Lebesgue measure. Which are the exact differences? Can anyone explain this using an example?
67
votes
3
answers
18k
views
The $\sigma$-algebra of subsets of $X$ generated by a set $\mathcal{A}$ is the smallest sigma algebra including $\mathcal{A}$
I am struggling to understand why it should be that the $\sigma$-algebra of subsets of $X$ generated by $\mathcal{A}$ should be the smallest $\sigma$-algebra of subsets of $X$ including $\mathcal{A}$.
...
66
votes
4
answers
8k
views
Why is the Daniell integral not so popular?
The Riemann integral is the most common integral in use and is the first integral I was taught to use. After doing some more advanced analysis it becomes clear that the Riemann integral has some ...
66
votes
3
answers
9k
views
Approximating a $\sigma$-algebra by a generating algebra
Theorem. Let $(X,\mathcal B,\mu)$ a finite measure space, where $\mu$ is a positive measure. Let $\mathcal A\subset \mathcal B$ an algebra generating $\cal B$.
Then for all $B\in\cal B$ and $\...
65
votes
1
answer
13k
views
Formal definition of conditional probability
It would be extremely helpful if anyone gives me the formal definition of conditional probability and expectation in the following setting, given probability space
$ (\Omega, \mathscr{A}, \mu ) $ ...
63
votes
3
answers
27k
views
What is Haar Measure?
Is there any simple explanation for Haar Measure and its geometry?
how do we understand analogy Between lebesgue measure and Haar Measure?
How to show integration with respect to Haar Measure?
what do ...
63
votes
5
answers
20k
views
Difference between topology and sigma-algebra axioms.
One distinct difference between axioms of topology and sigma algebra is the asymmetry between union and intersection; meaning topology is closed under finite intersections sigma-algebra closed under ...
60
votes
10
answers
17k
views
Seeking a layman's guide to Measure Theory
I would like to teach myself measure theory. Unfortunately most of the books that I've come across are very difficult and are quick to get into Lemmas and proofs. Can someone please recommend a layman'...
59
votes
1
answer
28k
views
Monotone Convergence Theorem for non-negative decreasing sequence of measurable functions
Let $(X,\mathcal{M},\mu)$ be a measure space and suppose $\{f_n\}$ are non-negative measurable functions decreasing pointwise to $f$. Suppose also that $\int f_1 \lt \infty$. Then $$\int_X f~d\mu = \...
58
votes
5
answers
28k
views
Is there a change of variables formula for a measure theoretic integral that does not use the Lebesgue measure
Is there a generic change of variables formula for a measure theoretic integral that does not use the Lebesgue measure? Specifically, most references that I can find give a change of variables ...
58
votes
2
answers
19k
views
Lebesgue measurable but not Borel measurable
I'm trying to find a set which is Lebesgue measurable but not Borel measurable.
So I was thinking of taking a Lebesgue set of measure zero and intersecting it with something so that the result is not ...