Axiom of union

In axiomatic set theory and the branches of logic, mathematics, and computer science that use it, 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". Together with the axiom of pairing this implies that for any two sets, there is a set that contains exactly the elements of both.

Formal statement

In the formal language of the Zermelo-Fraenkel axioms, the axiom reads::forall A, exist B, forall c, (c in B iff exist D, (c in D and D in A),)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".

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 ∪"A". Thus the essence of the axiom is::The union of a set is a set.

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, then we can form the intersection ∩"A" using the axiom schema of specification as {"c" in "B" : 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" such that 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 universe is antithetical to Zermelo-Fraenkel set theory.)

References

*Paul Halmos, "Naive set theory". Princeton, NJ: D. Van Nostrand Company, 1960. Reprinted by Springer-Verlag, New York, 1974. ISBN 0-387-90092-6 (Springer-Verlag edition).
*Jech, Thomas, 2003. "Set Theory: The Third Millennium Edition, Revised and Expanded". Springer. ISBN 3-540-44085-2.
*Kunen, Kenneth, 1980. "Set Theory: An Introduction to Independence Proofs". Elsevier. ISBN 0-444-86839-9.

External links

*planetmath reference|id=4394|title=Axiom of Union


Wikimedia Foundation. 2010.

Look at other dictionaries:

  • Union (set theory) — Union of two sets …   Wikipedia

  • Axiom of pairing — In axiomatic set theory and the branches of logic, mathematics, and computer science that use it, the axiom of pairing is one of the axioms of Zermelo Fraenkel set theory. Formal statement In the formal language of the Zermelo Frankel axioms, the …   Wikipedia

  • Axiom — Fichier:Axiom sur les Champs Elysées.jpg Axiom sur les Champs Elysées à Paris Nom Hicham Kochman Naissance 19 janvier 1975 (1975 01 19) (36 ans) Lil …   Wikipédia en Français

  • Axiom of Maria — is a mystical precept in alchemy where one becomes two, two becomes three, and out of the third comes the one as the fourth. It is attributed to 3rd century alchemist Maria Prophetissa.Psychoanalyst Carl Jung interpreted this concept as a… …   Wikipedia

  • Axiom of choice — This article is about the mathematical concept. For the band named after it, see Axiom of Choice (band). In mathematics, the axiom of choice, or AC, is an axiom of set theory stating that for every family of nonempty sets there exists a family of …   Wikipedia

  • Axiom schema of replacement — In set theory, the axiom schema of replacement is a schema of axioms in Zermelo Fraenkel set theory (ZFC) that asserts that the image of any set under any definable mapping is also a set. It is necessary for the construction of certain infinite… …   Wikipedia

  • Axiom of countable choice — The axiom of countable choice or axiom of denumerable choice, denoted ACω, is an axiom of set theory, similar to the axiom of choice. It states that any countable collection of non empty sets must have a choice function. Spelled out, this means… …   Wikipedia

  • Axiom Telecom — HistoryIn 1997, Axiom Telecom was founded by an Emarati entrepreneur, Faisal Al Bannai, with four employees at the start of its operations.In 1999, Axiom became the official distributors for most of the prominent mobile consumer brands in the UAE …   Wikipedia

  • Axiom of infinity — In axiomatic set theory and the branches of logic, mathematics, and computer science that use it, the axiom of infinity is one of the axioms of Zermelo Fraenkel set theory. Formal statement In the formal language of the Zermelo Fraenkel axioms,… …   Wikipedia

  • infinity, axiom of — Axiom needed in Russell s development of set theory to ensure that there are enough sets for the purposes of mathematics. In the theory of types, if there were only finitely many objects of the lowest type, then there would only be finite sets at …   Philosophy dictionary


Share the article and excerpts

Direct link
Do a right-click on the link above
and select “Copy Link”

We are using cookies for the best presentation of our site. Continuing to use this site, you agree with this.