Advanced material discussed includes the axiom of choice, filters. Chapter 1 logic and set theory to criticize mathematics for its abstraction is to miss the point entirely. In particular we do not assume we are working inside any. The venn diagram below should help you get the picture. I wrote it in the rm belief that set theory is good not just for set theorists, but for many mathematicians, and that the earlier a student sees the particular point of view that we call modern set theory, the better.
An introduction to elementary set theory guram bezhanishvili and eachan landreth 1 introduction in this project we will learn elementary set theory from the original historical sources by two key gures in the development of set theory, georg cantor 18451918 and richard dedekind 18311916. Two sets are equal if and only if they have the same elements. Schimmerlings new book, a course on set theory, looks like a nice and compact introduction. The lord by wisdom founded the earth, by understanding he established the heavens. The inversion of a pitch class is the pitch class that is the same number of half steps away from c, but in the opposite direction. Although elementary set theory is wellknown and straightforward, the modern subject, axiomatic set theory, is both conceptually more di. This unit also covers subsets, the universal set, set builder notation, complement, intersection and union. By taking the fine sustain of reading pdf, you can be wise to spend the time for reading supplementary books. If aand bare sets, we say that bis a subset of aif every element of b is an element of a. Complex issues arise in set theory more than any other area of pure mathematics. Module 1 for teachers of primary and secondary mathematics.
If you concentrate too closely on too limited an application of a mathematical idea, you rob the mathematician of his most important tools. Lance small, uc san diego this book is based on notes from a course on set theory and metric spaces taught by edwin spanier, and also incorporates with his permission numerous exercises from those notes. Let us consider a few examples of entities we may consider to be sets. Set theory a mathematical model that we will use often is that of. B the formal definition presupposes a and b are sets. In this diagram, the set a the rectangle is partitioned into sets w,x, and y. Maji and his associates have further initiated several basic notions of soft set theory. I discuss three potential sources of evidence for truth in set theory. In the areas pertaining to statistics, it is particularly used in probability. This is the basic set theory that we follow in set theoretic.
Computer science, being a science of the arti cial, has had many of its constructs and ideas inspired by set theory. Indeed, one way to state the axioms of probability involves set theory. Nb note bene it is almost never necessary in a mathematical proof to remember that a function is literally a set of ordered pairs. It seems that there is no way to justify all the language, logic, and set theory that mathematics uses. Basic set theory daniel murfet may 16, 2006 throughout we work with the foundation provided by standard zfc fct,section 3. Georg cantor this chapter introduces set theory, mathematical induction, and formalizes the notion of mathematical functions. Sets are used to define the concepts of relations and functions. Cantors grundlagen and the paradoxes of set theory w. Jul 23, 2014 starting with a repetition of the familiar arguments of elementary set theory, the level of abstract thinking gradually rises for a progressive increase in complexity. They originated as handwritten notes in a course at the university of toronto given by prof. After mathematical logic has provided us with the methods of reasoning we start with a very basic theory. We have already dealt with the notion of unorderedpair, or doubleton. A recent and highly readable addition to the literature, with. This instructional unit on sets provide a stepbystep introduction to sets and set theory.
Set theory sets a set is a collection of objects, called its elements. One of the most beautiful sources of set theoretic wisdom is still hausdorffs set theory. Introduction to set theory a solution manual forhrbacek and jech1999 jianfei shen school of economics, the university of new south wales sydney, australia. Set theory for computer science university of cambridge. It is a foundational tool in mathematics the idea of grouping objects is really useful examples. A book of set theory, first published by dover publications, inc. The formal axiomatic system of ordinary set theory zfc.
Elements of set theory by sidneyfelder in the words of georgcantor 18451918,the creator of set theory and the modern theory of the in. Problems are sorted into different sets based on how hard they are to solve. Each definition is accompanied by commentary that motivates and explains new concepts. For every collection of sets there exists a set that contains all the. Measure theory is not needed unless we discuss the probability of two types of events. When we partition a set, we break it down into mutually exclusive and exhaustive regions, i. Basic definitions and notation, types of sets, equality, and venn diagrams are presented. Set theory has experienced a rapid development in recent years, with major advances in forcing, inner models, large cardinals and descriptive set theory. Introduction to set theory karel hrbacek, thomas jech. Ling 310, adapted from umass ling 409, partee lecture notes march 1, 2006 p. Set theory in this lecture we discuss the beginnings of set.
Basic concepts of set theory, functions and relations. Henle, an outline of set theory is a problemoriented text. Review of set theory michael williams last updated. The improving mathematics education in schools times project. Set theory is the axiomatization of mathematics, and without ac noone seriously doubts its truth, or at least consistency. These notes for a graduate course in set theory are on their way to becoming a book. Chapter 4 set theory \a set is a many that allows itself to be thought of as a one. If you interpret language as words on a page then you could easily imagine doing math without language. The purpose of this module is to introduce language for talking about sets, and some. The inversion of a pitch class is the pitch class that is the same number of half steps away from c.
Inclusion, exclusion, subsets, and supersets set a is said to be a subset of set b iff every element of a is an element of b. Starting with a repetition of the familiar arguments of elementary set theory, the level of abstract thinking gradually rises for a progressive increase in complexity. I offer no definition of what a set is beyond the intuitive notion described above. It has been and is likely to continue to be a a source of fundamental ideas in computer science from theory to practice. There are other conceptions of set, but although they have genuine mathematical interest they are not our concern here. In set theory variables range over the class of all sets, the. The axioms of set theory of my title are the axioms of zermelofraenkel set theory, usually thought ofas arisingfromthe endeavourtoaxiomatise the cumulative hierarchy concept of set. So the foundation axiom of zfc is not part of paraconsistent set theory based on unrestricted comprehension. Set theory is a branch of mathematical logic that studies sets, which informally are collections of. We write x2ato mean that xis an element of a set a, we also say that xbelongs to aor that xis in a. Basic set theory a set is a many that allows itself to be thought of as a one. March 30, 2009 basic set theory we will use the standard notation for containments. A doubleton is unordered insofar as the following is a theorem. Suitable for upperlevel undergraduates, this accessible approach to set theory poses rigorous but simple arguments.
The study of geometry, sequences, probability, etc. Smith san francisco state university these notes outline some set theory on which many parts of mathematics are based. Set theory logic software hardware why do we have the same operator names in logic and software and. Set theory is indivisible from logic where computer science has its roots. One of the most beautiful sources of settheoretic wisdom is still hausdorffs set theory. Georg cantor in the previous chapters, we have often encountered sets, for example, prime numbers form a set, domains in predicate logic form sets as well. The accompanying latex tutorial will guide you through the process of installing it on your computer, and show you the basics of how to prepare a document in.
The simplest examples of boolean algebras are the power set algebras px. Axioms and set theory mathematics university of waterloo. Foundations of a general theory of manifolds cantor, 1883, which i will refer to as the grundlagen,iscantors. In this case we also say that acontains b, and we write b. Pdf it is a lecture note on a axiomatics set theory, zf set theory with ac, in short zfc.
Sets fundamental to set theory is the notion of membership. Evidence for settheoretic truth and the hyperuniverse programme. Revised edition intended as a primary text for mathematics courses. Foundations of mathematics i set theory only a draft. Set theory, part 1 basic set theory part 1 introduction to sets and set notation.
It is designed for a onesemester course in set theory at the advanced undergraduate or beginning. Sets the notions object, set, and membership are used in this theory without definition. A to say that a is a member element of a, and we write a. But in set theory, this may still depend on the values of free variables. One can prove the wellknown boolean properties for these operations. The present book covers each of these areas, giving the reader an understanding of the ideas involved. The student who gets interested in set theory for its own sake should know, however, that there is much more to the subject than there is in this book. The concept of set serves as a fundamental part of the present day mathematics. Set theory, branch of mathematics that deals with the properties of welldefined collections of objects such as numbers or functions.
It is used as a foundation for many subfields of mathematics. A historical introduction presents a brief account of the growth of set theory, with special emphasis on problems that led to the development of the various systems of axiomatic. Instead, i am going to show you what can be done with sets. Cynthia church produced the first electronic copy in december 2002. Canadian mathematical bulletin kaplansky has a welldeserved reputation for his expository talents. James talmage adams produced a major revision in february 2005. Set is a set fnc is a function in firstorder logic, any expression is ensured to take a definite value, for every data of a model and values of all free variables there by virtue of its syntactic correction, that is implicit in the concept of expression. Set theory deals with objects and their collections. Foundation was a late comer in zfc any way, has no mathematical applications outside set theory, and is dropped in otherwise standard nonfounded set theory cf. In set theory, inversion means the same number of half steps in the opposite direction. Today this concept is being used in almost every branch of mathematics. Molodtsov introduced the theory of soft sets, which can be seen as a new mathematical approach to vagueness. For those of you new to abstract mathematics elementary does not mean simple though much of the material. In mathematics, the notion of a set is a primitive notion.
87 878 1165 115 332 410 710 1430 216 103 437 746 269 879 415 1135 447 1471 1245 310 1211 1410 233 42 1094 1260 1265 477 959 247 1147 200 937 922 1461 59