Les applications

On réfléchit ! (2) - Exercice 1

45 min
70
Et encore !!
Question 1
Soit EE un ensemble.
Soit ff une application de EE dans EE.
On suppose que ff satisfait à la condition ff=ff \circ f = f.

Montrer que ff est injective si et seulement si ff est surjective.

Correction
Soit xEx \in E. Puisque par hypothèse on a ff qui est surjective, cela signifie qu'il existe yEy \in E tel que f(y)=xf(y) = x.
Dans ce cas, on a :
f(x)=f(f(y))=(ff)(y)=f(y)=xf(x) = f\big(f(y)\big) = \big( f \circ f\big)(y) = f(y) = x
Ainsi, xE,f(x)=x\forall x \in E, \,\, f(x) = x ce qui implique que f=IdEf = \mathrm{Id}_E.
Donc ff est bijective, et de fait, ff est automatiquement injective.