Důkaz, že P (A) (Power Set) je větší než A?

Důkaz, že P (A) (Power Set) je větší než A?
Anonim

Odpovědět:

Viz níže.

Vysvětlení:

Obvyklá metoda je ukázat, že funkce #f: ArarrP (A) # nemůže být na (surjective). (Tak to nemůže být bijective.)

Pro jakoukoliv funkci #f: ArarrP (A) #, existuje podmnožina #A# definován

#R = x v A #

Nyní to ukazujeme # R # není na obrázku #A#.

Li #rv A # s #f (r) = R #, pak #color (červená) (r v R "a" r! v R # což není možné, takže ne #rv A # s #f (r) = R #.

tudíž #F# není na (surjective).

Vidět #color (červená) (r v R "a" r! v R # Všimněte si to

#rv r rArr r v r (r) rArr r! tak #rv R rArr (rv R a r! in R) #

a

#r! v R rrArr r! v f (r) rArr r v R # tak #r! v R rArr (r! v R "a rv R) #

Došli jsme k závěru, že ne #rv A # s #f (r) = R #.

Použití podobného argumentu mohli bychom místo toho ukázat že funkce #f: P (A) rarrA # nemůže být jeden na jednoho (injekční). (Tak to nemůže být bijective.)