Math 2.0

Measure and integration Definition

S-finite measure

Builds on Measurable spaceMeasureFinite measureSigma-finite measure

Definition

Let (X,Σ)(X, \Sigma) be a measurable space. A measure μ\mu on (X,Σ)(X, \Sigma) is s-finite if there are finite measures μ1,μ2,…\mu_1, \mu_2, \ldots on (X,Σ)(X, \Sigma) such that μ(A)=∑n=1∞μn(A)\mu(A) = \sum_{n=1}^{\infty} \mu_n(A) for every A∈ΣA \in \Sigma.

Remarks

Let λ\lambda be Lebesgue measure on the Borel sets of ℝ\R. Let μ(A)=∑n=1∞λ(A∩[0,1])\mu(A) = \sum_{n=1}^{\infty} \lambda(A \cap [0, 1]), which is 00 when λ(A∩[0,1])=0\lambda(A \cap [0, 1]) = 0 and ∞\infty otherwise. It is s-finite, since each term is a finite measure. It is not σ-finite: a set of finite μ\mu-measure meets [0,1][0, 1] in a λ\lambda-null set, and countably many such sets cannot cover [0,1][0, 1]. Every σ-finite measure is s-finite: write XX as a disjoint union of sets BnB_n of finite measure, and let μn(A)=μ(A∩Bn)\mu_n(A) = \mu(A \cap B_n). Counting measure on the Borel sets of ℝ\R is not s-finite. A finite measure gives positive mass to at most countably many points. So countably many finite measures give positive mass to at most countably many points in total. Counting measure gives mass 11 to every point of the uncountable set ℝ\R.

Reading path

To understand this page from the ground up, read these 5 pages in order. The foundations come first.

Show the path as a graph
Each page uses the pages above it. The colour of the bar on a box shows how strong the evidence is, and the box also gives it as text. The list has the same pages.
  • no evidence level
  1. Finite measure concept
  2. Measurable space concept
  3. Measure concept
  4. Sigma-finite measure concept
  5. S-finite measure definition

Further reading

  1. Web https://en.wikipedia.org/wiki/S-finite_measure
About this page
Tag4Q1CK359NB
URIm2://4Q1CK359NB
Kinddefinition
WritingW0 stub
MSC28A12
DefinesS-finite measure
UsesMeasurable space, Measure, Finite measure, Sigma-finite measure
Changed2 November 2026

Markdown · JSON · Edit on GitHub

What this page needs for W1

  • an inventory row: the row of the inventory that the node accounts for (0 of 1)
  • a source with a locator (0 of 1)

The writing levels say how complete the text of a page is. They do not measure its truth.

What links here

No page links to this page yet.