Basic Definitions of Set Theory Lecture 23 Section 5.1 Mon, Feb 21, 2005.

Slides:



Advertisements
Similar presentations
Introduction to Set Theory
Advertisements

Section 7.5: Equivalence Relations Def: A relation R on a set A is called an equivalence relation if it is reflexive, symmetric, and transitive. Ex: Let.
Discrete Structures Chapter 6: Set Theory
More Set Definitions and Proofs 1.6, 1.7. Ordered n-tuple The ordered n-tuple (a1,a2,…an) is the ordered collection that has a1 as its first element,
Discrete Mathematics Lecture 5 Alexander Bukharovich New York University.
Basic Structures: Sets, Functions, Sequences, Sums, and Matrices
Discrete Structures & Algorithms Basics of Set Theory EECE 320 — UBC.
Instructor: Hayk Melikya
Basic Structures: Sets, Functions, Sequences, Sums, and Matrices
The Engineering Design of Systems: Models and Methods
Denoting the beginning
Sets Definition of a Set: NAME = {list of elements or description of elements} i.e. B = {1,2,3} or C = {x  Z + | -4 < x < 4} Axiom of Extension: A set.
Discrete Mathematics Lecture 4 Harper Langston New York University.
Discrete Structures Chapter 3 Set Theory Nurul Amelina Nasharuddin Multimedia Department.
Sets 1.
Sets 1.
1 Set Theory. 2 Set Properties Commutative Laws: Associative Laws: Distributive Laws:
1 Set Theory. Notation S={a, b, c} refers to the set whose elements are a, b and c. a  S means “a is an element of set S”. d  S means “d is not an element.
Intro to Set Theory. Sets and Their Elements A set A is a collection of elements. If x is an element of A, we write x  A; if not: x  A. Say: “x is a.
Venn Diagrams/Set Theory   Venn Diagram- A picture that illustrates the relationships between two or more sets { } are often used to denote members of.
2.1 – Sets. Examples: Set-Builder Notation Using Set-Builder Notation to Make Domains Explicit Examples.
Copyright © 2014 Curt Hill Sets Introduction to Set Theory.
1. Set Theory Set: Collection of objects (“elements”) a  A “a is an element of A” “a is a member of A” a  A “a is not an element of A” A = {a 1, a 2,
CompSci 102 Discrete Math for Computer Science
Chapter SETS DEFINITION OF SET METHODS FOR SPECIFYING SET SUBSETS VENN DIAGRAM SET IDENTITIES SET OPERATIONS.
Sets 2/10/121. What is a Set? Informally, a collection of objects, determined by its members, treated as a single mathematical object Not a real definition:
CSNB143 – Discrete Structure Topic 1 - Set. Topic 1 - Sets Learning Outcomes – Student should be able to identify sets and its important components. –
CSE 311 Foundations of Computing I Lecture 9 Proofs and Set Theory Autumn 2012 CSE
Lecture 2.1: Sets and Set Operations CS 250, Discrete Structures, Fall 2014 Nitesh Saxena Adopted from previous lectures by Cinda Heeren.
Chapter 2 With Question/Answer Animations. Section 2.1.
Rosen 1.6, 1.7. Basic Definitions Set - Collection of objects, usually denoted by capital letter Member, element - Object in a set, usually denoted by.
12/19/20151 … and now for something completely different… Set Theory Actually, you will see that logic and set theory are very closely related.
Sets Definition: A set is an unordered collection of objects, called elements or members of the set. A set is said to contain its elements. We write a.
Basic Definitions of Set Theory Lecture 23 Section 5.1 Wed, Mar 8, 2006.
Basic Definitions of Set Theory Lecture 24 Section 5.1 Fri, Mar 2, 2007.
Discrete Mathematics Set.
Sets.
Module #3 - Sets 3/2/2016(c) , Michael P. Frank 2. Sets and Set Operations.
Set Operations Section 2.2.
Discrete Mathematics Lecture # 10 Venn Diagram. Union  Let A and B be subsets of a universal set U. The union of sets A and B is the set of all elements.
MATH 2311 Section 2.2. Sets and Venn Diagrams A set is a collection of objects. Two sets are equal if they contain the same elements. Set A is a subset.
Chapter 7 Sets and Probability Section 7.1 Sets What is a Set? A set is a well-defined collection of objects in which it is possible to determine whether.
Discrete Mathematics CS 2610 August 31, Agenda Set Theory Set Builder Notation Universal Set Power Set and Cardinality Set Operations Set Identities.
2004/10/5fuzzy set theory chap03.ppt1 Classical Set Theory.
Thinking Mathematically Venn Diagrams and Set Operations.
The Basic Concepts of Set Theory. Chapter 1 Set Operations and Cartesian Products.
Chapter 2 1. Chapter Summary Sets (This Slide) The Language of Sets - Sec 2.1 – Lecture 8 Set Operations and Set Identities - Sec 2.2 – Lecture 9 Functions.
“It is impossible to define every concept.” For example a “set” can not be defined. But Here are a list of things we shall simply assume about sets. A.
The set of whole numbers less than 7 is {1, 2, 3, 4, 5, 6}
The Language of Sets If S is a set, then
Set Theory.
Discrete Mathematical The Set Theory
Lecture 04 Set Theory Profs. Koike and Yukita
Sets Section 2.1.
CSE 2353 – September 22nd 2003 Sets.
Intro to Set Theory The Math of Santa’s Bag.
… and now for something completely different…
Set Operations Section 2.2.
Algebra 1 Section 1.1.
Session – 2 SETS & Operations of SETS
Chapter Sets &Venn Diagrams.
Discrete Mathematics CS 2610
Lecture 2.1: Sets and Set Operations*
… and now for something completely different…
ICOM 5016 – Introduction to Database Systems
Counting Elements of Disjoint Sets: The Addition Rule
ICOM 5016 – Introduction to Database Systems
Basic Definitions of Set Theory
Section 3.2 More set operations.
Presentation transcript:

Basic Definitions of Set Theory Lecture 23 Section 5.1 Mon, Feb 21, 2005

The Universal Set Whenever we use sets, there must be a universal set U which contains all elements under consideration. Typical examples are U = R and U = N. Without a universal set, taking complements of set is problematic.

Set Operations Let A and B be set. Define the intersection of A and B to be A  B = {x  U | x  A and x  B}. Define the union of A and B to be A  B = {x  U | x  A or x  B}. Define the complement of A to be A c = {x  U | x  A}.

Set Operations Notice that the set operations of intersection, union, and complement correspond to the boolean operations of and, or, and not.

Set Differences Define the difference A minus B to be A – B = {x  U | x  A and x  B}. Define the symmetric difference of A and B to be A  B = (A – B)  (B – A).

Set Differences Do the operations of difference and symmetric difference correspond to boolean operations?

Subsets A is a subset of B, written A  B, if  x  A, x  B. A equals B, written A = B, if  x  A, x  B and  x  B, x  A. A is a proper subset of B, written A  B, if  x  A, x  B and  x  B, x  A.

Sets Defined by a Predicate Let P(x) be a predicate. Define a set A = {x  U | P(x)}. For any x  U, If P(x) is true, then x  A. If P(x) is false, then x  A. A is the truth set of P(x).

Sets Defined by a Predicate Two special cases. What predicate defines the universal set? What predicate defines the empty set?

Intersection and Union Let P(x) and Q(x) be predicates and define A = {x  U | P(x)}. B = {x  U | Q(x)}. Then the intersection of A and B is A  B = {x  U | P(x)  Q(x)}. The union of A and B is A  B = {x  U | P(x)  Q(x)}.

Complements and Differences The complement of A is A c = {x  U |  P(x)}. The difference A minus B is A – B = {x  U | P(x)   Q(x)}. The symmetric difference of A and B is A  B = {x  U | P(x)  Q(x)}.

Subsets A is a subset of B if  x  U, P(x)  Q(x), or  x  A, Q(x). A equals B if  x  U, P(x)  Q(x), or  x  A, Q(x) and  x  B, P(x). A is a proper subset of B if  x  A, Q(x) and  x  B,  P(x).

Disjoint Sets Sets A and B are disjoint if A  B = . A collection of sets A 1, A 2, …, A n are mutually disjoint, or pairwise disjoint, if A i  A j =  for all i and j, with i  j.

Examples The following sets are mutually disjoint. {0} {1, 2, 3, …} = N + {-1, -2, -3, …} = N - The following sets are mutually disjoint. {…, -3, 0, 3, 6, 9, …} = {3k | k  Z } {…, -2, 1, 4, 7, 10, …} = {3k + 1 | k  Z } {…, -1, 2, 5, 8, 11, …} = {3k + 2 | k  Z }

Partitions A collection of sets {A 1, A 2, …, A n } is a partition of a set A if A 1, A 2, …, A n are mutually disjoint, and A 1  A 2  …  A n = A.

Examples {{0}, {1, 2, 3, …}, {-1, -2, -3, …}} is a partition of Z. {{…, -3, 0, 3, 6, …}, {…, -2, 1, 4, 7, …}, {…, -1, 2, 5, 11, …}} is a partition of Z.

Example For each positive integer n  N, define f(n) to be the number of distinct prime divisors of n. For example, f(1) = 0. f(2) = 1. f(4) = 1. f(6) = 2.

Example Define A i = {n  N | f(n) = i}. Then A 0, A 1, A 2, … is a partition of N. Verify that A i  A j =  for all i, j, with i  j. A 0  A 1  A 2  … = N.

Power Sets Let A be a set. The power set of A, denoted P (A), is the set of all subsets of A. If A = {a, b, c}, then P (A) = { , {a}, {b}, {c}, {a, b}, {a, c}, {b, c}, {a, b, c}}. What is P (  )? If A contains n elements, how many elements are in P (A)? Prove it.

Cartesian Products Let A and B be sets. Define the Cartesian product of A and B to be A  B = {(a, b) | a  A and b  B}. R  R = set of points in the plane. R  R  R = set of points in space. What is A   ? How many elements are in {1, 2}  {3, 4, 5}  {6, 7, 8}?