Skip to main content

Questions tagged [measure-theory]

Questions related to measures, sigma-algebras, measure spaces, Lebesgue integration and the like.

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)$? ...
zzzhhh's user avatar
  • 839
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}...
user avatar
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 ...
user avatar
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 ...
Daniel's user avatar
  • 3,063
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?
Mark Hyatt's user avatar
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}$. ...
Harry Williams's user avatar
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 ...
gifty's user avatar
  • 2,231
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 $\...
Davide Giraudo's user avatar
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 ) $ ...
smiley06's user avatar
  • 4,187
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 ...
Milan Amrut Joshi's user avatar
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 ...
Creator's user avatar
  • 3,138
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 = \...
Kuku's user avatar
  • 1,855
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 ...
Oyqcb's user avatar
  • 581
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 ...
JT_NL's user avatar
  • 14.7k

15 30 50 per page