They are not guaranteed to be comprehensive of the material covered in the course. For those of you new to abstract mathematics elementary does not mean simple though much of the material. We often deal with groups or collection of objects in real life, such a set of books, a group of students, a list of states in a country, a collection of baseball cards, etc. Set theory in general deals with sets of elements and their characteristics as well as operations and relations of those sets. This allows it to serve as a foundation for all of mathematics, anything you talk about in math. From this simple beginning, an increasingly complex and useful.
Georg cantor this chapter introduces set theory, mathematical induction, and formalizes the notion of mathematical functions. The strong tradition, universality and neutrality of set theory make it. Axioms and set theory mathematics university of waterloo. Part ii fundamental tools of set theory 35 4 well orderings and transfinite induction 37 4.
Empty setsubset properties theorem s empty set is a subset of any set. The purpose of this module is to introduce language for talking about sets, and some. The following notation is used to show set membership means that x is a member of the set a means that x is not a member of the set a. 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.
A set is pure if all of its members are sets, all members of its members are sets, and so on. The fourth unit transitions from the concept of probability the focus of the first three units to a new section on relations and functions. Foundations of mathematics and the incompleteness theorems 3 1. These notes for a graduate course in set theory are on their way to be coming a book. The final part of the book presents the tools of modern set. For instance, logicians have observed the fact that almost all of modern mathematics can be expressed in the language of set theory, but this does not mean that we need to secure set theory before the rest of mathematics can be done. The expression x 0 x indicates that the object x is a member of the set x. For our purposes, a set is a collection of objects or symbols.
After some historical remarks the chief ideas of the naive set theory are explained. These notes were prepared using notes from the course taught by uri avraham, assaf hasson, and of course, matti rubin. Oct 21, 2010 set theory being a rather abstract subject, most books do not give a motivation for the various terminology in set theory which enhances understanding of why many concepts had to be introduced. Let us consider a few examples of entities we may consider to be sets. We must show the following implication holds for any s x x x s since the empty set does not contain any element, x is. Set theory is a basis of modern mathematics, and notions of set theory are used in all formal descriptions. In this project we will learn elementary set theory from the original historical sources.
The notion of set is taken as undefined, primitive, or basic, so we dont try to define what a set is, but we can give an informal description, describe important properties of sets, and give examples. Sets are usually described using fg and inside these curly brackets a list of the elements or a description of the elements of the set. Basic definitions and notation, types of sets, equality, and venn diagrams are presented. Set theory begins with a fundamental binary relation between an object o and a set a. Subsets a set a is a subset of a set b iff every element of a is also an element of b. Set theory was created by the work of 19th century mathematicians, who posed the aim of a complete revision of the foundations of mathematical analysis. Logic and model theory are just two branches of ordinary mathematics they do not precede them, although they are a bit peculiar because. Set theory is likely to be around long after most presentday programming languages have faded from memory. Georg cantor 18451918, a german mathematician, initiated the concept theory of sets or set theory. An introduction to set theory department of mathematics. A book of set theory, first published by dover publications, inc.
In many ways, a set is the simplest possible conceptual object, from which the rest of mathematics can be rigorously developed. Its a useful tool for formalising and reasoning about computation and the objects of computation. Nov, 20 set theory is important because it is a theory of integers, models of axiom systems, infinite ordinals, and real numbers, all in one unified structure. As a key component to simplifying rational expressions and solving.
More specifically, if is a wellformed formula of 9. A set is described by listing elements separated by commas, or by a characterizing property of its elements, within braces. Everything in set theory is formed based on the empty set, denoted. The early development of set theory stanford encyclopedia of. Contains introductory material as well as some advanced topics. Set theory is used heavily in computer science and data. Only informal, or nave, set theory notation and results are needed in chapter i at the metalevel, i. Usually we denote sets with uppercase letters, elements with lowercase letters. The set theory back those days in a kind of naive view because it was defined in a natural language rather than in a fo. One set may be involved as a universe with many di erent interpretation functions of the language l. In the areas pertaining to statistics, it is particularly used in probability. Set operations and venn diagrams university of hawaii. A mathematical theory of communication before 1948, communication was strictly an engineering discipline, with little scientific theory to back it up. First order logic and the axioms of set theory 2 1.
Drake, set theory, an introduction to large cardinals. Mathematical theory definition of mathematical theory by. Set theory being a rather abstract subject, most books do not give a motivation for the various terminology in set theory which enhances understanding of why many concepts had to be introduced. Smith san francisco state university these notes outline some set theory on which many parts of mathematics are based. In this first unit in the second half of math 302, students are introduced to rational expressions or fractions with polynomial. For example, the set containing only the empty set is a nonempty pure set. Much of the concepts in probability are derived from the consequences of set theory.
In effect, we provide the tools, the initial task, the questions and the opportunity for. Set theory is one of the greatest achievements of modern mathematics. Set theory is useful in any area of math dealing with uncountable sets. Then the axiomatic theory of zermelofraenkel is developed. Sets may be thought of as a mathematical way to represent collections or groups of objects.
Introduction to logic and set theory 202014 bgu math. 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. Discrete mathematicsset theory wikibooks, open books. Dedekind, which considered sets of numbers or functions, the question of a quantitative comparison of infinite sets. This means that 1,2,3 is a set but 1,1,3 is not because 1 appears twice in the second collection. Set theory relations functions basic concepts operations on sets operation properties sets. Set theory definition, types, representation, rules. For example, a deck of cards, every student enrolled in math 103, the collection of all even integers, these are all examples of sets of things. Set theory is the branch of mathematical logic that studies sets, which informally are collections of objects.
Mathematical theory synonyms, mathematical theory pronunciation, mathematical theory translation, english dictionary definition of mathematical theory. The university of kansas prohibits discrimination on the basis of race, color, ethnicity, religion, sex, national origin, age, ancestry, disability, status as a veteran, sexual orientation, marital status, parental status, gender identity, gender expression, and genetic information in the universitys programs and activities. Set theory is a branch of mathematics in which we study about sets and their properties. Basically all mathematical concepts, methods, and results admit of representation within axiomatic set theory. A little set theory never hurt anybody matthew saltzman department of mathematical sciences clemson university draft. Set theory is important because it is a theory of integers, models of axiom systems, infinite ordinals, and real numbers, all in one unified structure.
Introduction to logic and set theory202014 general course notes december 2, 20 these notes were prepared as an aid to the student. The use of this axiomatic method makes naive set theory. Set theory for the working mathematician london mathematical. This instructional unit on sets provide a stepbystep introduction to sets and set theory. The model is both the universe and the interpretation function. For those that take axiomatic set theory, you will learn about something. Elements of a set can be just about anything from real physical objects to abstract mathematical objects. To do this a teacher must give students the information they need, but without organizing it for them saul mcleod. Introduction to logic and set theory 202014 general course notes december 2, 20 these notes were prepared as an aid to the student. Questions about decidability come up frequently in math and computer science. The author then develops the notions of transfinite induction and descriptive set theory, with applications to the theory of real functions. A few elementary examples are the set of natural numbers. B for example, if s is the set of all juices in the supermarket, and t is the set of all.
I already answered a similar question at length on mathoverflow so let me try a short answer, suitable for this forum you mistakenly assume that it is the business of model theory or logic to somehow produce set theory out of nothing. Free set theory books download ebooks online textbooks. A followup paper on higher order theory is now available. The book begins with a tour of the basics of set theory, culminating in a proof of zorns lemma and a discussion of some of its applications. It is conceptually easiest to start where set theory does. Indeed, one way to state the axioms of probability involves set theory. Basic concepts the concept of set is considered a primitive concept in math a set is a collection of elements whose description must be unambiguous and unique. 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. The set of all objects x which satisfy the condition x is an irrational number and 0 x. Bruner advocates that a good teacher will design lessons that help students discover the relationship between bits of information. The axioms of set theory, the natural numbers, the ordinal numbers, relations and orderings, cardinality, there is nothing real about the real numbers, the universe, reflection.
The theories of jerome bruner empower maths teachers and students. It is used as a foundation for many subfields of mathematics. The goal of this section is to understand both mathematical conventions and. B x x a and x b this is the intersection of a and b. The objects in a set will be called elements of the set. Martins axiom, the diamond principle, and elements of forcing. Skolem university of notre dame, 1962 the book contains a series of lectures on abstract set theory given at the university of notre dame. We discuss the problems of incompleteness and inexpressibility. Its a basis for mathematicspretty much all mathematics can be formalised in set theory. This series of lessons cover the essential concepts of math set theory the basic ways of describing sets, use of set notation, finite sets, infinite sets, empty sets, subsets, universal sets, complement of a set, basic set operations including intersection and union of sets, using venn diagrams and simple applications of sets.
Axiomatic set theory january 14, 20 1 introduction one of our main aims in this course is to prove the following. The book however uses strange archaic math typography, because of which through out the book i kept on trying to figure out whether it is a srcipt pi. A solid foundation on sets is provided for students of. Set theoryintroduction wikibooks, open books for an. The final part of the book presents the tools of modern set theory. Duplicates dont contribute anythi ng new to a set, so remove them. Bagaria and others published set theory find, read and cite all. We introduce almost selfreferential formulas, use them to extend set theory, and relate their.
Sets the notions object, set, and membership are used in this theory without definition. But even more, set theory is the milieu in which mathematics takes place today. To understand the contributions, motivations and methodology of claude shannon, it is important to examine the state of communication engineering before the advent of shannons 1948 paper. This chapter introduces set theory, mathematical in duction, and formalizes the notion of mathematical functions. This alone assures the subject of a place prominent in human culture. A solid foundation on sets is provided for students of all ages. William weiss and cherie dmello university of toronto. Schimmerlings new book, a course on set theory, looks like a nice and compact introduction. If i recall correctly, this book contains a detailed development of set theory and constructibility. An important feature of a set is that its elements are \distinct or \uniquely identi able. Henle, an outline of set theory is a problemoriented text.
This book has been reprinted with the cooperation of kyung moon publishers, south korea. He was working on problems on trigonometric series when he encountered something that had become the most fundamental thing in mathematics. This unit also covers subsets, the universal set, set builder notation, complement, intersection and union. Thus set theory has served quite a unique role by systematizing modern mathematics, and approaching in a unified form all basic questions about admissible. Retaliation is also prohibited by university policy. Basic concepts of set theory, functions and relations. Two sets are equal if and only if they have the same elements. Basic set theory a set is a many that allows itself to be thought of as a one. Now, lets use definition by recursion in other examples. This unit also covers subsets, the universal set, setbuilder notation, complement, intersection and union. The new dover edition of levys basic set theory contains an errata not available in the old version. There is a new dover edition of smullyan, fitting, set theory and the continuum problem.
When a mathematical question outside set theory can be settled only. Basic set theory members of the collection comprising the set are also referred to as elements of the set. The theories of jerome bruner empower maths teachers and. Ling 310, adapted from umass ling 409, partee lecture notes march 1, 2006 p.
934 870 214 1581 948 1587 957 736 970 510 1490 445 953 1168 282 1041 1365 455 372 1552 1378 345 1154 198 1108 486 1536 228 1282 264 1637 286 234 333 802 1315 306 193 709 747 61 1045 253 687 1455