# Tagged Questions

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

131 views

### Proving equality of sigma-algebras

Let $C_1$ and $C_2$ are two collections of subsets of the set $\Omega$. We want to show that if $C_2$ $\subset$ $\sigma$[$C_1$] and $C_1$ $\subset$ $\sigma$[$C_2$], then $\sigma$[$C_1$]=$\sigma$[$C_2$]...
428 views

### Problem about $G_{\delta}$-set and $F_{\sigma}$-set

Prove if $E$ is any measurable subset of $\mathbb{R}$, then there are a $G_{\delta}$-set $G$ and a $F_{\sigma}$-set $H$ such that $H \subseteq E \subseteq G$, and such that $m(G$\ $H)=0$. In order to ...
242 views

### Are there open sets of measure zero?

Suppose $A \subseteq \mathbb{R}^n$ is an open set. Can we conclude that $A$ does not have measure zero?? I am trying to find an open set with measure zero, but it seems quite hard to construct one ...
272 views

31 views

### For $(a,b)$, if $m^* ((a,b)) = m^* ( (a,b) \cap E ) + m^*( (a,b) \cap - E)$ then $E$ in $\mathbb{R}$ is measurable

If $m^* ((a,b)) = m^* ( (a,b) \cap E ) + m^*( (a,b) - E)$ for all open intervals $(a,b)$, then $E$ in $\mathbb{R}$ is measurable. How do I prove this? Totally stuck.
50 views

706 views

### Continuous, strictly increasing function that maps a set of positive (lebesgue) measure onto a set of measure zero?

Is there a continuous, strictly increasing (real-valued) function on the interval $[0,1]$ that maps some set of positive (lebesgue) measure onto a set of measure zero? Should I play with cantor ...
79 views

267 views

### Lebesgue integrability and measurable functions

Let $f$ be a nonnegative function on the reals. What does the (Lebesgue) measurability of $f$ have to do with the (Lebesgue) integrability of $\int f$? I've spent some time studying the definition at ...
613 views

44 views

### If $u \in L^2(\Omega)$, then $\text{sign}u \in L^2(\Omega)$?

If $\Omega$ is a bounded domain and $u$ is in $L^2$, why is $\text{sign}(u) \in L^2?$ I am only stuck with the measurabilituy part. the integral is obviously finite on a bounded domain.
16 views

### Continuity at $x$ of increasing function if certain sequences exist

I'm working through the first few chapters of Royden-Fitzpatrick to learn measure theory and I got stuck on this question. Let $f$ be increasing on $I$, an open interval. Then for $x \in I$, $f$ is ...
38 views

### Square of absolute value of a function different than square of function

How come if f is measurable, we might have $|f|^2\neq f^2$? Can you provide an example? I think it is true if f is real.