Forum de Mathématiques: Maths-Forum

Finrod a écrit:Si tu prend une relation d'ordre en comparant les complexes uniquement avec leur modules, ça marche.

Perdu, elle est pas antisymétrique...

Hmm c'est cheaté si la relation n'est que partiel... Prenons le cas de le relation d'ordre "est inclus dans" Si on considère l'application f qui à un ensemble associe son plus grand élément. f({0,2}) = 2 et f({1,2}) = 2 On a bien la non-injectivité, les deux ensembles étant différents. De plus l'imp...

Hmm voyons voir... Sois f:E->F (E et F des parties de R) tel que f soit strictement croissante et non injective. Conséquence de la non injectivité : Il existe (x1,x2) dans E^2 tel que x1 != x2 et f(x1)=f(x2). Conséquence partielle de la croissance stricte : Pour tout (x1,x2) de E², x1!=x2 -> f(x1)!=...