Hanul Jeon
POSTS, SET-THEORY

Axiom of Regularity ― an introduction

Beginners of axiomatic set theory encounter a list of ten axioms of Zermelo-Fraenkel set theory (in fact, infinitely many axioms: Separation and Replacement are in fact not merely a single axiom, but a schema of axioms depending on a formula parameter, but it does not matter in this post.) Most of the axioms have a clear meaning, so not hard to accept: for example, Axiom of Pairing states we can find an unordered pair {a,b} of a and b, and Axiom of Union states we can find a union A of a set of sets A. Axiom of Choice might be a bit unclear and has a long historical debate whether this axiom should be accepted or not. However, we can find various applications of Axiom of Choice, and they provide a practical reason why we believe in Axiom of Choice, though there might be philosophical opposition which I will not cover.

However, Axiom of Regularity has an unclear statement in a first glance:

For each non-empty set x, there is yx such that xy=.

Most of the readers – especially those who have not learned axiomatic set theory – have not seen this strange axiom. It has no non-trivial application to usual mathematics. Moreover, the usual mathematics seems like neutral to this axiom: accepting or denying the axiom does not change almost all of the usual mathematics. As a result, this unfortunate axiom is fallen into an abyss of oblivion as Blass mentioned in [1] by

(…) the axiom of regularity has suffered an even worse fate than the axiom of choice; people don’t deny the axiom of regularity, they just ignore it.

Why set theorists add such an unclear and even seems-like redundant axiom as a part of ZFC? This post aims to explain the reason why. I will explain the meaning of this unfortunate axiom first and introduce its consequences: -induction and recursion, also called set induction and recursion. Then I will explain the most important consequence of the axiom of regularity: the class of all sets has a hierarchical structure.

Throughout this article, V means the class of all sets.


We first analyze a cumbersome description of the axiom of regularity. I will assume that the readers already know about partial orders and well-orderings. Let me rephrase the definiton of well-ordering:

An order over a set X is well-ordered if every non-empty subset Y of X has a minimal element with respect to .

Well-orderedness is a property of orders. Could we generalize well-orderedness for general binary relations? Here is a possible attempt:

A binary relation , not necessarily an order, is well-founded if every non-empty subset Y of X has a -minimal element.

We have to clarify what -minimal element does mean: remember the definition of minimal element:

An element xP of a partially ordered set (P,<) is minimal if no element yP satisfies y<x; i.e. no element of P is smaller than x.

We can also generalize the notion of minimality to general binary relations:

An element xX of a set X with a binary relation is -minimal if no element yP satisfies yx.

Now re-examine the statement of the axiom of regularity, with unpacking the set intersection into its definition:

For each non-empty set x, there is yx such that no zx satisfies zy; that is, y is a -minimal element of x.

Especially, every non-empty subset of a given set has a -minimal element. Therefore, we can say the axiom of regularity a statement asserting that is well-founded over any set.

Since every non-empty subset of a class of all sets V has a -minimal element, we could say V well-founded under . However, it seems lacking something: V is not a set but a proper class, so it has subclasses that are proper. Thus, it seems like we have to check every subclass of V has a -minimal element. Fortunately, our axiom of regularity is sufficient to prove this:

Theorem (ZF) Every non-empty class C has a -minimal element.

Proof. Take any xC and consider y={zxzC}. If y is empty, then x is -minimal element of C. If not, then y is not empty and y has a -minimal element, namely w. We can see be definition that w is -minimal element of C.

We formulated well-foundedness by mimicing well-orderedness. Therefore, we could expect well-foundedness resembles well-orderedness. For example, no well-ordered set allows infinitely decreasing chains. We can say the same thing for well-founded sets:

Theorem Let be a well-founded relation over a set X. Then there is no infinite -decreasing sequence over X; that is, no sequence xnnω over X satisfies x0x1x2.

Proof. Let xnnω be an infinite -decreasing sequence over X. Let y be a -minimal element of {xnnω}. Since y=xm for some m and xmxm+1, we have a contradiction.

Especially, we have

Corollary (ZF) There is no -decreasing sequence; that is, no xnnω satisfies x0x1x2.

This corollary excludes ill-founded sets (i.e. sets that make not well-founded) from the universe V of all sets. Especially, no set x can satisfy xx.


Well-orderedness has useful consequences: for example, every well-ordered set allows transfinite induction and transfinite recursion. The same holds for general well-founded relations, not only for well-ordered sets:

Theorem (Well-founded induction)

Let (X,) be a set with a well-founded relation and assume that xX[yX:yxϕ(y)]ϕ(x) holds for a formula ϕ(x). Then ϕ(x) holds for all xX.

(Remark: X need not be a set; hence X can be a proper class. We need to modify the proof slightly, however, to not to assume X be a set. I will leave this modification to the readers.)

Proof. Assume the contrary that ¬ϕ(x) holds for some xX. Since is well-founded, the set {xX¬ϕ(x)} has a -minimal element, say it a. We can see that no ba satisfy ¬ϕ(x), so ba implies ϕ(b). By the assumption, however, it implies ϕ(a), a contradiction.

Remind that the axiom of regularity states is well-founded over V. Therefore, we have

Corollary (-induction) If (yxϕ(y))ϕ(x) holds for all x, then ϕ(x) holds for all x.

What is the meaning of the well-founded induction? Let me remind the transfinite induction for ordinals. Its statement is as follows:

Assume that αOrd[βOrd:β<αϕ(β)]ϕ(α) holds for a formula ϕ(α). Then ϕ(α) holds for all ordinal α.

Here Ord be the class of all ordinals. The assumption in the statement means “if ϕ holds for all ordinals less than α, then ϕ(α) holds”. Therefore, a less formal description of the transfinite induction is

Assume that if ϕ(β) holds for all predecessors of α, then ϕ(α) holds. Then ϕ holds for all ordinals.

The meaning of the well-founded induction does not deviate from that of the transfinite induction: the well-founded induction states if we know the validity of ϕ(y) for all yx implies ϕ(x), then ϕ(x) holds for all x. It allows us inductive proof on a structure of sets, but I will postpone introducing its example.

We sometimes define a function on natural numbers and ordinals recursively. The nature of recursion of them heavily relies on the induction principle over N and ordinals. Since well-founded relations allows its own induction, we might expect it allows recursion, and this is true. I will state it without any proof:

Theorem. (Well-founded recursion) Let G:VV be a class function and (X,) be a well-founded class such that ext(x)={yX:yx} is always a set for xX. Then there is a function F:XV such that F(x):=G(Fext(x).

Some readers might wonder the meaning of Fext(x). Reminding set-theoretic definition of function might be helpful to get its meaning: Fext(x) is a set of all pairings y,F(y) for all predessors y of x. Therefore, we can say F(x) is defined from the value of predecessors of x under F.


One of an important consequence of the axiom of regularity is it provides a hierarchical structure of V: define the collection VααOrd recursively as follows:

It is easy to see that VααOrd is an increasing family of sets.

We call the union of all Vαs a collection of all pure sets: elements of the class are called “pure sets” because they are constructed from the empty set, not involving with any peculiar sets (like Quine atoms – sets satisfying x={x})) or urelements – objects that could be elements but not sets.

Since the axiom of regularity gets rid of these peculiar sets, we may expect the axiom of regularity proves every set is a pure set: that is, V=αOrdVα:

Theorem. V=αOrdVα. That is, every set is a pure set.

Proof. We will prove it by using -induction we have proved. Assume that every element of x is a member of some Vα. For each yx, associate the ordinal αy satisfying yVαy. It is like to require the axiom of choice in the first glance, but in fact, we can in fact define αy in a canonical way by letting αy=min{αyVα}. Now take α=sup{αyyx}. I will claim that xVα+1: by definition of αy, we have xyxVαyVα. That is, we have xVα, and xVα+1 follows from the definition of Vα+1.

The hierarchical structure of V allows us to impose a rank of sets: every set appears in some Vα as the hierarchy grows up, and some sets do not appear before to develop the hierarchy enough. This “how much” can be used to measure the complexity of sets.

Definition. The rank rankx of x is the least ordinal α such that xVα.

It is not hard to check that rankα=α for all ordinal α.

We can make use of the hierarchical aspects of the universe to strenghten the axiom of replacement:

Theorem. Let C(x) be a class indexed by xA for some set A. If C(x) is not empty for each xX, then there is a family of non-empty sets {C^(x)xX} such that C^(x)C(x).

Proof. For each xX, define αx by αx:=min{αC(x)Vα}. Now define C^(x):=VαxC(x). We can see that {C^(x)xX} is a desired family of sets.

The technique used in the theorem – collecting elements of C(x) of least available rank – is called Scott’s trick: we apply it to reduce collection of classes to a collection of sets. For example, consider the Russellian definition of cardinals: define ab if and only if there is a bijection between a and b. Hence we define cardinals as members of V/; that is, cardinals are equivalence class up to the equipotency relation . Unfortunately, V/ is ill-formed: each “member” of V/ is a proper class, so we cannot collect all of them into a single class.

Hopefully, we can resolve the problem by applying Scott’s trick. Collect the following sets for each xV instead of collecting the full equivalence classes: [x]:={yxy and if xz then rankzranky }.

By the same argument used in the previous proof, we can see that [x] is a set for each set x. Moreover, every member of [x] has the same size with x, so we can say [x] “represents” the cardinal of x.

Russellian definition of cardinals is useful in choiceless set theory: the usual definition of cardinals – defining it as initial ordinals – breaks down if we do not have the axiom of choice. We do not know every set is equipotent with an initial ordinal, so there might be sets whose cardinal is not represented by initial ordinals. The Russellian definition does not involve initial ordinals and the axiom of choice, and it forms cardinals from sets directly. Thus this definition works even if we do not have the axiom of choice.

I have not seen any application of collection outside of logic: in fact, the usual mathematics hardly uses the full power of ZFC. However, the Axiom of Collection is important to do set theory: for example, set theorists construct various models of ZFC via forcing or inner model. The construction includes verifying axioms of ZFC over the models, and checking the validity of Collection is sometimes easier than that of the Replacement.

Let me digress a little from the main topic of this article: the readers might ask whether the axiom of collection can be proven without the axiom of regularity. The answer seems negative: Karagila described how to construct a model of ZFC without regularity and collection, by using permutation model.


I will finish this post by mentioning the historical aspect of the main character: the axiom of regularity. The following explanation is mainly due to [2] and [3].

A weak form of the axiom of regularity xx was introduced in 1906 by Zermelo to avoid Russell’s paradox. However, he realized that restricting Full separation is sufficient to the paradox, so he abandoned it in 1908. In 1917, Mirimanoff studied ordinary sets, which we called as pure sets. However, he did not suggest every set must be pure. Von Neumann introduced an axiom in 1925 to exclude some ill-founded sets, but this axiom is not sufficient to show every set is pure. He introduced the modern form of the axiom of regularity in 1928. However, it was Zermelo who adopt Regularity as an axiom of set theory first.


References

[1] Andreas Blass, The interaction between Category theory and Set theory..

[2] Penelope Maddy, Believing the axioms I.

[3] Adam Rieger, Paradox, ZF, and the Axiom of Foundation.

[4] Harry Altman, How can one prove the axiom of collection in ZFC without using the axiom of foundation? URL: https://math.stackexchange.com/q/1619182. (retrived: 2020-03-12 02:56 +0900)