Processing math: 100%

Monday, November 7, 2011 CC-BY-NC
Introduction to set theory

Maintainer: admin

And now onto the last serious topic, one even more basic than Peano arithmetic. The axiom system we'll be using for set theory is ZFC (Zermelo-Fraenkel set theory with the axiom of choice).

1Set Theory

1.1Notation

The signature for this system is {} which is a binary relation symbol and that's it.

We often will write xX instead of ¬(xX)

xy abbreviates z(zxzy). is read as "is a subset of". , on the other hand, means "is a proper subset of" and does not include the possibility that x and y are the same set. We won't be using

1.2Russell's paradox

Consider the set R={x:xX} is RR? This is called Russell's paradox.

If yes then RR but then... contradiction.

The usual way out of this paradox: R is not a set.

1.3Axioms of Set Theory

Most axioms of set theory are constructive principles, for making sets.

1.3.1Extensionality

xy(z(zxzy)x=y) (a set is completely defined by what things it has as elements)

We can also write extensionality as xy(x=y(xyyx)).

Note that extensionality tells us something about the nature of sets, but doesn't actually give us any. The next axiom does, however.

1.3.2Empty set axiom

xy(yx) (there is a set that has no elements)

This is called the empty set, which can be defined as follows: ={y:yy)={}. By extensionality, there is only one such set.

1.3.3Comprehension (separation) scheme

The sweeping construction principle.

Let Φ(x,ˉy) be the Σ-formula y(yx). We then have the following axiom:

ˉy[z(wx(xw(xzΦ(x,ˉy)))]

In other words, there must be a set z that is "bigger" than w1. But we need z firstwhat?.

N.B. for all x,y,z:

  • xx
  • xyyzx=y
  • xyyzxz
  • x
  • xx=

1.3.4Pairing

xyz(xzyz) (note: x and y can be equal)

Accepting this, we can now show the existence of a set Z such that Z.

In fact, an instance of comprehension now gives us {} - the set composed of only the empty set - which we can think of as the number "1" (with the empty set being the number "0"). Φ(x) in this case is u(ux).what does this mean?

Now that we have two things to play with, let's make more! But first, let's look at singletons:

1.3.5Singletons

A singleton x ({x}) is the set with only x as an element.

A "doubleton x,y" is {x,y} where xy.

We can now form some more sets: {{}} from before, and {,{}} ("2", as it has two elements). Or, {1} and {0,1}.

Now, we would like to get {0,1,2}=3 but we can't yet make a set with three elements, as pairing doesn't guarantee us anything beyond "2". We can form {0,1} and {2}, but because we don't have any sort of "union" axiom yet, we can't really do anything with that.

1.3.6Intersections

We can, however, form an axiom for intersections. We define zy as the set w={xz:xy}, where Φ(x,y) is xy.

We can also form zy: {xz:xy.

1.3.7Unions

(Not the kind that likes to go on strike, the other kind)

xy(zw(zwwxzy)) (so y is the union of all the x's - x

We can now form finite and infinite sets. If the sets in x are z1,z2,z3, then x=z1z2. AB={A,B}; 3={{0,1},{2}}. We can also form 4, 5, 6 etc.

  1. As Russell's paradox demonstrates, some care needs to be taken about accepting the "set" {,xΦ(x)}. This isn't really relevant though.