Sigma-ideal

A sigma-ideal (often denoted as $\sigma$-ideal) is a concept in set theory, measure theory, and descriptive set theory, representing a special kind of collection of subsets of a given set. It generalizes the notion of an ideal by adding the property of closure under countable unions.

Formal Definition

Let $X$ be a set and $\mathcal{A}$ be a $\sigma$-algebra of subsets of $X$. A subset $\mathcal{I} \subseteq \mathcal{A}$ is called a sigma-ideal if it satisfies the following three conditions:

1. Non-empty and contains the empty set: $\emptyset \in \mathcal{I}$.
2. Closed under subsets (downward closure): If $A \in \mathcal{I}$ and $B \subseteq A$ with $B \in \mathcal{A}$, then $B \in \mathcal{I}$.
3. Closed under countable unions: If ${A_n}{n=1}^\infty$ is a countable collection of sets such that $A_n \in \mathcal{I}$ for all $n$, then their union $\bigcup{n=1}^\infty A_n \in \mathcal{I}$.

Properties and Relationship to Ideals

• Every sigma-ideal is an ideal, as closure under finite unions is implied by closure under countable unions (by taking $A_n = \emptyset$ for $n > k$).
• An ideal is a sigma-ideal if and only if it is closed under countable unions.
• Sigma-ideals are typically considered within a larger $\sigma$-algebra, ensuring that all relevant subsets are measurable or "valid" for the context. When no $\sigma$-algebra is explicitly mentioned, it is often assumed to be the power set of $X$, $P(X)$.
• A sigma-ideal is not necessarily a $\sigma$-algebra because it is not required to be closed under complements. In fact, if a sigma-ideal $\mathcal{I}$ contains a set $A$ such that $X \setminus A \in \mathcal{I}$, and $X \in \mathcal{I}$, then $\mathcal{I}$ must be equal to $\mathcal{A}$ (the entire $\sigma$-algebra).

Examples

The most prominent examples of sigma-ideals arise in measure theory and descriptive set theory:

1. Null Sets: In a measure space $(X, \mathcal{A}, \mu)$, the collection of all $\mu$-null sets (sets of measure zero) forms a sigma-ideal. That is, if $\mathcal{I}{\mu} = {A \in \mathcal{A} : \mu(A) = 0}$, then $\mathcal{I}{\mu}$ is a sigma-ideal. This is a fundamental concept in the completion of measure spaces and the definition of essential supremum/infimum.
2. Meager Sets (Sets of First Category): In a topological space $X$, the collection of meager sets (those that are a countable union of nowhere dense sets) forms a sigma-ideal. If $\mathcal{A}$ is the $\sigma$-algebra of Borel sets, then the collection of meager Borel sets is a sigma-ideal. This is crucial in Baire category theorem and descriptive set theory.
3. Countable Sets: On an uncountable set $X$, the collection of all countable subsets of $X$ forms a sigma-ideal. (More precisely, if $\mathcal{A} = P(X)$, then $\mathcal{I} = {A \subseteq X : A \text{ is countable}}$ is a sigma-ideal.)
4. Sets of Lebesgue Measure Zero: The collection of all subsets of $\mathbb{R}^n$ that have Lebesgue measure zero constitutes a sigma-ideal. This is a specific instance of the null sets example.

Significance and Applications

Sigma-ideals play a crucial role in various areas of mathematics:

• Measure Theory: They provide the formal framework for understanding "negligible" sets (like null sets). The completion of a measure space essentially involves extending the $\sigma$-algebra by adding all subsets of null sets.
• Descriptive Set Theory: The study of sigma-ideals of meager sets and null sets on Polish spaces is central to understanding the structure of "large" and "small" sets in such spaces. Concepts like the perfect set property and the Lusin and Suslin properties are often formulated using these ideals.
• Set Theory: The study of sigma-ideals on the power set of the natural numbers $P(\mathbb{N})$ (or $P(\omega)$) is a rich area, particularly related to properties of filters, forcing, and combinatorial set theory. Examples include the ideal of finite sets (Fin) and the ideal of meager sets on $2^\omega$ (the Baire space).

Related Concepts

• Ideal (set theory): A collection of subsets closed under subsets and finite unions. A sigma-ideal is a specific type of ideal.
• Filter (set theory): The dual concept to an ideal, where a filter is closed under supersets and finite intersections.
• $\sigma$-algebra: A collection of subsets closed under complements and countable unions (and containing the empty set). A sigma-ideal is generally not a $\sigma$-algebra.
• Measure Zero Set / Null Set: A set whose measure is zero.
• Meager Set / Set of First Category: A set that is a countable union of nowhere dense sets.