Difference between revisions of "Measure space"

From Maths
Jump to: navigation, search
m
m
Line 1: Line 1:
Before we can define Measure space we need a measurable space.
+
Before we can define Measure space we need a [[Measurable space]].
 
+
==Measurable Space==
+
Let {{M|X}} be a set and {{M|\mathcal{A} }} a [[Sigma-algebra|{{sigma|algebra}}]], then {{M|(X,\mathcal{A})}} is a ''Measurable space''
+
  
 
==Measure space==
 
==Measure space==
A measurable space and a function, <math>\mu:\mathcal{A}\rightarrow[0,\infty]</math> which is a [[Measure|measure]] is a measure space, that is a measure space is:
+
A [[Measurable space]] {{M|(X,\mathcal{A})}} and a function, <math>\mu:\mathcal{A}\rightarrow[0,\infty]</math> which is a [[Measure|measure]] is a measure space, that is a measure space is:
  
 
<math>(X,\mathcal{A},\mu:\mathcal{A}\rightarrow[0,\infty])</math> but recall [[Mathematicians are lazy|mathematicians are lazy]] so we just write <math>(X,\mathcal{A},\mu)</math>
 
<math>(X,\mathcal{A},\mu:\mathcal{A}\rightarrow[0,\infty])</math> but recall [[Mathematicians are lazy|mathematicians are lazy]] so we just write <math>(X,\mathcal{A},\mu)</math>
  
 
{{Definition|Measure Theory}}
 
{{Definition|Measure Theory}}

Revision as of 18:21, 15 March 2015

Before we can define Measure space we need a Measurable space.

Measure space

A Measurable space (X,A) and a function, μ:A[0,] which is a measure is a measure space, that is a measure space is:

(X,A,μ:A[0,]) but recall mathematicians are lazy so we just write (X,A,μ)