definition of subspace \(\sigma\)-algebra of subset of measurable space
Topics
About: measurable space
The table of contents of this article
- Starting Context
- Target Context
- Orientation
- Main Body
- 1: Structured Description
- 2: Natural Language Description
- 3: Note
Starting Context
- The reader knows a definition of measurable space.
Target Context
- The reader will have a definition of subspace \(\sigma\)-algebra of subset of measurable space.
Orientation
There is a list of definitions discussed so far in this site.
There is a list of propositions discussed so far in this site.
Main Body
1: Structured Description
Here is the rules of Structured Description.
Entities:
\( (M', A')\): \(\in \{\text{ the measurable spaces }\}\)
\( M\): \(\subseteq M'\)
\(*A\): \(= \{W' \cap M \vert W' \in A'\}\)
//
Conditions:
//
2: Natural Language Description
For any measurable space, \((M', A')\), and any subset, \(M \subseteq M'\), \(A: = \{W' \cap M \vert W' \in A'\}\)
3: Note
\(A\) is indeed a \(\sigma\)-algebra of \(M\): 1) \(M = M' \cap M \in A\), because \(M' \in A'\); 2) for each \(W \in A\), \(M \setminus W \in A\), because \(M \setminus W = M \setminus (W' \cap M) = (M' \setminus W') \cap M\), by the proposition that the intersection of any set minus any set and any set is the intersection of the 1st set and the 3rd set minus the intersection of the 2nd set and the 3rd set, and \(M' \setminus W' \in A'\); 3) for each infinite sequence, \(W_1, W_2, ...\), where \(W_j \in A\), \(\cup_j W_j \in A\), because \(\cup_j W_j = \cup_j (W'_j \cap M) = (\cup_j W'_j) \cap M\), by the proposition that for any set, the intersection of the union of any possibly uncountable number of subsets and any subset is the union of the intersections of each of the subsets and the latter subset, and \(\cup_j W'_j \in A'\).
