The main subject of this course is basic concepts in set theory and ordered set, Euclidean space and general metric space. After introducing some fundamental operations for sets such as intersection, union and complement, we explain basic notions for maps between sets, such as injection, surjection, and bijection. Next we introduce binary relations on sets, especially the concept of equivalence relation and the associated quotient set. Then we introduce the equivalence of sets, and learn the notion of cardinality. After introducing the basic notions of ordered set, well-ordered set, and inductive set, some applications of these concepts will be provided. We also introduce Euclidean space and learn that the continuity of maps between Euclidean spaces can be simply rephrased by making use of open sets. Finally, we discuss the notion of general metric space, and learn that the continuity of maps between them may also be simply described using open sets. We strongly recommend to take this course with "Exercises in Set and Topology".
The notions of set and map are fundamental not only in mathematics but also in science, and are applicable to describe a wide variety of objects. On the other hand, these abstract notions are not easy to comprehend without suitable training. To that end, rigorous proofs will be provided for most propositions, lemmas and theorems.
Students are expected to
・Understand De Morgan’s law
・Be familiar with injectivity, surjectivity, and bijectivity of mappings
・Be able to determine the image and preimage of concrete maps
・Be familiar with many basic examples of equivalence relations and quotient sets
・Understand the difference between countable and uncountable sets
・Distinguish between semi-ordered sets and totally-ordered sets
・Be able to deduce strong properties of well-ordered sets
・Understand a few applications of Zorn’s lemma
・Understand equivalence between the well-ordering theorem, Zorn’s lemma and the axiom of choice
・Understand basic properties of Euclidean space and general metric spaces
set, map, image and inverse image, product set, binary relation, equivalence relation, quotient set, cardinality of sets, countable and uncountable set, ordered set, totally ordered set, well-ordered set, Zorn’s lemma, the axiom of choice, well-ordering theorem, Euclidean space, metric space, continuous map
✔ Specialist skills | Intercultural skills | Communication skills | Critical thinking skills | Practical and/or problem-solving skills |
Standard lecture course
Course schedule | Required learning | |
---|---|---|
Class 1 | examples of sets, union, intersection and subset, complement | Details will be provided during each class session |
Class 2 | De Morgan's law, distributive law, mapping between sets | |
Class 3 | the image and preimage of map, composition of maps, product set | |
Class 4 | correspondence between sets, indexed set | |
Class 5 | binary relation, equivalence relation, equivalence class, quotient set | |
Class 6 | the cardinality of set, relation between cardinality, countable set | |
Class 7 | cardinality of the continuum, uncountable set, cardinality of power set | |
Class 8 | evaluation of progress | |
Class 9 | order, total order, well-ordered set and their basic properties | |
Class 10 | inductive set, Zorn's lemma | |
Class 11 | ordinal number, comparison of cardinality | |
Class 12 | Equivalence between the well-ordering theorem, Zorn’s lemma and the axiom of choice | |
Class 13 | Application of Zorn's lemma | |
Class 14 | Euclidean space, metric space, open set and closed set | |
Class 15 | basic concepts on metric spaces |
None required
Munkres, James R. Topology. Vol. 2. Upper Saddle River: Prentice Hall, 2000.
midterm exam (about 50%), final exam (about 50%)
Students are expected to have passed [Calculus I / Recitation], Calculus II + Recitation, [Linear Algebra I / Recitation] and Linear Algebra II + Recitation.
Strongly recommended to take ZUA.B202 ： Exercises in Set and Topology (if not passed yet) at the same time