Função injetora

Uma função é injetora, ou um a um, quando entradas diferentes nunca produzem a mesma saída. Essa propriedade é exatamente o que o teste da reta horizontal captura num gráfico: se cada reta horizontal encontra a curva em no máximo um ponto, a função é injetora e, portanto, invertível sobre a sua imagem. Os estudantes encontram o teste ao preparar funções inversas, restringir domínios quadráticos ou decidir se uma exponencial ou um logaritmo já admite inversa sem mais cortes. Professores e autores de LMS precisam de um oráculo determinístico que declare aprovação ou falha com um motivo curto, não um desenho vago. Este verificador de função um a um aceita uma família algébrica comum—linear, quadrática, valor absoluto, cúbica, exponencial, logarítmica, recíproca, potência ou raiz quadrada—, coeficientes opcionais e uma restrição de domínio opcional; devolve se o critério da reta horizontal passa, se o mapa é invertível, uma expressão para exibição e uma razão em linguagem clara.

O que o teste da reta horizontal decide

O critério da reta horizontal é o gémeo gráfico da definição algébrica de injetividade. Algebricamente, f é injetora num domínio D quando f(x1) igual a f(x2) força x1 igual a x2 para todo par em D. Graficamente, nenhuma reta horizontal y igual a k pode intersectar o gráfico mais de uma vez dentro de D.

Quando o teste passa, cada valor de saída na imagem vem de exatamente uma entrada, de modo que você pode inverter as setas e obter uma inversa bem definida da imagem de volta a D. Quando falha, pelo menos uma saída é partilhada por duas entradas, e qualquer tentativa de inversa teria de devolver dois valores de uma vez. Falhas clássicas incluem potências pares como x ao quadrado em todos os reais, formas em V do valor absoluto na reta completa e parábolas abertas dos dois lados do vértice.

Aprovações clássicas incluem mapas lineares não constantes, crescimento e decaimento exponencial com base válida, logaritmos na semirreta nativa, potências de grau ímpar e ramos de raiz quadrada para x maior ou igual ao deslocamento. Cúbicas são mais subtis: algumas são estritamente monótonas em toda a reta (por exemplo x ao cubo), enquanto outras oscilam com máximo e mínimo local e falham até você recortar o domínio.

Este verificador codifica essas regras por família com opções explícitas de domínio—todos os reais, raios unilaterais e semirretas do vértice para parábolas e valor absoluto—para que você obtenha a mesma conclusão de um manual após esboçar o gráfico, sem depender de pixels nem de um núcleo de álgebra computacional.

Onde um verificador um a um justifica o uso

Cursos de álgebra usam um verificador de função injetora para que aprendizes confirmem que y igual a dois x mais um é invertível enquanto y igual a x ao quadrado em todos os reais não é, e em seguida retestem x ao quadrado com x maior ou igual a zero e vejam o veredito inverter—uma forma interativa de interiorizar a restrição de domínio antes de formalizar a inversa.

Geradores de exames e plugins LMS precisam de um oráculo determinístico que nunca invente aprovação para uma cúbica com dois pontos de viragem nem falha para uma exponencial pura. Sites de conteúdo que competem por frases como verificador de função um a um ou calculadora do teste da reta horizontal beneficiam de uma ferramenta ao vivo cujo nível gratuito coincide byte a byte com o contrato de automação.

Mantenha pedidos pequenos, fixe os indicadores booleanos e as palavras-chave da razão nos testes, e você obtém decisões reproduzíveis do critério horizontal para deveres, sites curriculares e edge workers sem montar infraestrutura gráfica própria.