Counting measure
|
|
In mathematics, the counting measure is an intuitive way to put a measure on any set: the "size" of a subset is taken to be the number of the subset's elements if this is finite, and ∞ if the subset is infinite.
Formally, start with a set Ω and consider the sigma algebra X on Ω consisting of all subsets of Ω. Define a measure μ on this sigma algebra by setting μ(A) = |A| if A is a finite subset of Ω and μ(A) = ∞ if A is an infinite subset of Ω. Then (Ω, X, μ) is a measure space.
The counting measure allows to translate many statements about Lp spaces into more familiar settings. If Ω = {1,...,n} and S is the measure space with the counting measure on Ω, then Lp(S) is the same as Rn (or Cn), with norm defined by
- <math>\|x\|_p = \left ( \sum_{i=1}^n |x_i|^p \right )^{1/p}<math>
for x = (x1,...,xn).
Similarly, if Ω is taken to be the natural numbers and S is the measure space with the counting measure on Ω, then Lp(S) consists of those sequences x = (xn) for which
- <math>\|x\|_p = \left ( \sum_{i=1}^\infty |x_i|^p \right)^{1/p}<math>
is finite. This space is often written as <math>\ell^p<math>.ja:数え上げ測度