Séance 02 (Lundi 14 sept.)

Communications

Semaine prochaine (Semaine 03): lundi 21 septembre 2026 est férié, donc pas de séance contact ni d’exercices! Comme d’habitude, les sujets traités la troisième semaine se trouveront dans le lien Contenu correspondant. Et la séance d’exercices de mercredi (23 septembre) a lieu normalement.
Sur l’utilisation des forums: poser les questions au bon endroit, choisir anonymat, formulation de la question, utilisation des anciennes questions, etc.
À propos du $x^{2} = 2$ .

Aujourd’hui:

Exercice. (1) Calculer l’ensemble image de la fonction

f : R x \to R \mapsto 4 x - x^{2} + 3 .

Exercice. (2) Donner un exemple explicite de fonction

f : [0, 1] \to [0, 1]

qui soit

à la fois injective et surjective
à la fois injective, surjective et décroissante
à la fois injective, surjective, ni croissante ni décroissante
injective mais pas surjective
surjective mais pas injective
ni injective ni surjective

Exercice. (3) Comment choisir

B \subset R

pour que

f : R^{*} \to B

, définie par

f (x) = x + \frac{1}{x} x \neq = 0,

soit surjective?

Exercice. (4)Montrer par récurrence que pour tout

n ⩾ 1

k = 1 \sum n \frac{2 ^{k} ( k - 1 )}{( k + 1 )!} = 2 - \frac{2 ^{n + 1}}{( n + 1 )!}

Rappelons que

k! = \prod_{j = 1}^{k} j

Exercice. (5) Vrai ou faux? Si

∣ x ∣ ⩽ ε

pour tout

ε > 0

, alors

x = 0

Exercice. (6) Considérer l’ensemble

A = {x \in R : 3 x + 1 > 0}

Montrer que pour tout

x \in A

, il existe

n \in N^{*}

tel que

x - \frac{1}{n} \in A

. En conclure que

A

n’a pas de minimum.

Exercice. (7) Soit

A =] - 1, 0 [\cup] 1, 2 [

. Calculer

sup A

(en justifiant).

Extras

Exercice. (8) Soit

f : [0, 2] \to [0, 2]

définie par

f (x) = {x + 1 2 - x si 0 ⩽ x ⩽ 1, si 1 < x ⩽ 2 .

Tracer le graphe de $f$ , puis expliquer graphiquement pourquoi cette fonction est bijective.
Calculer la réciproque $f^{- 1}$ , et esquisser son graphe.

Quiz 0.2.(2018) Soit

A = {x \in R_{+}^{*} : cos (\frac{1}{x}) > 0}

. Alors

Dans cette section, on considère des fonctions

f : A \to B

que l’on appellera réelles, ce qui signifie que

A

B

sont des sous-ensembles de

R

. L’étude des fonctions de ce type constitue un des objectifs de ce cours, surtout via la notion de limite qui sera introduite bien plus tard. Ici nous ne ferons qu’illustrer les notions de la section précédente dans ce cas particulier.

II.3.1 Graphe et ensemble image

Lorsque

A

B

sont des sous-ensembles de

R

, on peut représenter géométriquement toute l’information contenue dans une fonction

f : A \to B

dans son graphe, qui est défini comme l’ensemble des points

(x, f (x))

du plan cartésien, obtenus en laissant

x

parcourir tout l’ensemble

A

graphe (f) = {(x, y) \in R^{2} : x \in A, y = f (x) \in B} .

Sur l’animation ci-dessus, on peut “voir”

Im (f)

en activant “trace”, et en faisant varier

x \in A

, pour voir apparaître les points de

Im (f)

sur l’axe

y

.
Dans la pratique, on détermine l’ensemble image de

f : A \to B

par le calcul: en cherchant les

y \in B

pour lesquels l’équation

f (x) = y (II.1)

possède au moins une solution

x \in A

. Dans les cas simples, cela revient à pouvoir isoler

x

dans cette dernière expression.

Exemple II.13.

Soit

f : [2, 3] x \to R \mapsto f (x) := \frac{3 x - 4}{2} .

Par définition,

Im (f) = {y \in R : \exists x \in [2, 3] tel que f (x) = y}

Pour calculer

Im (f)

, fixons

y \in R

, et essayons de résoudre l’équation

y = f (x)

, c’est-à-dire

y = \frac{3 x - 4}{2} .

En isolant simplement

x

, on trouve la préimage de

y

x = \frac{2 y + 4}{3} .

Comme il faut que la préimage appartienne à

A = [2, 3]

, on veut que

2 ⩽ \frac{2 y + 4}{3} ⩽ 3,

qui est équivalente, après quelques manipulations, à

1 ⩽ y ⩽ \frac{5}{2} .

On résume: l’équation

y = f (x)

possède une solution

x \in [2, 3]

si et seulement

y \in [1, \frac{5}{2}]

. Ceci signifie que

Im (f) = [1, \frac{5}{2}]

. On peut le vérifier graphiquement:

II.3.2 Injections, surjections, bijections

Dans le cas des fonctions réelles, l’injectivité et la surjectivité peuvent se caractériser en termes du graphe de

f

, comme suit. Une fonction réelle

f : A \to B

est

surjective si toute droite horizontale d’équation $y = b$ , avec $b \in B$ , coupe le graphe de $f$ en au moins un point,
injective si toute droite horizontale d’équation $y = b$ , avec $b \in B$ , coupe le graphe de $f$ en au plus un point .

II.3.3 Graphe de la fonction réciproque

Si une fonction réelle

f

est bijective, comment le graphe de

f^{- 1}

est-il relié à celui de

f

?
Plus précisément, considérons une fonction

f : A x \to B \mapsto f (x) .

On rappelle que le graphe de

f

est l’ensemble des paires

(x, y)

, où

y = f (x)

x \in A

. Si

f

est bijective, le graphe de sa réciproque

f^{- 1} : B y \to A \mapsto f^{- 1} (y)

est l’ensemble des paires

(y, x)

, où

x = f^{- 1} (y)

y \in B

. On a donc qu’un point

(x, y)

appartient au graphe de

f

si et seulement si le point

(y, x)

appartient au graphe de

f^{- 1}

. Or dans le plan, l’opération qui transforme

(x, y)

(y, x)

est une réflexion par rapport à la diagonale du premier quadrant. On en conclut que si le graphe de

f

est connu, alors le graphe de

f^{- 1}

s’obtient en réfléchissant celui de $f$ à travers la diagonale du premier quadrant. Voyons quelques exemples.

Exemple II.14.

Considérons

f : R x \to R \mapsto \frac{x}{2} + 1 .

Soient

x, x^{'} \in R

tels que

f (x) = f (x^{'})

. Ceci signifie que

\frac{x}{2} + 1 = \frac{x ^{'}}{2} + 1,

qui après simplification donne

x = x^{'}

. Donc

f

est injective. Ensuite, montrons que tout

y \in R

possède une préimage

x

. En effet, on peut isoler

x

dans

y = f (x) = \frac{x}{2} + 1

, qui donne

x = 2 (y - 1)

. Donc

f

est aussi surjective.
Ainsi,

f

est bijective, et sa réciproque est donnée par

f^{- 1} : R y \to R \mapsto 2 (y - 1) .

Remarquons que l’on peut nommer la variable comme on veut, et on peut donc écrire

f^{- 1} : R x \to R \mapsto f^{- 1} (x) = 2 (x - 1) .

Le graphe de

f^{- 1} (x) = 2 (x - 1)

s’obtient à partir de celui de

f (x) = \frac{x}{2} + 1

, par une réflexion par rapport à la diagonale:

Exemple II.15.

Considérons la fonction “au carré”:

f : R x \to R \mapsto x^{2} .

Puisque

f (- x) = f (x)

pour tout

x

f

n’est pas injective. On peut la rendre injective en restreignant son ensemble de départ, en prenant par exemple

R^{+}

f : R_{+} x \to R \mapsto x^{2} .

Cette fonction est maintenant injective puisque

f (x) = f (x^{'})

est équivalent à

x^{2} - x^{'}^{2} = 0

, c’est-à-dire

(x - x^{'}) (x + x^{'}) = 0

. En se souvenant que

x, x^{'} \in R_{+}

, on voit que cette identité est vérifiée si et seulement si

x = x^{'}

.
On montrera plus tard (voir ici) que

Im (f) = R_{+}

(plus précisément, nous montrerons que pour tout

y \in R_{+}

, il existe un

x \in R_{+}

tel que

x^{2} = y

). Ainsi,

f : R_{+} x \to R_{+} \mapsto x^{2},

est bijective. Sa réciproque est appelée la fonction racine carrée, et s’écrit en général “

\cdot

”:

f^{- 1} : R_{+} y \to R_{+} \mapsto f^{- 1} (y) = y .

Son graphe s’obtient en réfléchissant celui de

f (x) = x^{2}

à travers la diagonale du premier quadrant:

Quiz II.3.1.Vrai ou faux? Si

f : R \to R

est injective, alors