Measure and integration Definition
S-finite measure
Builds on Measurable spaceMeasureFinite measureSigma-finite measure
Definition
Let be a measurable space. A measure on is s-finite if there are finite measures on such that for every .
Remarks
Let be Lebesgue measure on the Borel sets of . Let , which is when and otherwise. It is s-finite, since each term is a finite measure. It is not σ-finite: a set of finite -measure meets in a -null set, and countably many such sets cannot cover . Every σ-finite measure is s-finite: write as a disjoint union of sets of finite measure, and let . Counting measure on the Borel sets of 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 to every point of the uncountable set .
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
- no evidence level
- Finite measure concept
- Measurable space concept
- Measure concept
- Sigma-finite measure concept
- S-finite measure definition
Further reading
About this page
| Tag | 4Q1CK359NB |
|---|---|
| URI | m2://4Q1CK359NB |
| Kind | definition |
| Writing | W0 stub |
| MSC | 28A12 |
| Defines | S-finite measure |
| Uses | Measurable space, Measure, Finite measure, Sigma-finite measure |
| Changed | 2 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.