Art of Problem Solving
AoPS Online
Math texts, online classes, and more
for students in grades 5-12.
Visit AoPS Online ‚
Books for Grades 5-12 Online Courses
Beast Academy
Engaging math books and online learning
for students ages 6-13.
Visit Beast Academy ‚
Books for Ages 6-13 Beast Academy Online
AoPS Academy
Small live classes for advanced math
and language arts learners in grades 2-12.
Visit AoPS Academy ‚
Find a Physical Campus Visit the Virtual Campus

Difference between revisions of "Zermelo-Fraenkel Axioms"

(expand)
m (→‎Axioms)
 
(6 intermediate revisions by 5 users not shown)
Line 1: Line 1:
−
It would be very convenient indeed for set theorists if any collection of objects with a given property describable by the [[language of set theory]] could be called a set. Unfortunately, as shown by paradoxes such as [[Russell's Paradox]], we must put some restrictions on which collections to call sets. The Zermelo Fraenkel axiom system, developed by Ernst Zermelo and Abraham Fraenkel, does precisely this.
+
The '''Zermelo-Fraenkel Axioms''' are a set of axioms that compiled by Ernst Zermelo and Abraham Fraenkel that make it very convenient for set theorists to determine whether a given collection of objects with a given property describable by the language of [[set theory]] could be called a [[set]]. As shown by paradoxes such as [[Russell's Paradox]], some restrictions must be put on which collections to call sets.
  
−
== The Axiom of Extensionability ==
+
==Axioms==
 +
The language of set theory consists of a single binary relation <math>\in</math>. As such, all axioms can be written using only the symbols of predicate logic and <math>\in</math>. While <math>\in</math> usually means set membership, strictly speaking, it need not represent that. That is, there are models of <math>\sf{ZF}</math> where <math>\in</math> does not mean set membership, but due to the [[Mostowski Collapse lemma]] this is often of little importance.
 +
 
 +
Zermelo-Fraenkel set theory (<math>\sf{ZF}</math>) consists of all the following axioms except the Axiom of Choice. With the Axiom of Choice, the set of axioms becomes <math>\sf{ZFC}</math>.
 +
 
 +
=== The Axiom of Extensionality ===
  
 
This axiom establishes the most basic property of sets - a set is completely characterized by its elements alone. <br/>
 
This axiom establishes the most basic property of sets - a set is completely characterized by its elements alone. <br/>
−
'''Statement:''' If two sets have the same elements, they are identical
+
'''Statement:''' Two sets <math>A</math> and <math>B</math> are equal if and only if the statements <math>a \in A</math> (<math>a</math> is an element of <math>A</math>) and <math>b\in B</math> (<math>b</math> is an element of <math>B</math>) are equivalent.
  
−
== The Null Set Axiom ==
+
=== The Empty Set Axiom ===
  
 
This axiom ensures that there is at least one set. <br/>
 
This axiom ensures that there is at least one set. <br/>
−
'''Statement:''' There exists a set called the null set which contains no elements.
+
'''Statement:''' There exists a set (called the [[empty set]] and denoted <math>\emptyset</math>) which contains no elements.
  
−
== The Axiom of Subset Selection ==
+
=== The Axiom of Subset Selection ===
  
 
This axiom declares subsets of a given set as sets themselves. <br/>
 
This axiom declares subsets of a given set as sets themselves. <br/>
−
'''Statement:''' Given a set <math>A</math>, and a formula <math>\phi(a)</math> with one free variable, there exists a set whose elements are precisely those elements of <math>A</math> which satisfy <math>\phi</math>.
+
'''Statement:''' Given a set <math>A</math>, and a formula <math>\phi(a)</math> with one free [[variable]], there exists a set whose elements are precisely those elements of <math>A</math> which satisfy <math>\phi</math>.
  
−
== The Power Set Axiom ==
+
=== The Power Set Axiom ===
  
 
This axiom allows us to construct a bigger set from a given set. <br/>
 
This axiom allows us to construct a bigger set from a given set. <br/>
−
'''Statement:''' Given a set <math>A</math>, there is a set containing all the subsets of A and no other element.
+
'''Statement:''' For every set <math>A</math>, there exists a set, called the [[power set]] of <math>A</math> (denoted <math>\mathcal{P}(A)</math> or <math>\mathfrak{P}(A)</math>), containing exactly the [[subset]]s of <math>A</math>.
  
−
== The Axiom of Replacement ==
+
=== The Axiom of Replacement ===
  
 
This axiom allows us, given a set, to construct other sets of the same size. <br/>
 
This axiom allows us, given a set, to construct other sets of the same size. <br/>
−
'''Statement:''' Given a set <math>A</math> and a bijective binary relation describable in the language of set theory, there is a set which consists of exactly those elements related to elements in <math>A</math>.
+
'''Statement:''' Given a set <math>A</math> and a [[functional predicate]] in the language of set theory, there is a set which consists of exactly those elements related to elements in <math>A</math>.
  
−
== The Axiom of Union ==
+
=== The Axiom of Union ===
  
 
This axiom allows us to take unions of two or more sets. <br/>
 
This axiom allows us to take unions of two or more sets. <br/>
 
'''Statement:''' Given a set <math>A</math>, there exists a set with exactly those elements which belong to some element of <math>A</math>.
 
'''Statement:''' Given a set <math>A</math>, there exists a set with exactly those elements which belong to some element of <math>A</math>.
  
−
== The Axiom of Infinity ==
+
=== The Axiom of Infinity ===
  
 
This gives us at least one infinite set. <br/>
 
This gives us at least one infinite set. <br/>
−
'''Statement:''' There exists a set <math>A</math> containing the null set, such that for all <math>a</math> in <math>A</math>, <math>\{a\}</math> is also in <math>A</math>.
+
'''Statement:''' There exists an infinite set, i.e., a set <math>A</math> and an [[injection]] <math>A \to A</math> which is not bijective.
  
−
== The Axiom of Foundation ==
+
=== The Axiom of Foundation ===
  
 
This makes sure no set contains itself, thus avoiding certain paradoxical situations. <br/>
 
This makes sure no set contains itself, thus avoiding certain paradoxical situations. <br/>
−
'''Statement:''' The relation ''belongs to'' is [[well-founded]].
+
'''Statement:''' The relation ''belongs to'' is [[well-founded]].  In other words, for every nonempty set <math>A</math>, there exists a set <math>a \in A</math> which is disjoint from <math>A</math>.
  
−
== The Axiom of Choice ==
+
=== The Axiom of Choice ===
  
 
This allows to find a choice set for any arbitrary collection of sets. <br/>
 
This allows to find a choice set for any arbitrary collection of sets. <br/>
−
'''Statement:''' Given any collection of sets, there exists a set (called the choice set) containing precisely one element of each set in the collection.
+
'''Statement:''' For each collection of [[disjoint sets]], there exists a set (called the choice set) containing precisely one element of each set in the collection.
  
−
There is quite a bit of controversy over this axiom, because it does not hold for [[infinite]] [[set]]s. Generally, most mathematicians are uncomfortable using it, though it is widely accepted as being used for [[finite]] sets.
+
This axiom is more controversial than the others.  It gives no new results when applied to finite sets, but for infinite sets, it results in certain surprising results such as the [[Banach-Tarski Paradox]]. As a result, many mathematicians investigate what parts of mathematics can be obtained without the axiom of choice, which results of mathematics require the axiom of choices, and plausible negations of the axiom of choice.
  
 
==See Also==
 
==See Also==

Latest revision as of 19:49, 13 October 2019

The Zermelo-Fraenkel Axioms are a set of axioms that compiled by Ernst Zermelo and Abraham Fraenkel that make it very convenient for set theorists to determine whether a given collection of objects with a given property describable by the language of set theory could be called a set. As shown by paradoxes such as Russell's Paradox, some restrictions must be put on which collections to call sets.

Axioms

The language of set theory consists of a single binary relation $\in$. As such, all axioms can be written using only the symbols of predicate logic and $\in$. While $\in$ usually means set membership, strictly speaking, it need not represent that. That is, there are models of $\sf{ZF}$ where $\in$ does not mean set membership, but due to the Mostowski Collapse lemma this is often of little importance.

Zermelo-Fraenkel set theory ($\sf{ZF}$) consists of all the following axioms except the Axiom of Choice. With the Axiom of Choice, the set of axioms becomes $\sf{ZFC}$.

The Axiom of Extensionality

This axiom establishes the most basic property of sets - a set is completely characterized by its elements alone.
Statement: Two sets $A$ and $B$ are equal if and only if the statements $a \in A$ ($a$ is an element of $A$) and $b\in B$ ($b$ is an element of $B$) are equivalent.

The Empty Set Axiom

This axiom ensures that there is at least one set.
Statement: There exists a set (called the empty set and denoted $\emptyset$) which contains no elements.

The Axiom of Subset Selection

This axiom declares subsets of a given set as sets themselves.
Statement: Given a set $A$, and a formula $\phi(a)$ with one free variable, there exists a set whose elements are precisely those elements of $A$ which satisfy $\phi$.

The Power Set Axiom

This axiom allows us to construct a bigger set from a given set.
Statement: For every set $A$, there exists a set, called the power set of $A$ (denoted $\mathcal{P}(A)$ or $\mathfrak{P}(A)$), containing exactly the subsets of $A$.

The Axiom of Replacement

This axiom allows us, given a set, to construct other sets of the same size.
Statement: Given a set $A$ and a functional predicate in the language of set theory, there is a set which consists of exactly those elements related to elements in $A$.

The Axiom of Union

This axiom allows us to take unions of two or more sets.
Statement: Given a set $A$, there exists a set with exactly those elements which belong to some element of $A$.

The Axiom of Infinity

This gives us at least one infinite set.
Statement: There exists an infinite set, i.e., a set $A$ and an injection $A \to A$ which is not bijective.

The Axiom of Foundation

This makes sure no set contains itself, thus avoiding certain paradoxical situations.
Statement: The relation belongs to is well-founded. In other words, for every nonempty set $A$, there exists a set $a \in A$ which is disjoint from $A$.

The Axiom of Choice

This allows to find a choice set for any arbitrary collection of sets.
Statement: For each collection of disjoint sets, there exists a set (called the choice set) containing precisely one element of each set in the collection.

This axiom is more controversial than the others. It gives no new results when applied to finite sets, but for infinite sets, it results in certain surprising results such as the Banach-Tarski Paradox. As a result, many mathematicians investigate what parts of mathematics can be obtained without the axiom of choice, which results of mathematics require the axiom of choices, and plausible negations of the axiom of choice.

See Also

External Links

Retrieved from "https://artofproblemsolving.com/wiki/index.php?title=Zermelo-Fraenkel_Axioms&oldid=110291"