teoría de conxuntosfunciónsálxebramatemáticas discretas
Funcións unidireccionais vs. funcións sobre unidade
Aínda que ambos termos describen como se mapean os elementos entre dous conxuntos, abordan diferentes lados da ecuación. As funcións un a un (inxectivas) céntranse na singularidade das entradas, garantindo que non haxa dous camiños que leven ao mesmo destino, mentres que as funcións sobrexectivas (sobrexectivas) garanten que se alcancen realmente todos os destinos posibles.
Destacados
Un a un garante a distinción; onto garante a completitude.
Unha función que é á vez uniuntiva e sobreuntiva chámase bixección.
A proba de liña horizontal identifica funcións un a un dunha ollada.
As funcións onto requiren que o rango e o codominio sexan idénticos.
Que é Un a un (inxectivo)?
Un mapeo onde cada entrada única produce unha saída distinta e única.
Formalmente chamada función inxectiva na teoría de conxuntos.
Supera a proba da liña horizontal cando se representa nun plano de coordenadas.
Dous elementos diferentes no dominio non comparten a mesma imaxe no codominio.
O número de elementos no dominio non pode superar o número no codominio.
Esencial para crear funcións inversas porque a aplicación pódese invertir sen ambigüidade.
Que é Sobre (sobrexectivo)?
Un mapeo onde cada elemento do conxunto de destino está cuberto por polo menos unha entrada.
Formalmente coñecida como función sobrexectiva.
O rango da función é exactamente igual ao seu codominio.
Permítese que varias entradas apunten á mesma saída sempre que non se omita nada.
O tamaño do dominio debe ser maior ou igual ao tamaño do codominio.
Garante que cada valor do conxunto de saída teña polo menos unha "preimaxe".
Táboa comparativa
Característica
Un a un (inxectivo)
Sobre (sobrexectivo)
Nome formal
Inxectiva
Sobrexectiva
Requisito básico
Saídas únicas para entradas únicas
Cobertura total do obxectivo establecido
Proba de liña horizontal
Debe pasar (interseccións como máximo unha vez)
Debe intersecarse polo menos unha vez
Enfoque nas relacións
Exclusividade
Inclusión
Definir restrición de tamaño
Dominio ≤ Codominio
Dominio ≥ Codominio
Saídas compartidas?
Estritamente prohibido
Permitido e común
Comparación detallada
O concepto de exclusividade
Unha función individual é coma un restaurante de alta gama onde cada mesa está reservada para exactamente unha persoa; nunca verás dous grupos diferentes compartindo o mesmo asento. Matematicamente, se $f(a) = f(b)$, entón $a$ debe ser igual a $b$. Esta exclusividade é o que permite que estas funcións se "desfagan" ou invertan.
O concepto de cobertura
Unha función onto preocúpase máis por non deixar pedra sobre pedra no obxectivo establecido. Imaxina un autobús onde cada asento debe estar ocupado por polo menos unha persoa. Non importa se dúas persoas teñen que sentarse no mesmo banco (moitos a un), sempre que non quede un só asento baleiro no autobús.
Visualización con diagramas de mapeo
Nun diagrama de mapas, a unidade identifícase mediante frechas individuais que apuntan a puntos individuais; nunca converxen dúas frechas. Para unha función onto, cada punto do segundo círculo debe ter polo menos unha frecha que apunte a el. Unha función pode ser ambas as dúas cousas, o que os matemáticos chaman bixección.
Diferenzas gráficas
Nun gráfico estándar, compróbase o estado un a un deslizando unha liña horizontal cara arriba e cara abaixo; se toca a curva máis dunha vez, a función non é un a un. Para comprobar se "sobre" hai que observar a extensión vertical do gráfico para garantir que abrangue todo o rango previsto sen lagoas.
Vantaxes e inconvenientes
Un a un
Vantaxes
+Permite funcións inversas
+Sen colisións de datos
+Conserva a distinción
+Máis fácil de reverter
Contido
−Pode deixar as saídas sen usar
−Require un codominio maior
−Regras de entrada estritas
−Máis difícil de conseguir
Cara a
Vantaxes
+Abrangue todo o conxunto de obxectivos
+Sen espazo de saída desperdiciado
+Máis doado axustar conxuntos pequenos
+Utiliza todos os recursos
Contido
−Perda de singularidade
−Non sempre se pode invertir
−As colisións son comúns
−Máis difícil de rastrexar
Conceptos erróneos comúns
Lenda
Todas as funcións son unha a unha ou intercambiables.
Realidade
Moitas funcións non son ningunha das dúas. Por exemplo, $f(x) = x^2$ (de todos os números reais a todos os números reais) non é unidireccional porque $2$ e $-2$ dan como resultado $4$, e non é unidireccional porque nunca produce números negativos.
Lenda
Un a un significa o mesmo que unha función.
Realidade
Unha función só require que cada entrada teña unha saída. Un a un é unha capa adicional de "strito" que impide que dúas entradas compartan esa saída.
Lenda
Depende só da fórmula.
Realidade
A función *on* depende en gran medida de como definas o conxunto de obxectivos. A función $f(x) = x^2$ é *on* se defines o obxectivo como "todos os números non negativos", pero falla se o obxectivo son "todos os números reais".
Lenda
Se unha función é sobre, debe ser reversible.
Realidade
A reversibilidade require un estado un a un. Se unha función está activa pero non é un a un, pode que saibas que saída tes, pero non saberás cal das múltiples entradas a creou.
Preguntas frecuentes
Cal é un exemplo sinxelo dunha función unidireccional?
función lineal $f(x) = x + 1$ é un exemplo clásico. Cada número que introduzas darache un resultado único que ningún outro número pode producir. Se obtés unha saída de 5, sabes con certeza que a entrada foi 4.
Cal é un exemplo sinxelo dunha función onto?
Considere unha función que relaciona cada residente dunha cidade co edificio no que vive. Se cada edificio ten polo menos unha persoa no seu interior, a función aplícase ao conxunto de edificios. Non obstante, non é un a un porque moita xente comparte o mesmo edificio.
Como funciona a proba da liña horizontal?
Visualiza unha liña horizontal que se move cara arriba e cara abaixo pola túa gráfica. Se esa liña toca a función en dous ou máis lugares á vez, significa que eses diferentes valores de x comparten un valor de y, o que demostra que non é un a un.
Por que son importantes estes conceptos na informática?
Son vitais para o cifrado de datos e o hash. Un bo algoritmo de cifrado debe ser un a un para que poidas descifrar a mensaxe de volta á súa forma única orixinal sen perder datos nin obter resultados mixtos.
Que ocorre cando unha función é á vez uniuntiva e sobreuntiva?
Isto é unha "bixección" ou unha "correspondencia biunívoca". Crea un emparellamento perfecto entre dous conxuntos onde cada elemento ten exactamente un compañeiro no outro lado. Este é o estándar de ouro para comparar os tamaños de conxuntos infinitos.
Pode unha función ser sobre pero non unidireccional?
Si, ocorre a miúdo. $f(x) = x^3 - x$ aplícase a todos os números reais porque abrangue desde o infinito negativo ata o infinito positivo, pero non é un a un porque cruza o eixe x en tres puntos diferentes (-1, 0 e 1).
Cal é a diferenza entre rango e codominio?
codominio é o conxunto "obxectivo" que se anuncia ao principio (como "todos os números reais"). O rango é o conxunto de valores que a función alcanza realmente. Unha función só está activa cando o rango e o codominio son idénticos.
É $f(x) = \sin(x)$ un a un?
Non, a función seno non é en absoluto unidireccional porque repite os seus valores cada $2\pi$ radiáns. Por exemplo, $\sin(0)$, $\sin(\pi)$ e $\sin(2\pi)$ son todos iguais a 0.
Veredicto
Emprega unha correspondencia un a un cando precises asegurarte de que cada resultado se poida rastrexar ata un punto de partida específico e único. Escolle unha correspondencia onto cando o teu obxectivo sexa garantir que se utilicen ou se poidan alcanzar todos os valores de saída posibles dun sistema.