Funzione iniettiva

Una funzione è iniettiva, o uno a uno, quando ingressi distinti non producono mai la stessa uscita. Quella proprietà è esattamente ciò che il test della retta orizzontale cattura su un grafico: se ogni retta orizzontale incontra la curva in al più un punto, la funzione è iniettiva e quindi invertibile sulla sua immagine. Gli studenti lo incontrano preparando le funzioni inverse, restringendo domini quadratici o decidendo se un’esponenziale o un logaritmo ammette già l’inversa senza ulteriori tagli. Docenti e autori di LMS necessitano di un oracolo deterministico che dichiari superato o fallito con un motivo breve, non un disegno vago. Questo verificatore di funzione uno a uno accetta una famiglia algebrica comune—lineare, quadratica, valore assoluto, cubica, esponenziale, logaritmica, reciproca, potenza o radice quadrata—, coefficienti opzionali e una restrizione di dominio opzionale; restituisce se il criterio della retta orizzontale è soddisfatto, se la mappa è invertibile, un’espressione da mostrare e una ragione in linguaggio chiaro.

Cosa decide il test della retta orizzontale

Il criterio della retta orizzontale è il gemello grafico della definizione algebrica di iniettività. Algebricamente, f è iniettiva su un dominio D quando f(x1) uguale a f(x2) impone x1 uguale a x2 per ogni coppia in D. Graficamente, nessuna retta orizzontale y uguale a k può intersecare il grafico più di una volta dentro D.

Quando il test è superato, ogni valore di uscita nell’immagine proviene da esattamente un ingresso, così Lei può invertire le frecce e ottenere un’inversa ben definita dall’immagine a D. Quando fallisce, almeno un’uscita è condivisa da due ingressi, e ogni tentativo di inversa dovrebbe restituire due valori insieme. Fallimenti classici: potenze pari come x al quadrato su tutti i reali, forme a V del valore assoluto sulla retta intera e parabole aperte da entrambi i lati del vertice.

Superamenti classici: mappe lineari non costanti, crescita e decadimento esponenziali con base valida, logaritmi sulla semiretta nativa, potenze di grado dispari e rami di radice quadrata per x maggiore o uguale allo scostamento. Le cubiche sono più sottili: alcune sono strettamente monotone su tutta la retta (ad esempio x al cubo), altre oscillano con un massimo e un minimo locali e falliscono finché non si taglia il dominio.

Questo verificatore codifica tali regole per famiglia con opzioni di dominio esplicite—tutti i reali, raggi unilaterali e semirette del vertice per parabole e valore assoluto—così Lei ottiene la stessa conclusione di un manuale dopo uno schizzo del grafico, senza dipendere da pixel né da un nucleo di algebra computazionale.

Dove un verificatore uno a uno conviene

I corsi di algebra usano un verificatore di funzione iniettiva affinché chi studia confermi che y uguale a due x più uno è invertibile mentre y uguale a x al quadrato su tutti i reali non lo è, poi ritestino x al quadrato con x maggiore o uguale a zero e vedano il verdetto invertirsi—un modo interattivo per interiorizzare la restrizione di dominio prima di formalizzare l’inversa.

Generatori di esami e plugin LMS necessitano di un oracolo deterministico che non inventi mai un superamento per una cubica con due punti di flesso di svolta né un fallimento per un’esponenziale pura. I siti di contenuti che competono su frasi come verificatore di funzione uno a uno o calcolatrice del test della retta orizzontale beneficiano di uno strumento dal vivo il cui livello gratuito coincide byte per byte con il contratto di automazione.

Mantenga le richieste piccole, fissi i flag booleani e le parole chiave della ragione nei test, e otterrà decisioni riproducibili del criterio orizzontale per compiti, siti curricolari ed edge worker senza erigere infrastruttura grafica propria.