Countable Sets
Total Page:16
File Type:pdf, Size:1020Kb
Load more
Recommended publications
-
Set Theory, by Thomas Jech, Academic Press, New York, 1978, Xii + 621 Pp., '$53.00
BOOK REVIEWS 775 BULLETIN (New Series) OF THE AMERICAN MATHEMATICAL SOCIETY Volume 3, Number 1, July 1980 © 1980 American Mathematical Society 0002-9904/80/0000-0 319/$01.75 Set theory, by Thomas Jech, Academic Press, New York, 1978, xii + 621 pp., '$53.00. "General set theory is pretty trivial stuff really" (Halmos; see [H, p. vi]). At least, with the hindsight afforded by Cantor, Zermelo, and others, it is pretty trivial to do the following. First, write down a list of axioms about sets and membership, enunciating some "obviously true" set-theoretic principles; the most popular Hst today is called ZFC (the Zermelo-Fraenkel axioms with the axiom of Choice). Next, explain how, from ZFC, one may derive all of conventional mathematics, including the general theory of transfinite cardi nals and ordinals. This "trivial" part of set theory is well covered in standard texts, such as [E] or [H]. Jech's book is an introduction to the "nontrivial" part. Now, nontrivial set theory may be roughly divided into two general areas. The first area, classical set theory, is a direct outgrowth of Cantor's work. Cantor set down the basic properties of cardinal numbers. In particular, he showed that if K is a cardinal number, then 2", or exp(/c), is a cardinal strictly larger than K (if A is a set of size K, 2* is the cardinality of the family of all subsets of A). Now starting with a cardinal K, we may form larger cardinals exp(ic), exp2(ic) = exp(exp(fc)), exp3(ic) = exp(exp2(ic)), and in fact this may be continued through the transfinite to form expa(»c) for every ordinal number a. -
Mathematics 144 Set Theory Fall 2012 Version
MATHEMATICS 144 SET THEORY FALL 2012 VERSION Table of Contents I. General considerations.……………………………………………………………………………………………………….1 1. Overview of the course…………………………………………………………………………………………………1 2. Historical background and motivation………………………………………………………….………………4 3. Selected problems………………………………………………………………………………………………………13 I I. Basic concepts. ………………………………………………………………………………………………………………….15 1. Topics from logic…………………………………………………………………………………………………………16 2. Notation and first steps………………………………………………………………………………………………26 3. Simple examples…………………………………………………………………………………………………………30 I I I. Constructions in set theory.………………………………………………………………………………..……….34 1. Boolean algebra operations.……………………………………………………………………………………….34 2. Ordered pairs and Cartesian products……………………………………………………………………… ….40 3. Larger constructions………………………………………………………………………………………………..….42 4. A convenient assumption………………………………………………………………………………………… ….45 I V. Relations and functions ……………………………………………………………………………………………….49 1.Binary relations………………………………………………………………………………………………………… ….49 2. Partial and linear orderings……………………………..………………………………………………… ………… 56 3. Functions…………………………………………………………………………………………………………… ….…….. 61 4. Composite and inverse function.…………………………………………………………………………… …….. 70 5. Constructions involving functions ………………………………………………………………………… ……… 77 6. Order types……………………………………………………………………………………………………… …………… 80 i V. Number systems and set theory …………………………………………………………………………………. 84 1. The Natural Numbers and Integers…………………………………………………………………………….83 2. Finite induction -
641 1. P. Erdös and A. H. Stone, Some Remarks on Almost Periodic
1946] DENSITY CHARACTERS 641 BIBLIOGRAPHY 1. P. Erdös and A. H. Stone, Some remarks on almost periodic transformations, Bull. Amer. Math. Soc. vol. 51 (1945) pp. 126-130. 2. W. H. Gottschalk, Powers of homeomorphisms with almost periodic propertiesf Bull. Amer. Math. Soc. vol. 50 (1944) pp. 222-227. UNIVERSITY OF PENNSYLVANIA AND UNIVERSITY OF VIRGINIA A REMARK ON DENSITY CHARACTERS EDWIN HEWITT1 Let X be an arbitrary topological space satisfying the TVseparation axiom [l, Chap. 1, §4, p. 58].2 We recall the following definition [3, p. 329]. DEFINITION 1. The least cardinal number of a dense subset of the space X is said to be the density character of X. It is denoted by the symbol %{X). We denote the cardinal number of a set A by | A |. Pospisil has pointed out [4] that if X is a Hausdorff space, then (1) |X| g 22SW. This inequality is easily established. Let D be a dense subset of the Hausdorff space X such that \D\ =S(-X'). For an arbitrary point pÇ^X and an arbitrary complete neighborhood system Vp at p, let Vp be the family of all sets UC\D, where U^VP. Thus to every point of X, a certain family of subsets of D is assigned. Since X is a Haus dorff space, VpT^Vq whenever p j*£q, and the correspondence assigning each point p to the family <DP is one-to-one. Since X is in one-to-one correspondence with a sub-hierarchy of the hierarchy of all families of subsets of D, the inequality (1) follows. -
Axiomatic Set Teory P.D.Welch
Axiomatic Set Teory P.D.Welch. August 16, 2020 Contents Page 1 Axioms and Formal Systems 1 1.1 Introduction 1 1.2 Preliminaries: axioms and formal systems. 3 1.2.1 The formal language of ZF set theory; terms 4 1.2.2 The Zermelo-Fraenkel Axioms 7 1.3 Transfinite Recursion 9 1.4 Relativisation of terms and formulae 11 2 Initial segments of the Universe 17 2.1 Singular ordinals: cofinality 17 2.1.1 Cofinality 17 2.1.2 Normal Functions and closed and unbounded classes 19 2.1.3 Stationary Sets 22 2.2 Some further cardinal arithmetic 24 2.3 Transitive Models 25 2.4 The H sets 27 2.4.1 H - the hereditarily finite sets 28 2.4.2 H - the hereditarily countable sets 29 2.5 The Montague-Levy Reflection theorem 30 2.5.1 Absoluteness 30 2.5.2 Reflection Theorems 32 2.6 Inaccessible Cardinals 34 2.6.1 Inaccessible cardinals 35 2.6.2 A menagerie of other large cardinals 36 3 Formalising semantics within ZF 39 3.1 Definite terms and formulae 39 3.1.1 The non-finite axiomatisability of ZF 44 3.2 Formalising syntax 45 3.3 Formalising the satisfaction relation 46 3.4 Formalising definability: the function Def. 47 3.5 More on correctness and consistency 48 ii iii 3.5.1 Incompleteness and Consistency Arguments 50 4 The Constructible Hierarchy 53 4.1 The L -hierarchy 53 4.2 The Axiom of Choice in L 56 4.3 The Axiom of Constructibility 57 4.4 The Generalised Continuum Hypothesis in L. -
17 Axiom of Choice
Math 361 Axiom of Choice 17 Axiom of Choice De¯nition 17.1. Let be a nonempty set of nonempty sets. Then a choice function for is a function f sucFh that f(S) S for all S . F 2 2 F Example 17.2. Let = (N)r . Then we can de¯ne a choice function f by F P f;g f(S) = the least element of S: Example 17.3. Let = (Z)r . Then we can de¯ne a choice function f by F P f;g f(S) = ²n where n = min z z S and, if n = 0, ² = min z= z z = n; z S . fj j j 2 g 6 f j j j j j 2 g Example 17.4. Let = (Q)r . Then we can de¯ne a choice function f as follows. F P f;g Let g : Q N be an injection. Then ! f(S) = q where g(q) = min g(r) r S . f j 2 g Example 17.5. Let = (R)r . Then it is impossible to explicitly de¯ne a choice function for . F P f;g F Axiom 17.6 (Axiom of Choice (AC)). For every set of nonempty sets, there exists a function f such that f(S) S for all S . F 2 2 F We say that f is a choice function for . F Theorem 17.7 (AC). If A; B are non-empty sets, then the following are equivalent: (a) A B ¹ (b) There exists a surjection g : B A. ! Proof. (a) (b) Suppose that A B. -
Cardinal Invariants Concerning Functions Whose Sum Is Almost Continuous Krzysztof Ciesielski West Virginia University, [email protected]
View metadata, citation and similar papers at core.ac.uk brought to you by CORE provided by The Research Repository @ WVU (West Virginia University) Faculty Scholarship 1995 Cardinal Invariants Concerning Functions Whose Sum Is Almost Continuous Krzysztof Ciesielski West Virginia University, [email protected] Follow this and additional works at: https://researchrepository.wvu.edu/faculty_publications Part of the Mathematics Commons Digital Commons Citation Ciesielski, Krzysztof, "Cardinal Invariants Concerning Functions Whose Sum Is Almost Continuous" (1995). Faculty Scholarship. 822. https://researchrepository.wvu.edu/faculty_publications/822 This Article is brought to you for free and open access by The Research Repository @ WVU. It has been accepted for inclusion in Faculty Scholarship by an authorized administrator of The Research Repository @ WVU. For more information, please contact [email protected]. Cardinal invariants concerning functions whose sum is almost continuous. Krzysztof Ciesielski1, Department of Mathematics, West Virginia University, Mor- gantown, WV 26506-6310 ([email protected]) Arnold W. Miller1, York University, Department of Mathematics, North York, Ontario M3J 1P3, Canada, Permanent address: University of Wisconsin-Madison, Department of Mathematics, Van Vleck Hall, 480 Lincoln Drive, Madison, Wis- consin 53706-1388, USA ([email protected]) Abstract Let A stand for the class of all almost continuous functions from R to R and let A(A) be the smallest cardinality of a family F ⊆ RR for which there is no g: R → R with the property that f + g ∈ A for all f ∈ F . We define cardinal number A(D) for the class D of all real functions with the Darboux property similarly. -
Elements of Set Theory
Elements of set theory April 1, 2014 ii Contents 1 Zermelo{Fraenkel axiomatization 1 1.1 Historical context . 1 1.2 The language of the theory . 3 1.3 The most basic axioms . 4 1.4 Axiom of Infinity . 4 1.5 Axiom schema of Comprehension . 5 1.6 Functions . 6 1.7 Axiom of Choice . 7 1.8 Axiom schema of Replacement . 9 1.9 Axiom of Regularity . 9 2 Basic notions 11 2.1 Transitive sets . 11 2.2 Von Neumann's natural numbers . 11 2.3 Finite and infinite sets . 15 2.4 Cardinality . 17 2.5 Countable and uncountable sets . 19 3 Ordinals 21 3.1 Basic definitions . 21 3.2 Transfinite induction and recursion . 25 3.3 Applications with choice . 26 3.4 Applications without choice . 29 3.5 Cardinal numbers . 31 4 Descriptive set theory 35 4.1 Rational and real numbers . 35 4.2 Topological spaces . 37 4.3 Polish spaces . 39 4.4 Borel sets . 43 4.5 Analytic sets . 46 4.6 Lebesgue's mistake . 48 iii iv CONTENTS 5 Formal logic 51 5.1 Propositional logic . 51 5.1.1 Propositional logic: syntax . 51 5.1.2 Propositional logic: semantics . 52 5.1.3 Propositional logic: completeness . 53 5.2 First order logic . 56 5.2.1 First order logic: syntax . 56 5.2.2 First order logic: semantics . 59 5.2.3 Completeness theorem . 60 6 Model theory 67 6.1 Basic notions . 67 6.2 Ultraproducts and nonstandard analysis . 68 6.3 Quantifier elimination and the real closed fields . -
21 Cardinal and Ordinal Numbers. by W. Sierpióski. Monografie Mate
BOOK REVIEWS 21 Cardinal and ordinal numbers. By W. Sierpióski. Monografie Mate- matyczne, vol. 34. Warszawa, Panstwowe Wydawnictwo Naukowe, 1958. 487 pp. Not since the publication in 1928 of his Leçons sur les nombres transfinis has Sierpióski written a book on transfinite numbers. The present book, embodying the fruits of a lifetime of research and ex perience in teaching the subject, is therefore most welcome. Although generally similar in outline to the earlier work, it is an entirely new book, and more than twice as long. The exposition is leisurely and thickly interspersed with illuminating discussion and examples. The result is a book which is highly instructive and eminently readable. Whether one takes the chapters in order or dips in at random he is almost sure to find something interesting. Many examples and ap plications are included in the form of exercises, nearly all accom panied by solutions. The exposition is from the standpoint of naive set theory. No axioms, other than the axiom of choice, are ever stated explicitly, although Zermelo's system is occasionally referred to. But the role of the axiom of choice is a central theme throughout the book. For a student who wishes to learn just when and how this axiom is needed this is the best book yet written. There is an excellent chapter de voted to theorems equivalent to the axiom of choice. These include not only well-ordering, trichotomy, and Zorn's principle, but also several less familiar propositions: Lindenbaum's theorem that of any two nonempty sets one is equivalent to a partition of the other; Vaught's theorem that every family of nonempty sets contains a maximal disjoint family; Tarski's theorem that every cardinal has a successor, and other propositions of cardinal arithmetic; Kurepa's theorem that the proposition that every partially ordered set con tains a maximal family of incomparable elements is an equivalent when joined with the ordering principle, i.e., the proposition that every set can be ordered. -
Worksheet: Cardinality, Countable and Uncountable Sets
Math 347 Worksheet: Cardinality A.J. Hildebrand Worksheet: Cardinality, Countable and Uncountable Sets • Key Tool: Bijections. • Definition: Let A and B be sets. A bijection from A to B is a function f : A ! B that is both injective and surjective. • Properties of bijections: ∗ Compositions: The composition of bijections is a bijection. ∗ Inverse functions: The inverse function of a bijection is a bijection. ∗ Symmetry: The \bijection" relation is symmetric: If there is a bijection f from A to B, then there is also a bijection g from B to A, given by the inverse of f. • Key Definitions. • Cardinality: Two sets A and B are said to have the same cardinality if there exists a bijection from A to B. • Finite sets: A set is called finite if it is empty or has the same cardinality as the set f1; 2; : : : ; ng for some n 2 N; it is called infinite otherwise. • Countable sets: A set A is called countable (or countably infinite) if it has the same cardinality as N, i.e., if there exists a bijection between A and N. Equivalently, a set A is countable if it can be enumerated in a sequence, i.e., if all of its elements can be listed as an infinite sequence a1; a2;::: . NOTE: The above definition of \countable" is the one given in the text, and it is reserved for infinite sets. Thus finite sets are not countable according to this definition. • Uncountable sets: A set is called uncountable if it is infinite and not countable. • Two famous results with memorable proofs. -
Set Theory: Taming the Infinite
This is page 54 Printer: Opaque this CHAPTER 2 Set Theory: Taming the Infinite 2.1 Introduction “I see it, but I don’t believe it!” This disbelief of Georg Cantor in his own creations exemplifies the great skepticism that his work on infinite sets in- spired in the mathematical community of the late nineteenth century. With his discoveries he single-handedly set in motion a tremendous mathematical earthquake that shook the whole discipline to its core, enriched it immea- surably, and transformed it forever. Besides disbelief, Cantor encountered fierce opposition among a considerable number of his peers, who rejected his discoveries about infinite sets on philosophical as well as mathematical grounds. Beginning with Aristotle (384–322 b.c.e.), two thousand years of West- ern doctrine had decreed that actually existing collections of infinitely many objects of any kind were not to be part of our reasoning in philosophy and mathematics, since they would lead directly into a quagmire of logical con- tradictions and absurd conclusions. Aristotle’s thinking on the infinite was in part inspired by the paradoxes of Zeno of Elea during the fifth century b.c.e. The most famous of these asserts that Achilles, the fastest runner in ancient Greece, would be unable to surpass a much slower runner, provided that the slower runner got a bit of a head start. Namely, Achilles would then first have to cover the distance between the starting positions, dur- ing which time the slower runner could advance a certain distance. Then Achilles would have to cover that distance, while the slower runner would again advance, and so on. -
On the Necessary Use of Abstract Set Theory
ADVANCES IN MATHEMATICS 41, 209-280 (1981) On the Necessary Use of Abstract Set Theory HARVEY FRIEDMAN* Department of Mathematics, Ohio State University, Columbus, Ohio 43210 In this paper we present some independence results from the Zermelo-Frankel axioms of set theory with the axiom of choice (ZFC) which differ from earlier such independence results in three major respects. Firstly, these new propositions that are shown to be independent of ZFC (i.e., neither provable nor refutable from ZFC) form mathematically natural assertions about Bore1 functions of several variables from the Hilbert cube I” into the unit interval, or back into the Hilbert cube. As such, they are of a level of abstraction significantly below that of the earlier independence results. Secondly, these propositions are not only independent of ZFC, but also of ZFC together with the axiom of constructibility (V = L). The only earlier examples of intelligible statements independent of ZFC + V= L either express properties of formal systems such as ZFC (e.g., the consistency of ZFC), or assert the existence of very large cardinalities (e.g., inaccessible cardinals). The great bulk of independence results from ZFCLthe ones that involve standard mathematical concepts and constructions-are about sets of limited cardinality (most commonly, that of at most the continuum), and are obtained using the forcing method introduced by Paul J. Cohen (see [2]). It is now known in virtually every such case, that these independence results are eliminated if V= L is added to ZFC. Finally, some of our propositions can be proved in the theory of classes, as formalized by the Morse-Kelley class theory with the axiom of choice for sets (MKC), but not in ZFC. -
Cardinals and the Size of Infinite Sets 1 Review of Bijections
Cardinals and the size of infinite sets These notes revise some lectured material and have some questions for you to complete yourself. (You might find that some of the boxes are too small|just staple extra sheets at the back.) Note that these are not complete lecture notes|they cover most but not all things mentioned in the lectures|and they do not replace the notes you take in lectures. 1 Review of bijections Question 1 Recall the definition of a bijection between two sets. Question 2 (a) Find a bijection between the natural numbers N and the set of even natural numbers f2n j n 2 Ng. (b) Do the same for N and the set of integers Z. Question 3 Find a bijection (0; 1) ! R between the open interval (0; 1) (which is a subset of R) and R itself. [Hint: the function tan(x) can help by giving a bijection from some interval to R|that's not quite the right interval, but you'll be able to fix that problem somehow.] 1 2 The size of finite sets A set A is finite with n elements if A = fa1; : : : ; ang where the elements ai are all distinct. We often denote the number of elements of such sets A by jAj = n. It is clear in this case that there is a bijection f1; 2; : : : ; ng ! A given by i 7! ai: For finite sets, this is a simple observation. But for infinite sets, it will be used as a definition that will provide the starting point of our study.