SlideShare a Scribd company logo
1 of 9
Download to read offline
Introduction to set theory and to methodology and philosophy of
mathematics and computer programming
Power sets
An overview
by Jan Plaza
c 2017 Jan Plaza
Use under the Creative Commons Attribution 4.0 International License
Version of March 5, 2017
A family of sets – a set of sets.
{{0, 1, 2}, {1, 2, 3}, {5}} is a family of sets.
{∅} is a family of sets.
∅ is a family of sets.
Power Set Axiom
∀X ∃Y ∀u (u ∈ Y ↔ u ⊆ X)
For any set X,
there is a family Y of sets, s.t.
u ∈ Y ↔ u ⊆ X, for every u.
For any set X,
there is a family Y of all subsets of X.
Such a family Y is called the power set of X , and is denoted P(X) .
Fact
x ∈ P(X) iff x ⊆ X.
Example
P({0, 1, 2}) = {∅, {0}, {1}, {2}, {0, 1}, {0, 2}, {1, 2}, {0, 1, 2}}.
P({0, 1}) = {∅, {0}, {1}, {0, 1}}.
P({0}) = {∅, {0}}.
P(∅) = {∅}.
Theorem
If X has n elements, then P(X) has 2n elements.
Proof
Consider the following property p(n) of a natural number n:
every set with n elements has 2n subsets.
We will prove that every natural number has this property.
Proof by induction on n.
Base case.
Goal: p(0), i.e. every set with 0 elements has 20 subsets.
Take any set X with 0 elements. X = ∅.
∅ has only 1 subset, namely ∅. So X has 20 subsets.
Proof, continued.
Inductive case.
Take an arbitrary natural number n.
Assume p(n): every set with n elements has 2n subsets; this is the inductive hypothesis.
Goal: p(n + 1), i.e. every set with n + 1 elements has 2n+1 subsets.
Take any set X with n + 1 elements.
As n ∈ N, this implies that X has at least one element.
Select any x ∈ X.
Let Y = X − {x}.
Y has n elements.
By inductive hypothesis, P(Y ) has 2n elements.
Proof, continued.
Now we will count the subsets of X.
First, count the subsets of X that do not contain x:
these are just the subsets of Y ,
so there are 2n such subsets.
Second, count the subsets of X that contain x:
every such subset X0 can be written as Y0 ∪ {x} for exactly one Y0 ⊆ Y ;
so their number equals the number of subsets of Y , i.e. 2n.
Notice that in this way every subset of X was counted exactly once.
So, the total number of subsets of X is 2n + 2n = 2n+1.
Bit-vector representation of subsets
The subsets of {x0, x1, x2} can be represented as bit-vectors v0, v1, v3 .
vi = 1 iff xi is in the subset.
Subsets of {x0, x1, x2} Bit-vectors
∅ 0, 0, 0
{x0} 1, 0, 0
{x1} 0, 1, 0
{x2} 0, 0, 1
{x0, x1} 1, 1, 0
{x0, x2} 1, 0, 1
{x1, x2} 0, 1, 1
{x0, x1, x2} 1, 1, 1
Works also for any set {0, 1, ..., n − 1}.
There are 2n bit-vectors of length n, and there are 2n subsets of an n-element set.
This is used in programming when subsets of a fixed U = {x0, x1, ..., xn−1} are needed.
Set operations ∪, ∩, c are then implemented as bit-wise operations and, or, not.
Exercise
1. True or false? P(X) ∩ P(Y ) = P(X ∩ Y ).
2. True or false? P(X) ∪ P(Y ) ⊆ P(X ∪ Y ).
3. Disprove: P(X) ∪ P(Y ) ⊇ P(X ∪ Y ).

More Related Content

What's hot

Relations and Functions
Relations and FunctionsRelations and Functions
Relations and Functionstoni dimella
 
Sequences and Series
Sequences and SeriesSequences and Series
Sequences and Seriessujathavvv
 
Ideals and factor rings
Ideals and factor ringsIdeals and factor rings
Ideals and factor ringsdianageorge27
 
Presentation on Numerical Integration
Presentation on Numerical IntegrationPresentation on Numerical Integration
Presentation on Numerical IntegrationTausif Shahanshah
 
Tangent and normal
Tangent and normalTangent and normal
Tangent and normalsumanmathews
 
Inner product spaces
Inner product spacesInner product spaces
Inner product spacesEasyStudy3
 
Linear Algebra and Matrix
Linear Algebra and MatrixLinear Algebra and Matrix
Linear Algebra and Matrixitutor
 
Relation Hasse diagram
Relation Hasse diagramRelation Hasse diagram
Relation Hasse diagramRachana Pathak
 
Polynomial -ppt
Polynomial -pptPolynomial -ppt
Polynomial -pptKavi Kuyil
 
Area between curves
Area between curvesArea between curves
Area between curvesjnaveena j
 
Types of functions 05272011
Types of functions 05272011Types of functions 05272011
Types of functions 05272011Boyet Aluan
 
1.1 Linear Equations
1.1 Linear Equations1.1 Linear Equations
1.1 Linear Equationssmiller5
 
LINEAR RECURRENCE RELATIONS WITH CONSTANT COEFFICIENTS
 LINEAR RECURRENCE RELATIONS WITH CONSTANT COEFFICIENTS LINEAR RECURRENCE RELATIONS WITH CONSTANT COEFFICIENTS
LINEAR RECURRENCE RELATIONS WITH CONSTANT COEFFICIENTSAartiMajumdar1
 
5.1 Defining and visualizing functions. Dynamic slides.
5.1 Defining and visualizing functions. Dynamic slides.5.1 Defining and visualizing functions. Dynamic slides.
5.1 Defining and visualizing functions. Dynamic slides.Jan Plaza
 

What's hot (20)

Relations and Functions
Relations and FunctionsRelations and Functions
Relations and Functions
 
Sequences and Series
Sequences and SeriesSequences and Series
Sequences and Series
 
P1 . norm vector space
P1 . norm vector spaceP1 . norm vector space
P1 . norm vector space
 
Ideals and factor rings
Ideals and factor ringsIdeals and factor rings
Ideals and factor rings
 
Presentation on Numerical Integration
Presentation on Numerical IntegrationPresentation on Numerical Integration
Presentation on Numerical Integration
 
Tangent and normal
Tangent and normalTangent and normal
Tangent and normal
 
Inner product spaces
Inner product spacesInner product spaces
Inner product spaces
 
Linear Algebra and Matrix
Linear Algebra and MatrixLinear Algebra and Matrix
Linear Algebra and Matrix
 
Relation Hasse diagram
Relation Hasse diagramRelation Hasse diagram
Relation Hasse diagram
 
Metric space
Metric spaceMetric space
Metric space
 
Numerical method
Numerical methodNumerical method
Numerical method
 
Lagrange’s interpolation formula
Lagrange’s interpolation formulaLagrange’s interpolation formula
Lagrange’s interpolation formula
 
Polynomial -ppt
Polynomial -pptPolynomial -ppt
Polynomial -ppt
 
Area between curves
Area between curvesArea between curves
Area between curves
 
Types of functions 05272011
Types of functions 05272011Types of functions 05272011
Types of functions 05272011
 
1.1 Linear Equations
1.1 Linear Equations1.1 Linear Equations
1.1 Linear Equations
 
LINEAR RECURRENCE RELATIONS WITH CONSTANT COEFFICIENTS
 LINEAR RECURRENCE RELATIONS WITH CONSTANT COEFFICIENTS LINEAR RECURRENCE RELATIONS WITH CONSTANT COEFFICIENTS
LINEAR RECURRENCE RELATIONS WITH CONSTANT COEFFICIENTS
 
Orthogonal Projection
Orthogonal ProjectionOrthogonal Projection
Orthogonal Projection
 
Reduction forumla
Reduction forumlaReduction forumla
Reduction forumla
 
5.1 Defining and visualizing functions. Dynamic slides.
5.1 Defining and visualizing functions. Dynamic slides.5.1 Defining and visualizing functions. Dynamic slides.
5.1 Defining and visualizing functions. Dynamic slides.
 

Viewers also liked

2.6 Properties of inclusion
2.6 Properties of inclusion2.6 Properties of inclusion
2.6 Properties of inclusionJan Plaza
 
2.2 Properties of union, intersection and complement
2.2 Properties of union, intersection and complement2.2 Properties of union, intersection and complement
2.2 Properties of union, intersection and complementJan Plaza
 
2.1 Union, intersection and complement
2.1 Union, intersection and complement2.1 Union, intersection and complement
2.1 Union, intersection and complementJan Plaza
 
2.5 Disjoint, covering and complementary sets
2.5 Disjoint, covering and complementary sets2.5 Disjoint, covering and complementary sets
2.5 Disjoint, covering and complementary setsJan Plaza
 
2.3 Set difference
2.3 Set difference2.3 Set difference
2.3 Set differenceJan Plaza
 
2.7 Ordered pairs
2.7 Ordered pairs2.7 Ordered pairs
2.7 Ordered pairsJan Plaza
 
2.4 Symmetric difference
2.4 Symmetric difference2.4 Symmetric difference
2.4 Symmetric differenceJan Plaza
 
2.8 Ordered tuples
2.8 Ordered tuples2.8 Ordered tuples
2.8 Ordered tuplesJan Plaza
 
2.9 Cartesian products
2.9 Cartesian products2.9 Cartesian products
2.9 Cartesian productsJan Plaza
 
3.7 Indexed families of sets
3.7 Indexed families of sets3.7 Indexed families of sets
3.7 Indexed families of setsJan Plaza
 
3.6 Families ordered by inclusion
3.6 Families ordered by inclusion3.6 Families ordered by inclusion
3.6 Families ordered by inclusionJan Plaza
 
4.1 Defining and visualizing binary relations
4.1 Defining and visualizing binary relations4.1 Defining and visualizing binary relations
4.1 Defining and visualizing binary relationsJan Plaza
 
Sistema de Hidrogenação EKATO
Sistema de Hidrogenação EKATOSistema de Hidrogenação EKATO
Sistema de Hidrogenação EKATOVibropac
 
Memorial do convento narrador, espaço e tempo
Memorial do convento narrador, espaço e tempoMemorial do convento narrador, espaço e tempo
Memorial do convento narrador, espaço e tempoAntónio Teixeira
 
Haptics- Non verbal communication
Haptics- Non verbal communicationHaptics- Non verbal communication
Haptics- Non verbal communicationAjitesh Srivastava
 
4.4 Set operations on relations
4.4 Set operations on relations4.4 Set operations on relations
4.4 Set operations on relationsJan Plaza
 

Viewers also liked (20)

2.6 Properties of inclusion
2.6 Properties of inclusion2.6 Properties of inclusion
2.6 Properties of inclusion
 
2.2 Properties of union, intersection and complement
2.2 Properties of union, intersection and complement2.2 Properties of union, intersection and complement
2.2 Properties of union, intersection and complement
 
2.1 Union, intersection and complement
2.1 Union, intersection and complement2.1 Union, intersection and complement
2.1 Union, intersection and complement
 
2.5 Disjoint, covering and complementary sets
2.5 Disjoint, covering and complementary sets2.5 Disjoint, covering and complementary sets
2.5 Disjoint, covering and complementary sets
 
2.3 Set difference
2.3 Set difference2.3 Set difference
2.3 Set difference
 
2.7 Ordered pairs
2.7 Ordered pairs2.7 Ordered pairs
2.7 Ordered pairs
 
2.4 Symmetric difference
2.4 Symmetric difference2.4 Symmetric difference
2.4 Symmetric difference
 
2.8 Ordered tuples
2.8 Ordered tuples2.8 Ordered tuples
2.8 Ordered tuples
 
2.9 Cartesian products
2.9 Cartesian products2.9 Cartesian products
2.9 Cartesian products
 
3.7 Indexed families of sets
3.7 Indexed families of sets3.7 Indexed families of sets
3.7 Indexed families of sets
 
3.6 Families ordered by inclusion
3.6 Families ordered by inclusion3.6 Families ordered by inclusion
3.6 Families ordered by inclusion
 
4.1 Defining and visualizing binary relations
4.1 Defining and visualizing binary relations4.1 Defining and visualizing binary relations
4.1 Defining and visualizing binary relations
 
Nuestras mascotas
Nuestras mascotasNuestras mascotas
Nuestras mascotas
 
Bes at sunset
Bes at sunsetBes at sunset
Bes at sunset
 
Sistema de Hidrogenação EKATO
Sistema de Hidrogenação EKATOSistema de Hidrogenação EKATO
Sistema de Hidrogenação EKATO
 
Memorial do convento narrador, espaço e tempo
Memorial do convento narrador, espaço e tempoMemorial do convento narrador, espaço e tempo
Memorial do convento narrador, espaço e tempo
 
REDES INFORMATICAS
REDES INFORMATICASREDES INFORMATICAS
REDES INFORMATICAS
 
Problems involving sets
Problems involving setsProblems involving sets
Problems involving sets
 
Haptics- Non verbal communication
Haptics- Non verbal communicationHaptics- Non verbal communication
Haptics- Non verbal communication
 
4.4 Set operations on relations
4.4 Set operations on relations4.4 Set operations on relations
4.4 Set operations on relations
 

Similar to 3.2 Power sets

Discrete mathematics Ch1 sets Theory_Dr.Khaled.Bakro د. خالد بكرو
Discrete mathematics Ch1 sets Theory_Dr.Khaled.Bakro د. خالد بكروDiscrete mathematics Ch1 sets Theory_Dr.Khaled.Bakro د. خالد بكرو
Discrete mathematics Ch1 sets Theory_Dr.Khaled.Bakro د. خالد بكروDr. Khaled Bakro
 
MA500-2 Topological Structures 2016Aisling McCluskey, Dar.docx
MA500-2 Topological Structures 2016Aisling McCluskey, Dar.docxMA500-2 Topological Structures 2016Aisling McCluskey, Dar.docx
MA500-2 Topological Structures 2016Aisling McCluskey, Dar.docxsmile790243
 
Interpolation techniques - Background and implementation
Interpolation techniques - Background and implementationInterpolation techniques - Background and implementation
Interpolation techniques - Background and implementationQuasar Chunawala
 
The Euclidean Spaces (elementary topology and sequences)
The Euclidean Spaces (elementary topology and sequences)The Euclidean Spaces (elementary topology and sequences)
The Euclidean Spaces (elementary topology and sequences)JelaiAujero
 
Contribution of Fixed Point Theorem in Quasi Metric Spaces
Contribution of Fixed Point Theorem in Quasi Metric SpacesContribution of Fixed Point Theorem in Quasi Metric Spaces
Contribution of Fixed Point Theorem in Quasi Metric SpacesAM Publications,India
 
Calculus of One Variable
Calculus of One VariableCalculus of One Variable
Calculus of One Variabledilip ghule
 
this materials is useful for the students who studying masters level in elect...
this materials is useful for the students who studying masters level in elect...this materials is useful for the students who studying masters level in elect...
this materials is useful for the students who studying masters level in elect...BhojRajAdhikari5
 
Unique fixed point theorems for generalized weakly contractive condition in o...
Unique fixed point theorems for generalized weakly contractive condition in o...Unique fixed point theorems for generalized weakly contractive condition in o...
Unique fixed point theorems for generalized weakly contractive condition in o...Alexander Decker
 
Properties of fuzzy inner product spaces
Properties of fuzzy inner product spacesProperties of fuzzy inner product spaces
Properties of fuzzy inner product spacesijfls
 
Expectation of Discrete Random Variable.ppt
Expectation of Discrete Random Variable.pptExpectation of Discrete Random Variable.ppt
Expectation of Discrete Random Variable.pptAlyasarJabbarli
 
6.1 Partitions
6.1 Partitions6.1 Partitions
6.1 PartitionsJan Plaza
 
5.3 Basic functions. Dynamic slides.
5.3 Basic functions. Dynamic slides.5.3 Basic functions. Dynamic slides.
5.3 Basic functions. Dynamic slides.Jan Plaza
 
Common Fixed Point Theorems in Compatible Mappings of Type (P*) of Generalize...
Common Fixed Point Theorems in Compatible Mappings of Type (P*) of Generalize...Common Fixed Point Theorems in Compatible Mappings of Type (P*) of Generalize...
Common Fixed Point Theorems in Compatible Mappings of Type (P*) of Generalize...mathsjournal
 
Common Fixed Point Theorems For Occasionally Weakely Compatible Mappings
Common Fixed Point Theorems For Occasionally Weakely Compatible MappingsCommon Fixed Point Theorems For Occasionally Weakely Compatible Mappings
Common Fixed Point Theorems For Occasionally Weakely Compatible Mappingsiosrjce
 

Similar to 3.2 Power sets (20)

Imc2016 day1-solutions
Imc2016 day1-solutionsImc2016 day1-solutions
Imc2016 day1-solutions
 
Discrete mathematics Ch1 sets Theory_Dr.Khaled.Bakro د. خالد بكرو
Discrete mathematics Ch1 sets Theory_Dr.Khaled.Bakro د. خالد بكروDiscrete mathematics Ch1 sets Theory_Dr.Khaled.Bakro د. خالد بكرو
Discrete mathematics Ch1 sets Theory_Dr.Khaled.Bakro د. خالد بكرو
 
MA500-2 Topological Structures 2016Aisling McCluskey, Dar.docx
MA500-2 Topological Structures 2016Aisling McCluskey, Dar.docxMA500-2 Topological Structures 2016Aisling McCluskey, Dar.docx
MA500-2 Topological Structures 2016Aisling McCluskey, Dar.docx
 
Interpolation techniques - Background and implementation
Interpolation techniques - Background and implementationInterpolation techniques - Background and implementation
Interpolation techniques - Background and implementation
 
The Euclidean Spaces (elementary topology and sequences)
The Euclidean Spaces (elementary topology and sequences)The Euclidean Spaces (elementary topology and sequences)
The Euclidean Spaces (elementary topology and sequences)
 
Contribution of Fixed Point Theorem in Quasi Metric Spaces
Contribution of Fixed Point Theorem in Quasi Metric SpacesContribution of Fixed Point Theorem in Quasi Metric Spaces
Contribution of Fixed Point Theorem in Quasi Metric Spaces
 
Discrete Sets
Discrete  SetsDiscrete  Sets
Discrete Sets
 
Calculus of One Variable
Calculus of One VariableCalculus of One Variable
Calculus of One Variable
 
this materials is useful for the students who studying masters level in elect...
this materials is useful for the students who studying masters level in elect...this materials is useful for the students who studying masters level in elect...
this materials is useful for the students who studying masters level in elect...
 
AJMS_402_22_Reprocess_new.pdf
AJMS_402_22_Reprocess_new.pdfAJMS_402_22_Reprocess_new.pdf
AJMS_402_22_Reprocess_new.pdf
 
Unique fixed point theorems for generalized weakly contractive condition in o...
Unique fixed point theorems for generalized weakly contractive condition in o...Unique fixed point theorems for generalized weakly contractive condition in o...
Unique fixed point theorems for generalized weakly contractive condition in o...
 
Properties of fuzzy inner product spaces
Properties of fuzzy inner product spacesProperties of fuzzy inner product spaces
Properties of fuzzy inner product spaces
 
Expectation of Discrete Random Variable.ppt
Expectation of Discrete Random Variable.pptExpectation of Discrete Random Variable.ppt
Expectation of Discrete Random Variable.ppt
 
6.1 Partitions
6.1 Partitions6.1 Partitions
6.1 Partitions
 
Statistics Exam Help
Statistics Exam HelpStatistics Exam Help
Statistics Exam Help
 
2 vectors notes
2 vectors notes2 vectors notes
2 vectors notes
 
5.3 Basic functions. Dynamic slides.
5.3 Basic functions. Dynamic slides.5.3 Basic functions. Dynamic slides.
5.3 Basic functions. Dynamic slides.
 
Common Fixed Point Theorems in Compatible Mappings of Type (P*) of Generalize...
Common Fixed Point Theorems in Compatible Mappings of Type (P*) of Generalize...Common Fixed Point Theorems in Compatible Mappings of Type (P*) of Generalize...
Common Fixed Point Theorems in Compatible Mappings of Type (P*) of Generalize...
 
Common Fixed Point Theorems For Occasionally Weakely Compatible Mappings
Common Fixed Point Theorems For Occasionally Weakely Compatible MappingsCommon Fixed Point Theorems For Occasionally Weakely Compatible Mappings
Common Fixed Point Theorems For Occasionally Weakely Compatible Mappings
 
metric spaces
metric spacesmetric spaces
metric spaces
 

More from Jan Plaza

6.3 Equivalences versus partitions
6.3 Equivalences versus partitions6.3 Equivalences versus partitions
6.3 Equivalences versus partitionsJan Plaza
 
6.2 Reflexivity, symmetry and transitivity (dynamic slides)
6.2 Reflexivity, symmetry and transitivity (dynamic slides)6.2 Reflexivity, symmetry and transitivity (dynamic slides)
6.2 Reflexivity, symmetry and transitivity (dynamic slides)Jan Plaza
 
6.2 Reflexivity, symmetry and transitivity (handout)
6.2 Reflexivity, symmetry and transitivity (handout)6.2 Reflexivity, symmetry and transitivity (handout)
6.2 Reflexivity, symmetry and transitivity (handout)Jan Plaza
 
5.8 Permutations (handout)
5.8 Permutations (handout)5.8 Permutations (handout)
5.8 Permutations (handout)Jan Plaza
 
5.8 Permutations (dynamic slides)
5.8 Permutations (dynamic slides)5.8 Permutations (dynamic slides)
5.8 Permutations (dynamic slides)Jan Plaza
 
5.7 Function powers
5.7 Function powers5.7 Function powers
5.7 Function powersJan Plaza
 
5.6 Function inverse. A handout.
5.6 Function inverse. A handout.5.6 Function inverse. A handout.
5.6 Function inverse. A handout.Jan Plaza
 
5.6 Function inverse. Dynamic slides.
5.6 Function inverse. Dynamic slides.5.6 Function inverse. Dynamic slides.
5.6 Function inverse. Dynamic slides.Jan Plaza
 
5.5 Injective and surjective functions. A handout.
5.5 Injective and surjective functions. A handout.5.5 Injective and surjective functions. A handout.
5.5 Injective and surjective functions. A handout.Jan Plaza
 
5.3 Basic functions. A handout.
5.3 Basic functions. A handout.5.3 Basic functions. A handout.
5.3 Basic functions. A handout.Jan Plaza
 
5.1 Defining and visualizing functions. A handout.
5.1 Defining and visualizing functions. A handout.5.1 Defining and visualizing functions. A handout.
5.1 Defining and visualizing functions. A handout.Jan Plaza
 
1.8 Separation schema
1.8 Separation schema1.8 Separation schema
1.8 Separation schemaJan Plaza
 
1.4 Abstract objects and expressions
1.4 Abstract objects and expressions1.4 Abstract objects and expressions
1.4 Abstract objects and expressionsJan Plaza
 
1.2 Axiom of pair
1.2 Axiom of pair1.2 Axiom of pair
1.2 Axiom of pairJan Plaza
 
1.11 Mathematical induction
1.11 Mathematical induction1.11 Mathematical induction
1.11 Mathematical inductionJan Plaza
 
1.7 The sets of numbers
1.7 The sets of numbers1.7 The sets of numbers
1.7 The sets of numbersJan Plaza
 
1.1 Notions of set and membership
1.1 Notions of set and membership1.1 Notions of set and membership
1.1 Notions of set and membershipJan Plaza
 
5.2. Function composition
5.2. Function composition5.2. Function composition
5.2. Function compositionJan Plaza
 
4.7 Powers of binary relations
4.7 Powers of binary relations4.7 Powers of binary relations
4.7 Powers of binary relationsJan Plaza
 

More from Jan Plaza (20)

6.3 Equivalences versus partitions
6.3 Equivalences versus partitions6.3 Equivalences versus partitions
6.3 Equivalences versus partitions
 
6.2 Reflexivity, symmetry and transitivity (dynamic slides)
6.2 Reflexivity, symmetry and transitivity (dynamic slides)6.2 Reflexivity, symmetry and transitivity (dynamic slides)
6.2 Reflexivity, symmetry and transitivity (dynamic slides)
 
6.2 Reflexivity, symmetry and transitivity (handout)
6.2 Reflexivity, symmetry and transitivity (handout)6.2 Reflexivity, symmetry and transitivity (handout)
6.2 Reflexivity, symmetry and transitivity (handout)
 
5.8 Permutations (handout)
5.8 Permutations (handout)5.8 Permutations (handout)
5.8 Permutations (handout)
 
5.8 Permutations (dynamic slides)
5.8 Permutations (dynamic slides)5.8 Permutations (dynamic slides)
5.8 Permutations (dynamic slides)
 
5.7 Function powers
5.7 Function powers5.7 Function powers
5.7 Function powers
 
5.6 Function inverse. A handout.
5.6 Function inverse. A handout.5.6 Function inverse. A handout.
5.6 Function inverse. A handout.
 
5.6 Function inverse. Dynamic slides.
5.6 Function inverse. Dynamic slides.5.6 Function inverse. Dynamic slides.
5.6 Function inverse. Dynamic slides.
 
5.5 Injective and surjective functions. A handout.
5.5 Injective and surjective functions. A handout.5.5 Injective and surjective functions. A handout.
5.5 Injective and surjective functions. A handout.
 
5.3 Basic functions. A handout.
5.3 Basic functions. A handout.5.3 Basic functions. A handout.
5.3 Basic functions. A handout.
 
5.1 Defining and visualizing functions. A handout.
5.1 Defining and visualizing functions. A handout.5.1 Defining and visualizing functions. A handout.
5.1 Defining and visualizing functions. A handout.
 
1.8 Separation schema
1.8 Separation schema1.8 Separation schema
1.8 Separation schema
 
1.4 Abstract objects and expressions
1.4 Abstract objects and expressions1.4 Abstract objects and expressions
1.4 Abstract objects and expressions
 
1.2 Axiom of pair
1.2 Axiom of pair1.2 Axiom of pair
1.2 Axiom of pair
 
1.11 Mathematical induction
1.11 Mathematical induction1.11 Mathematical induction
1.11 Mathematical induction
 
1.7 The sets of numbers
1.7 The sets of numbers1.7 The sets of numbers
1.7 The sets of numbers
 
1.6 Subsets
1.6 Subsets1.6 Subsets
1.6 Subsets
 
1.1 Notions of set and membership
1.1 Notions of set and membership1.1 Notions of set and membership
1.1 Notions of set and membership
 
5.2. Function composition
5.2. Function composition5.2. Function composition
5.2. Function composition
 
4.7 Powers of binary relations
4.7 Powers of binary relations4.7 Powers of binary relations
4.7 Powers of binary relations
 

Recently uploaded

A Critique of the Proposed National Education Policy Reform
A Critique of the Proposed National Education Policy ReformA Critique of the Proposed National Education Policy Reform
A Critique of the Proposed National Education Policy ReformChameera Dedduwage
 
Science 7 - LAND and SEA BREEZE and its Characteristics
Science 7 - LAND and SEA BREEZE and its CharacteristicsScience 7 - LAND and SEA BREEZE and its Characteristics
Science 7 - LAND and SEA BREEZE and its CharacteristicsKarinaGenton
 
Concept of Vouching. B.Com(Hons) /B.Compdf
Concept of Vouching. B.Com(Hons) /B.CompdfConcept of Vouching. B.Com(Hons) /B.Compdf
Concept of Vouching. B.Com(Hons) /B.CompdfUmakantAnnand
 
Introduction to ArtificiaI Intelligence in Higher Education
Introduction to ArtificiaI Intelligence in Higher EducationIntroduction to ArtificiaI Intelligence in Higher Education
Introduction to ArtificiaI Intelligence in Higher Educationpboyjonauth
 
Sanyam Choudhary Chemistry practical.pdf
Sanyam Choudhary Chemistry practical.pdfSanyam Choudhary Chemistry practical.pdf
Sanyam Choudhary Chemistry practical.pdfsanyamsingh5019
 
_Math 4-Q4 Week 5.pptx Steps in Collecting Data
_Math 4-Q4 Week 5.pptx Steps in Collecting Data_Math 4-Q4 Week 5.pptx Steps in Collecting Data
_Math 4-Q4 Week 5.pptx Steps in Collecting DataJhengPantaleon
 
How to Configure Email Server in Odoo 17
How to Configure Email Server in Odoo 17How to Configure Email Server in Odoo 17
How to Configure Email Server in Odoo 17Celine George
 
Mastering the Unannounced Regulatory Inspection
Mastering the Unannounced Regulatory InspectionMastering the Unannounced Regulatory Inspection
Mastering the Unannounced Regulatory InspectionSafetyChain Software
 
Software Engineering Methodologies (overview)
Software Engineering Methodologies (overview)Software Engineering Methodologies (overview)
Software Engineering Methodologies (overview)eniolaolutunde
 
Presiding Officer Training module 2024 lok sabha elections
Presiding Officer Training module 2024 lok sabha electionsPresiding Officer Training module 2024 lok sabha elections
Presiding Officer Training module 2024 lok sabha electionsanshu789521
 
“Oh GOSH! Reflecting on Hackteria's Collaborative Practices in a Global Do-It...
“Oh GOSH! Reflecting on Hackteria's Collaborative Practices in a Global Do-It...“Oh GOSH! Reflecting on Hackteria's Collaborative Practices in a Global Do-It...
“Oh GOSH! Reflecting on Hackteria's Collaborative Practices in a Global Do-It...Marc Dusseiller Dusjagr
 
Crayon Activity Handout For the Crayon A
Crayon Activity Handout For the Crayon ACrayon Activity Handout For the Crayon A
Crayon Activity Handout For the Crayon AUnboundStockton
 
Kisan Call Centre - To harness potential of ICT in Agriculture by answer farm...
Kisan Call Centre - To harness potential of ICT in Agriculture by answer farm...Kisan Call Centre - To harness potential of ICT in Agriculture by answer farm...
Kisan Call Centre - To harness potential of ICT in Agriculture by answer farm...Krashi Coaching
 
mini mental status format.docx
mini    mental       status     format.docxmini    mental       status     format.docx
mini mental status format.docxPoojaSen20
 
MENTAL STATUS EXAMINATION format.docx
MENTAL     STATUS EXAMINATION format.docxMENTAL     STATUS EXAMINATION format.docx
MENTAL STATUS EXAMINATION format.docxPoojaSen20
 
ECONOMIC CONTEXT - LONG FORM TV DRAMA - PPT
ECONOMIC CONTEXT - LONG FORM TV DRAMA - PPTECONOMIC CONTEXT - LONG FORM TV DRAMA - PPT
ECONOMIC CONTEXT - LONG FORM TV DRAMA - PPTiammrhaywood
 
Separation of Lanthanides/ Lanthanides and Actinides
Separation of Lanthanides/ Lanthanides and ActinidesSeparation of Lanthanides/ Lanthanides and Actinides
Separation of Lanthanides/ Lanthanides and ActinidesFatimaKhan178732
 

Recently uploaded (20)

A Critique of the Proposed National Education Policy Reform
A Critique of the Proposed National Education Policy ReformA Critique of the Proposed National Education Policy Reform
A Critique of the Proposed National Education Policy Reform
 
Science 7 - LAND and SEA BREEZE and its Characteristics
Science 7 - LAND and SEA BREEZE and its CharacteristicsScience 7 - LAND and SEA BREEZE and its Characteristics
Science 7 - LAND and SEA BREEZE and its Characteristics
 
Concept of Vouching. B.Com(Hons) /B.Compdf
Concept of Vouching. B.Com(Hons) /B.CompdfConcept of Vouching. B.Com(Hons) /B.Compdf
Concept of Vouching. B.Com(Hons) /B.Compdf
 
Model Call Girl in Bikash Puri Delhi reach out to us at 🔝9953056974🔝
Model Call Girl in Bikash Puri  Delhi reach out to us at 🔝9953056974🔝Model Call Girl in Bikash Puri  Delhi reach out to us at 🔝9953056974🔝
Model Call Girl in Bikash Puri Delhi reach out to us at 🔝9953056974🔝
 
Introduction to ArtificiaI Intelligence in Higher Education
Introduction to ArtificiaI Intelligence in Higher EducationIntroduction to ArtificiaI Intelligence in Higher Education
Introduction to ArtificiaI Intelligence in Higher Education
 
Sanyam Choudhary Chemistry practical.pdf
Sanyam Choudhary Chemistry practical.pdfSanyam Choudhary Chemistry practical.pdf
Sanyam Choudhary Chemistry practical.pdf
 
_Math 4-Q4 Week 5.pptx Steps in Collecting Data
_Math 4-Q4 Week 5.pptx Steps in Collecting Data_Math 4-Q4 Week 5.pptx Steps in Collecting Data
_Math 4-Q4 Week 5.pptx Steps in Collecting Data
 
How to Configure Email Server in Odoo 17
How to Configure Email Server in Odoo 17How to Configure Email Server in Odoo 17
How to Configure Email Server in Odoo 17
 
Mastering the Unannounced Regulatory Inspection
Mastering the Unannounced Regulatory InspectionMastering the Unannounced Regulatory Inspection
Mastering the Unannounced Regulatory Inspection
 
Staff of Color (SOC) Retention Efforts DDSD
Staff of Color (SOC) Retention Efforts DDSDStaff of Color (SOC) Retention Efforts DDSD
Staff of Color (SOC) Retention Efforts DDSD
 
Software Engineering Methodologies (overview)
Software Engineering Methodologies (overview)Software Engineering Methodologies (overview)
Software Engineering Methodologies (overview)
 
Presiding Officer Training module 2024 lok sabha elections
Presiding Officer Training module 2024 lok sabha electionsPresiding Officer Training module 2024 lok sabha elections
Presiding Officer Training module 2024 lok sabha elections
 
“Oh GOSH! Reflecting on Hackteria's Collaborative Practices in a Global Do-It...
“Oh GOSH! Reflecting on Hackteria's Collaborative Practices in a Global Do-It...“Oh GOSH! Reflecting on Hackteria's Collaborative Practices in a Global Do-It...
“Oh GOSH! Reflecting on Hackteria's Collaborative Practices in a Global Do-It...
 
Crayon Activity Handout For the Crayon A
Crayon Activity Handout For the Crayon ACrayon Activity Handout For the Crayon A
Crayon Activity Handout For the Crayon A
 
9953330565 Low Rate Call Girls In Rohini Delhi NCR
9953330565 Low Rate Call Girls In Rohini  Delhi NCR9953330565 Low Rate Call Girls In Rohini  Delhi NCR
9953330565 Low Rate Call Girls In Rohini Delhi NCR
 
Kisan Call Centre - To harness potential of ICT in Agriculture by answer farm...
Kisan Call Centre - To harness potential of ICT in Agriculture by answer farm...Kisan Call Centre - To harness potential of ICT in Agriculture by answer farm...
Kisan Call Centre - To harness potential of ICT in Agriculture by answer farm...
 
mini mental status format.docx
mini    mental       status     format.docxmini    mental       status     format.docx
mini mental status format.docx
 
MENTAL STATUS EXAMINATION format.docx
MENTAL     STATUS EXAMINATION format.docxMENTAL     STATUS EXAMINATION format.docx
MENTAL STATUS EXAMINATION format.docx
 
ECONOMIC CONTEXT - LONG FORM TV DRAMA - PPT
ECONOMIC CONTEXT - LONG FORM TV DRAMA - PPTECONOMIC CONTEXT - LONG FORM TV DRAMA - PPT
ECONOMIC CONTEXT - LONG FORM TV DRAMA - PPT
 
Separation of Lanthanides/ Lanthanides and Actinides
Separation of Lanthanides/ Lanthanides and ActinidesSeparation of Lanthanides/ Lanthanides and Actinides
Separation of Lanthanides/ Lanthanides and Actinides
 

3.2 Power sets

  • 1. Introduction to set theory and to methodology and philosophy of mathematics and computer programming Power sets An overview by Jan Plaza c 2017 Jan Plaza Use under the Creative Commons Attribution 4.0 International License Version of March 5, 2017
  • 2. A family of sets – a set of sets. {{0, 1, 2}, {1, 2, 3}, {5}} is a family of sets. {∅} is a family of sets. ∅ is a family of sets.
  • 3. Power Set Axiom ∀X ∃Y ∀u (u ∈ Y ↔ u ⊆ X) For any set X, there is a family Y of sets, s.t. u ∈ Y ↔ u ⊆ X, for every u. For any set X, there is a family Y of all subsets of X. Such a family Y is called the power set of X , and is denoted P(X) . Fact x ∈ P(X) iff x ⊆ X.
  • 4. Example P({0, 1, 2}) = {∅, {0}, {1}, {2}, {0, 1}, {0, 2}, {1, 2}, {0, 1, 2}}. P({0, 1}) = {∅, {0}, {1}, {0, 1}}. P({0}) = {∅, {0}}. P(∅) = {∅}. Theorem If X has n elements, then P(X) has 2n elements.
  • 5. Proof Consider the following property p(n) of a natural number n: every set with n elements has 2n subsets. We will prove that every natural number has this property. Proof by induction on n. Base case. Goal: p(0), i.e. every set with 0 elements has 20 subsets. Take any set X with 0 elements. X = ∅. ∅ has only 1 subset, namely ∅. So X has 20 subsets.
  • 6. Proof, continued. Inductive case. Take an arbitrary natural number n. Assume p(n): every set with n elements has 2n subsets; this is the inductive hypothesis. Goal: p(n + 1), i.e. every set with n + 1 elements has 2n+1 subsets. Take any set X with n + 1 elements. As n ∈ N, this implies that X has at least one element. Select any x ∈ X. Let Y = X − {x}. Y has n elements. By inductive hypothesis, P(Y ) has 2n elements.
  • 7. Proof, continued. Now we will count the subsets of X. First, count the subsets of X that do not contain x: these are just the subsets of Y , so there are 2n such subsets. Second, count the subsets of X that contain x: every such subset X0 can be written as Y0 ∪ {x} for exactly one Y0 ⊆ Y ; so their number equals the number of subsets of Y , i.e. 2n. Notice that in this way every subset of X was counted exactly once. So, the total number of subsets of X is 2n + 2n = 2n+1.
  • 8. Bit-vector representation of subsets The subsets of {x0, x1, x2} can be represented as bit-vectors v0, v1, v3 . vi = 1 iff xi is in the subset. Subsets of {x0, x1, x2} Bit-vectors ∅ 0, 0, 0 {x0} 1, 0, 0 {x1} 0, 1, 0 {x2} 0, 0, 1 {x0, x1} 1, 1, 0 {x0, x2} 1, 0, 1 {x1, x2} 0, 1, 1 {x0, x1, x2} 1, 1, 1 Works also for any set {0, 1, ..., n − 1}. There are 2n bit-vectors of length n, and there are 2n subsets of an n-element set. This is used in programming when subsets of a fixed U = {x0, x1, ..., xn−1} are needed. Set operations ∪, ∩, c are then implemented as bit-wise operations and, or, not.
  • 9. Exercise 1. True or false? P(X) ∩ P(Y ) = P(X ∩ Y ). 2. True or false? P(X) ∪ P(Y ) ⊆ P(X ∪ Y ). 3. Disprove: P(X) ∪ P(Y ) ⊇ P(X ∪ Y ).