Dedekind, which considered sets of numbers or functions, the question of a quantitative comparison of infinite sets. Set theory is the branch of mathematical logic that studies sets, which informally are collections of objects. Set theory is likely to be around long after most presentday programming languages have faded from memory. 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. Its a basis for mathematicspretty much all mathematics can be formalised in set theory. Basic set theory members of the collection comprising the set are also referred to as elements of the set.
Basically all mathematical concepts, methods, and results admit of representation within axiomatic set theory. Axiomatic set theory january 14, 20 1 introduction one of our main aims in this course is to prove the following. To do this a teacher must give students the information they need, but without organizing it for them saul mcleod. From this simple beginning, an increasingly complex and useful. This allows it to serve as a foundation for all of mathematics, anything you talk about in math. But even more, set theory is the milieu in which mathematics takes place today. Only informal, or nave, set theory notation and results are needed in chapter i at the metalevel, i. The theories of jerome bruner empower maths teachers and. We introduce almost selfreferential formulas, use them to extend set theory, and relate their. If i recall correctly, this book contains a detailed development of set theory and constructibility. Two sets are equal if and only if they have the same elements. 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. Set theory definition, types, representation, rules. Part ii fundamental tools of set theory 35 4 well orderings and transfinite induction 37 4.
Then the axiomatic theory of zermelofraenkel is developed. 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. 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. The use of this axiomatic method makes naive set theory. Subsets a set a is a subset of a set b iff every element of a is also an element of b. It is used as a foundation for many subfields of mathematics. Duplicates dont contribute anythi ng new to a set, so remove them. Set operations and venn diagrams university of hawaii.
Smith san francisco state university these notes outline some set theory on which many parts of mathematics are based. An important feature of a set is that its elements are \distinct or \uniquely identi able. For our purposes, a set is a collection of objects or symbols. 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.
This instructional unit on sets provide a stepbystep introduction to sets and set theory. It is conceptually easiest to start where set theory does. Discrete mathematicsset theory wikibooks, open books for. Set theory is a basis of modern mathematics, and notions of set theory are used in all formal descriptions. In the areas pertaining to statistics, it is particularly used in probability. 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. Much of the concepts in probability are derived from the consequences of set theory.
The early development of set theory stanford encyclopedia of. The model is both the universe and the interpretation function. 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. For example, the set containing only the empty set is a nonempty pure set. This alone assures the subject of a place prominent in human culture. A mathematical theory of communication before 1948, communication was strictly an engineering discipline, with little scientific theory to back it up. A solid foundation on sets is provided for students of. Its a useful tool for formalising and reasoning about computation and the objects of computation. Ling 310, adapted from umass ling 409, partee lecture notes march 1, 2006 p. This unit also covers subsets, the universal set, setbuilder notation, complement, intersection and union. First order logic and the axioms of set theory 2 1. 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.
Set theory is one of the greatest achievements of modern mathematics. Basic set theory a set is a many that allows itself to be thought of as a one. Introduction to logic and set theory 202014 general course notes december 2, 20 these notes were prepared as an aid to the student. Schimmerlings new book, a course on set theory, looks like a nice and compact introduction.
Logic and model theory are just two branches of ordinary mathematics they do not precede them, although they are a bit peculiar because. A read is counted each time someone views a publication summary such as the title, abstract, and list of authors, clicks on a figure, or views or downloads the fulltext. The final part of the book presents the tools of modern set theory. We discuss the problems of incompleteness and inexpressibility. A book of set theory, first published by dover publications, inc. One set may be involved as a universe with many di erent interpretation functions of the language l. The strong tradition, universality and neutrality of set theory make it. 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.
In this project we will learn elementary set theory from the original historical sources. Apr 30, 2018 bruner advocates that a good teacher will design lessons that help students discover the relationship between bits of information. Sets the notions object, set, and membership are used in this theory without definition. Thus set theory has served quite a unique role by systematizing modern mathematics, and approaching in a unified form all basic questions about admissible. More specifically, if is a wellformed formula of 9. Questions about decidability come up frequently in math and computer science. The purpose of this module is to introduce language for talking about sets, and some. These notes were prepared using notes from the course taught by uri avraham, assaf hasson, and of course, matti rubin. There is a new dover edition of smullyan, fitting, set theory and the continuum problem. They are not guaranteed to be comprehensive of the material covered in the course. A followup paper on higher order theory is now available.
Mathematical theory definition of mathematical theory by. Set theory is an important language and tool for reasoning. The objects in a set will be called elements of the set. Henle, an outline of set theory is a problemoriented text. Sets may be thought of as a mathematical way to represent collections or groups of objects. Bruner advocates that a good teacher will design lessons that help students discover the relationship between bits of information. This unit also covers subsets, the universal set, set builder notation, complement, intersection and union. For those of you new to abstract mathematics elementary does not mean simple though much of the material. William weiss and cherie dmello university of toronto.
The expression x 0 x indicates that the object x is a member of the set x. The new dover edition of levys basic set theory contains an errata not available in the old version. The theories of jerome bruner empower maths teachers and students. This chapter introduces set theory, mathematical in duction, and formalizes the notion of mathematical functions. 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. 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. Basic concepts of set theory, functions and relations. 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. The importance of model theory lies in the observation that mathematical objects can be cast as models for a language. A set is pure if all of its members are sets, all members of its members are sets, and so on. Indeed, one way to state the axioms of probability involves set theory. Set theory is useful in any area of math dealing with uncountable sets. 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. B x x a and x b this is the intersection of a and 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. Usually we denote sets with uppercase letters, elements with lowercase letters. 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. In many ways, a set is the simplest possible conceptual object, from which the rest of mathematics can be rigorously developed. Axioms and set theory mathematics university of waterloo. Contains introductory material as well as some advanced topics. A solid foundation on sets is provided for students of all ages. Elements of a set can be just about anything from real physical objects to abstract mathematical objects. Bagaria and others published set theory find, read and cite all. 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. For those that take axiomatic set theory, you will learn about something. 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. Let us consider a few examples of entities we may consider to be sets.
A set is described by listing elements separated by commas, or by a characterizing property of its elements, within braces. Georg cantor this chapter introduces set theory, mathematical induction, and formalizes the notion of mathematical functions. Introduction to logic and set theory202014 general course notes december 2, 20 these notes were prepared as an aid to the student. Empty setsubset properties theorem s empty set is a subset of any set. 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. Drake, set theory, an introduction to large cardinals. As a key component to simplifying rational expressions and solving. Skolem university of notre dame, 1962 the book contains a series of lectures on abstract set theory given at the university of notre dame. A few elementary examples are the set of natural numbers.
Set theory is used heavily in computer science and data. Set theoryintroduction wikibooks, open books for an. Georg cantor 18451918, a german mathematician, initiated the concept theory of sets or set theory. After some historical remarks the chief ideas of the naive set theory are explained. Foundations of mathematics and the incompleteness theorems 3 1. 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. These notes for a graduate course in set theory are on their way to be coming a book.
An introduction to set theory department of mathematics. The fourth unit transitions from the concept of probability the focus of the first three units to a new section on relations and functions. The set of all objects x which satisfy the condition x is an irrational number and 0 x. Now, lets use definition by recursion in other examples. 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. Basic definitions and notation, types of sets, equality, and venn diagrams are presented. He was working on problems on trigonometric series when he encountered something that had become the most fundamental thing in mathematics. Set theory in general deals with sets of elements and their characteristics as well as operations and relations of those sets. Set theory begins with a fundamental binary relation between an object o and a set a. The author then develops the notions of transfinite induction and descriptive set theory, with applications to the theory of real functions.
B for example, if s is the set of all juices in the supermarket, and t is the set of all. 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. A little set theory never hurt anybody matthew saltzman department of mathematical sciences clemson university draft. When a mathematical question outside set theory can be settled only. In this first unit in the second half of math 302, students are introduced to rational expressions or fractions with polynomial. In effect, we provide the tools, the initial task, the questions and the opportunity for. Set theory is a branch of mathematics in which we study about sets and their properties.
Everything in set theory is formed based on the empty set, denoted. The goal of this section is to understand both mathematical conventions and. 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. Martins axiom, the diamond principle, and elements of forcing. This means that 1,2,3 is a set but 1,1,3 is not because 1 appears twice in the second collection. Introduction to logic and set theory 202014 bgu math. 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. Discrete mathematicsset theory wikibooks, open books. Set theory for the working mathematician london mathematical. Retaliation is also prohibited by university policy.
390 526 1479 1357 605 4 903 575 1577 81 482 1508 1070 1523 617 1555 223 662 1348 1211 1575 559 1175 810 403 521 1385 478 720 1582 224 515 629 257 644 783 969 215 589 989 1474 10 717 448 1328 1401 846 116 708