Ideal (set Theory)

In the mathematical field of set theory, an ideal is a partially ordered collection of sets that are considered to be "small" or "negligible". Every subset of an element of the ideal must also be in the ideal (this codifies the idea that an ideal is a notion of smallness), and the union of any two elements of the ideal must also be in the ideal.

More formally, given a set $X,$ an ideal $I$ on $X$ is a nonempty subset of the powerset of $X,$ such that:

# if $A \in I$ and $B \subseteq A,$ then $B \in I,$ and
# if $A, B \in I$ then $A \cup B \in I.$

Some authors add a fourth condition that $X$ itself is not in $I$; ideals with this extra property are called .

Ideals in the set-theoretic sense are exactly ideals in the order-theoretic sense, where the relevant order is set inclusion. Also, they are exactly ideals in the ring-theoretic sense on the Boolean ring formed by the powerset of the underlying set. The dual notion of an ideal is a filter.

Terminology

An element of an ideal $I$ is said to be or , or simply or if the ideal $I$ is understood from context. If $I$ is an ideal on $X,$ then a subset of $X$ is said to be (or just ) if it is an element of $I.$ The collection of all $I$-positive subsets of $X$ is denoted $I^+.$

If $I$ is a proper ideal on $X$ and for every $A \subseteq X$ either $A \in I$ or $X \setminus A \in I,$ then $I$ is a .

Examples of ideals

General examples

* For any set $X$ and any arbitrarily chosen subset $B \subseteq X,$ the subsets of $B$ form an ideal on $X.$ For finite $X,$ all ideals are of this form.
* The finite subsets of any set $X$ form an ideal on $X.$
* For any measure space, subsets of sets of measure zero.
* For any measure space, sets of finite measure. This encompasses finite subsets (using counting measure) and small sets below.
* A bornology on a set $X$ is an ideal that covers $X.$
* A non-empty family $\mathcal$ of subsets of $X$ is a proper ideal on $X$ if and only if its in $X,$ which is denoted and defined by $X \setminus \mathcal := \,$ is a proper filter on $X$ (a filter is if it is not equal to $\wp(X)$). The dual of the power set $\wp(X)$ is itself; that is, $X \setminus \wp(X) = \wp(X).$ Thus a non-empty family $\mathcal \subseteq \wp(X)$ is an ideal on $X$ if and only if its dual $X \setminus \mathcal$ is a dual ideal on $X$ (which by definition is either the power set $\wp(X)$ or else a proper filter on $X$).

Ideals on the natural numbers

* The ideal of all finite sets of natural numbers is denoted Fin.
* The on the natural numbers, denoted $\mathcal_,$ is the collection of all sets $A$ of natural numbers such that the sum $\sum_\frac$ is finite. See small set.
* The on the natural numbers, denoted $\mathcal_0,$ is the collection of all sets $A$ of natural numbers such that the fraction of natural numbers less than $n$ that belong to $A,$ tends to zero as $n$ tends to infinity. (That is, the asymptotic density of $A$ is zero.)

Ideals on the real numbers

* The is the collection of all sets $A$ of real numbers such that the Lebesgue measure of $A$ is zero.
* The is the collection of all meager sets of real numbers.

Ideals on other sets

* If $\lambda$ is an ordinal number of uncountable cofinality, the on $\lambda$ is the collection of all subsets of $\lambda$ that are not stationary sets. This ideal has been studied extensively by W. Hugh Woodin.

Operations on ideals

Given ideals and on underlying sets and respectively, one forms the ''skew'' or ''Fubini'' product $I \times J$, an ideal on the Cartesian product $X \times Y,$ as follows: For any subset $A \subseteq X \times Y,$
$A \in I \times J \quad \text \quad \ \in I$
That is, a set lies in the product ideal if only a negligible collection of -coordinates correspond to a non-negligible slice of in the -direction. (Perhaps clearer: A set is in the product ideal if positively many -coordinates correspond to positive slices.)

An ideal on a set induces an equivalence relation on $\wp(X),$ the powerset of , considering and to be equivalent (for $A, B$ subsets of ) if and only if the symmetric difference of and is an element of . The quotient of $\wp(X)$ by this equivalence relation is a Boolean algebra, denoted $\wp(X) / I$ (read "P of mod ").

To every ideal there is a corresponding filter, called its . If is an ideal on , then the dual filter of is the collection of all sets $X \setminus A,$ where is an element of . (Here $X \setminus A$ denotes the relative complement of in ; that is, the collection of all elements of that are in ).

Relationships among ideals

If $I$ and $J$ are ideals on $X$ and $Y$ respectively, $I$ and $J$ are if they are the same ideal except for renaming of the elements of their underlying sets (ignoring negligible sets). More formally, the requirement is that there be sets $A$ and $B,$ elements of $I$ and $J$ respectively, and a bijection $\varphi : X \setminus A \to Y \setminus B,$ such that for any subset $C \subseteq X,$ $C \in I$ if and only if the image of $C$ under $\varphi \in J.$

If $I$ and $J$ are Rudin–Keisler isomorphic, then $\wp(X) / I$ and $\wp(Y) / J$ are isomorphic as Boolean algebras. Isomorphisms of quotient Boolean algebras induced by Rudin–Keisler isomorphisms of ideals are called .

See also

*
*
*
*
*
*
*

References

* {{cite book, last=Farah, first=Ilijas, series=Memoirs of the AMS, publisher=American Mathematical Society, date=November 2000, title=Analytic quotients: Theory of liftings for quotients over analytic ideals on the integers, isbn=9780821821176, url=https://books.google.com/books?id=IP7TCQAAQBAJ&q=ideal+OR+ideals

Set theory