Injektive Funktion prüfen

Eine Funktion ist injektiv, oder eins-zu-eins, wenn verschiedene Eingaben nie dieselbe Ausgabe erzeugen. Genau diese Eigenschaft erfasst der Horizontalentest am Graphen: trifft jede waagerechte Gerade die Kurve in höchstens einem Punkt, so ist die Funktion injektiv und damit auf ihrem Bild invertierbar. Lernende begegnen dem Test, wenn sie Umkehrfunktionen vorbereiten, quadratische Definitionsbereiche einschränken oder klären, ob eine Exponential- oder Logarithmusfunktion bereits ohne weiteren Schnitt umkehrbar ist. Lehrkräfte und LMS-Autorinnen brauchen ein deterministisches Orakel, das bestanden oder nicht bestanden mit kurzer Begründung meldet, keinen vagen Plot. Dieser Eins-zu-eins-Funktionsprüfer nimmt eine gängige algebraische Familie entgegen—linear, quadratisch, Absolutbetrag, kubisch, exponentiell, logarithmisch, reziprok, Potenz oder Quadratwurzel—, optionale Koeffizienten und eine optionale Definitionsbereichseinschränkung; er liefert, ob das Horizontalenkriterium gilt, ob die Abbildung invertierbar ist, einen Anzeigeausdruck und eine verständliche Begründung.

Was der Horizontalentest entscheidet

Das Horizontalenkriterium ist das grafische Pendant der algebraischen Definition von Injektivität. Algebraisch ist f auf einem Definitionsbereich D injektiv, wenn f(x1) gleich f(x2) für jedes Paar in D erzwingt, dass x1 gleich x2 ist. Grafisch darf keine waagerechte Gerade y gleich k den Graphen innerhalb von D mehr als einmal schneiden.

Besteht der Test, stammt jeder Ausgabewert im Bild von genau einer Eingabe; Sie können die Pfeile umkehren und eine wohldefinierte Umkehrfunktion vom Bild nach D erhalten. Scheitert er, teilen sich mindestens zwei Eingaben eine Ausgabe, und jeder Umkehrversuch müsste zwei Werte zugleich liefern. Klassische Fehlschläge: gerade Potenzen wie x im Quadrat auf allen reellen Zahlen, V-Formen des Absolutbetrags auf der ganzen Geraden und Parabeln, die beiderseits des Scheitels geöffnet sind.

Klassische Erfolge: nichtkonstante lineare Abbildungen, exponentielles Wachstum und Abklingen mit gültiger Basis, Logarithmen auf ihrer nativen Halbgeraden, Potenzen ungeraden Grades und Quadratwurzelzweige für x größer oder gleich der Verschiebung. Kubische sind feiner: manche sind auf der ganzen Geraden streng monoton (zum Beispiel x hoch drei), andere wackeln durch lokales Maximum und Minimum und fallen durch, bis Sie den Definitionsbereich schneiden.

Dieser Prüfer kodiert diese familienbezogenen Regeln mit expliziten Domänenoptionen—alle Reellen, einseitige Strahlen und Scheitelhalbgeraden für Parabeln und Absolutbetrag—, sodass Sie dieselbe Schlussfolgerung wie ein Lehrbuch nach einer Skizze erhalten, ohne Pixel oder einen Computeralgebra-Kern.

Wo ein Eins-zu-eins-Prüfer sich lohnt

Algebra-Kurse nutzen einen Injektivitätsprüfer, damit Lernende bestätigen, dass y gleich zwei x plus eins umkehrbar ist, während y gleich x im Quadrat auf allen Reellen es nicht ist, und dann x im Quadrat auf x größer oder gleich null erneut testen und den Urteilsspruch kippen sehen—eine interaktive Weise, die Domäneneinschränkung zu verinnerlichen, bevor Umkehrfunktionen formalisiert werden. Prüfungsgeneratoren und LMS-Plugins brauchen ein deterministisches Orakel, das niemals ein Bestanden für eine Kubische mit zwei Wendepunkten erfindet und niemals ein Nichtbestanden für eine reine Exponentialfunktion.

Content-Sites, die um Phrasen wie Eins-zu-eins-Funktionsprüfer oder Horizontalentest-Rechner ringen, profitieren von einem Live-Werkzeug, dessen Gratisstufe byteweise dem Automatisierungsvertrag entspricht. Ingenieur-Notebooks brauchen manchmal nur ein schnelles Injektivitäts-Tor, bevor sie eine symbolische Umkehrung aufrufen oder eine reversible Kalibrierkurve anpassen; ein winziger Parse-Endpunkt erspart ein volles Computeralgebrasystem für Lehrbuchfamilien. Halten Sie Anfragen klein, pinnen Sie die booleschen Flags und Begründungsschlüsselwörter in Tests, und Sie erhalten reproduzierbare Horizontalentscheidungen für Hausaufgaben, Curriculum-Sites und Edge-Worker, ohne eigene Grafikinfrastruktur aufzubauen.