Forum de Mathématiques: Maths-Forum

nodjim a écrit:On peut peut être faire comme pour les fractions...

Comment ça ?

Bijection entre X et Y une fonction f*: X->Y telle que*:
Pour tout x appartient X il existe un et un seul y appartient Y tq y=f(x)
Pour tout y appartient Y il existe un et un seul x appartient X tq x=f(y)

Théorème de Cantor-Bernstein Soit deux ensembles A et B. S’il existe une bijection f entre A et un sous ensemble B1 C (inclus strictement ou confondu) B et aussi une bijection g entre B et sous ensemble A1 C A, alors il existe une bijection entre A et B Voila ce qu'il nous a donné pour le théorème e...

Non le théorème de Cantor-B on l'a vu c'est vraiment l'injection même qu'on a pas vu et non on n'est pas vraiment rentrer en détails là dedans
Je suis en master Info du coup je pense pas qu'on pousse vraiment

On a pas fait l'injection en cours je pense pas qu'il faut faire comme ça mais je vais voir comment on fait cela quand même ça servira toujours :)

Bonjour, voila l'énoncé pour commencer : Soit C={(x,y) appartient N² | y >= x²}. Donner une bijection de C dans N. Donc j'ai essayé de représenter ceci dans un tableau ce qui n'a pas donné grand chose j'avoue. Ensuite j'ai pensé me servir de la fonction de couplage de Cantor mais le souci c'est que ...