This shows you the differences between two versions of the page.
Next revision | Previous revision | ||
math105-s22:notes:lecture_6 [2022/02/01 00:30] pzhou created |
math105-s22:notes:lecture_6 [2022/02/03 16:28] (current) pzhou [Lecture 6] |
||
---|---|---|---|
Line 1: | Line 1: | ||
====== Lecture 6 ====== | ====== Lecture 6 ====== | ||
+ | [[https:// | ||
+ | ===== Theorem 21 ===== | ||
+ | If $E \In \R^n, F \In \R^k$ are measurable, then $E \times F$ is measurable, with $m(E) \times m(F) = m(E \times F)$. | ||
- | Theorem 21: If $E \In \R^n, F \In \R^k$ are measurable, then $E \times F$ is measurable, with $m(E) \times | + | Let's first treat some special case. If $m(E)=0$, and $m(F) = \infty$, what is $m(E \times F)$? You have seen a special case as $m ( \{ 0 \} \times \R)=0$ in $\R^2$. The general proof is similar, for each $\epsilon$, and each $n \in \N$, we can find a countable collection of boxes that covers $E \times |
+ | Next, let's prove some nice cases, that $m(E \times F) = m(E) m(F)$. | ||
+ | * $E, F$ are open boxes. | ||
+ | * $E, F$ are open sets (each open set is a **disjoint** union of open boxes and a measure zero set. See Pugh's dyadic proof). | ||
+ | |||
+ | Now, how to prove that $ E \times F$ is measurable? We could use Caratheodory criterion, or, we could use Lebesgue criterion, by constructing outer and inner approximations. Again, we may assume $E$ is bounded and $F$ is bounded (otherwise, they can be written as disjoint union of bounded measurable pieces, and we can deal with them pieces by pieces, and do countable union in the end). We may assume $E \In B_1, F \In B_2$, for $B_i$ some open boxes. | ||
+ | |||
+ | Let $H_E$ be a $G_\delta$-set and $K_E$ be $F_\delta$, such that $H_E \supset E \supset K_E$, and $m(H_E \RM K_E) = 0$. Define $H_F, K_F$ for $F$ similarly. Then, by downward monotone continuity of measure, we have | ||
+ | $$ m(H_E \times H_F) = \lim m(H_{E,n} \times H_{F,n}) = \lim m(H_{E,n}) \times m(H_{F,n}) = m(H_E) \times m(H_F) = m(E) \times m(F) $$ | ||
+ | where $H_{E,n}$ are open sets, with $H_{E,n} \supset H_{E,n+1}$, and $H_E = \cap_n H_{E,n}$ for all $n$. | ||
+ | |||
+ | Also, we have | ||
+ | $$ H_E \times H_F \RM (K_E \times K_F) \subset (H_E \times K_E) \times B_2 \cup B_1 \times (H_F \times K_F) $$ | ||
+ | where the last term is a null set, hence $m(K_E \times K_F) = m(H_E \times H_F) = m(E) \times m(F)$. | ||
+ | |||
+ | |||
+ | |||
+ | |||
+ | |||
+ | |||
+ | |||
+ | ===== Theorem 26 ===== | ||
+ | If $E \In \R^n \times \R^k$ is measurable, then $E$ is a zero set if and only if almost( = up to a zero set) every slice $E_x$, ($x \in \R^n$) is measure zero. | ||
+ | |||
+ | Pf: as usual, we may assume $n=k=1$ and $E$ is contained in the unit square. Suppose $E$ is measurable, and $m(E_x)=0$ for almost all $x \in I$, then we want to show $m(E)=0$. Let $Z \In I$ be the set of $x$ where $m(E_x) \neq 0$. Then, $m(Z)=0$. Since $Z \times I$ is measureable and has measure 0, we may replace $E$ by $E \RM (Z \times I)$, and assume for all $x \in I$, $m(E_x)=0$. | ||
+ | |||
+ | By inner regularity, we may replace $E$ by a closed set $K$. Since E is bounded, hence $K$ is compact. Now, we try to cover $K$ by open boxes of total area less than $\epsilon$. Let $K_1= \pi (K)$ the projection to the first factor, than $K_1$ is compact. | ||
+ | * For each $x \in I$, we cover $K_x$ by an open set $V(x)$ of $m(V(x))< | ||
+ | * We know $K \subset \cup_x U(x) \times V(x)$, but that's uncountably many set. We can pass to a finite subcover, indexed by $x_1, \cdots, x_N$. Let $U_i = U(x_i) \RM (\cup_{j< | ||
+ | |||
+ | ===== Discussion ===== | ||
+ | - Can you prove that $\{y=x\} \In \R^2$ has measure $0$? | ||
+ | - In both of the two proofs above, we assumed $E$ was bounded, how to deal with the general case? | ||
+ | - Prove that every closed subset (e.g. your favorite Cantor set is a closed set) in $\R$ is a $G_\delta$-set. Is it true that every open set is a $F_\sigma$-set? | ||
- | Theorem 26: If $E \In \R^n \times \R^k$ is measurable, then $E$ is a zero set if and only if almost( = up to a zero set) every slice $E_x$, ($x \in \R^n$) is measure zero. | ||