Imagine que définisse Card(R) comme par exemple inf*ln(inf)...(en fait j'en sait rien)...disons f(inf)
On définit alors Card([a;b]) comme f(inf)*(b-a) et
aussi Card(]a;b[) comme (f(inf)*(b-a))-2..
Tu me dit : et la bijection alors ?
une bijection de R dans ]0;1] est donnée par n->(1/(n+1))
or (1/(inf+1)) ne vaut pas zéro..
tu oublie alors que la bijection dont on parle jusqu'à maintenant est la bijection classique, pas la bijection Surréél, et que la bijection tel quel dépend de l'identité c'est à dire du "=" classique... aucune contradiction avec ce que j'ai dit jusqu'à présent..
ça devient plus compliqué certe.. mais il faut voir qu'en précision normale 0=0+(x/inf) quel que soit x..
et donc en précision supérieur à l'échelle -1, 0 n'est pas en bijection avec 0+(x/inf)...
Donc en précision 0
]0;1] est en bijection avec R+, mais en précision supérieur ce n'est pas vrai.. de tout façon Card(R) n'est pas dans R...
Bref pour moi,
]0;1] n'est pas en bijection avec R. à moins de passé en précision supérieurr de considéré que 1/inf=0 et donc inf*2=inf..
Le passage de x->1/x est assez pratique pour visualisé ce qui se passe à l'infinie.. ce qui infiniment grand devient infiniment petit etc..
-----