¿Prueba de que el P (A) (Power Set) es más grande que A?

¿Prueba de que el P (A) (Power Set) es más grande que A?
Anonim

Responder:

Por favor ver más abajo.

Explicación:

El metodo usual es mostrar que una función #f: ArarrP (A) # no puede estar en (suprayectivo). (Así que no puede ser biyectivo).

Para cualquier función #f: ArarrP (A) #, hay un subconjunto de #UNA# definido por

#R = x en A #

Ahora mostramos que # R # no está en la imagen de #UNA#.

Si #r en A # con #f (r) = R #, entonces #color (rojo) (r en R "y" r! en R # Lo que no es posible, entonces no hay #r en A # con #f (r) = R #.

Por consiguiente #F# no está en (surjective).

Para ver #color (rojo) (r en R "y" r! en R #, Darse cuenta de

#r en R rArr r en f (r) rArr r! en R # asi que #r en R rArr (r en R "yr! en R) #

y

#r! en R rArr r! en f (r) rArr r en R # asi que #r! en R rArr (r! en R "yr en R) #

Concluimos que no hay #r en A # con #f (r) = R #.

Usando un argumento similar podríamos en cambio mostrar que una función #f: P (A) rarrA # no puede ser uno a uno (inyectivo). (Así que no puede ser biyectivo).