The set 1,2 is a subset of the set 1,2,3, and the set 1,2,3 is a subset of the set 1,2,3. Set theory for computer science university of cambridge. Set the ory deals with objects and their collections. The axiom of pair, the axiom of union, and the axiom of. When the subset is the set itself, it is an improper subset. These notes were prepared using notes from the course taught by uri avraham, assaf hasson, and of course, matti rubin. A little set theory never hurt anybody matthew saltzman department of mathematical sciences clemson university draft. Set theory tutorial problems, formulas, examples mba. In the second part i present the topics and techniques that i believe every set. The munster research seminar on set theory also takes place via zoom every tue.
The usual set theory of zermelo and fraenkel is not entirely neglected. James talmage adams produced a major revision in february 2005. Pdf the soft set theory offers a general mathematical tool for dealing with uncertain, fuzzy, not clearly defined objects. What appeals to me most about descriptive set theory is that to study it you must reallyunderstandso many things. Introduction to logic and set theory202014 general course notes december 2, 20 these notes were prepared as an aid to the student. A solid foundation on sets is provided for students of all ages. The purpose of this module is to introduce language for talking about sets, and some. B the formal definition presupposes a and b are sets. Set theory \a set is a many that allows itself to be thought of as a one.
Ling 310, adapted from umass ling 409, partee lecture notes march 1, 2006 p. The intersection of the set with members 1, 2, 3 together with the set with members 3, 4, 5 is the set that has only the 3. Basically all mathematical concepts, methods, and results admit of representation within axiomatic set theory. The book will be a useful resource for both experts working in a relevant or adjacent area and beginners wanting to learn set theory via selfstudy. A to say that a is a member element of a, and we write a. They originated as handwritten notes in a course at the university of toronto given by prof. Corollary 19 the set of all rational numbers is countable. Indeed, one way to state the axioms of probability involves set theory. Motivation when you start reading these notes, the first thing you should be asking yourselves is what is set theory and why is it relevant.
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. After mathematical logic has provided us with the methods of reasoning we start with a very basic theory. There is a study of somewhat more advanced topics in. Computer science, being a science of the arti cial, has had many of its constructs and ideas inspired by set theory. Sets a set is a collection of things called elements. A set is nothing more than an unordered collection of elements with.
In 3 volumes handbook of set theory, volume i, akihiro kanamori, 0. Set theory has entered its prime as an advanced and autonomous field of mathematics with. Cynthia church produced the first electronic copy in december 2002. A subset is a set contained within another set, or it can be the entire set itself. Sets are used to define the concepts of relations and functions. The set containing all positive integers less than 42 i hello the set containing the string hello j bba, bab the set containing the strings bba and bab k.
We apply the previous theorem with n2, noting that every rational number can be written as ba,whereband aare integers. When the subset is missing some elements that are in the set it is being compared to, it is a proper subset. These underlying settheoretic manipulations are so automatic that we seldom give. If you continue browsing the site, you agree to the use of cookies on this website. B for example, if s is the set of all juices in the supermarket, and t is the set of all.
May 05, 2015 applications of set theory in the field of economics slideshare uses cookies to improve functionality and performance, and to provide you with relevant advertising. A solid foundation on sets is provided for students of. Georg cantor this chapter introduces set theory, mathematical induction, and formalizes the notion of mathematical functions. This unit also covers subsets, the universal set, setbuilder notation, complement, intersection and union. If you were to let the set with 1,2,3 be set a, and the set with 3,4,5 be set b, then you could use venn diagrams to illustrate the situation see figure 2. An introduction to independence proofs by kenneth kunen, naive set theory by paul r. For example, the set containing only the empty set is a nonempty pure set. Set theory, as a separate mathematical discipline, begins in the work of georg cantor. Today this concept is being used in almost every branch of mathematics. The story of mathematics, ian stewart describes the situation in this way. The subjects discussed include stationary sets, delta systems, partition relations, set mappings.
Mitchell a universal extender model without large cardinals in v. Basic set theory lx 502 semantics i september 11, 2008 1. Set theory is one of the greatest achievements of modern mathematics. Set theory 1 set theory one of the main objectives of a statistician is to draw conclusions about a population of objects by conducting an experiment.
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. This is a modern nonnaive set theory as against that of halmos famous booknaive set theory. Set theory has its own notations and symbols that can seem unusual for many. In this tutorial, we look at some solved examples to understand how set theory works and the kind of problems it can be used to solve. There is a study of somewhat more advanced topics in set theory at the. May 01, 2017 a set is actually a mathematical concept, and the way that we relate sets to one another is referred to as set theory. Mar 20, 2011 this feature is not available right now. In mathematics, the notion of a set is a primitive notion. We can specify a set by listing the elements within braces.
The formal axiomatic system of ordinary set theory zfc. Chapter 1 logic and set theory to criticize mathematics for its abstraction is to miss the point entirely. To transpose a set down by n half steps, subtract n from each pitch class in the set. Mitchell 11 1 f independently improved lawveres earlier result 161 by characterizing the category of sets purely elemen. This unit also covers subsets, the universal set, set builder notation, complement, intersection and union. But even more, set theory is the milieu in which mathematics takes place today. Subsets a set a is a subset of a set b iff every element of a is also an element of b. For those of you new to abstract mathematics elementary does not mean simple though much of the material. Then by the axiom schema of comprehension, there is a set bdf x2vw g. This book is dedicated to prabir roy, louis mcauley, jonathan. Set theory if we are interested in elements of a set a that are not contained in a set b, we can write this set as a. Set theory is indivisible from logic where computer science has its roots. It is used as a foundation for many subfields of mathematics. There is enough material in the text for a yearlong course at the upperundergraduate level.
The concept of set serves as a fundamental part of the present day mathematics. This book is dedicated to prabir roy, louis mcauley. Though propositional logic will prove a useful tool to describe certain aspects of meaning, like the reasoning in 1, it is a blunt. Inversional symmetry this is a property of a set which is able to map onto itself through inversion at some value of n. Set theory is the axiomatization of mathematics, and without ac noone seriously doubts its truth, or at least consistency. If you concentrate too closely on too limited an application of a mathematical idea, you rob the mathematician of his most important tools. The early development of set theory stanford encyclopedia of. Moreover, the theory of inner models has emerged as a major part of the large cardinal theory. 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. August 19, 2019 1 introduction the fundamental ideas of set theory and the algebra of sets are probably the most important concepts across all areas of mathematics other than the algebra of real numbers. Coding into k by reasonable forcing, transactions of the amer. These notes for a graduate course in set theory are on their way to becoming a book. If you get a number larger than 11 or smaller than 0, add or subtract 12 to get a valid pitch class number. A set is pure if all of its members are sets, all members of its members are sets, and so on.
This instructional unit on sets provide a stepbystep introduction to sets and set theory. In the areas pertaining to statistics, it is particularly used in probability. Basic definitions and notation, types of sets, equality, and venn diagrams are presented. To deal with the complexities of set theory and mathematics one develops a. This handbook is essential reading for the aspiring researcher, a pivotal focus for the veteran set theorist, and a massive. Since the set of pairs b,a is countable, the set of quotients ba, and thus the set of rational numbers, is countable. Much of the concepts in probability are derived from the consequences of set theory. They are not guaranteed to be comprehensive of the material covered in the course.
By the way, you probably dont know there is a companion book by sigler 0387901930 exercises in set theory which was an very petinent companion to both of the two famous books on set theory. Sets fundamental to set theory is the notion of membership. One might say that set theory was born in late 1873, when he made the amazing discovery that the linear continuum, that is, the real line, is not countable, meaning that its points cannot be counted using the natural numbers. Thus set theory has served quite a unique role by systematizing modern mathematics, and approaching in a unified form all basic questions about admissible. The vocabulary of set theory has one binary relation symbol if. Basic concepts of set theory, functions and relations. B for example, if s is the set of all juices in the supermarket, and t.
It has been and is likely to continue to be a a source of fundamental ideas in computer science from theory to practice. Basic set theory a set is a many that allows itself to be thought of as a one. This alone assures the subject of a place prominent in human culture. The final part gives an introduction to modern tools of combinatorial set theory. The existence of a measurable cardinal of mitchell order. For all x there is a unique set y containing exactly the mem bers of members of x. This part contains enough material for a graduate course of one or two semesters. The study of geometry, sequences, probability, etc. Introduction to set theory, revised and expanded chapman. Compare this to the concept of modes of limited transposition found in messiaens theory. For shorter onesemester or onequarter courses, a variety of arrangements of topics are possible.
1107 885 1252 133 1241 54 1214 1339 674 940 222 901 627 896 1302 1321 1007 154 1375 1431 355 421 372 892 895 328 508 74 1304