Skip to main content
Mathematical Institute Mathematical Institute
  • You are currently using guest access (Log in)
  • B1.2 Set Theory
  • General
  • Course Materials
  • Home
  • Calendar

B1.2 Set Theory

  1. Home
  2. Courses
  3. Archive
  4. Year 2021-22
  5. Undergraduate
  6. Part B
  7. Hilary
  8. B1.2 Set Theory

  • Lecturer: Profile: Robin Knight

Course information

General Prerequisites:
There are no formal prerequisites, but familiarity with some basic mathematical objects and notions such as: the rational and real number fields; the idea of surjective, injective and bijective functions, inverse functions, order relations; the notion of a continuous function of a real variable, sequences, series, and convergence, and the definitions of basic abstract structures such as fields, vector spaces, and groups (all covered in Mathematics I and II in Prelims) will be helpful at points.
Course Term: Hilary
Course Lecture Information: 16 lectures
Course Weight: 1
Course Level: H
Assessment Type: Written Examination
Course Overview:
Introduce sets and their properties as a unified way of treating mathematical structures. Emphasise the difference between an intuitive collection and a formal set. Define (infinite) cardinal and ordinal numbers and investigate their properties. Frame the Axiom of Choice and its equivalent forms and study their implications.
Learning Outcomes:
Students will have a sound knowledge of set theoretic language and be able to use it to codify mathematical objects. They will have an appreciation of the notion of infinity and arithmetic of the cardinals and ordinals. They will have developed a deep understanding of the Axiom of Choice, Zorn's Lemma and the Well-Ordering Principle.
Course Synopsis:
What is a set? Introduction to the basic axioms of set theory. Ordered pairs, cartesian products, relations and functions. Axiom of Infinity and the construction of the natural numbers; induction and the Recursion Theorem.
Cardinality; the notions of finite and countable and uncountable sets; Cantor's Theorem on power sets. The Tarski Fixed Point Theorem. The Schröder-Bernstein Theorem. Basic cardinal arithmetic.
Well-orders. Comparability of well-orders. Ordinal numbers. Transfinite induction; transfinite recursion [informal treatment only]. Ordinal arithmetic.
The Axiom of Choice, Zorn's Lemma, the Well-ordering Principle; comparability of cardinals. Equivalence of WO, CC, AC and ZL. Cardinal numbers.


Topic outline

  • General

    • Announcements Forum
    • Discussion Forum
  • Course Materials

    • Sheet 0 (not to be handed in) File
    • Sheet 0: solutions File
    • Sheet 1 Assignment
    • Sheet 2 Assignment
    • Sheet 3 Assignment
    • Sheet 4 Assignment
    • lecture notes, revised 6th May 2022 File
    • Handout 1: about the language of set theory File
    • Handout 2: a list of the ZFC axioms, for reference File
    • Handout 3: the ZFC axioms in the formal language of set theory, for the curious File
    • Handout 4: constructing the integers, the rationals, and the reals (off-syllabus) File
    • Handout 5: the letter aleph (for interest only, off-syllabus) File
    • Handout 6: the ordinals (an intuitive introduction) File
    • Handout 7: more about the ordinals (off-syllabus) File
Skip Panopto
Panopto
Fetching Panopto content...
Skip Upcoming events
Upcoming events
There are no upcoming events
Go to calendar...
You are currently using guest access (Log in)
Get the mobile app