maths/pure/ AbstractSetTheory101

Here is a rough overview of the basics of AbstractSetTheory, in particular ZFC and how we construct things like numbers and functions.

What is 'abstract' about Abstract Set Theory?

We never worry about, or ask about, what sets actually are. In the formal language of SetTheory, there is only one non-logical symbol: ∈. Abstract set theory is all about the relation ∈. We begin with a set of a priori assumptions about properties that any sensible notion of ∈ should satisfy. We call these axioms. There are a few different sets of axioms for Set Theory, but the most common is ZFC (Zermelo-Fraenkel with the AxiomOfChoice).

Axioms

  1. Extensionality: two sets are equal if and only if they have the same elements.
  2. Regularity: every non-empty set contains an element fb497aca0d92a54a197a19e5b05f30e180dfecf0d1238fda3b8e1a45d0201412c2356069e9d1e79ca924378153cfbbfb4d4416b1f99d41a2940bfdb66c5319db disjoint from fb497aca0d92a54a197a19e5b05f30e180dfecf0d1238fda3b8e1a45d0201412b7a56873cd771f2c446d369b649430b65a756ba278ff97ec81bb6f55b2e73569.
  3. Schema of Comprehension: Given a set fb497aca0d92a54a197a19e5b05f30e180dfecf0d1238fda3b8e1a45d02014125f9c4ab08cac7457e9111a30e4664920607ea2c115a1433d7be98e97e64244ca and a formula fb497aca0d92a54a197a19e5b05f30e180dfecf0d1238fda3b8e1a45d0201412670671cd97404156226e507973f2ab8330d3022ca96e0c93bdbdb320c41adcaf, the set fb497aca0d92a54a197a19e5b05f30e180dfecf0d1238fda3b8e1a45d020141259e19706d51d39f66711c2653cd7eb1291c94d9b55eb14bda74ce4dc636d015a exists.
  4. Pairing: if fb497aca0d92a54a197a19e5b05f30e180dfecf0d1238fda3b8e1a45d020141235135aaa6cc23891b40cb3f378c53a17a1127210ce60e125ccf03efcfdaec458 and fb497aca0d92a54a197a19e5b05f30e180dfecf0d1238fda3b8e1a45d0201412624b60c58c9d8bfb6ff1886c2fd605d2adeb6ea4da576068201b6c6958ce93f4 exist, then there is a set containing both fb497aca0d92a54a197a19e5b05f30e180dfecf0d1238fda3b8e1a45d0201412eb1e33e8a81b697b75855af6bfcdbcbf7cbbde9f94962ceaec1ed8af21f5a50f and fb497aca0d92a54a197a19e5b05f30e180dfecf0d1238fda3b8e1a45d0201412e29c9c180c6279b0b02abd6a1801c7c04082cf486ec027aa13515e4f3884bb6b.
  5. Union: the union over the elements of a set exists. That is, if fb497aca0d92a54a197a19e5b05f30e180dfecf0d1238fda3b8e1a45d0201412c6f3ac57944a531490cd39902d0f777715fd005efac9a30622d5f5205e7f6894 then the set fb497aca0d92a54a197a19e5b05f30e180dfecf0d1238fda3b8e1a45d020141286e50149658661312a9e0b35558d84f6c6d3da797f552a9657fe0558ca40cdef exists.
  6. Replacement: informally if fb497aca0d92a54a197a19e5b05f30e180dfecf0d1238fda3b8e1a45d02014129f14025af0065b30e47e23ebb3b491d39ae8ed17d33739e5ff3827ffb3634953 is a function definable by a formula fb497aca0d92a54a197a19e5b05f30e180dfecf0d1238fda3b8e1a45d020141276a50887d8f1c2e9301755428990ad81479ee21c25b43215cf524541e0503269, fb497aca0d92a54a197a19e5b05f30e180dfecf0d1238fda3b8e1a45d02014127a61b53701befdae0eeeffaecc73f14e20b537bb0f8b91ad7c2936dc63562b25 is a set, and fb497aca0d92a54a197a19e5b05f30e180dfecf0d1238fda3b8e1a45d0201412aea92132c4cbeb263e6ac2bf6c183b5d81737f179f21efdc5863739672f0f470 exists for all fb497aca0d92a54a197a19e5b05f30e180dfecf0d1238fda3b8e1a45d02014120b918943df0962bc7a1824c0555a389347b4febdc7cf9d1254406d80ce44e3f9, then the set fb497aca0d92a54a197a19e5b05f30e180dfecf0d1238fda3b8e1a45d0201412d59eced1ded07f84c145592f65bdf854358e009c5cd705f5215bf18697fed103 exists.
  7. Infinity: there is a set containing fb497aca0d92a54a197a19e5b05f30e180dfecf0d1238fda3b8e1a45d02014123d914f9348c9cc0ff8a79716700b9fcd4d2f3e711608004eb8f138bcba7f14d9 and closed under the successor operation fb497aca0d92a54a197a19e5b05f30e180dfecf0d1238fda3b8e1a45d020141273475cb40a568e8da8a045ced110137e159f890ac4da883b6b17dc651b3a8049.
  8. Power set: if fb497aca0d92a54a197a19e5b05f30e180dfecf0d1238fda3b8e1a45d020141244cb730c420480a0477b505ae68af508fb90f96cf0ec54c6ad16949dd427f13a is a set, then so is the set of all subsets of fb497aca0d92a54a197a19e5b05f30e180dfecf0d1238fda3b8e1a45d020141271ee45a3c0db9a9865f7313dd3372cf60dca6479d46261f3542eb9346e4a04d6, which we call the power set of fb497aca0d92a54a197a19e5b05f30e180dfecf0d1238fda3b8e1a45d0201412811786ad1ae74adfdd20dd0372abaaebc6246e343aebd01da0bfc4c02bf0106c and denote it by fb497aca0d92a54a197a19e5b05f30e180dfecf0d1238fda3b8e1a45d020141225fc0e7096fc653718202dc30b0c580b8ab87eac11a700cba03a7c021bc35b0c.
  9. Choice (AC): the cartesian product of a collection of nonempty sets is nonempty.
  10. Or equivalent to AC: for every set fb497aca0d92a54a197a19e5b05f30e180dfecf0d1238fda3b8e1a45d020141231489056e0916d59fe3add79e63f095af3ffb81604691f21cad442a85c7be617 there is a binary relation on fb497aca0d92a54a197a19e5b05f30e180dfecf0d1238fda3b8e1a45d020141298010bd9270f9b100b6214a21754fd33bdc8d41b2bc9f9dd16ff54d3c34ffd71 which makes fb497aca0d92a54a197a19e5b05f30e180dfecf0d1238fda3b8e1a45d02014120e17daca5f3e175f448bacace3bc0da47d0655a74c8dd0dc497a3afbdad95f1f well-ordered.

Relations and functions

Given sets fb497aca0d92a54a197a19e5b05f30e180dfecf0d1238fda3b8e1a45d02014121a6562590ef19d1045d06c4055742d38288e9e6dcd71ccde5cee80f1d5a774eb and fb497aca0d92a54a197a19e5b05f30e180dfecf0d1238fda3b8e1a45d0201412031b4af5197ec30a926f48cf40e11a7dbc470048a21e4003b7a3c07c5dab1baa, the cartesian product of fb497aca0d92a54a197a19e5b05f30e180dfecf0d1238fda3b8e1a45d020141241cfc0d1f2d127b04555b7246d84019b4d27710a3f3aff6e7764375b1e06e05d and fb497aca0d92a54a197a19e5b05f30e180dfecf0d1238fda3b8e1a45d02014122858dcd1057d3eae7f7d5f782167e24b61153c01551450a628cee722509f6529, denoted fb497aca0d92a54a197a19e5b05f30e180dfecf0d1238fda3b8e1a45d02014122fca346db656187102ce806ac732e06a62df0dbb2829e511a770556d398e1a6e is the set of all pairs fb497aca0d92a54a197a19e5b05f30e180dfecf0d1238fda3b8e1a45d020141202d20bbd7e394ad5999a4cebabac9619732c343a4cac99470c03e23ba2bdc2bc such that fb497aca0d92a54a197a19e5b05f30e180dfecf0d1238fda3b8e1a45d02014127688b6ef52555962d008fff894223582c484517cea7da49ee67800adc7fc8866 and fb497aca0d92a54a197a19e5b05f30e180dfecf0d1238fda3b8e1a45d0201412c837649cce43f2729138e72cc315207057ac82599a59be72765a477f22d14a54. That is: fb497aca0d92a54a197a19e5b05f30e180dfecf0d1238fda3b8e1a45d02014126208ef0f7750c111548cf90b6ea1d0d0a66f6bff40dbef07cb45ec436263c7d6. Similarly we define the cartesian product of many sets fb497aca0d92a54a197a19e5b05f30e180dfecf0d1238fda3b8e1a45d02014123e1e967e9b793e908f8eae83c74dba9bcccce6a5535b4b462bd9994537bfe15c. The cartesian product of an infinite collection of sets fb497aca0d92a54a197a19e5b05f30e180dfecf0d1238fda3b8e1a45d020141239fa9ec190eee7b6f4dff1100d6343e10918d044c75eac8f9e9a2596173f80c9 where fb497aca0d92a54a197a19e5b05f30e180dfecf0d1238fda3b8e1a45d0201412d029fa3a95e174a19934857f535eb9427d967218a36ea014b70ad704bc6c8d1c is an infinite index set, is more fiddly to define (essentially elements of the cartesian product of an infinite collection of sets are functions fb497aca0d92a54a197a19e5b05f30e180dfecf0d1238fda3b8e1a45d020141281b8a03f97e8787c53fe1a86bda042b6f0de9b0ec9c09357e107c99ba4d6948a such that for all fb497aca0d92a54a197a19e5b05f30e180dfecf0d1238fda3b8e1a45d0201412da4ea2a5506f2693eae190d9360a1f31793c98a1adade51d93533a6f520ace1c we have fb497aca0d92a54a197a19e5b05f30e180dfecf0d1238fda3b8e1a45d0201412a68b412c4282555f15546cf6e1fc42893b7e07f271557ceb021821098dd66c1b).

A fb497aca0d92a54a197a19e5b05f30e180dfecf0d1238fda3b8e1a45d0201412108c995b953c8a35561103e2014cf828eb654a99e310f87fab94c2f4b7d2a04f-ary relation on a set fb497aca0d92a54a197a19e5b05f30e180dfecf0d1238fda3b8e1a45d02014123ada92f28b4ceda38562ebf047c6ff05400d4c572352a1142eedfef67d21e662 is a subset of fb497aca0d92a54a197a19e5b05f30e180dfecf0d1238fda3b8e1a45d020141249d180ecf56132819571bf39d9b7b342522a2ac6d23c1418d3338251bfe469c8 where the cartesian product is of fb497aca0d92a54a197a19e5b05f30e180dfecf0d1238fda3b8e1a45d0201412a21855da08cb102d1d217c53dc5824a3a795c1c1a44e971bf01ab9da3a2acbbf copies of fb497aca0d92a54a197a19e5b05f30e180dfecf0d1238fda3b8e1a45d0201412c75cb66ae28d8ebc6eded002c28a8ba0d06d3a78c6b5cbf9b2ade051f0775ac4.

A function fb497aca0d92a54a197a19e5b05f30e180dfecf0d1238fda3b8e1a45d0201412ff5a1ae012afa5d4c889c50ad427aaf545d31a4fac04ffc1c4d03d403ba4250a is a relation fb497aca0d92a54a197a19e5b05f30e180dfecf0d1238fda3b8e1a45d02014127f2253d7e228b22a08bda1f09c516f6fead81df6536eb02fa991a34bb38d9be8 on fb497aca0d92a54a197a19e5b05f30e180dfecf0d1238fda3b8e1a45d02014128722616204217eddb39e7df969e0698aed8e599ba62ed2de1ce49b03ade0fede, such that fb497aca0d92a54a197a19e5b05f30e180dfecf0d1238fda3b8e1a45d020141296061e92f58e4bdcdee73df36183fe3ac64747c81c26f6c83aada8d2aabb1864 associates an element of fb497aca0d92a54a197a19e5b05f30e180dfecf0d1238fda3b8e1a45d0201412eb624dbe56eb6620ae62080c10a273cab73ae8eca98ab17b731446a31c79393a to at most one element of fb497aca0d92a54a197a19e5b05f30e180dfecf0d1238fda3b8e1a45d0201412f369cb89fc627e668987007d121ed1eacdc01db9e28f8bb26f358b7d8c4f08ac. That is, if fb497aca0d92a54a197a19e5b05f30e180dfecf0d1238fda3b8e1a45d0201412f74efabef12ea619e30b79bddef89cffa9dda494761681ca862cff2871a85980 and fb497aca0d92a54a197a19e5b05f30e180dfecf0d1238fda3b8e1a45d0201412a88a7902cb4ef697ba0b6759c50e8c10297ff58f942243de19b984841bfe1f73 then necessarily fb497aca0d92a54a197a19e5b05f30e180dfecf0d1238fda3b8e1a45d0201412349c41201b62db851192665c504b350ff98c6b45fb62a8a2161f78b6534d8de9. When fb497aca0d92a54a197a19e5b05f30e180dfecf0d1238fda3b8e1a45d020141298a3ab7c340e8a033e7b37b6ef9428751581760af67bbab2b9e05d4964a8874a defines a function, we use the notation fb497aca0d92a54a197a19e5b05f30e180dfecf0d1238fda3b8e1a45d020141248449a14a4ff7d79bb7a1b6f3d488eba397c36ef25634c111b49baf362511afc.

Properties of functions

A function is injective if different inputs give different outputs. That is, if fb497aca0d92a54a197a19e5b05f30e180dfecf0d1238fda3b8e1a45d02014125316ca1c5ddca8e6ceccfce58f3b8540e540ee22f6180fb89492904051b3d531 and fb497aca0d92a54a197a19e5b05f30e180dfecf0d1238fda3b8e1a45d0201412a46e37632fa6ca51a13fe39a567b3c23b28c2f47d8af6be9bd63e030e214ba38 then fb497aca0d92a54a197a19e5b05f30e180dfecf0d1238fda3b8e1a45d0201412bbb965ab0c80d6538cf2184babad2a564a010376712012bd07b0af92dcd3097d.

A function is surjective if its codomain is equal to its range. That is, if fb497aca0d92a54a197a19e5b05f30e180dfecf0d1238fda3b8e1a45d020141244c8031cb036a7350d8b9b8603af662a4b9cdbd2f96e8d5de5af435c9c35da69 then for all fb497aca0d92a54a197a19e5b05f30e180dfecf0d1238fda3b8e1a45d0201412b4944c6ff08dc6f43da2e9c824669b7d927dd1fa976fadc7b456881f51bf5ccc there is fb497aca0d92a54a197a19e5b05f30e180dfecf0d1238fda3b8e1a45d0201412434c9b5ae514646bbd91b50032ca579efec8f22bf0b4aac12e65997c418e0dd6 with fb497aca0d92a54a197a19e5b05f30e180dfecf0d1238fda3b8e1a45d0201412bdd2d3af3a5a1213497d4f1f7bfcda898274fe9cb5401bbc0190885664708fc2.

A function is bijective if it is both injective and surjective.

Ordinals

We can construct the natural numbers by identifying fb497aca0d92a54a197a19e5b05f30e180dfecf0d1238fda3b8e1a45d02014128b940be7fb78aaa6b6567dd7a3987996947460df1c668e698eb92ca77e425349 with the empty set fb497aca0d92a54a197a19e5b05f30e180dfecf0d1238fda3b8e1a45d0201412cd70bea023f752a0564abb6ed08d42c1440f2e33e29914e55e0be1595e24f45a, and the proceeding to define the successor fb497aca0d92a54a197a19e5b05f30e180dfecf0d1238fda3b8e1a45d020141269f59c273b6e669ac32a6dd5e1b2cb63333d8b004f9696447aee2d422ce63763. This way we get an ordinal for each natural number fb497aca0d92a54a197a19e5b05f30e180dfecf0d1238fda3b8e1a45d02014121da51b8d8ff98f6a48f80ae79fe3ca6c26e1abb7b7d125259255d6d2b875ea08. These are the finite ordinals. We can take the union of all finite ordinals to get the first infinite ordinal, which we denote fb497aca0d92a54a197a19e5b05f30e180dfecf0d1238fda3b8e1a45d02014128241649609f88ccd2a0a5b233a07a538ec313ff6adf695aa44a969dbca39f67d. We call these limit ordinals. Once we have fb497aca0d92a54a197a19e5b05f30e180dfecf0d1238fda3b8e1a45d02014126e4001871c0cf27c7634ef1dc478408f642410fd3a444e2a88e301f5c4a35a4d, we can construct fb497aca0d92a54a197a19e5b05f30e180dfecf0d1238fda3b8e1a45d0201412e3d6c4d4599e00882384ca981ee287ed961fa5f3828e2adb5e9ea890ab0d0525), which we denote fb497aca0d92a54a197a19e5b05f30e180dfecf0d1238fda3b8e1a45d0201412ad48ff99415b2f007dc35b7eb553fd1eb35ebfa2f2f308acd9488eeb86f71fa8, and then fb497aca0d92a54a197a19e5b05f30e180dfecf0d1238fda3b8e1a45d02014127b1a278f5abe8e9da907fc9c29dfd432d60dc76e17b0fabab659d2a508bc65c4 and so on. Then we can take the union of all the fb497aca0d92a54a197a19e5b05f30e180dfecf0d1238fda3b8e1a45d0201412d6d824abba4afde81129c71dea75b8100e96338da5f416d2f69088f1960cb091 to get fb497aca0d92a54a197a19e5b05f30e180dfecf0d1238fda3b8e1a45d020141229db0c6782dbd5000559ef4d9e953e300e2b479eed26d887ef3f92b921c06a67, which we denote fb497aca0d92a54a197a19e5b05f30e180dfecf0d1238fda3b8e1a45d02014128c1f1046219ddd216a023f792356ddf127fce372a72ec9b4cdac989ee5b0b455. In this way, we can create bigger and bigger ordinals. Either using the successor operation or taking unions to produce limit ordinals. Ordinals are well-ordered. That is, a set of ordinals does not contain an infinite descending sequence.

Cardinals

The cardinality of a set is the 'number' of elements in it. It can be infinite. Two sets have the same cardinality, that is, they are equinumerous if, and only if, there exists a bijective function between them.

The Schröder-Bernstein Theorem says that if there exists an injection fb497aca0d92a54a197a19e5b05f30e180dfecf0d1238fda3b8e1a45d0201412ad57366865126e55649ecb23ae1d48887544976efea46a48eb5d85a6eeb4d306 and an injection fb497aca0d92a54a197a19e5b05f30e180dfecf0d1238fda3b8e1a45d020141216dc368a89b428b2485484313ba67a3912ca03f2b2b42429174a4f8b3dc84e44 then there exists a bijection fb497aca0d92a54a197a19e5b05f30e180dfecf0d1238fda3b8e1a45d020141237834f2f25762f23e1f74a531cbe445db73d6765ebe60878a7dfbecd7d4af6e1.

We denote the cardinality of a set fb497aca0d92a54a197a19e5b05f30e180dfecf0d1238fda3b8e1a45d0201412454f63ac30c8322997ef025edff6abd23e0dbe7b8a3d5126a894e4a168c1b59b by fb497aca0d92a54a197a19e5b05f30e180dfecf0d1238fda3b8e1a45d02014125ef6fdf32513aa7cd11f72beccf132b9224d33f271471fff402742887a171edf, and we identify fb497aca0d92a54a197a19e5b05f30e180dfecf0d1238fda3b8e1a45d02014121253e9373e781b7500266caa55150e08e210bc8cd8cc70d89985e3600155e860 with the smallest ordinal fb497aca0d92a54a197a19e5b05f30e180dfecf0d1238fda3b8e1a45d0201412482d9673cfee5de391f97fde4d1c84f9f8d6f2cf0784fcffb958b4032de7236c such that fb497aca0d92a54a197a19e5b05f30e180dfecf0d1238fda3b8e1a45d02014123346f2bbf6c34bd2dbe28bd1bb657d0e9c37392a1d5ec9929e6a5df4763ddc2d is equinumerous with fb497aca0d92a54a197a19e5b05f30e180dfecf0d1238fda3b8e1a45d02014129537f32ec7599e1ae953af6c9f929fe747ff9dadf79a9beff1f304c550173011. The cardinal of the set of all finite ordinals is denoted fb497aca0d92a54a197a19e5b05f30e180dfecf0d1238fda3b8e1a45d02014120fd42b3f73c448b34940b339f87d07adf116b05c0227aad72e8f0ee90533e699, (aleph null), and (assuming AC) is the smallest infinite ordinal.

If we assume the Axiom of Choice, or equivalently, the well-ordering principle, then every set is equinumerous with some ordinal, and so the cardinals are linearly ordered.

Countability

A set is countable if either it is finite or else its cardinality is fb497aca0d92a54a197a19e5b05f30e180dfecf0d1238fda3b8e1a45d02014129bdb2af6799204a299c603994b8e400e4b1fd625efdb74066cc869fee42c9df3. Equivalently, a set X is countable if it is the image of some function from fb497aca0d92a54a197a19e5b05f30e180dfecf0d1238fda3b8e1a45d0201412f6e0a1e2ac41945a9aa7ff8a8aaa0cebc12a3bcc981a929ad5cf810a090e11ae. That is, if fb497aca0d92a54a197a19e5b05f30e180dfecf0d1238fda3b8e1a45d0201412b1556dea32e9d0cdbfed038fd7787275775ea40939c146a64e205bcb349ad02f.

The power set fb497aca0d92a54a197a19e5b05f30e180dfecf0d1238fda3b8e1a45d02014126c658ee83fb7e812482494f3e416a876f63f418a0b8a1f5e76d47ee4177035cb of a set fb497aca0d92a54a197a19e5b05f30e180dfecf0d1238fda3b8e1a45d02014129f1f9dce319c4700ef28ec8c53bd3cc8e6abe64c68385479ab89215806a5bdd6 is always of a larger cardinality than fb497aca0d92a54a197a19e5b05f30e180dfecf0d1238fda3b8e1a45d020141228dae7c8bde2f3ca608f86d0e16a214dee74c74bee011cdfdd46bc04b655bc14, as can be proved by Cantor's Diagonal Argument. The real numbers fb497aca0d92a54a197a19e5b05f30e180dfecf0d1238fda3b8e1a45d0201412e5b861a6d8a966dfca7e7341cd3eb6be9901688d547a72ebed0b1f5e14f3d08d are at least as large as the power set fb497aca0d92a54a197a19e5b05f30e180dfecf0d1238fda3b8e1a45d02014122ac878b0e2180616993b4b6aa71e61166fdc86c28d47e359d0ee537eb11d46d3 of the natural numbers, so are strictly larger (in cardinality terms), than fb497aca0d92a54a197a19e5b05f30e180dfecf0d1238fda3b8e1a45d020141285daaf6f7055cd5736287faed9603d712920092c4f8fd0097ec3b650bf27530e.