In measure theory, a conull set is a set whose complement is null, i.e., the measure of the complement is zero.[1] For example, the set of irrational numbers is a conull subset of the real line with Lebesgue measure.[2]

A property that is true of the elements of a conull set is said to be true almost everywhere.[3]

References

edit
  1. ^ Führ, Hartmut (2005), Abstract harmonic analysis of continuous wavelet transforms, Lecture Notes in Mathematics, vol. 1863, Springer-Verlag, Berlin, p. 12, ISBN 3-540-24259-7, MR 2130226.
  2. ^ A related but slightly more complex example is given by Führ, p. 143.
  3. ^ Bezuglyi, Sergey (2000), "Groups of automorphisms of a measure space and weak equivalence of cocycles", Descriptive set theory and dynamical systems (Marseille-Luminy, 1996), London Math. Soc. Lecture Note Ser., vol. 277, Cambridge Univ. Press, Cambridge, pp. 59–86, MR 1774424. See p. 62 for an example of this usage.


Stub icon

This set theory–related article is a stub. You can help Wikipedia by adding missing information.

📚 Artikel Terkait di Wikipedia

List of exceptional set concepts

dense set Null set, conull set Partition regular Piecewise syndetic set Schnirelmann density Small set (combinatorics) Stationary set Syndetic set Thick

List of properties of sets of reals

property Universally Baire set Meager set Comeager set - A comeager set is one whose complement is meager. Null set Conull set Dense set Nowhere dense set

Luzin N property

a cocountable set, as the image of a countable set is countable and thus a null set, but not to functions differentiable on a conull set: The Cantor function

Filter on a set

, R n {\displaystyle \mathbb {R} ^{n}} with the Lebesgue measure), the conull subsets of X {\displaystyle X} , i.e., the subsets whose complement has

List of integration and measure theory topics

regular measure Radon measure Measurable function Null set, negligible set Almost everywhere, conull set Lp space Borel–Cantelli lemma Lebesgue's monotone

Almost everywhere

all elements in a set except a subset of measure zero, or equivalently, if the set of elements for which the property holds is conull. In cases where the

Conservative system

sets are those with measure zero or with full measure (are null or are conull); that they are conservative then follows trivially from this. When τ is

Ergodicity

relation it is said to be ergodic if all saturated subsets are either null or conull. "Definition of ERGODICITY". www.merriam-webster.com. Retrieved 2026-01-13