Bien que les deux termes décrivent la correspondance entre les éléments de deux ensembles, ils abordent des aspects différents du problème. Les fonctions injectives (ou bijectives) mettent l'accent sur l'unicité des entrées, garantissant qu'aucun chemin ne mène à la même destination, tandis que les fonctions surjectives (ou bijectives) garantissent que toutes les destinations possibles sont effectivement atteintes.
Une application où chaque entrée unique produit une sortie distincte et unique.
Une correspondance où chaque élément de l'ensemble cible est couvert par au moins une entrée.
| Fonctionnalité | Un à un (injectif) | Sur (Surjectif) |
|---|---|---|
| Nom officiel | Injectable | Surjectif |
| Exigence de base | Des sorties uniques pour des entrées uniques | Couverture totale de l'ensemble cible |
| Test de ligne horizontale | Doit passer (se croise au plus une fois) | Doit se croiser au moins une fois |
| L'accent mis sur la relation | Exclusivité | Inclusivité |
| Contrainte de taille d'ensemble | Domaine ≤ Codomaine | Domaine ≥ Codomaine |
| Sorties partagées ? | Strictement interdit | Autorisé et commun |
Une fonction biunivoque est comparable à un restaurant haut de gamme où chaque table est réservée à un seul groupe ; on n’y verra jamais deux groupes différents assis à la même place. Mathématiquement, si $f(a) = f(b)$, alors $a$ est nécessairement égal à $b$. Cette exclusivité permet d’« annuler » ou d’inverser ces fonctions.
Une fonction « onto » vise avant tout à explorer l'ensemble cible. Imaginez un bus où chaque siège doit être occupé par au moins une personne. Peu importe si deux personnes doivent s'asseoir sur la même banquette (plusieurs pour un), du moment qu'il ne reste aucun siège vide dans le bus.
Dans un diagramme de correspondance, une bijection est représentée par une flèche unique pointant vers un point unique ; deux flèches ne convergent jamais. Pour une fonction surjective, chaque point du second cercle doit être relié par au moins une flèche. Une fonction peut être à la fois surjective et bijective ; les mathématiciens appellent cela une bijection.
Sur un graphique standard, on vérifie l'injectivité d'une fonction en traçant une ligne horizontale verticalement ; si elle rencontre la courbe plus d'une fois, la fonction n'est pas injective. Pour vérifier la continuité de la fonction, il faut examiner l'étendue verticale du graphique afin de s'assurer qu'elle couvre l'intégralité de l'intervalle prévu sans interruption.
Toutes les fonctions sont soit bijectives, soit continueuses.
De nombreuses fonctions ne sont ni l'un ni l'autre. Par exemple, $f(x) = x^2$ (de tous les nombres réels vers tous les nombres réels) n'est pas injective car $2$ et $-2$ donnent tous deux $4$, et elle n'est pas surjective car elle ne produit jamais de nombres négatifs.
Une relation un-à-un signifie la même chose qu'une fonction.
Une fonction exige seulement que chaque entrée ait une sortie. La relation un-à-un ajoute une contrainte supplémentaire : deux entrées ne peuvent pas partager la même sortie.
Cela dépend uniquement de la formule.
La propriété « onto » dépend fortement de la définition de l'ensemble cible. La fonction $f(x) = x^2$ est « onto » si l'on définit la cible comme « tous les nombres non négatifs », mais elle échoue si la cible est « tous les nombres réels ».
Si une fonction est surjective, elle est nécessairement réversible.
La réversibilité requiert une relation biunivoque. Si une fonction est surjective mais non biunivoque, vous pouvez connaître sa sortie, mais vous ne saurez pas laquelle des entrées multiples l'a produite.
Utilisez une correspondance un-à-un lorsque vous devez garantir que chaque résultat puisse être rattaché à un point de départ spécifique et unique. Choisissez une correspondance sur-un lorsque votre objectif est de garantir que chaque valeur de sortie possible d'un système soit utilisée ou atteignable.
L'algèbre se concentre sur les règles abstraites des opérations et la manipulation des symboles pour résoudre des équations, tandis que la géométrie explore les propriétés physiques de l'espace, notamment la taille, la forme et la position relative des figures. Ensemble, elles constituent le fondement des mathématiques, traduisant les relations logiques en structures visuelles.
L'angle et la pente quantifient tous deux l'inclinaison d'une droite, mais ils s'expriment dans des langages mathématiques différents. Alors qu'un angle mesure la rotation circulaire entre deux droites sécantes en degrés ou en radians, la pente mesure le rapport entre la variation verticale (ou élévation) et la variation horizontale (ou distance parcourue) sous forme de rapport numérique.
Bien qu'ils puissent paraître mathématiquement opposés, le calcul différentiel et le calcul intégral sont en réalité les deux faces d'une même pièce. Le calcul différentiel s'intéresse aux variations des grandeurs à un instant précis, comme la vitesse instantanée d'une voiture, tandis que le calcul intégral additionne ces variations pour obtenir un résultat global, tel que la distance totale parcourue.
Alors qu'un cercle est défini par un centre et un rayon constants, une ellipse étend ce concept à deux foyers, créant ainsi une forme allongée où la somme des distances à ces foyers reste constante. Techniquement, tout cercle est un cas particulier d'ellipse où les deux foyers se superposent parfaitement, ce qui en fait les figures les plus proches en géométrie analytique.
Bien que les deux systèmes servent principalement à localiser des positions dans un plan bidimensionnel, ils abordent cette tâche selon des philosophies géométriques différentes. Les coordonnées cartésiennes reposent sur une grille rigide de distances horizontales et verticales, tandis que les coordonnées polaires se concentrent sur la distance directe et l'angle par rapport à un point fixe central.
