In mathematics, a pre-measure is a set function that is, in some sense, a precursor to a bona fide measure on a given space. Indeed, one of the fundamental theorems in measure theory states that a pre-measure can be extended to a measure.
Definition
[edit]Families of sets over | ||||||||||
---|---|---|---|---|---|---|---|---|---|---|
Is necessarily true of or, is closed under: |
Directed by |
F.I.P. | ||||||||
Ï-system | ![]() |
![]() |
![]() |
![]() |
![]() |
![]() |
![]() |
![]() |
![]() |
![]() |
Semiring | ![]() |
![]() |
![]() |
![]() |
![]() |
![]() |
![]() |
![]() |
![]() |
Never |
Semialgebra (Semifield) | ![]() |
![]() |
![]() |
![]() |
![]() |
![]() |
![]() |
![]() |
![]() |
Never |
Monotone class | ![]() |
![]() |
![]() |
![]() |
![]() |
only if | only if | ![]() |
![]() |
![]() |
đ-system (Dynkin System) | ![]() |
![]() |
![]() |
only if |
![]() |
![]() |
only if or they are disjoint |
![]() |
![]() |
Never |
Ring (Order theory) | ![]() |
![]() |
![]() |
![]() |
![]() |
![]() |
![]() |
![]() |
![]() |
![]() |
Ring (Measure theory) | ![]() |
![]() |
![]() |
![]() |
![]() |
![]() |
![]() |
![]() |
![]() |
Never |
ÎŽ-Ring | ![]() |
![]() |
![]() |
![]() |
![]() |
![]() |
![]() |
![]() |
![]() |
Never |
đ-Ring | ![]() |
![]() |
![]() |
![]() |
![]() |
![]() |
![]() |
![]() |
![]() |
Never |
Algebra (Field) | ![]() |
![]() |
![]() |
![]() |
![]() |
![]() |
![]() |
![]() |
![]() |
Never |
đ-Algebra (đ-Field) | ![]() |
![]() |
![]() |
![]() |
![]() |
![]() |
![]() |
![]() |
![]() |
Never |
Dual ideal | ![]() |
![]() |
![]() |
![]() |
![]() |
![]() |
![]() |
![]() |
![]() |
![]() |
Filter | ![]() |
![]() |
![]() |
Never | Never | ![]() |
![]() |
![]() |
![]() | |
Prefilter (Filter base) | ![]() |
![]() |
![]() |
Never | Never | ![]() |
![]() |
![]() |
![]() | |
Filter subbase | ![]() |
![]() |
![]() |
Never | Never | ![]() |
![]() |
![]() |
![]() | |
Open Topology | ![]() |
![]() |
![]() |
![]() |
![]() |
![]() |
![]() (even arbitrary ) |
![]() |
![]() |
Never |
Closed Topology | ![]() |
![]() |
![]() |
![]() |
![]() |
![]() (even arbitrary ) |
![]() |
![]() |
![]() |
Never |
Is necessarily true of or, is closed under: |
directed downward |
finite intersections |
finite unions |
relative complements |
complements in |
countable intersections |
countable unions |
contains | contains | Finite Intersection Property |
Additionally, a semiring is a Ï-system where every complement is equal to a finite disjoint union of sets in |
Let be a ring of subsets (closed under union and relative complement) of a fixed set and let be a set function. is called a pre-measure if and, for every countable (or finite) sequence of pairwise disjoint sets whose union lies in The second property is called -additivity.
Thus, what is missing for a pre-measure to be a measure is that it is not necessarily defined on a sigma-algebra (or a sigma-ring).
Carathéodory's extension theorem
[edit]It turns out that pre-measures give rise quite naturally to outer measures, which are defined for all subsets of the space More precisely, if is a pre-measure defined on a ring of subsets of the space then the set function defined by is an outer measure on and the measure induced by on the -algebra of Carathéodory-measurable sets satisfies for (in particular, includes ). The infimum of the empty set is taken to be
(Note that there is some variation in the terminology used in the literature. For example, Rogers (1998) uses "measure" where this article uses the term "outer measure". Outer measures are not, in general, measures, since they may fail to be -additive.)
See also
[edit]- Hahn-Kolmogorov theorem â Theorem extending pre-measures to measures
References
[edit]- Munroe, M. E. (1953). Introduction to measure and integration. Cambridge, Mass.: Addison-Wesley Publishing Company Inc. p. 310. MR0053186
- Rogers, C. A. (1998). Hausdorff measures. Cambridge Mathematical Library (Third ed.). Cambridge: Cambridge University Press. p. 195. ISBN 0-521-62491-6. MR1692618 (See section 1.2.)
- Folland, G. B. (1999). Real Analysis. Pure and Applied Mathematics (Second ed.). New York: John Wiley & Sons, Inc. pp. 30â31. ISBN 0-471-31716-0.
Well, that’s interesting to know that Psilotum nudum are known as whisk ferns. Psilotum nudum is the commoner species of the two. While the P. flaccidum is a rare species and is found in the tropical islands. Both the species are usually epiphytic in habit and grow upon tree ferns. These species may also be terrestrial and grow in humus or in the crevices of the rocks.
View the detailed Guide of Psilotum nudum: Detailed Study Of Psilotum Nudum (Whisk Fern), Classification, Anatomy, Reproduction