Update cheatsheet.fr.md

10.temporary-m3p2/50.mathematics/20.algebra-analysis/20.n2/20.trigonometry/20.overview/cheatsheet.fr.md

@@ -169,9 +169,29 @@ avec la notion de fonction
 
 A faire
 
+! *Note :* définition mathématique d'une fonction
+!
+! Une fonction f d’un ensemble E (appelé ensemble de départ ou domaine) vers un ensemble F
+! (appelé ensemble d’arrivée ou codomaine) est une relation qui à chaque élément x
+! de E associe un et un seul élément y de F :
+! 
+! $`f : E \rightarrow F\;,\; x \mapsto f(x)=y`$
+!
+! * la fonction f est une injection si et seulement si deux éléments distincts de E ont des images distinctes dans F :   
+! <br>
+! $`f : E\rightarrow F \text{ est injective }`$   
+! $`\Leftrightarrow \forall (x_1, x_2)\in E^2\;,`$$`\;x_1\ne x_2 \Rightarrow f(x_1)\ne f(x_2)`$   
+! 
+! * la fonction f est une surjection si et seulement si tout élément de F est l'image d'au moins un élément de E :
+! <br>
+! $`f : E\rightarrow F \text{ est surjective }`$   
+! $`\Leftrightarrow \forall y \in F\;,\;\exists x \in E\;|\; y = f(x)`$  
+! <br>
+! * la fonction f est une bijection si et seulement si f est une injection et une surjection.
+
 !! <details markdown=1>
-!! <summary><b>Pour aller plus loin :</b> De nouvelles définitions des fonctions
-!! sinus et cosinus, équivalentes, au niveau contrefort, et leur intérêt.</summary>
+!! <summary><b>Pour aller plus loin :</b><br> Nouvelles définitions équivalentes,
+!! de sin(x) et co(x)</summary>
 !! 
 !! Les définitions des *fonctions sinus et cosinus* ici présentées *à partir du cercle trigonométrique*
 !! sont appelées les *définitions géométriques*. Très visuelles et de niveau mathématique de niveau colline,
@@ -207,27 +227,6 @@ A faire
 !! </details>
 
 
-! *Note :* définition mathématique d'une fonction
-!
-! Une fonction f d’un ensemble E (appelé ensemble de départ ou domaine) vers un ensemble F
-! (appelé ensemble d’arrivée ou codomaine) est une relation qui à chaque élément x
-! de E associe un et un seul élément y de F :
-! 
-! $`f : E \rightarrow F, x \mapsto f(x)=y`$
-!
-! * la fonction f est une injection si et seulement si deux éléments distincts de E ont des images distinctes dans F :   
-! <br>
-! $`f : E\rightarrow F \text{ est injective }`$   
-! $`\Leftrightarrow \forall (x_1, x_2)\in E^2, x_1\ne x_2 \Rightarrow f(x_1)\ne f(x_2)`$   
-! 
-! * la fonction f est une surjection si et seulement si tout élément de F est l'image d'au moins un élément de E :
-! <br>
-! $`f : E\rightarrow F \text{ est surjective }`$   
-! $`\Leftrightarrow \forall y \in F, \exists x \in E, y = f(x)`$  
-! <br>
-! * la fonction f est une bijection si et seulement si f est une injection et une surjection :
-
-
 
 <br>