Zero quantity

from Wikipedia, the free encyclopedia

In mathematics, a zero set (or zero set ) is a subset of a measure space (more precisely: is an element of the associated σ-algebra ) that has the measure zero. It is not to be confused with the empty set ; in fact, a null set can even contain an infinite number of elements. Some authors also add negligible quantities to the definition of zero set , i.e. H. those that are a subset of a null set, but not necessarily an element of algebra, and which therefore may not be assigned a measure. If a measure is also assigned to all sets that differ from an element of algebra by such a negligible amount , one speaks of the completion of the measure, as it is used in the definition of the Lebesgue measure .

From a property that for all elements of Maßraums outside a valid -null, they say that they - almost everywhere applies. Is a probability measure, so one also says - almost certainly instead of - almost everywhere.


  • The empty set forms a zero set in every measure space.

The following applies to the Lebesgue measure on or on :

  • A subset of is a Lebesgue null set if and only if there is a sequence of paraxial -dimensional cubes or cuboids with and .
  • Every countable subset of is a null set. In particular, the set of rational numbers in the set of real numbers is a zero set.
  • Every real subspace , especially every hyperplane , is a null set. The same is true for affine subspaces and submanifolds whose dimension is smaller than .
  • The Cantor set is an uncountable zero set in the set of real numbers.


Content on half-rings

Zero sets can also be defined more generally for elements of a half-ring . A set from is called a null set if the content holds . This generalization includes both the above definition, since every algebra is also a half-ring and every measure is also a content, as well as the case for rings and premeasures .

Differentiable manifolds

For differentiable manifolds there is generally no meaningful generalization of the Lebesgue measure. Nevertheless, the concept of Lebesgue nulls can be meaningfully transferred to differentiable manifolds: Let be a -dimensional differentiable manifold and , then a Lebesgue null set if for every card with the set is a Lebesgue null set in .

With this definition, Sard's theorem can be applied to differentiable manifolds. In the case of pseudo-Riemannian manifolds , these Lebesgue null sets are identical to the null sets with respect to the Riemann-Lebesgue volume measure .


Individual evidence

  1. a b Theodor Bröcker , Klaus Jänich : Introduction to the differential topology (=  Heidelberger Taschenbücher . Volume 143 ). Springer Verlag, Berlin / Heidelberg / u. a. 1990, ISBN 3-540-06461-3 , § 6. The Sard Theorem , Definitions 6.1 and 6.3, pp. 58–59 (Corrected reprint. “Differentiable” is always meant here .).
  2. ^ Herbert Amann, Joachim Escher : Analysis III . 2nd Edition. Birkhäuser Verlag, Basel 2008, ISBN 978-3-7643-8883-6 , Chapter IX. Elements of Measure Theory , 5.  The Lebesgue Measure , Theorem 5.1 (v), p. 41 .
  3. ^ Herbert Amann, Joachim Escher : Analysis III . 2nd Edition. Birkhäuser Verlag, Basel 2008, ISBN 978-3-7643-8883-6 , Chapter XII. Integration on Manifolds , 1.  Volume measures , Theorem 1.6, p. 409 .