A Little Set Theory (Never Hurt Anybody)

Similar documents
Lecture Note 1 Set and Probability Theory. MIT Spring 2006 Herman Bennett

Lecture 1. Basic Concepts of Set Theory, Functions and Relations

No Solution Equations Let s look at the following equation: 2 +3=2 +7

Linear Equations and Inequalities

Sample Induction Proofs

Lecture 16 : Relations and Functions DRAFT

Permutation Groups. Tom Davis April 2, 2003

MATH10212 Linear Algebra. Systems of Linear Equations. Definition. An n-dimensional vector is a row or a column of n numbers (or letters): a 1.

a 11 x 1 + a 12 x a 1n x n = b 1 a 21 x 1 + a 22 x a 2n x n = b 2.

LEARNING OBJECTIVES FOR THIS CHAPTER

So let us begin our quest to find the holy grail of real analysis.

Set operations and Venn Diagrams. COPYRIGHT 2006 by LAVON B. PAGE

Row Echelon Form and Reduced Row Echelon Form

Mathematical Induction

Vocabulary Words and Definitions for Algebra

3 Some Integer Functions

The Method of Partial Fractions Math 121 Calculus II Spring 2015

How To Understand The Laws Of Algebra

THE LANGUAGE OF SETS AND SET NOTATION

10.2 Series and Convergence

8 Divisibility and prime numbers

Math 4310 Handout - Quotient Vector Spaces

Playing with Numbers

Introduction to Matrix Algebra

INCIDENCE-BETWEENNESS GEOMETRY

Lecture 1 Introduction Properties of Probability Methods of Enumeration Asrat Temesgen Stockholm University

Math/Stats 425 Introduction to Probability. 1. Uncertainty and the axioms of probability

Discrete Mathematics

Section 1.3 P 1 = 1 2. = P n = 1 P 3 = Continuing in this fashion, it should seem reasonable that, for any n = 1, 2, 3,..., =

Useful Number Systems

Basic Concepts of Set Theory, Functions and Relations

Chapter 11 Number Theory

DIVISIBILITY AND GREATEST COMMON DIVISORS

Relational Algebra. Basic Operations Algebra of Bags

CONTENTS 1. Peter Kahn. Spring 2007

3. Mathematical Induction

Basic Probability Concepts

Division of whole numbers is defined in terms of multiplication using the idea of a missing factor.

6.3 Conditional Probability and Independence

Linear Algebra: Vectors

Discrete Mathematics and Probability Theory Fall 2009 Satish Rao, David Tse Note 2

SYSTEMS OF EQUATIONS AND MATRICES WITH THE TI-89. by Joseph Collison

Course Syllabus. MATH 1350-Mathematics for Teachers I. Revision Date: 8/15/2016

Cartesian Products and Relations

The continuous and discrete Fourier transforms

Elements of probability theory

Review of Fundamental Mathematics

Set Theory Basic Concepts and Definitions

COMP 250 Fall 2012 lecture 2 binary representations Sept. 11, 2012

Math Review. for the Quantitative Reasoning Measure of the GRE revised General Test

Chapter 3. Cartesian Products and Relations. 3.1 Cartesian Products

Mathematical Methods of Engineering Analysis

Section 1.1 Linear Equations: Slope and Equations of Lines

Formal Languages and Automata Theory - Regular Expressions and Finite Automata -

This asserts two sets are equal iff they have the same elements, that is, a set is determined by its elements.

Math 319 Problem Set #3 Solution 21 February 2002

Practice with Proofs

CSI 333 Lecture 1 Number Systems

Grade 6 Math Circles. Binary and Beyond

Answer Key for California State Standards: Algebra I

To convert an arbitrary power of 2 into its English equivalent, remember the rules of exponential arithmetic:

Toothpick Squares: An Introduction to Formulas

8 Primes and Modular Arithmetic

NPV Versus IRR. W.L. Silber We know that if the cost of capital is 18 percent we reject the project because the NPV

INDISTINGUISHABILITY OF ABSOLUTELY CONTINUOUS AND SINGULAR DISTRIBUTIONS

Grade 7/8 Math Circles Sequences and Series

WHERE DOES THE 10% CONDITION COME FROM?

Lecture 17 : Equivalence and Order Relations DRAFT

Mathematics for Computer Science/Software Engineering. Notes for the course MSM1F3 Dr. R. A. Wilson

Probability. Section 9. Probability. Probability of A = Number of outcomes for which A happens Total number of outcomes (sample space)

Unified Lecture # 4 Vectors

5.1 Radical Notation and Rational Exponents

Regular Languages and Finite Automata

1.7 Graphs of Functions

HFCC Math Lab Beginning Algebra 13 TRANSLATING ENGLISH INTO ALGEBRA: WORDS, PHRASE, SENTENCES

What is Linear Programming?

MATRIX ALGEBRA AND SYSTEMS OF EQUATIONS

Chapter 7: Products and quotients

Quick Reference ebook

Summer Assignment for incoming Fairhope Middle School 7 th grade Advanced Math Students

Quotient Rings and Field Extensions

Absolute Value Equations and Inequalities

Session 7 Fractions and Decimals

We can express this in decimal notation (in contrast to the underline notation we have been using) as follows: b + 90c = c + 10b

The Deadly Sins of Algebra

Computational Geometry Lab: FEM BASIS FUNCTIONS FOR A TETRAHEDRON

Math 115 Spring 2011 Written Homework 5 Solutions

1.2 Solving a System of Linear Equations

Continued Fractions and the Euclidean Algorithm

Combinatorial Proofs

Math 115A - Week 1 Textbook sections: Topics covered: What is a vector? What is a vector space? Span, linear dependence, linear independence

Computer Science 281 Binary and Hexadecimal Review

MATH10040 Chapter 2: Prime and relatively prime numbers

Arkansas Tech University MATH 4033: Elementary Modern Algebra Dr. Marcel B. Finan

Mathematical Conventions Large Print (18 point) Edition

0.8 Rational Expressions and Equations


Section 1.1 Real Numbers

Method To Solve Linear, Polynomial, or Absolute Value Inequalities:

IV. ALGEBRAIC CONCEPTS

Transcription:

A Little Set Theory (Never Hurt Anybody) Matthew Saltzman Department of Mathematical Sciences Clemson University Draft: August 21, 2013 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. Many texts give these ideas too little direct attention, and then utilize concepts that they have not adequately reviewed. In this brief tutorial, we will review enough set theory to get the reader through most lower-level college math courses. 2 What is a Set? A set is one of those fundamental mathematical ideas whose nature we understand without direct reference to other mathematical ideas. Quite simply, Definition 1 A set is a collection of distinct objects. The objects can be real, physical things, or abstract, mathematical things. The number of such objects can be finite or infinite. The only important thing is that the objects be distinct, i.e., uniquely identifiable. This idea of distinctness has some subtleties. For example, a collection of identical blue balls in an urn (you meet a lot of these in probability class) is a set because the balls are in principle uniquely identifiable: we could paint a different number on each of them. On the other hand, the list of digits 1, 5, 3, 2, 1, 4 is not a set, because there is no way to distinguish the two occurrences of 1 in the list. (Order doesn t matter when listing the elements of a set.) 1

The most basic way to define a set is to list its members between curly braces: {2, 4, 6, 8, 10}. We can also define a set by giving a rule that determines reliably whether an object is a member or not: {x : 0 < x < 1}. The : is read such that. (Some authors use instead.) So this rule is read as: the set of values x such that x is strictly between 0 and 1. We must be able to determine membership or lack of it for every object. Otherwise the rule is not a valid definition of a set. The other ways to define sets are by building them up from more basic sets. We will be discussing rules for doing this below. As is common in mathematics, we can refer to a set by naming it with a letter. For example, S = {x : 0 < x < 1}. Definition 2 An object x is an element or member of a set S, written x S, if x satisfies the rule defining membership in S. We can write x / S if x is not an element of S. Definition 3 The empty set or null set, denoted, is the set containing no elements. An important property of a set is the number of elements it contains. Definition 4 The cardinality of a set S, written S, is the number of elements in the set. Note that this number could be infinite (as in {0, 2, 4, 6,...} or {x : 0 < x < 1}). There are some issues with doing arithmetic with infinities that we will ignore for now that is, when discussing arithmetic on set cardinalities, we will assume the sets are finite. The cardinality of the empty set is zero ( = 0). 3 Subsets and Equality This section describes relations between sets, that is, concepts that we use to compare two sets. Definition 5 Two sets S and T are equal, written S = T, if S and T contain exactly the same elements. 2

(This may seem too trivial to even bother writing down, but in mathematics, it s important to agree on even these simple concepts. Everything that comes later is built on them, and we will only understand the more complicated ideas if we clearly understand the simple ideas they are built from.) Definition 6 A set S is a subset of another set T, written S T if every element of S is also an element of T. Note that, by this definition, S T does not exclude the possibility that every element of T is also an element of S. Definition 7 A set S is a proper subset of T if S T and S T. That is, if every element of S is also in T, but some element of T is not in S. A note on notation: Some authors write S T to denote subsets that may not be proper and S T to denote proper subsets. Others use S T to denote general subsets and S T to denote proper subsets. There are other combinations of notation in use as well. Be sure you know which convention the author of your textbook uses, and choose one convention and stick to it for your own writing. Properties If R, S, and T are any sets, the following properties hold: S = S (reflexive) If S = T, then T = S (symmetric). If R = S and S = T then R = T (transitive). S S S (reflexive) If R S and S T, then R T (transitive). S T and T S if and only if S = T. If S T, then S T, and if S T, then S < T. 3

4 Intersections and Unions This section and the next discuss operations on sets, that is, ways in which sets can be combined to form new sets. Definition 8 The intersection of two sets S and T, written S T is the set of elements common to both S and T, i.e., This definition reads: S T = {x : x S and x T }. the set of objects x such that x is an element of S and x is an element of T. Example 1 If S = {e 1, e 2, e 3, e 4, e 5, e 6 } and T = {e 0, e 2, e 4, e 6, e 8 } then S T = {e 2, e 4, e 6 }. Example 2 If S = {x : 0 x 1} and T = {x :.5 < x < 2}, then S T = {x :.5 < x 1}. Definition 9 The union of two sets S and T, written S T, is the set of elements that are in either S or T or both, i.e., S T = {x : x S or x T }. Note that when two statements are connected with or, this means that at least one of the statements is true. Example 3 If S = {e 1, e 2, e 3, e 4, e 5, e 6 } and T = {e 0, e 2, e 4, e 6, e 8 } then S T = {e 0, e 1, e 2, e 3, e 4, e 5, e 6, e 8 }. Example 4 if S = {x : 0 x 1} and T = {x :.5 < x < 2}, then S T = {x : 0 x < 2}. Properties We can combine multiple operations to create new sets from other sets. Sometimes, two different ways of combining sets produce the same result. In this case, we can replace one combination with the other in an equation. If S is a set constructed from other sets, we can replace S in an expression with the expression that describes the construction of S. (When making such substitutions, it s helpful to enclose the replacement expression 4

in parentheses.) Repeated application of this principle can lead to profound insights about the relationships between certain sets. The rules for replacement regarding unions and intersections are listed below. A little reflection will convince you of the validity of most of them. S T = T S (commutative) 1 S T = T S (commutative) S S T S T S S = S S = S S = S S = S R (S T ) = (R S) T (associative) 2 R (S T ) = (R S) T (associative) R (S T ) = (R S) (R T ) (distributive over ) R (S T ) = (R S) (R T ) (distributive over ) S (S T ) = S (S T ) = S S T if and only if S T = T. If R T and S T, then R S T. If R S and R T, then R S T. If S T then R S R T and R S R T. S T if and only if S or T. If S T, then S and T. S = T if and only if S T S T. The key property of cardinalities of unions and intersections is this: 1 Perform all operations before any comparisons. 2 Perform all operations in parentheses before any others. 5

S T = S + T S T. That is, the number of elements in the union of two sets is the sum of the numbers of elements in each set less the number of elements that appear twice in the two lists. Example 5 If S = {e 1, e 2, e 3, e 4, e 5, e 6 } and T = {e 0, e 2, e 4, e 6, e 8 } then S T = {e 0, e 1, e 2, e 3, e 4, e 5, e 6, e 8 } and S T = {e 2, e 4, e 6 }. So S = 6 and T = 5. But S T = 3, since there are three elements on both lists. When we form the union, we combine the two lists of elements, but each duplicate element is only listed once. Thus, S T = 6 + 5 3 = 8. If two sets have no elements in common, this formula becomes somewhat simpler. Definition 10 Two sets S and T are mutually exclusive if S T =. If S and T are mutually exclusive, then S T = 0, so S T = S + T. Example 6 If S = {e 1, e 3, e 5 } and T = {e 0, e 2, e 4, e 6, e 8 } then S T = {e 0, e 1, e 2, e 3, e 4, e 5, e 6, e 8 } and S T =. So S = 3 and T = 5. But S T = 0, since no element appears on both lists. When we form the union, we combine the two lists of elements, and there are no duplicates. Thus, S T = 3 + 5 = 8. 5 Set Differences and Complements Another way to construct new sets from old is to remove some elements from a set and consider the elements that are left over. Definition 11 The difference between S and T, written S \ T, is the set of elements in S but not also in T : S \ T = {x : x S and x / T }. Example 7 If S = {e 1, e 2, e 3, e 4, e 5, e 6 } and T = {e 0, e 2, e 4, e 6, e 8 } then S \ T = {e 1, e 3, e 5 }, but T \ S = {e 0, e 8 }. Example 8 If S = {e 1, e 3, e 5 } and T = {e 0, e 2, e 4, e 6, e 8 } then S \ T = S and T \ S = T. 6

Example 9 If S = {x : 0 x 1} and T = {x :.5 < x < 2}, then S \ T = {x : 0 x.5} and T \ S = {x : 1 < x 2}. We can see that, in general, S \ T T \ S (set difference is not commutative). Properties Two important properties of set differences are: S \ T = S \ (S T ) S \ T = S S T The first property states that the elements of T that are not in S play no role in the construction of S \ T. The second property states that the number of elements removed from S to produce S \ T is the same as the number of elements that S and T have in common. Definition 12 The symmetric difference between S and T is (S T ) \ (S T ), i.e., the set of elements in S or T, but not both. The cardinality of a symmetric difference satisfies: (S T ) \ (S T ) = S + T 2 S T We pool the member lists of S and T, but we delete both copies of duplicates. Example 10 If S = {e 1, e 2, e 3, e 4, e 5, e 6 } and T = {e 0, e 2, e 4, e 6, e 8 } then (S T )\(S T ) = {e 0, e 1, e 3, e 5, e 8 }, and (S T )\(S T ) = 6+5 2 3 = 5. Example 11 If S = {x : 0 x 1} and T = {x :.5 < x < 2}, then (S T ) \ (S T ) = {x : 0 x.5 or 1 < x 2}. In many set problems, all sets are defined to be subsets of some reference set. This reference set is called the universe. In the remainder of this section, the discussion will refer to a universe U, and we will assume that all other sets R, S, and T are subsets of U. Definition 13 Relative to a universe U, the complement of S, written S, is the set of all elements of the universe not contained in S, i.e., S = {x : x U and x / S} 7

Another common notation for the complement of S is S. Complements of set expressions can be written similarly, for example: 3 (S T ) or S T. The important cardinality property of complements is S = U S Example 12 If U = {e 0, e 1,... e 10 } and S = {e 1, e 2, e 3, e 4, e 5, e 6 }, then S = {e 0, e 7, e 8, e 9, e 10 }. Also, U = 11 and S = 6, so S = 11 6 = 5. Example 13 If U = {x : x is a real number} and S = {x : 0 x 1}, then S = {x : x < 0 or x > 1}. The following are important properties of complements and differences. U = and = U S S = U and S S = S U = U and S U = S S = S S = T if and only if T = S. S S if and only if S =. S T if and only if T S. S \ T = S T (S T ) \ (S T ) = (S \ T ) (T \ S) (S T ) = S T (S T ) = S T The last two properties are known as DeMorgan s laws. They provide a useful way to convert arbitrary set expressions into ones that involve only complements and unions or only complements and intersections. 3 Perform complements before performing any of the other set operations. Parentheses are required around set expressions to be complemented. 8

6 Conclusion It is important to know the basic definitions and a few of the key properties described above. But don t spend time memorizing all the properties; they are too abstract and easy to confuse. Instead, keep this guide handy while working problems involving sets, and refer to it liberally. But each time you make use of a property, think carefully about its meaning. You ll find that, with practice, you ll be able to easily re-derive the properties you need, when you need them. 9