P (A) 'nın (Güç Seti) A'dan daha büyük olduğunun kanıtı.

P (A) 'nın (Güç Seti) A'dan daha büyük olduğunun kanıtı.
Anonim

Cevap:

Lütfen aşağıya bakın.

Açıklama:

Olağan yöntem bir işlevi göstermek için #f: ArarrP (A), # üzerine olamaz (sıfat). (Yani, bu önyargılı olamaz.)

Herhangi bir fonksiyon için #f: ArarrP (A), #, bir altküme var # A # tarafından tanımlanan

#R = A # 'da x

Şimdi bunu gösterelim # R # görüntüde değil # A #.

Eğer #r # ile #f (r) = R #, sonra #color (red) (R 'de r "ve" r! R #' de bu mümkün değil, bu yüzden yok #r # ile #f (r) = R #.

sonuç olarak # F # üzerine değildir (sıfat).

Görmek #color (red) (R 'de r "ve" r! R #' de dikkat et

#R in Rrr r in f (r) rRrr! in R # yani #R rArr içinde (r "r" ve r! R) #

ve

#r! in Rarr r! içinde f (r) rarrr içinde R # yani #r! R rArr içinde (r! R "de ve R r) #

Var olmadığı sonucuna vardık #r # ile #f (r) = R #.

Benzer bir argüman kullanma onun yerine gösterebiliriz bu bir işlev #f: P (A) rarrA # bire bir olamaz (sıfat). (Yani, bu önyargılı olamaz.)