This document provides definitions and notation for set theory concepts. It defines what a set is, ways to describe sets (explicitly by listing elements or implicitly using set builder notation), and basic set relationships like subset, proper subset, union, intersection, complement, power set, and Cartesian product. It also discusses Russell's paradox and defines important sets like the natural numbers. Key identities for set operations like idempotent, commutative, associative, distributive, De Morgan's laws, and complement laws are presented. Proofs of identities using logical equivalences and membership tables are demonstrated.
Sets & Set Operation
CMSC 56 | Discrete Mathematical Structure for Computer Science
September 11, 2018
Instructor: Allyn Joy D. Calcaben
College of Arts & Sciences
University of the Philippines Visayas
Discrete Mathematics and Its Applications 7th Edition Rose Solutions ManualTallulahTallulah
Full download : http://alibabadownload.com/product/discrete-mathematics-and-its-applications-7th-edition-rose-solutions-manual/ Discrete Mathematics and Its Applications 7th Edition Rose Solutions Manual
Sets & Set Operation
CMSC 56 | Discrete Mathematical Structure for Computer Science
September 11, 2018
Instructor: Allyn Joy D. Calcaben
College of Arts & Sciences
University of the Philippines Visayas
Discrete Mathematics and Its Applications 7th Edition Rose Solutions ManualTallulahTallulah
Full download : http://alibabadownload.com/product/discrete-mathematics-and-its-applications-7th-edition-rose-solutions-manual/ Discrete Mathematics and Its Applications 7th Edition Rose Solutions Manual
Discrete Mathematics - Sets. ... He had defined a set as a collection of definite and distinguishable objects selected by the means of certain rules or description. Set theory forms the basis of several other fields of study like counting theory, relations, graph theory and finite state machines.
JEE Mathematics/ Lakshmikanta Satapathy/ Fundamentals of set theory part 1/ Definition of set, Types of sets, empty set and infinite sets/ subset and power set/ Intervals as subsets of R
Discrete Mathematics - Sets. ... He had defined a set as a collection of definite and distinguishable objects selected by the means of certain rules or description. Set theory forms the basis of several other fields of study like counting theory, relations, graph theory and finite state machines.
JEE Mathematics/ Lakshmikanta Satapathy/ Fundamentals of set theory part 1/ Definition of set, Types of sets, empty set and infinite sets/ subset and power set/ Intervals as subsets of R
Discrete Mathematics - Sets. ... He had defined a set as a collection of definite and distinguishable objects selected by the means of certain rules or description. Set theory forms the basis of several other fields of study like counting theory, relations, graph theory and finite state machines.
2024.06.01 Introducing a competency framework for languag learning materials ...Sandy Millin
http://sandymillin.wordpress.com/iateflwebinar2024
Published classroom materials form the basis of syllabuses, drive teacher professional development, and have a potentially huge influence on learners, teachers and education systems. All teachers also create their own materials, whether a few sentences on a blackboard, a highly-structured fully-realised online course, or anything in between. Despite this, the knowledge and skills needed to create effective language learning materials are rarely part of teacher training, and are mostly learnt by trial and error.
Knowledge and skills frameworks, generally called competency frameworks, for ELT teachers, trainers and managers have existed for a few years now. However, until I created one for my MA dissertation, there wasn’t one drawing together what we need to know and do to be able to effectively produce language learning materials.
This webinar will introduce you to my framework, highlighting the key competencies I identified from my research. It will also show how anybody involved in language teaching (any language, not just English!), teacher training, managing schools or developing language learning materials can benefit from using the framework.
Unit 8 - Information and Communication Technology (Paper I).pdfThiyagu K
This slides describes the basic concepts of ICT, basics of Email, Emerging Technology and Digital Initiatives in Education. This presentations aligns with the UGC Paper I syllabus.
Model Attribute Check Company Auto PropertyCeline George
In Odoo, the multi-company feature allows you to manage multiple companies within a single Odoo database instance. Each company can have its own configurations while still sharing common resources such as products, customers, and suppliers.
How to Create Map Views in the Odoo 17 ERPCeline George
The map views are useful for providing a geographical representation of data. They allow users to visualize and analyze the data in a more intuitive manner.
How to Make a Field invisible in Odoo 17Celine George
It is possible to hide or invisible some fields in odoo. Commonly using “invisible” attribute in the field definition to invisible the fields. This slide will show how to make a field invisible in odoo 17.
Welcome to TechSoup New Member Orientation and Q&A (May 2024).pdfTechSoup
In this webinar you will learn how your organization can access TechSoup's wide variety of product discount and donation programs. From hardware to software, we'll give you a tour of the tools available to help your nonprofit with productivity, collaboration, financial management, donor tracking, security, and more.
Students, digital devices and success - Andreas Schleicher - 27 May 2024..pptxEduSkills OECD
Andreas Schleicher presents at the OECD webinar ‘Digital devices in schools: detrimental distraction or secret to success?’ on 27 May 2024. The presentation was based on findings from PISA 2022 results and the webinar helped launch the PISA in Focus ‘Managing screen time: How to protect and equip students against distraction’ https://www.oecd-ilibrary.org/education/managing-screen-time_7c225af4-en and the OECD Education Policy Perspective ‘Students, digital devices and success’ can be found here - https://oe.cd/il/5yV
The Art Pastor's Guide to Sabbath | Steve ThomasonSteve Thomason
What is the purpose of the Sabbath Law in the Torah. It is interesting to compare how the context of the law shifts from Exodus to Deuteronomy. Who gets to rest, and why?
Operation “Blue Star” is the only event in the history of Independent India where the state went into war with its own people. Even after about 40 years it is not clear if it was culmination of states anger over people of the region, a political game of power or start of dictatorial chapter in the democratic setup.
The people of Punjab felt alienated from main stream due to denial of their just demands during a long democratic struggle since independence. As it happen all over the word, it led to militant struggle with great loss of lives of military, police and civilian personnel. Killing of Indira Gandhi and massacre of innocent Sikhs in Delhi and other India cities was also associated with this movement.
The French Revolution, which began in 1789, was a period of radical social and political upheaval in France. It marked the decline of absolute monarchies, the rise of secular and democratic republics, and the eventual rise of Napoleon Bonaparte. This revolutionary period is crucial in understanding the transition from feudalism to modernity in Europe.
For more information, visit-www.vavaclasses.com
2. Acknowledgement
Most of these slides were either created by
Professor Bart Selman at Cornell University or
else are modifications of his slides
2
3. 3
Set Theory - Definitions and notation
A set is an unordered collection of objects referred to as elements.
A set is said to contain its elements.
Different ways of describing a set.
1 – Explicitly: listing the elements of a set
{1, 2, 3} is the set containing “1” and “2” and “3.” list the members between
braces.
{1, 1, 2, 3, 3} = {1, 2, 3} since repetition is irrelevant.
{1, 2, 3} = {3, 2, 1} since sets are unordered.
{1,2,3, …, 99} is the set of positive integers less than 100; use ellipses when
the general pattern of the elements is obvious.
{1, 2, 3, …} is a way we denote an infinite set (in this case, the natural
numbers).
= {} is the empty set, or the set containing no elements.
Note: {}
4. 4
Set Theory - Definitions and notation
2 – Implicitly: by using a set builder notations, stating the property or
properties of the elements of the set.
S = {m| 2 ≤ m ≤ 100, m is integer}
S is
the set of
all m
such that
m is between 2 and 100
and
m is integer.
5. 5
Set Theory - Ways to define sets
Explicitly: {John, Paul, George, Ringo}
Implicitly: {1,2,3,…}, or {2,3,5,7,11,13,17,…}
Set builder: { x : x is prime }, { x | x is odd }. In general { x : P(x) is true },
where P(x) is some description of the set.
Let D(x,y) denote “x is divisible by y.”
Give another name for
{ x : y ((y > 1) (y < x)) D(x,y) }.
Can we use any predicate P to define a set S = { x : P(x) }?
: and | are read
“such that” or
“where”
Primes
6. 6
Set Theory - Russell’s Paradox
Can we use any predicate P to define a set
S = { x : P(x) }?
Define S = { x : x is a set where x x }
Then, if S S, then by defn of S, S S.
So S must not be
in S, right?
ARRRGH!But, if S S, then by defn of S, S S.
No!
There is a town with a barber who shaves all the people (and only the
people) who don’t shave themselves.
Who shaves the
barber?
"the set of all sets that do not
contain themselves as members“
Reveals contradiction in Frege’s naïve set theory.
7. 7
Set Theory - Russell’s Paradox
There is a town with a barber who shaves all the people (and only the people)
who don’t shave themselves. Who shaves the
barber?Does the barber shave himself?
If the barber does not shave himself, he must abide by the rule and shave himself.
If he does shave himself, according to the rule he will not shave himself.
)),(),()(()(()( yxshavesyyshavesyxbarberx
This sentence is unsatisfiable (a contradiction) because of the universal quantifier.
The universal quantifier y will include every single element in the domain,
including our infamous barber x. So when the value x is assigned to y,
the sentence can be rewritten to:
)},((),({
))},(),(()),(),({(
)},(),({
xxshavesxxshaves
xxshavesxxshavesxxshavesxxshaves
xxshavesxxshaves
Contradiction!
Aside: this layman’s version of Russell’s paradox has some drawbacks.
8. 8
Set Theory - Definitions and notation
Important Sets
N = {0,1,2,3,…}, the set of natural numbers, non negative integers, (occasionally IN)
Z = { …, -2, -1, 0, 1, 2,3, …), the set of integers
Z+ = {1,2,3,…} set of positive integers
Q = {p/q | p Z, q Z, and q0}, set of rational numbers
R, the set of real numbers
Note: Real number are the numbers that can be represented by an infinite decimal
representation, such as 3.4871773339…. The real numbers include both rational, and
irrational numbers such as π and the and can be represented as points along an
infinitely long number line.
2
9. 9
Set Theory - Definitions and notation
x S means “x is an element of set S.”
x S means “x is not an element of set S.”
A B means “A is a subset of B.”
Venn Diagram
or, “B contains A.”
or, “every element of A is also in B.”
or, x ((x A) (x B)).
A
B
10. 10
Set Theory - Definitions and notation
A B means “A is a subset of B.”
A B means “A is a superset of B.”
A = B if and only if A and B have exactly the same elements.
iff, A B and B A
iff, A B and A B
iff, x ((x A) (x B)).
So to show equality of sets A and B, show:
• A B
• B A
11. 11
Set Theory - Definitions and notation
A B means “A is a proper subset of B.”
– A B, and A B.
– x ((x A) (x B)) x ((x B) (x A))
– x ((x A) (x B)) x ((x B) v (x A))
– x ((x A) (x B)) x ((x B) (x A))
– x ((x A) (x B)) x ((x B) (x A))
A
B
12. 12
Set Theory - Definitions and notation
Quick examples:
{1,2,3} {1,2,3,4,5}
{1,2,3} {1,2,3,4,5}
Is {1,2,3}? Yes! x (x ) (x {1,2,3}) holds (for all
over empty domain)
Is {1,2,3}? No!
Is {,1,2,3}? Yes!
Is {,1,2,3}? Yes!
13. 13
Set Theory - Definitions and notation
A few more:
Is {a} {a}?
Is {a} {a,{a}}?
Is {a} {a,{a}}?
Is {a} {a}?
Yes
Yes
Yes
No
14. 14
Set Theory - Cardinality
If S is finite, then the cardinality of S, |S|, is the number of distinct
elements in S.
If S = {1,2,3}, |S| = 3.
If S = {3,3,3,3,3},
If S = ,
If S = { , {}, {,{}} },
|S| = 1.
|S| = 0.
|S| = 3.
If S = {0,1,2,3,…}, |S| is infinite.
15. 15
CS 173
Set Theory - Power sets
If S is a set, then the power set of S is
2S = { x : x S }.
If S = {a},
aka P(S)
If S = {a,b},
If S = ,
If S = {,{}},
We say, “P(S) is
the set of all
subsets of S.”
2S = {, {a}}.
2S = {, {a}, {b}, {a,b}}.
2S = {}.
2S = {, {}, {{}}, {,{}}}.
Fact: if S is finite, |2S| = 2|S|. (if |S| = n, |2S| = 2n) Why?
16. 16
Set Theory – Ordered Tuples
Cartesian Product
When order matters, we use ordered n-tuples
The Cartesian Product of two sets A and B is:
A x B = { <a,b> : a A b B}
If A = {Charlie, Lucy, Linus}, and B =
{Brown, VanPelt}, then
A,B finite |AxB| = ?
A1 x A2 x … x An = {<a1, a2,…, an>: a1 A1, a2 A2, …, an An}
A x B = {<Charlie, Brown>, <Lucy, Brown>, <Linus,
Brown>, <Charlie, VanPelt>, <Lucy, VanPelt>,
<Linus, VanPelt>}
We’ll use these
special sets
soon!
a) AxB
b) |A|+|B|
c) |A+B|
d) |A||B|Size?
nn if (i) Ai = n
17. 17
Set Theory - Operators
The union of two sets A and B is:
A B = { x : x A v x B}
If A = {Charlie, Lucy, Linus}, and B = {Lucy, Desi},
then
A B = {Charlie, Lucy, Linus, Desi}
A
B
18. 18
Set Theory - Operators
The intersection of two sets A and B is:
A B = { x : x A x B}
If A = {Charlie, Lucy, Linus}, and B = {Lucy, Desi},
then
A B = {Lucy}
A
B
19. 19
Set Theory - Operators
The intersection of two sets A and B is:
A B = { x : x A x B}
If A = {x : x is a US president}, and B = {x : x is deceased}, then
A B = {x : x is a deceased US president}
A
B
20. 20
Set Theory - Operators
The intersection of two sets A and B is:
A B = { x : x A x B}
If A = {x : x is a US president}, and B = {x : x is in this room}, then
A B = {x : x is a US president in this room} =
A
B
Sets whose
intersection is
empty are called
disjoint sets
21. 21
Set Theory - Operators
The complement of a set A is:
A = { x : x A}
If A = {x : x is bored}, then
A = {x : x is not bored}
A = U
and
U =
U
I.e., A = U – A, where U is the universal set.
“A set fixed within the framework of a theory and consisting
of all objects considered in the theory. “
22. 22
Set Theory - Operators
The set difference, A - B, is:
A
U
B
A - B = { x : x A x B }
A - B = A B
23. 23
Set Theory - Operators
The symmetric difference, A B, is:
A B = { x : (x A x B) v (x B x A)}
= (A - B) U (B - A)
like
“exclusive
or”
A
U
B
24. 24
Set Theory - Operators
A B = (A - B) U (B - A)
Proof: A B = { x : (x A x B) v (x B x A)}
= { x : (x A - B) v (x B - A)}
= { x : x ((A - B) U (B - A))}
= (A - B) U (B - A)
Q.E.D.
Theorem:
25. 25
Set Theory - Identities
Identity
Domination
Idempotent
A U = A
A U = A
A U = U
A = A
A A = A
A A = A
Directly from defns.
Semantically clear.
26. 26
Set Theory – Identities, cont.
Complement Laws
Double complement
A A = U
A A =
A = A
27. 27
Set Theory - Identities, cont.
Commutativity
Associativity
Distributivity
A U B =
(A U B) U C =
A B =
B U A
B A
(A B) C =
A U (B U C)
A (B C)
A U (B C) =
A (B U C) =
(A U B) (A U C)
(A B) U (A C)
28. 28
DeMorgan’s I
DeMorgan’s II
A B
Proof by
“diagram”
(useful!), but
we aim for a
more formal
proof.
(A U B) = A B
(A B) = A U B
29. 29
Proving identities
Prove that
1. () (x A U B)
(x (A U B))
(x A and x B)
(x A B)
2. () (x ( A B))
(x A and x B)
(x A U B)
(x A U B)
(A U B) = A B (De Morgan)
30. Alt. proof
Prove that using a membership table.
0 : x is not in the specified set
1 : otherwise
(A U B) = A B
A B A B A B A U B A U B
1 1 0 0 0 1 0
1 0 0 1 0 1 0
0 1 1 0 0 1 0
0 0 1 1 1 0 1 Haven’t we seen
this before?
A B
General connection via Boolean algebras (Rosen chapt. 11)
31. 31
Proof using logically equivalent set definitions.
(A U B) = A B
(A U B) = {x : (x A v x B)}
= {x : (x A) (x B)}
= A B
= {x : (x A) (x B)}
32. 32
Example
X (Y - Z) = (X Y) - (X Z). True or False?
Prove your response.
= (X Y) (X’ U Z’)
= (X Y X’) U (X Y Z’)
= U (X Y Z’)
= (X Y Z’)
(X Y) - (X Z) = (X Y) (X Z)’
= X (Y - Z)
(X Z) = (X Z)’ (just different notation)Note:
What kind of law?
Distributive law
33.
34. Suppose to the contrary, that A B , and that x A B.
Example
Pv that if (A - B) U (B - A) = (A U B) then ______
Then x cannot be in A-B and x cannot be in B-A.
Do you see the contradiction yet?
But x is in A U B since (A B) (A U B).
Thus, (A - B) U (B - A) ≠ (A U B).
Contradiction.
A B =
Thus, A B = .
a) A = B
b) A B =
c) A-B = B-A =
Then x is not in (A - B) U (B - A).
Trying to prove p --> q
Assume p and not q, and find
a contradiction.
Our contradiction was that
sets weren’t equal.
35. 35
Set Theory - Generalized Union/Intersection
Ai
i1
n
U A1 A2 K An
Ai
i1
n
I A1 A2 K An
36. 36
Set Theory - Generalized Union/Intersection
Ex. Suppose that:
,...3,2,1},...,3,2,1{ iiAi
?
1
i
iA
?
1
i
iA
ZA
i
i1
{1}
1
i
iA
37. Example:
Ai
i1
n
U A1 A2 K An
Ex. Let U = N, and define:
Ai {x : k 1,x ki,k }
A1 = {2,3,4,…}
A2 = {4,6,8,…}
A3 = {6,9,12,…}
i=1,2,…,N
a) Primes
b) Composites
c)
d) N
e) I have no clue.
primes
Ai
i 2
U ?
Note: i starts at 2
Union is all the composite numbers.
38. 38
Set Theory - Inclusion/Exclusion
Example:
There are 217 cs majors.
157 are taking CS23021.
145 are taking cs23022.
98 are taking both.
How many are taking neither?
217 - (157 + 145 - 98) = 13
157
145
39. Generalized Inclusion/Exclusion
Suppose we have:
And I want to know |A U B U C|
A B
C
|A U B U C| = |A| + |B| + |C|
+ |A B C|
- |A B| - |A C| - |B C|
What about 4 sets?
41. Set Theory - Sets as bit strings
Let U = {x1, x2,…, xn}, and let A U.
Then the characteristic vector of A is the
n-vector whose elements, xi, are 1 if xi A,
and 0 otherwise.
Ex. If U = {x1, x2, x3, x4, x5, x6}, and
A = {x1, x3, x5, x6}, then the
characteristic vector of A is
(101011)
42. 42
Sets as bit strings
Ex. If U = {x1, x2, x3, x4, x5, x6},
A = {x1, x3, x5, x6}, and
B = {x2, x3, x6},
Then we have a quick way of finding
the characteristic vectors of A B
and A B.
A 1 0 1 0 1 1
B 0 1 1 0 0 1
A B
A B
1 1 1 0 1 1
0 0 1 0 0 1
Bit-wise OR
Bit-wise AND