Sheldon Axler Measure Integration Real Analysis Section 2B Exercise 11

Mathematics Asked by b_becsi on January 1, 2022

I apologize for the referential title, but the question is long and this book is freely available online.

I’m referring to Sheldon Axler’s new book, Measure, Integration, and Real Analysis, Section 2B Exercise 11.

Specifically, given $ T $ a $ sigma $ -algebra on $ Gamma $ and $ X in T $ ,

Let S = {E $in $ T | E $ subset $ X}

Show S = {F $ cap $ X | F $ in $ T}

This is one of those questions where I feel like it should be easy intuitively but then I’m just not experienced enough with sigma-algebras to make it work.

Here’s how I’m reading the statement in question in my head:

Elements of a sigma-algebra that are proper subsets of an element, X in the sigma algebra, are intersections of the element X and elements of the sigma-algebra

I’ve attached a picture of my best attempt (since there are pictures).[![sig][1]][1]

Based on this work, I don’t know if I am reading the question wrong, or if there is a typo, since the final line shows a case where X could be a subset of some other element in the sigma-algebra, and this would mean that the intersection is not a proper subset.

If it is indeed a typo, I’m extremely happy for my effort since it is not already in the errata.
If not, then maybe which properties of sigma-algebras should I be focusing on?

Thank you!

One Answer

The question and the conclusion of it are correct.

Let $mathscr{S}={Einmathscr{T}:Esubset X}$ and $mathscr{S}'={Ecap X: Einmathscr{T}}$

  1. Show $mathscr{S}subset mathscr{S}'$:

Suppose $Ein mathscr{S}$ then $Einmathscr{T}$ and $E=Ecap X$ and so $Einmathscr{S}'$.

  1. Show that $mathscr{S}'subsetmathscr{S}$:

Suppose $Fin mathscr{S}'$. Then $F=Ecap X$ for some $Einmathscr{T}$. Since $Xinmathscr{T}$, then so is $F$. Finally, $Fsubset X$; hence $Finmathscr{S}$.

Answered by Oliver Diaz on January 1, 2022

Add your own answers!

Ask a Question

Get help from others!

© 2024 All rights reserved. Sites we Love: PCI Database, UKBizDB, Menu Kuliner, Sharing RPP