> Legyen X vegtelen szamossagu halmaz, es legyen B halmaz X halmaznak
> tetszoleges veges elemszamu reszhalmaza. Legyen f:X->H(X) kolcsonosen
> egyertelmu lekepezes X es H(X) veges reszhalmazai kozott.
Elfelejtetted igazolni, hogy az "f" lekepezes letezik.
Szerintem nem biztos hogy letezik, mert ha X nem megszamlalhato, H(X)
veges elemszamu reszhalmazai pedig megszamlalhato halmazt alkotnak,
akkor nem lehet oket egymasra kepezni kolcsonosen egyertelmuen az eltero
szamossaguk miatt.
z2
|