Difference between revisions of "Measurable space"
From Maths
m |
m |
||
| Line 1: | Line 1: | ||
| + | {{Refactor notice|grade=A*|msg=Lets get this measure theory stuff sorted. At least the skeleton | ||
| + | * I can probably remove the old page... it doesn't say anything different.}} | ||
| + | __TOC__ | ||
| + | ==Definition== | ||
| + | Given a [[set]], {{M|X}}, and a [[sigma-algebra|{{sigma|algebra}}]], {{M|\mathcal{A}\in\mathcal{P}(\mathcal{P}(X))}}<ref group="Note">More neatly written perhaps: | ||
| + | * {{M|A\subseteq\mathcal{P}(X)}}</ref> then a ''measurable space''{{rMIAMRLS}}{{rAGTARAF}} is the [[tuple]]: | ||
| + | * {{M|(X,\mathcal{A})}} | ||
| + | This is not to be confused with a ''[[measure space]]'' which is a [[tuple|{{M|3}}-tuple]]: {{M|(X,\mathcal{A},\mu)}} where {{M|\mu}} is a [[measure]] on the ''measurable space'' {{M|(X,\mathcal{A})}} | ||
| + | ===[[Premeasurable space]]=== | ||
| + | {{:Premeasurable space/Definition}} | ||
| + | ==See also== | ||
| + | * [[Pre-measurable space]] | ||
| + | * [[Measure space]] | ||
| + | ** [[Measure]] | ||
| + | ** [[Measurable map]] | ||
| + | ==Notes== | ||
| + | <references group="Note"/> | ||
| + | ==References== | ||
| + | <references/> | ||
| + | {{Definition|Measure Theory}} | ||
| + | |||
| + | |||
| + | =OLD PAGE= | ||
==Definition== | ==Definition== | ||
A ''measurable space''<ref name="MIM">Measures, Integrals and Martingales - Rene L. Schilling</ref> is a [[Tuple|tuple]] consisting of a set {{M|X}} and a [[Sigma-algebra|{{Sigma|algebra}}]] {{M|\mathcal{A} }}, which we denote: | A ''measurable space''<ref name="MIM">Measures, Integrals and Martingales - Rene L. Schilling</ref> is a [[Tuple|tuple]] consisting of a set {{M|X}} and a [[Sigma-algebra|{{Sigma|algebra}}]] {{M|\mathcal{A} }}, which we denote: | ||
Latest revision as of 13:05, 2 February 2017
Grade: A*
This page is currently being refactored (along with many others)
Please note that this does not mean the content is unreliable. It just means the page doesn't conform to the style of the site (usually due to age) or a better way of presenting the information has been discovered.
The message provided is:
The message provided is:
Lets get this measure theory stuff sorted. At least the skeleton
- I can probably remove the old page... it doesn't say anything different.
Contents
[hide]Definition
Given a set, X, and a σ-algebra, A∈P(P(X))[Note 1] then a measurable space[1][2] is the tuple:
- (X,A)
This is not to be confused with a measure space which is a 3-tuple: (X,A,μ) where μ is a measure on the measurable space (X,A)
Premeasurable space
- REDIRECT Pre-measurable space/Definition
See also
Notes
- Jump up ↑ More neatly written perhaps:
- A⊆P(X)
References
- Jump up ↑ Measures, Integrals and Martingales - René L. Schilling
- Jump up ↑ A Guide To Advanced Real Analysis - Gerald B. Folland
OLD PAGE
Definition
A measurable space[1] is a tuple consisting of a set X and a σ-algebra A, which we denote:
- (X,A)
Pre-measurable space
A pre-measurable space[2] is a set X coupled with an algebra, A (where A is NOT a σ-algebra) which we denote as follows:
- (X,A)
