Isomorphism of Measure Spaces

Personal Motivation

The reason I become interested in this category was the following. We learned that the standard topology on ${\displaystyle \mathbb {R} }$ is generated by a basis. This basis is the collection of all open intervals ${\displaystyle (a,b):=\{x\in \mathbb {R} :a. Now, consider the collection A of subsets in ${\displaystyle \mathbb {R} }$: ${\displaystyle A:=\{[a,b):=\{x\in \mathbb {R} |a\leq x. The topology generated by the half-open intervals, called the lower limit topology, yields a different topology on the real numbers than the standard topology. We can see this by recalling that the standard topology is connected but the lower limit topology is not connected. So now consider Theorem 1.18 from[1],

If ${\displaystyle E\in M_{\mu }}$, then ${\displaystyle \mu (E)=\inf\{\mu (U):E\subset U{\text{ and }}U{\text{ is open }}\}=\sup\{\mu (K):K\subset E{\text{ and }}K{\text{ is compact }}\}}$

This construction sort of has the same flavor as our topology example. But in this case, we get a positive result.

Definition

Let ${\displaystyle X}$ be a measurable space and ${\displaystyle A}$ a sigma algebra on ${\displaystyle X}$. Similary, Let ${\displaystyle Y}$ be a measurable space and ${\displaystyle B}$ a sigma algebra on ${\displaystyle Y}$. Let ${\displaystyle (X,A)}$ and ${\displaystyle (Y,B)}$ be measurable spaces.

• A map ${\displaystyle f:X\rightarrow Y}$ is called measurable if ${\displaystyle f^{-1}(B)\in A}$ for every ${\displaystyle B\in B}$.
• These two measurable spaces are called isomorphic if there exists a bijection ${\displaystyle f:X\rightarrow Y}$ such that ${\displaystyle f}$ and ${\displaystyle f^{-1}}$ are measurable (such ${\displaystyle f}$ is called an isomorphism).

Theorem

[If ${\displaystyle X}$ is a topological space, then ${\displaystyle B(X)}$ denotes the sigma algebra of Borel subsets of ${\displaystyle X}$.]

Let ${\displaystyle X_{1}}$ and ${\displaystyle X_{2}}$ be Borel subsets of complete separable metric spaces. For the measurable spaces ${\displaystyle (X_{1},B(X_{1}))}$ and ${\displaystyle (X_{2},B(X_{2}))}$ to be isomoprhic, it is necessary and sufficient that the sets ${\displaystyle X_{1}}$ and ${\displaystyle X_{2}}$ be of the same cardinality.


Properties

We seek to find maps that preserve "essential" structures between measure spaces. Intuitively, we want at the minimum, maps to send sets of measure zero to sets of measure zero.

Smooth maps send sets of measure zero to sets of measure zero

Let ${\displaystyle U}$ be an open set of ${\displaystyle \mathbb {R} ^{n}}$, and let ${\displaystyle f\colon U\rightarrow \mathbb {R} ^{n}}$ be a smooth map. If ${\displaystyle A\subset U}$ is of measure zero, then ${\displaystyle f(A)}$ is of measure zero.

Mini-Sards Theorem

Let ${\displaystyle U}$ be an open set of ${\displaystyle \mathbb {R} ^{n}}$, and let ${\displaystyle f\colon U\rightarrow \mathbb {R} ^{m}}$ be a smooth map. Then if ${\displaystyle m>n}$, ${\displaystyle f(U)}$ has measure zero in ${\displaystyle \mathbb {R} ^{m}}$.

Example

Consider ${\displaystyle f:\mathbb {R} \rightarrow \mathbb {R} ^{2}}$ where ${\displaystyle f(x)=(x,0)}$. ${\displaystyle f}$ is easily seen to be a smooth map since it has partial derivatives of all order. Let ${\displaystyle A=\{(x,0):x\in \mathbb {R} \}}$. Pick ${\displaystyle \epsilon >0}$. Consider the cover ${\displaystyle I_{k}=[k,k+1]\times [-\epsilon 2^{-|k|-4},\epsilon 2^{-|k|-4}]}$. Then ${\displaystyle A}$ is covered by the union of all ${\displaystyle J_{k}}$. Now, ${\displaystyle m(A)\leq \sum _{k\in \mathbb {Z} }m(J_{k})=\epsilon \sum _{k\in \mathbb {Z} }2^{-|k|-3}\leq \epsilon }$. Since ${\displaystyle \epsilon }$ was aribtary ${\displaystyle m(A)=0}$.

Reference

1. Folland, Gerald. B; "Real Analysis: Modern Techniques and Their Applications." Wiley. 2007.

2. Victor Guillemin, Alan Pollack; "Differential Topology." Prentice-Hall. 1974.