Fonction injective

Une fonction est injective, ou un à un, lorsque des entrées distinctes ne produisent jamais la même sortie. Cette propriété est exactement ce que le test de la droite horizontale capture sur un graphe : si chaque droite horizontale rencontre la courbe en au plus un point, la fonction est injective et donc inversible sur son image. Les élèves le rencontrent en préparant les fonctions inverses, en restreignant des domaines quadratiques ou en décidant si une exponentielle ou un logarithme admet déjà une inverse sans découpage supplémentaire. Enseignants et auteurs de LMS ont besoin d’un oracle déterministe qui déclare réussite ou échec avec une brève raison, non un tracé vague. Ce vérificateur de fonction un à un accepte une famille algébrique courante—linéaire, quadratique, valeur absolue, cubique, exponentielle, logarithmique, réciproque, puissance ou racine carrée—, des coefficients optionnels et une restriction de domaine optionnelle ; il renvoie si le critère de la droite horizontale est satisfait, si l’application est inversible, une expression d’affichage et une raison en langage clair.

Ce que décide le test de la droite horizontale

Le critère de la droite horizontale est le jumeau graphique de la définition algébrique de l’injectivité. Algébriquement, f est injective sur un domaine D lorsque f(x1) égal à f(x2) force x1 égal à x2 pour toute paire dans D. Graphiquement, aucune droite horizontale y égal à k ne peut intersecter le graphe plus d’une fois dans D.

Lorsque le test réussit, chaque valeur de sortie dans l’image provient d’exactement une entrée, de sorte que vous pouvez inverser les flèches et obtenir une inverse bien définie de l’image vers D. Lorsqu’il échoue, au moins une sortie est partagée par deux entrées, et toute tentative d’inverse devrait renvoyer deux valeurs à la fois. Échecs classiques : puissances paires comme x au carré sur tous les réels, formes en V de la valeur absolue sur toute la droite, et paraboles ouvertes des deux côtés du sommet.

Réussites classiques : applications linéaires non constantes, croissance et décroissance exponentielles à base valide, logarithmes sur leur demi-droite native, puissances de degré impair et branches de racine carrée pour x supérieur ou égal au décalage. Les cubiques sont plus subtiles : certaines sont strictement monotones sur toute la droite (par exemple x au cube), d’autres oscillent avec un maximum et un minimum locaux et échouent tant que vous ne découpez pas le domaine.

Ce vérificateur encode ces règles par famille avec des options de domaine explicites—tous les réels, rayons unilatéraux et demi-droites du sommet pour paraboles et valeur absolue—afin que vous obteniez la même conclusion qu’un manuel après un croquis, sans dépendre de pixels ni d’un noyau d’algèbre computationnelle.

Où un vérificateur un à un apporte de la valeur

Les cours d’algèbre utilisent un vérificateur de fonction injective pour que les apprenants confirment que y égal à deux x plus un est inversible tandis que y égal à x au carré sur tous les réels ne l’est pas, puis retestent x au carré sur x supérieur ou égal à zéro et voient le verdict s’inverser—une manière interactive d’intérioriser la restriction de domaine avant de formaliser l’inverse.

Les générateurs d’examens et les plugins LMS ont besoin d’un oracle déterministe qui n’invente jamais une réussite pour une cubique à deux extremums locaux ni un échec pour une exponentielle pure. Les sites de contenu qui ciblent des requêtes telles que vérificateur de fonction un à un ou calculatrice du test de la droite horizontale bénéficient d’un outil en direct dont le niveau gratuit correspond octet pour octet au contrat d’automatisation.

Gardez les requêtes petites, figez les drapeaux booléens et les mots-clés de raison dans les tests, et vous obtenez des décisions reproductibles du critère horizontal pour les devoirs, les sites curriculaires et les edge workers sans déployer d’infrastructure graphique propre.