Bonsoir bonsoir,
j'éprouve le besoin de partager mon problème et de voir si ce que j'ai pu écrire peut aboutir à ce que j'aimerais montrer.
Soit f:E -> F ( avec x un élément de l'ensemble de départ E et y un élément de l'ensemble d'arrivé F )
1) f est injective si et seulement si:
quelque soit y appartenant à F, y a au plus un antécédent ( c'est-à-dire, f-1({y}) est soit vide soit contient un élément ) (f-1, l'image réciproque )
Je dois donc montrer que cette phrase est une autre façon de définir si la correspondance f est injective.
Je suis donc revenu à la définition de mon cours, qui est :
quelque soit x et x' appartenant à E, f(x)=f(x') <=> x=x'
J'ai donc écrit que la phrase mathématique juste au-dessus revient à écrire :
quelque soit y appartenant à F, y=f(x) <=> x=f-1(y)
Et que donc, quelque soit y appartenant à F, y a un antécédent dans E.
J'ai un gros doute sur ce que j'ai écrit, mais j'ai besoin d'aide pour avancer. J'ai encore deux autres choses à demander, mais procédons étapes par étapes.
Bonsoir,
Supposons injective. La corestriction de
à
étant bijective, il est clair que la fibre
, pour
, est un singleton. Sinon, l'on a
pour tout
. Réciproquement, ...
Thierry
Merci de vos réponses.
Ta réponse Thierry, j'ai clairement du mal à la comprendre. Je commence en première année, donc les maths purs c'est vraiment un pas pour moi, contrairement aux simples calculs du tronc commun...
En revanche, la première réponse :
On suppose que f^{-1}(\{y\}) contient au moins deux éléments x, x'. On a donc x\ne x' et f(x) = f(x') = y.
m'est déjà plus accessible.
Je bloque quand même sur le fait que, y doit avoir au plus un antécédent, et que là, on a : f(x)=f(x')=y avec x différent de x' ?
La définition de départ, dit bien que f(x)=f(x') <=> x=x'
D'accord on a supposé que f^{-1}(\{y\}) contient au moins deux éléments, mais je fais pas le liens.
Je montre que si f est injective (au sens de la définition que tu as), alors y admet au plus un antécédent, par contraposée en montrant que s'il en admet plus d'un, alors f n'est pas injective.
Mais bien sûr, la contraposée.
Nous sommes bien d'accord, qu'avec l'hypothèse émise, x différent de x' et f(x)=f(x')= y ce n'est pas cohérent ?
Ben... si la définition dit f(x) = f(x'), alors x = x' ok f est injéctive
En revanche, si x est différent de x' ET qu'on a f(x)=f(x') , ce n'est pas cohérent donc non-injéctive ?
Vous devez être membre accéder à ce service...
Pas encore inscrit ?
1 compte par personne, multi-compte interdit !
Ou identifiez-vous :