Prova que la P (A) (Power Set) és més gran que A?

Prova que la P (A) (Power Set) és més gran que A?
Anonim

Resposta:

Si us plau mireu més a baix.

Explicació:

El mètode habitual és mostrar que és una funció #f: ArarrP (A) # no pot estar a (sobrejectiu). (Per tant, no pot ser bijectiva.)

Per a qualsevol funció #f: ArarrP (A) #, hi ha un subconjunt de # A # definit per

#R = x en A #

Ara ho demostrem # R # no està a la imatge de # A #.

Si #r en A # amb #f (r) = R #, llavors #color (vermell) (r a R "i" r! a R # el que no és possible, de manera que no hi ha cap #r en A # amb #f (r) = R #.

conseqüentment # f # no està a (sobrejectiva).

Veure #color (vermell) (r a R "i" r! a R #, Adona't que

#r a R rArr r a f (r) rArr r! a R # tan #r en R rArr (r en R "i r! en R) #

i

#r! a R rArr r! a f (r) rArr r a R # tan #r! a R rArr (r! en R "i r en R) #

Es conclou que no existeix #r en A # amb #f (r) = R #.

Utilitzant un argument similar podríem mostrar, en canvi, que una funció #f: P (A) rarrA # no pot ser un a un (injectiu). (Per tant, no pot ser bijectiva.)