Negligible set

In mathematics, a negligible set is a set that is small enough that it can be ignored for some purpose. As common examples, finite sets can be ignored when studying the limit of a sequence, and null sets can be ignored when studying the integral of a measurable function.

Neligible sets define several useful concepts that can be applied in various situations, such as truth almost everywhere. In order for these to work, it's generally only necessary that the negligible sets form an ideal[?]; that is, the empty set is negligible, the union of two negligible sets is negligible, and any subset of a negligible set is negligible. For some purposes, we also need this ideal to be a sigma-ideal[?], so that countable unions of negligible sets are also negligible. If I and J are both ideals of subsets of the same set X, then one may speak of I-negligible and J-negligible subsets.

Examples

Let X be the set N of natural numbers, and let a subset of N be negligible if it is finite. Then the negligible sets form an ideal. This idea can be applied to any infinite set; but if applied to a finite set, every subset will be negligible, which isn't a very useful notion.

Or let X be an uncountable set, and let a subset of X be negligible if it is countable. Then the negligible sets form a sigma-ideal.

Let X be a measurable space equipped with a measure m, and let a subset of X be negligible if it is m-null. Then the negligible sets form a sigma-ideal. The preceding example is a special case of this using counting measure.

Let X be a topological space, and let a subset be negligible if it is of first category. Then the negligible sets form a sigma-ideal. X is a Baire space if the interior of every such negligible set is empty.

Let X be a directed set, and let a subset of X be negligible if it has an upper bound. Then the negligible sets form an ideal. The first example is a special case of this using the usual ordereing of N.

Derived concepts

Let X be a set, and let I be an ideal of negligible subsets of X. If p is a proposition about the elements of X, then p is true almost everywhere if the set of points where p is true is the complement of a negligible set. That is, p may not always be true, but it's false so rarely that this can be ingored for the purposes at hand.

If f and g are functions from X to the same space Y, then f and g are equivalent if they are equal almost everywhere. To make the introductory paragraph precise, then, let X be N, and let the negligible sets be the finite sets. Then f and g are sequences. If Y is a topological space, then f and g have the same limit, or both have none. (When you generalise this to a directed sets, you get the same result, but for nets.) Or, let X be a measure space, and let negligible sets be the null sets. If Y is the real line R, then f and g have the same integral, or both have none.