For any two sets x and y, either there is a onetoone function from. Learn the basic concepts and formulas of set theory with the help of solved examples. With setbuilder notation, we can list a few more very important sets. Set symbols of set theory and probability with name and definition. Basic set theory lx 502 semantics i september 11, 2008 1. C is not a subset of a, since c contains an element, 3, that is not contained in a. The language of probability the mathematics of probability is expressed most naturally in terms of sets. These notes were prepared using notes from the course taught by uri avraham, assaf hasson, and of course, matti rubin. In mathematics, the notion of a set is a primitive notion. U x is an even number the set of all x in u such that x is an even number the set u is called the universe. Then the complement of a is the set of all elements of u which are not the elements of a. A subset of the cartesian product a x b is called a relation from the set a to the set b. Know about the important set theory rules and check the set theory examples based on concepts set theory.
Set union the union of two sets a and b, written a. Ling 310, adapted from umass ling 409, partee lecture notes march 1, 2006 p. Set theory for computer science university of cambridge. That is, if an element belongs to set aor set bthen it belongs to the union of a and b. Nb note bene it is almost never necessary in a mathematical proof to remember that a function is literally a set of ordered pairs. To indicate that an object x is a member of a set a one writes x. Note that there is no problem with the fact that di. We can use these sets understand relationships between groups, and to analyze survey data. In a similar manner, there are several ways to create new sets from sets that have already been defined. In set theory the term universal set is often used in place of universe of discourse for a given predicate. 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. Enderton elements of set theory, academic press, 1977.
Basically, the definition states it is a collection of elements. A binary operation is called commutative if the order of the things it operates on doesnt matter. Pure set theory deals exclusively with sets, so the only sets under consideration are those whose members are also sets. A to indicate that the object a is an element, or a member, of the set a. For those of you new to abstract mathematics elementary does not mean simple though much of the material. Creating new sets set operations binary operations the union of two sets a and b is denoted a. A b x x a x b the complement of a is the complement of a with respect to u. Sets and operations on sets mathematics libretexts. It is designed for a onesemester course in set theory at the advanced undergraduate or beginning. Introduction to modern set theory a to z directory. The difference of a and b is also called the complement of b with respect to a.
Computer science, being a science of the arti cial, has had many of its constructs and ideas inspired by set theory. Some sets occur so frequently that there are standard names and symbols for them. Sets we discussed in class how to formally show that one set is a subset of another and how to show two sets are equal. In set theory and, usually, in other parts of mathematics, a cartesian product is a mathematical operation that returns a set or product set or simply product from multiple sets. Set theory sets a set is a collection of objects, called its elements. B read a union b or the union of a and b is defined as the set that consists of all elements belonging to either set a or set b or both. A set may be defined by a membership rule formula or by listing its. Then by the axiom schema of comprehension, there is a set bdf x2vw g. What can we say about set a if x a for all objects x. A since every element of b is also an even number, so is an element of a. If a is an element of a set a, we say that a belongs to a the greek symbol. B the formal definition presupposes a and b are sets. Two sets are disjoint if they have no elements in common, that is, a and b are disjoint if a. In maths, set theory was developed to explain about collections of objects.
Three important binary set operations are the union u, intersection. Introduction to logic and set theory 202014 general course notes december 2, 20 these notes were prepared as an aid to the student. Set theory proof with cartesian product of sets and intersection a x b n c a x b n a x c broll. Discrete mathematicsset theoryexercises wikibooks, open. It has been and is likely to continue to be a a source of fundamental ideas in computer science from theory to practice. The set of all x in u such that x is an even number the set u is called the universe. You must have also heard of subset and superset, which are the. Set theory is the mathematical theory of welldetermined collections, called sets, of objects that are called members, or elements, of the set.
They are not guaranteed to be comprehensive of the material covered in the course. Set theory basic set theory stanford encyclopedia of. Chapter 4 set theory \ a set is a many that allows itself to be thought of as a one. B x x a and x b this is the intersection of a and b. 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. B, is the set of all elements that belong to a,ortob, or to both. Georg cantor this chapter introduces set theory, mathematical induction, and formalizes the notion of mathematical functions. But in the early 1900s, a radical transformation occurred in mathematiciansunderstanding of sets. Basic concepts of set theory, functions and relations. But even more, set theory is the milieu in which mathematics takes place today. Here are three simple statements about sets and functions. It is natural for us to classify items into groups, or sets, and consider how those sets overlap with each other.
A complement of a set let u be the universal set and a a subset of u. Set operations and venn diagrams university of hawaii. The basic relation in set theory is that of elementhood, or membership. The set b in 17 is formed from the elements that are already in u. This alone assures the subject of a place prominent in human culture. A \ b denotes the set difference of a and b and consists of the elements in a that. In mathematics, specifically set theory, the cartesian product of two sets a and b, denoted a. That is, for sets a and b, the cartesian product a. The inversion of a pitch class is the pitch class that is the same number of half steps away from c. Sets are welldetermined collections that are completely characterized by their elements. If x is a subset of the real numbers, then either there is a onetoone function from the set of real numbers into x or there is a onetoone. Thus, two sets are equal if and only if they have exactly the same elements. Sets are unordered and we do not distinguish 1 a,b. March 30, 2009 basic set theory we will use the standard notation for containments.
To generalize this to arbitrary sets aand bwe rst need the concept of an ordered pair. The difference of a and b, denoted by a b, is the set containing those elements that are in a but not in b. We write x2ato mean that xis an element of a set a, we also say that xbelongs to aor that xis in a. Set theory proof with cartesian product of sets and intersection a x. Introduction to logic and set theory202014 general course notes december 2, 20 these notes were prepared as an aid to the student. Set theory basic concepts of set theory hitbullseye. 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. 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. Two sets are equal if and only if they have the same elements, i. These elements could be numbers, alphabets, variables, etc. We write \a\in a\ to indicate that the object \a\ is an. Usually we denote sets with uppercase letters, elements with lowercase letters.
Goldrei classic set theory, chapman and hall 1996, or h. The notation and symbols for sets are based on the operations performed on them. 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. If there is a onetoone function from x into y and also a onetoone function from y into x, then there is a onetoone function from x onto y. Definition cartesian product if a and b are sets, the cartesian product of a and b.
Because the fundamentals of set theory are known to all mathematicians, basic problems in the subject seem elementary. Set theory is indivisible from logic where computer science has its roots. Review of set theory michael williams last updated. A the set of all even numbers b 2, 4, 6 c 2, 3, 4, 6 here b. In set theory, inversion means the same number of half steps in the opposite direction. If aand bare sets, we say that bis a subset of aif every element of b is an element of a.
1051 1227 885 257 1197 949 1561 1545 175 1173 372 379 462 862 310 51 1230 1149 1521 1081 1291 1180 792 995 33 350 1418 385 163 668 501