In mathematics, a measurable space or Borel space[1] is a basic object in measure theory. It consists of a set and a σ-algebra, which defines the subsets that will be measured.
YouTube Encyclopedic
-
1/5Views:1 00638 893193 24169311 324
-
Measure Theory (9/15) - Measurable spaces and measurable sets - part 1 of 2
-
Measure Theory for Applied Research (Class.2: Sigma Algebras & Measurable Spaces)
-
Measure Theory - Part 1 - Sigma algebra
-
mod02lec09 - Probability spaces-Measurable space
-
Mod-03 Lec-11 Measurable sets
Transcription
Definition
Consider a set and a σ-algebra on Then the tuple is called a measurable space.[2]
Note that in contrast to a measure space, no measure is needed for a measurable space.
Example
Look at the set:
Common measurable spaces
If is finite or countably infinite, the -algebra is most often the power set on so This leads to the measurable space
If is a topological space, the -algebra is most commonly the Borel -algebra so This leads to the measurable space that is common for all topological spaces such as the real numbers
Ambiguity with Borel spaces
The term Borel space is used for different types of measurable spaces. It can refer to
- any measurable space, so it is a synonym for a measurable space as defined above [1]
- a measurable space that is Borel isomorphic to a measurable subset of the real numbers (again with the Borel -algebra)[3]
Families of sets over | ||||||||||
---|---|---|---|---|---|---|---|---|---|---|
Is necessarily true of or, is closed under: |
Directed by |
F.I.P. | ||||||||
π-system | ||||||||||
Semiring | Never | |||||||||
Semialgebra (Semifield) | Never | |||||||||
Monotone class | only if | only if | ||||||||
𝜆-system (Dynkin System) | only if |
only if or they are disjoint |
Never | |||||||
Ring (Order theory) | ||||||||||
Ring (Measure theory) | Never | |||||||||
δ-Ring | Never | |||||||||
𝜎-Ring | Never | |||||||||
Algebra (Field) | Never | |||||||||
𝜎-Algebra (𝜎-Field) | Never | |||||||||
Dual ideal | ||||||||||
Filter | Never | Never | ||||||||
Prefilter (Filter base) | Never | Never | ||||||||
Filter subbase | Never | Never | ||||||||
Open Topology | (even arbitrary ) |
Never | ||||||||
Closed Topology | (even arbitrary ) |
Never | ||||||||
Is necessarily true of or, is closed under: |
directed downward |
finite intersections |
finite unions |
relative complements |
complements in |
countable intersections |
countable unions |
contains | contains | Finite Intersection Property |
Additionally, a semiring is a π-system where every complement is equal to a finite disjoint union of sets in |
See also
- Borel set – Class of mathematical sets
- Measurable function – Function for which the preimage of a measurable set is measurable
- Measure – Generalization of mass, length, area and volume
- Standard Borel space – Mathematical construction in topology
References
- ^ a b Sazonov, V.V. (2001) [1994], "Measurable space", Encyclopedia of Mathematics, EMS Press
- ^ Klenke, Achim (2008). Probability Theory. Berlin: Springer. p. 18. doi:10.1007/978-1-84800-048-3. ISBN 978-1-84800-047-6.
- ^ Kallenberg, Olav (2017). Random Measures, Theory and Applications. Probability Theory and Stochastic Modelling. Vol. 77. Switzerland: Springer. p. 15. doi:10.1007/978-3-319-41598-7. ISBN 978-3-319-41596-3.