Comparthing Logo
théorie des ensemblesfonctionsalgèbremathématiques discrètes

Fonctions un-à-un vs fonctions sur-à-un

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.

Points forts

  • Le principe « un à un » garantit la distinction ; le principe « sur » garantit l'intégralité.
  • Une fonction qui est à la fois injective et surjective est appelée une bijection.
  • Le test de la ligne horizontale permet d'identifier en un coup d'œil les fonctions biunivoques.
  • Les fonctions surto exigent que l'image et le codomaine soient identiques.

Qu'est-ce que Un à un (injectif) ?

Une application où chaque entrée unique produit une sortie distincte et unique.

  • Formellement appelée fonction injective en théorie des ensembles.
  • Elle réussit le test de la ligne horizontale lorsqu'elle est tracée sur un plan cartésien.
  • Deux éléments différents du domaine ne partagent pas la même image dans le codomaine.
  • Le nombre d'éléments dans le domaine ne peut pas dépasser le nombre d'éléments dans le codomaine.
  • Indispensable pour la création de fonctions inverses car la transformation peut être inversée sans ambiguïté.

Qu'est-ce que Sur (Surjectif) ?

Une correspondance où chaque élément de l'ensemble cible est couvert par au moins une entrée.

  • Formellement appelée fonction surjective.
  • L'image de la fonction est exactement égale à son codomaine.
  • Plusieurs entrées peuvent pointer vers la même sortie, à condition qu'aucune entrée ne soit omise.
  • La taille du domaine doit être supérieure ou égale à la taille du codomaine.
  • Garantit que chaque valeur de l'ensemble de sortie possède au moins une « pré-image ».

Tableau comparatif

FonctionnalitéUn à un (injectif)Sur (Surjectif)
Nom officielInjectableSurjectif
Exigence de baseDes sorties uniques pour des entrées uniquesCouverture totale de l'ensemble cible
Test de ligne horizontaleDoit passer (se croise au plus une fois)Doit se croiser au moins une fois
L'accent mis sur la relationExclusivitéInclusivité
Contrainte de taille d'ensembleDomaine ≤ CodomaineDomaine ≥ Codomaine
Sorties partagées ?Strictement interditAutorisé et commun

Comparaison détaillée

Le concept d'exclusivité

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.

Le concept de couverture

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.

Visualisation à l'aide de diagrammes cartographiques

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.

Représentation graphique des différences

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.

Avantages et inconvénients

Un à un

Avantages

  • +Permet les fonctions inverses
  • +Aucune collision de données
  • +Préserve la distinction
  • +Plus facile à inverser

Contenu

  • Peut laisser des sorties inutilisées
  • Nécessite un codomaine plus grand
  • Règles de saisie strictes
  • Plus difficile à réaliser sur

Sur

Avantages

  • +Couvre l'ensemble de la cible
  • +Aucun espace de sortie gaspillé
  • +Plus facile d'adapter les petits ensembles
  • +Utilise toutes les ressources

Contenu

  • Perte d'unicité
  • Ne peut pas toujours être inversé
  • Les collisions sont fréquentes
  • Il est plus difficile de remonter à la source.

Idées reçues courantes

Mythe

Toutes les fonctions sont soit bijectives, soit continueuses.

Réalité

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.

Mythe

Une relation un-à-un signifie la même chose qu'une fonction.

Réalité

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.

Mythe

Cela dépend uniquement de la formule.

Réalité

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 ».

Mythe

Si une fonction est surjective, elle est nécessairement réversible.

Réalité

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.

Questions fréquemment posées

Quel est un exemple simple de fonction bijective ?
La fonction linéaire $f(x) = x + 1$ en est un exemple classique. Chaque valeur numérique qu'on lui attribue donne un résultat unique, qu'aucune autre valeur ne peut produire. Si le résultat est 5, on sait avec certitude que la valeur d'entrée était 4.
Quel est un exemple simple de fonction onto ?
Considérons une fonction qui associe chaque habitant d'une ville à l'immeuble où il réside. Si chaque immeuble abrite au moins une personne, la fonction est « sur » l'ensemble des immeubles. Cependant, il ne s'agit pas d'une correspondance biunivoque, car plusieurs personnes peuvent partager un même immeuble.
Comment fonctionne le test de la ligne horizontale ?
Imaginez une ligne horizontale qui se déplace verticalement sur votre graphique. Si cette ligne touche la fonction en deux points ou plus simultanément, cela signifie que ces différentes valeurs de x partagent une même valeur de y, prouvant ainsi que la relation n'est pas bijective.
Pourquoi ces concepts sont-ils importants en informatique ?
Ils sont essentiels au chiffrement et au hachage des données. Un bon algorithme de chiffrement doit être biunivoque afin de pouvoir déchiffrer le message et retrouver sa forme originale unique sans perte de données ni résultats erronés.
Que se passe-t-il lorsqu'une fonction est à la fois injective et surjective ?
Il s'agit d'une bijection, ou correspondance biunivoque. Elle établit une correspondance parfaite entre deux ensembles, où chaque élément a exactement un partenaire dans l'autre ensemble. C'est la méthode de référence pour comparer les tailles d'ensembles infinis.
Une fonction peut-elle être surjective sans être injective ?
Oui, cela arrive souvent. $f(x) = x^3 - x$ est sur tous les nombres réels car elle s'étend de moins l'infini à plus l'infini, mais elle n'est pas bijective car elle coupe l'axe des x en trois points différents (-1, 0 et 1).
Quelle est la différence entre range et codomaine ?
Le codomaine est l'ensemble cible déclaré initialement (par exemple, « tous les nombres réels »). L'image est l'ensemble des valeurs que la fonction prend en compte. Une fonction est surjective uniquement lorsque son image et son codomaine sont identiques.
La fonction $f(x) = \sin(x)$ est-elle bijective ?
Non, la fonction sinus n'est absolument pas bijective car elle répète ses valeurs tous les 2π radians. Par exemple, sin(0), sin(π) et sin(2π) sont tous égaux à 0.

Verdict

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.

Comparaisons associées

Algèbre contre géométrie

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.

Angle vs Pente

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.

Calcul différentiel et calcul intégral

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.

Cercle contre ellipse

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.

Coordonnées cartésiennes vs coordonnées polaires

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.