Démonstration du théorème de Cantor-Bernstein
Bonjour à tous,
Je me suis penché sur la démonstration du théorème de Cantor-Bernstein (sil 'existe une injection de E dans F et une injection de F dans E, alors il existe une bijection de E sur F), mais je n'arrive pas a monter pe point fixe
http://blogs.futura-sciences.com/cgi-bin/mimetex.cgi?%5Cpsi%20%5C%20:%2 0%5C%20%5C%7B%20%5Carray%7B%20 %5Cmathcal%7BP%7D(E)%20&%20%5C to%20%5Cmathcal%7BP%7D(E)%20%5 C%5C%20A%20&%20%5Cto%20E%20-%20%5Cleft(%20g%20%5Cleft(%20F %20-f(A)%20%5Cright)%20%5Cright)%2 0%7D
-----