DOCSLIB.ORG

2.5. INFINITE SETS Now That We Have Covered the Basics of Elementary

Total Page：16

File Type：pdf, Size：1020Kb

Download full-text PDF Read full-text
2.5. INFINITE SETS Now That We Have Covered the Basics of Elementary 2.5. INFINITE SETS Now that we have covered the basics of elementary set theory in the previous sections, we are ready to turn to infinite sets and some more advanced concepts in this area. Shortly after Georg Cantor laid out the core principles of his new theory of sets in the late 19th century, his work led him to a trove of controversial and groundbreaking results related to the cardinalities of infinite sets. We will explore some of these extraordinary findings, including Cantor’s eponymous theorem on power sets and his famous diagonal argument, both of which imply that infinite sets come in different “sizes.” We also present one of the grandest problems in all of mathematics – the Continuum Hypothesis, which posits that the cardinality of the continuum (i.e. the set of all points on a line) is equal to that of the power set of the set of natural numbers. Lastly, we conclude this section with a foray into transfinite arithmetic, an extension of the usual arithmetic with finite numbers that includes operations with so-called aleph numbers – the cardinal numbers of infinite sets. If all of this sounds rather outlandish at the moment, don’t be surprised. The properties of infinite sets can be highly counter-intuitive and you may likely be in total disbelief after encountering some of Cantor’s theorems for the first time. Cantor himself said it best: after deducing that there are just as many points on the unit interval (0,1) as there are in n-dimensional space1, he wrote to his friend and colleague Richard Dedekind: “I see it, but I don’t believe it!” The Tricky Nature of Infinity Throughout the ages, human beings have always wondered about infinity and the notion of uncountability. Gazing at a star-dotted night sky and imagining the different worlds beyond our cosmic neighborhood, or thinking about all the irreducible bits of matter that make up our universe, is an easy way to attest of our intrinsically limited nature as humans. These quantities – though unimaginably large to any one of us – are nevertheless finite and have been estimated today to within a few orders of magnitude (there are about 1024 stars and somewhere between 1078 and 1082 atoms in the observable 1 n-dimensional Euclidean space is an extension (and generalization) of the usual two- and three-dimensional Cartesian spaces where points have n coordinates. universe). Real difficulties arise when trying to understand quantities in the infinite realm. Suppose you conceive of becoming immortal. Then how many days will you have to live through? Indeed, how could we possibly count forever and hope to study numbers that we can’t even enumerate? Not surprisingly, it is precisely at this epistemological edge that mankind so often veered into convenient concepts of theology that obscured the difficult – yet fascinating – questions underlying the true nature of infinity. The notion of infinity isn’t just limited to counting numbers endlessly. It may actually be hard-wired in our brain with our ability to understand language. Think of the following strings of words: “A turtle is an animal,” “An animal is a turtle,” “Turtle animal is a,” “Animal a is turtle.” Clearly the first two sentences are grammatical while the last two aren’t (those are just word salads). So how do we manage to distinguish actual sentences from meaningless ones if there are, potentially, an infinite number of sentences (both grammatical and ungrammatical) that can be constructed with words? The influential American linguist Noam Chomsky (born 1928) argued that we could do so because we are innately equipped to understand the rules of language – a theory he called Universal Grammar. He pointed out that “a small set of rules operating on a large but finite set of words generates an infinite number of sentences.” This particular view of language is still debated among linguists and philosophers. If true, though, it would confirm that we are innately equipped as human beings to grasp sets that are infinite. To get a sense of how tricky it is to think about infinity, let us revisit one of the greatest problems in Ancient Greek philosophy – The Dichotomy Paradox. Zeno of Elea (5th century B.C.E.) put forth this famous paradox (along with other ones) to address head-on the problem of dealing with infinite quantities. He argues in the paradox that motion is an illusion since a person who wishes to travel a fixed distance must first travel half that distance, then half of the remaining half of that distance, then half the remaining half of the remaining half of that distance, and so on. So how could this person possibly travel an infinite number of distances in a finite amount of time? The conclusion that motion is just an illusion evidently runs counter to reality. Surprisingly, though, no one for more than 2,000 years could explain the flaw in Zeno’s argument! Ultimately, this deeply challenging problem was resolved with tools of calculus using concepts that were only validated in the early 19th century. Suppose the person travels a distance of one mile. Then he or she would have to travel half a mile first, then a quarter of a mile, and then an eighth of a mile, and so on. To confirm that the person actually travels the full mile (thus resolving the paradox) amounts to showing that the infinite sum of all these half distances would equal 1, or 1 1 1 1 + + + + ⋯ = 1. 2 4 8 16 A good calculus student can verify this statement rather quickly. The left-hand side is what mathematicians call an infinite geometric series. Moreover, this series has a ratio of ½ since every term in the series is generated by multiplying the previous one by ½. Because this ratio is less than 1, the series is known to converge – meaning that it eventually reaches a finite number. Applying the formula for convergent geometric series, which is easily established, yields the number 1 on the right-hand side. Here is another much less technical, yet quite convincing argument of the same result: suppose you had a square blank page with a surface area equal to one square foot. Now color half the page, and then a quarter of the page, and then an eighth of the page, and then a sixteenth of the page, and so on. Figure 11 below gives an idea on how to complete this coloring task. Imagine repeating this process of coloring half of each remaining, but diminishing, blank portion of the page ad infinitum (i.e. without end). Eventually the entire page would be colored completely. Figure 11: A Visual Solution to Zeno’s Dichotomy Paradox The famous Greek philosopher Aristotle (4th century B.C.E.) tried to solve Zeno’s problem by differentiating between an actual and a potential infinity. His work, while influential in its metaphysics, did not provide the mathematical tools required for a final resolution. Eudoxus and Archimedes (respectively, 4th and 3rd century B.C.E.), the two greatest mathematicians of antiquity, would have probably come closest to solving the paradox. Both used a method called exhaustion in their geometric constructions that explained how processes, such as the one with the colored page described above, could produce finite numbers in an infinite number of steps. Archimedes famously used this method in approximating the value of 휋, the constant used in measuring the area of a circle from its radius (퐴 = 휋푟2), and also in relating the area of a parabolic segment to an inscribed triangular area (this is known as the quadrature of the parabola). Their approaches would, in fact, predate ideas underlying the modern theory of integral calculus developed in the 18th century. The Elephant in the Room Zeno’s paradoxes of motion posed fascinating questions that, while childishly simple to comprehend, were surprisingly difficult to explain. A common feature to all of these paradoxes is that they revolve around so-called infinitesimal processes (another famous one is Achilles and the Tortoise, which pits the great warrior Achilles in a losing race against the slow tortoise). In each problem, there are infinitely many quantities that keep on diminishing in size until they become infinitesimally small. With the modern tools of integral calculus, these problems can be quickly resolved. However, there are still many fundamental questions about infinity that do not involve infinitesimal processes and, consequently, cannot be handled with the machinery of modern calculus. These problems require, instead, a proper understanding of the relative “sizes” of infinity – i.e. the cardinalities of infinite sets. Suppose you knew the cardinal number of ℕ, the set consisting of all the natural numbers: 1, 2 3, 4, ... Is this cardinal number the same as the one corresponding to all the fractions that can be placed between 0 and 1? Does this answer change if we extend the set to include all real numbers between 0 and 1? Should we distinguish, say, between the cardinality of the set of all integers and the cardinality of the set of all integers that are divisible by 6? These are all tricky questions that can only be answered within a precise mathematical framework for infinite sets. Despite the tremendous advances made by 19th century mathematicians in virtually all areas where infinite sets are to be found (number theory, algebra, geometry, analysis, logic), no rigorous methods had yet been developed to study these kinds of cardinalities by the 1870’s. The truth is that this state of affairs did not directly impact the daily work of mathematicians, so most were content with ignoring the elephant in the room.
Load more

Recommended publications
  • Does the Category of Multisets Require a Larger Universe Than
    Pure Mathematical Sciences, Vol. 2, 2013, no. 3, 133 - 146 HIKARI Ltd, www.m-hikari.com Does the Category of Multisets Require a Larger Universe than that of the Category of Sets? Dasharath Singh (Former affiliation: Indian Institute of Technology Bombay) Department of Mathematics, Ahmadu Bello University, Zaria, Nigeria [email protected] Ahmed Ibrahim Isah Department of Mathematics Ahmadu Bello University, Zaria, Nigeria [email protected] Alhaji Jibril Alkali Department of Mathematics Ahmadu Bello University, Zaria, Nigeria [email protected] Copyright © 2013 Dasharath Singh et al. This is an open access article distributed under the Creative Commons Attribution License, which permits unrestricted use, distribution, and reproduction in any medium, provided the original work is properly cited. Abstract In section 1, the concept of a category is briefly described. In section 2, it is elaborated how the concept of category is naturally intertwined with the existence of a universe of discourse much larger than what is otherwise sufficient for a large part of mathematics. It is also remarked that the extended universe for the category of sets is adequate for the category of multisets as well. In section 3, fundamentals required for adequately describing a category are extended to defining a multiset category, and some of its distinctive features are outlined. Mathematics Subject Classification: 18A05, 18A20, 18B99 134 Dasharath Singh et al. Keywords: Category, Universe, Multiset Category, objects. 1. Introduction to categories The history of science and that of mathematics, in particular, records that at times, a by- product may turn out to be of greater significance than the main objective of a research.
    [Show full text]
  • Richard Dedekind English Version
    RICHARD DEDEKIND (October 6, 1831 – February 12, 1916) by HEINZ KLAUS STRICK, Germany The biography of JULIUS WILHELM RICHARD DEDEKIND begins and ends in Braunschweig (Brunswick): The fourth child of a professor of law at the Collegium Carolinum, he attended the Martino-Katherineum, a traditional gymnasium (secondary school) in the city. At the age of 16, the boy, who was also a highly gifted musician, transferred to the Collegium Carolinum, an educational institution that would pave the way for him to enter the university after high school. There he prepared for future studies in mathematics. In 1850, he went to the University at Göttingen, where he enthusiastically attended lectures on experimental physics by WILHELM WEBER, and where he met CARL FRIEDRICH GAUSS when he attended a lecture given by the great mathematician on the method of least squares. GAUSS was nearing the end of his life and at the time was involved primarily in activities related to astronomy. After only four semesters, DEDEKIND had completed a doctoral dissertation on the theory of Eulerian integrals. He was GAUSS’s last doctoral student. (drawings © Andreas Strick) He then worked on his habilitation thesis, in parallel with BERNHARD RIEMANN, who had also received his doctoral degree under GAUSS’s direction not long before. In 1854, after obtaining the venia legendi (official permission allowing those completing their habilitation to lecture), he gave lectures on probability theory and geometry. Since the beginning of his stay in Göttingen, DEDEKIND had observed that the mathematics faculty, who at the time were mostly preparing students to become secondary-school teachers, had lost contact with current developments in mathematics; this in contrast to the University of Berlin, at which PETER GUSTAV LEJEUNE DIRICHLET taught.
    [Show full text]
  • Biography Paper – Georg Cantor
    Mike Garkie Math 4010 – History of Math UCD Denver 4/1/08 Biography Paper – Georg Cantor Few mathematicians are house-hold names; perhaps only Newton and Euclid would qualify. But there is a second tier of mathematicians, those whose names might not be familiar, but whose discoveries are part of everyday math. Examples here are Napier with logarithms, Cauchy with limits and Georg Cantor (1845 – 1918) with sets. In fact, those who superficially familier with Georg Cantor probably have two impressions of the man: First, as a consequence of thinking about sets, Cantor developed a theory of the actual infinite. And second, that Cantor was a troubled genius, crippled by Freudian conflict and mental illness. The first impression is fundamentally true. Cantor almost single-handedly overturned the Aristotle’s concept of the potential infinite by developing the concept of transfinite numbers. And, even though Bolzano and Frege made significant contributions, “Set theory … is the creation of one person, Georg Cantor.” [4] The second impression is mostly false. Cantor certainly did suffer from mental illness later in his life, but the other emotional baggage assigned to him is mostly due his early biographers, particularly the infamous E.T. Bell in Men Of Mathematics [7]. In the racially charged atmosphere of 1930’s Europe, the sensational story mathematician who turned the idea of infinity on its head and went crazy in the process, probably make for good reading. The drama of the controversy over Cantor’s ideas only added spice. 1 Fortunately, modern scholars have corrected the errors and biases in older biographies.
    [Show full text]
  • Is Uncountable the Open Interval (0, 1)
    Section 2.4:R is uncountable (0, 1) is uncountable This assertion and its proof date back to the 1890’s and to Georg Cantor. The proof is often referred to as “Cantor’s diagonal argument” and applies in more general contexts than we will see in these notes. Our goal in this section is to show that the setR of real numbers is uncountable or non-denumerable; this means that its elements cannot be listed, or cannot be put in bijective correspondence with the natural numbers. We saw at the end of Section 2.3 that R has the same cardinality as the interval ( π , π ), or the interval ( 1, 1), or the interval (0, 1). We will − 2 2 − show that the open interval (0, 1) is uncountable. Georg Cantor : born in St Petersburg (1845), died in Halle (1918) Theorem 42 The open interval (0, 1) is not a countable set. Dr Rachel Quinlan MA180/MA186/MA190 Calculus R is uncountable 143 / 222 Dr Rachel Quinlan MA180/MA186/MA190 Calculus R is uncountable 144 / 222 The open interval (0, 1) is not a countable set A hypothetical bijective correspondence Our goal is to show that the interval (0, 1) cannot be put in bijective correspondence with the setN of natural numbers. Our strategy is to We recall precisely what this set is. show that no attempt at constructing a bijective correspondence between It consists of all real numbers that are greater than zero and less these two sets can ever be complete; it can never involve all the real than 1, or equivalently of all the points on the number line that are numbers in the interval (0, 1) no matter how it is devised.
    [Show full text]
  • Cantor, God, and Inconsistent Multiplicities*
    STUDIES IN LOGIC, GRAMMAR AND RHETORIC 44 (57) 2016 DOI: 10.1515/slgr-2016-0008 Aaron R. Thomas-Bolduc University of Calgary CANTOR, GOD, AND INCONSISTENT MULTIPLICITIES* Abstract. The importance of Georg Cantor’s religious convictions is often ne- glected in discussions of his mathematics and metaphysics. Herein I argue, pace Jan´e(1995), that due to the importance of Christianity to Cantor, he would have never thought of absolutely infinite collections/inconsistent multiplicities, as being merely potential, or as being purely mathematical entities. I begin by considering and rejecting two arguments due to Ignacio Jan´e based on letters to Hilbert and the generating principles for ordinals, respectively, showing that my reading of Cantor is consistent with that evidence. I then argue that evidence from Cantor’s later writings shows that he was still very religious later in his career, and thus would not have given up on the reality of the absolute, as that would imply an imperfection on the part of God. The theological acceptance of his set theory was very important to Can- tor. Despite this, the influence of theology on his conception of absolutely infinite collections, or inconsistent multiplicities, is often ignored in contem- porary literature.1 I will be arguing that due in part to his religious convic- tions, and despite an apparent tension between his earlier and later writings, Cantor would never have considered inconsistent multiplicities (similar to what we now call proper classes) as completed in a mathematical sense, though they are completed in Intellectus Divino. Before delving into the issue of the actuality or otherwise of certain infinite collections, it will be informative to give an explanation of Cantor’s terminology, as well a sketch of Cantor’s relationship with religion and reli- gious figures.
    [Show full text]
  • Cantor on Infinity in Nature, Number, and the Divine Mind
    Cantor on Infinity in Nature, Number, and the Divine Mind Anne Newstead Abstract. The mathematician Georg Cantor strongly believed in the existence of actually infinite numbers and sets. Cantor’s “actualism” went against the Aristote- lian tradition in metaphysics and mathematics. Under the pressures to defend his theory, his metaphysics changed from Spinozistic monism to Leibnizian volunta- rist dualism. The factor motivating this change was two-fold: the desire to avoid antinomies associated with the notion of a universal collection and the desire to avoid the heresy of necessitarian pantheism. We document the changes in Can- tor’s thought with reference to his main philosophical-mathematical treatise, the Grundlagen (1883) as well as with reference to his article, “Über die verschiedenen Standpunkte in bezug auf das aktuelle Unendliche” (“Concerning Various Perspec- tives on the Actual Infinite”) (1885). I. he Philosophical Reception of Cantor’s Ideas. Georg Cantor’s dis- covery of transfinite numbers was revolutionary. Bertrand Russell Tdescribed it thus: The mathematical theory of infinity may almost be said to begin with Cantor. The infinitesimal Calculus, though it cannot wholly dispense with infinity, has as few dealings with it as possible, and contrives to hide it away before facing the world Cantor has abandoned this cowardly policy, and has brought the skeleton out of its cupboard. He has been emboldened on this course by denying that it is a skeleton. Indeed, like many other skeletons, it was wholly dependent on its cupboard, and vanished in the light of day.1 1Bertrand Russell, The Principles of Mathematics (London: Routledge, 1992 [1903]), 304.
    [Show full text]
  • Infinite Sets
    “mcs-ftl” — 2010/9/8 — 0:40 — page 379 — #385 13 Infinite Sets So you might be wondering how much is there to say about an infinite set other than, well, it has an infinite number of elements. Of course, an infinite set does have an infinite number of elements, but it turns out that not all infinite sets have the same size—some are bigger than others! And, understanding infinity is not as easy as you might think. Some of the toughest questions in mathematics involve infinite sets. Why should you care? Indeed, isn’t computer science only about finite sets? Not exactly. For example, we deal with the set of natural numbers N all the time and it is an infinite set. In fact, that is why we have induction: to reason about predicates over N. Infinite sets are also important in Part IV of the text when we talk about random variables over potentially infinite sample spaces. So sit back and open your mind for a few moments while we take a very brief look at infinity. 13.1 Injections, Surjections, and Bijections We know from Theorem 7.2.1 that if there is an injection or surjection between two finite sets, then we can say something about the relative sizes of the two sets. The same is true for infinite sets. In fact, relations are the primary tool for determining the relative size of infinite sets. Definition 13.1.1. Given any two sets A and B, we say that A surj B iff there is a surjection from A to B, A inj B iff there is an injection from A to B, A bij B iff there is a bijection between A and B, and A strict B iff there is a surjection from A to B but there is no bijection from B to A.
    [Show full text]
  • Cardinality of Sets
    Cardinality of Sets MAT231 Transition to Higher Mathematics Fall 2014 MAT231 (Transition to Higher Math) Cardinality of Sets Fall 2014 1 / 15 Outline 1 Sets with Equal Cardinality 2 Countable and Uncountable Sets MAT231 (Transition to Higher Math) Cardinality of Sets Fall 2014 2 / 15 Sets with Equal Cardinality Definition Two sets A and B have the same cardinality, written jAj = jBj, if there exists a bijective function f : A ! B. If no such bijective function exists, then the sets have unequal cardinalities, that is, jAj 6= jBj. Another way to say this is that jAj = jBj if there is a one-to-one correspondence between the elements of A and the elements of B. For example, to show that the set A = f1; 2; 3; 4g and the set B = {♠; ~; }; |g have the same cardinality it is sufficient to construct a bijective function between them. 1 2 3 4 ♠ ~ } | MAT231 (Transition to Higher Math) Cardinality of Sets Fall 2014 3 / 15 Sets with Equal Cardinality Consider the following: This definition does not involve the number of elements in the sets. It works equally well for finite and infinite sets. Any bijection between the sets is sufficient. MAT231 (Transition to Higher Math) Cardinality of Sets Fall 2014 4 / 15 The set Z contains all the numbers in N as well as numbers not in N. So maybe Z is larger than N... On the other hand, both sets are infinite, so maybe Z is the same size as N... This is just the sort of ambiguity we want to avoid, so we appeal to the definition of \same cardinality." The answer to our question boils down to \Can we find a bijection between N and Z?" Does jNj = jZj? True or false: Z is larger than N.
    [Show full text]
  • I Want to Start My Story in Germany, in 1877, with a Mathematician Named Georg Cantor
    LISTENING - Ron Eglash is talking about his project http://www.ted.com/talks/ 1) Do you understand these words? iteration mission scale altar mound recursion crinkle 2) Listen and answer the questions. 1. What did Georg Cantor discover? What were the consequences for him? 2. What did von Koch do? 3. What did Benoit Mandelbrot realize? 4. Why should we look at our hand? 5. What did Ron get a scholarship for? 6. In what situation did Ron use the phrase “I am a mathematician and I would like to stand on your roof.” ? 7. What is special about the royal palace? 8. What do the rings in a village in southern Zambia represent? 3)Listen for the second time and decide whether the statements are true or false. 1. Cantor realized that he had a set whose number of elements was equal to infinity. 2. When he was released from a hospital, he lost his faith in God. 3. We can use whatever seed shape we like to start with. 4. Mathematicians of the 19th century did not understand the concept of iteration and infinity. 5. Ron mentions lungs, kidney, ferns, and acacia trees to demonstrate fractals in nature. 6. The chief was very surprised when Ron wanted to see his village. 7. Termites do not create conscious fractals when building their mounds. 8. The tiny village inside the larger village is for very old people. I want to start my story in Germany, in 1877, with a mathematician named Georg Cantor. And Cantor decided he was going to take a line and erase the middle third of the line, and take those two resulting lines and bring them back into the same process, a recursive process.
    [Show full text]
  • Georg Cantor English Version
    GEORG CANTOR (March 3, 1845 – January 6, 1918) by HEINZ KLAUS STRICK, Germany There is hardly another mathematician whose reputation among his contemporary colleagues reflected such a wide disparity of opinion: for some, GEORG FERDINAND LUDWIG PHILIPP CANTOR was a corruptor of youth (KRONECKER), while for others, he was an exceptionally gifted mathematical researcher (DAVID HILBERT 1925: Let no one be allowed to drive us from the paradise that CANTOR created for us.) GEORG CANTOR’s father was a successful merchant and stockbroker in St. Petersburg, where he lived with his family, which included six children, in the large German colony until he was forced by ill health to move to the milder climate of Germany. In Russia, GEORG was instructed by private tutors. He then attended secondary schools in Wiesbaden and Darmstadt. After he had completed his schooling with excellent grades, particularly in mathematics, his father acceded to his son’s request to pursue mathematical studies in Zurich. GEORG CANTOR could equally well have chosen a career as a violinist, in which case he would have continued the tradition of his two grandmothers, both of whom were active as respected professional musicians in St. Petersburg. When in 1863 his father died, CANTOR transferred to Berlin, where he attended lectures by KARL WEIERSTRASS, ERNST EDUARD KUMMER, and LEOPOLD KRONECKER. On completing his doctorate in 1867 with a dissertation on a topic in number theory, CANTOR did not obtain a permanent academic position. He taught for a while at a girls’ school and at an institution for training teachers, all the while working on his habilitation thesis, which led to a teaching position at the university in Halle.
    [Show full text]
  • Sets and Classes As Many
    SETS AND CLASSES AS MANY by John L. Bell INTRODUCTION Set theory is sometimes formulated by starting with two sorts of entities called individuals and classes, and then defining a set to be a class as one, that is, a class which is at the same time an individual, as indicated in the diagram: Individuals Sets Classes If on the other hand we insist—as we shall here—that classes are to be taken in the sense of multitudes, pluralities, or classes as many, then no class can be an individual and so, in particular, the concept of set will need to be redefined. Here by “class as many” we have in mind what Erik Stenius refers to in [5] as set of, which he defines as follows: If we start from a Universe of Discourse given in advance, then we may define a set-of things as being many things in this UoD or just one thing - or even no things, if we want to introduce this way of speaking. Stenius draws a sharp distinction between this concept and that of 2 set as a thing. As he says, The distinction between a set-as-a-thing and a set of corresponds to the Russellian distinction between a “class as one” and a “class as many” (Principles of Mathematics, p. 76). Only I use the expressions ‘set-as-a- thing” and “set-of” instead, in order to stress the (grammatical and) ontological character of the distinction; and also because of the difficulty that a set-of need not consist of many things; it can comprise just one thing or no things.
    [Show full text]
  • Equivalents to the Axiom of Choice and Their Uses A
    EQUIVALENTS TO THE AXIOM OF CHOICE AND THEIR USES A Thesis Presented to The Faculty of the Department of Mathematics California State University, Los Angeles In Partial Fulfillment of the Requirements for the Degree Master of Science in Mathematics By James Szufu Yang c 2015 James Szufu Yang ALL RIGHTS RESERVED ii The thesis of James Szufu Yang is approved. Mike Krebs, Ph.D. Kristin Webster, Ph.D. Michael Hoffman, Ph.D., Committee Chair Grant Fraser, Ph.D., Department Chair California State University, Los Angeles June 2015 iii ABSTRACT Equivalents to the Axiom of Choice and Their Uses By James Szufu Yang In set theory, the Axiom of Choice (AC) was formulated in 1904 by Ernst Zermelo. It is an addition to the older Zermelo-Fraenkel (ZF) set theory. We call it Zermelo-Fraenkel set theory with the Axiom of Choice and abbreviate it as ZFC. This paper starts with an introduction to the foundations of ZFC set the- ory, which includes the Zermelo-Fraenkel axioms, partially ordered sets (posets), the Cartesian product, the Axiom of Choice, and their related proofs. It then intro- duces several equivalent forms of the Axiom of Choice and proves that they are all equivalent. In the end, equivalents to the Axiom of Choice are used to prove a few fundamental theorems in set theory, linear analysis, and abstract algebra. This paper is concluded by a brief review of the work in it, followed by a few points of interest for further study in mathematics and/or set theory. iv ACKNOWLEDGMENTS Between the two department requirements to complete a master's degree in mathematics − the comprehensive exams and a thesis, I really wanted to experience doing a research and writing a serious academic paper.
    [Show full text]