Basic Definitions of Set Theory Lecture 23 Section 5.1 Wed, Mar 8, 2006.

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.
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.
CS 103 Discrete Structures Lecture 10 Basic Structures: Sets (1)
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
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.
Basic Structures: Sets, Functions, Sequences, and Sums.
12/19/20151 … and now for something completely different… Set Theory Actually, you will see that logic and set theory are very closely related.
Database System Concepts, 5th Ed. ©Silberschatz, Korth and Sudarshan See for conditions on re-usewww.db-book.com ICOM 5016 – Introduction.
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 24 Section 5.1 Fri, Mar 2, 2007.
Discrete Mathematics Set.
Sets.
Basic Definitions of Set Theory Lecture 23 Section 5.1 Mon, Feb 21, 2005.
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}
Set Definition: A set is unordered collection of objects.
The Language of Sets If S is a set, then
Set Theory.
Discrete Mathematical The Set Theory
CSNB 143 Discrete Mathematical Structures
Sets Section 2.1.
Taibah University College of Computer Science & Engineering Course Title: Discrete Mathematics Code: CS 103 Chapter 2 Sets Slides are adopted from “Discrete.
… and now for something completely different…
Set Operations Section 2.2.
Algebra 1 Section 1.1.
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 Wed, Mar 8, 2006

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 (except that it is infinite). 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 (  )? What is P ( 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}?

Representing Sets in Software Given a universal set U of size n, there are 2 n subsets of U. Given an register of n bits, there are 2 n possible values that can be stored. This suggests a method of representing sets in memory.

Representing Sets in Software For simplicity, we will assume that |U|  32. Let U = {a 0, a 1, a 2, …, a n – 1 }. Using a 32-bit integer to represent a set S, let bit i represent the element a i. If i = 0, then a i  S. If i = 1, then a i  S. For example, represents the set S = {a 0, a 2, a 3, a 4, a 7 }.

Example: SetDemo.cpp