Axiom of union

From Wikipedia, the free encyclopedia

In axiomatic set theory, the axiom of union is one of the axioms of Zermelo–Fraenkel set theory, stating that, for any set x there is a set y whose elements are precisely the elements of the elements of x. It was introduced by Zermelo (1908). Together with the axiom of pairing this implies that for any two sets, there is a set (called their union) that contains exactly the elements of both. Together with the axiom of replacement the axiom of union implies that one can form the union of a family of sets indexed by a set.

Formal statement

In the formal language of the Zermelo–Fraenkel axioms, the axiom reads:

or in words:

Given any set A, there is a set B such that, for any element c, c is a member of B if and only if there is a set D such that c is a member of D and D is a member of A.

or, more simply:

For any set , there is a set which consists of just the elements of the elements of that set.

In the context of set theories which include the axiom of separation, the axiom of union is sometimes stated in a weaker form which only produces the superset of the union of a set. For example, Kunen (1980) states the axiom as

which is equivalent to

Compared to the axiom stated at the top of this section, this variation asserts only one direction of the implication, rather than both directions.

Interpretation

What the axiom is really saying is that, given a set A, we can find a set B whose members are precisely the members of the members of A. By the axiom of extensionality this set B is unique and it is called the union of A, and denoted . Thus the essence of the axiom is:

The union of a set is a set.

Note that the union of A and B, commonly written as , can be written as . Thus, the ordinary construction of unions is trivial given the axiom of pairing.

The axiom of union is generally considered uncontroversial, and it or an equivalent appears in just about any alternative axiomatization of set theory.

Note that there is no corresponding axiom of intersection. If A is a nonempty set containing E, then we can form the intersection using the axiom schema of specification as

{c in E: for all D in A, c is in D},

so no separate axiom of intersection is necessary. (If A is the empty set, then trying to form the intersection of A as

{c: for all D in A, c is in D}

is not permitted by the axioms. Moreover, if such a set existed, then it would contain every set in the "universe", but the notion of a universal set is antithetical to Zermelo–Fraenkel set theory.)

References

External links

Retrieved from "https://en.wikipedia.org/w/index.php?title=Axiom_of_union&oldid=811039919"
This content was retrieved from Wikipedia : http://en.wikipedia.org/wiki/Axiom_of_union
This page is based on the copyrighted Wikipedia article "Axiom of union"; it is used under the Creative Commons Attribution-ShareAlike 3.0 Unported License (CC-BY-SA). You may redistribute it, verbatim or modified, providing that you comply with the terms of the CC-BY-SA