En matemáticas, unha función sobrexectiva (tamén coñecida como sobrexección ou función onto (en inglés) ) é unha función tal que, para cada elemento do codominio da función, existe un elemento no seu dominio tal que . Noutras palabras, para unha función , o codominio é a imaxe do dominio da función. Non é necesario que sexa único; a función pode mapear un ou máis elementos de co mesmo elemento de .

O termo sobrexectivo e os termos relacionados inxectivo e bixectivo foron introducidos por Nicolas Bourbaki,. un grupo de matemáticos principalmente franceses do século XX que, baixo este pseudónimo, escribiron unha serie de libros que presentaban unha exposición da matemática avanzada moderna, a partir de 1935.

Calquera función induce unha sobrexección ao restrinxir o seu codominio á imaxe do seu dominio. Toda función sobrexectiva ten un inverso pola dereita asumindo o axioma de escolla, e toda función con inverso pola dereita é necesariamente unha sobrexección. A composición das funcións sobrexectivas é sempre sobrexectiva. Calquera función pode descompoñerse nunha sobrexección e unha inxección.

Definición Unha función sobrexectiva é unha función cuxa imaxe é igual ao seu codominio. De forma equivalente, unha función con dominio e codominio é sobrexectivo se para cada en existe polo menos un en con .

Simbólicamente,

Se , entón dise que é sobrexectiva se

.

Exemplos

Para calquera conxunto X, a función de identidade idX sobre X é sobrexectiva. A función definida por f(n) = n mod 2 (é dicir, os enteiros pares están asignados a 0 e os impares a 1) é sobrexectiva. A función definida por f(x) = 2 x + 1 é sobrexectivo (e mesmo bixectiva), porque para cada número real y, temos un x tal que f(x) = y: un x apropiado é (y − 1)/2. A función definido por f (x) = x 3 − 3x é sobrexectiva, porque a preimaxe de calquera número real y é o conxunto solución da ecuación polinómica cúbica x3 − 3x − y = 0, e cada polinomio cúbico con coeficientes reais ten polo menos unha raíz real. Non obstante, esta función non é inxectiva (e, polo tanto, non é bixectiva), xa que, por exemplo, a preimaxe de y = 2 é { x = −1, x = 2}. (De feito, a preimaxe desta función para cada y, −2 ≤ y ≤ 2 ten máis dun elemento.) A función definida por non é sobrexectiva, xa que non existe un número real x tal que x 2 = −1. Porén, a función definido por (co codominio restrinxido aos números positivos) é sobrexectiva, xa que para cada y no codominio real non negativo Y, hai polo menos un x no dominio real X tal que . A función de logaritmo natural é sobrexectiva e incluso bixectiva (mapeamento do conxunto de números reais positivos ao conxunto de todos os números reais). A súa inversa, a función exponencial, se se define no conxunto de números reais como dominio e codominio, non é sobrexectiva (xa que o seu rango é o conxunto de números reais positivos). A exponencial da matriz non é sobrexectiva cando se ve como un mapa dende o espazo de todas as matrices n × n ata si mesma. Porén, normalmente defínese como un mapa dende o espazo de todas as matrices n × n ata o grupo linear xeral de grao n (é dicir, o grupo de todas as matrices invertibles n × n). A proxección dun produto cartesiano a un dos seus factores é sobrexectiva, a non ser que o outro factor sexa baleiro. Nun videoxogo 3D, os vectores proxéctanse nunha pantalla plana 2D mediante unha función sobrexectiva.

Propiedades Unha función é bixectiva se e só se é á vez sobrexectiva e inxectiva.

As sobrexeccións como funcións invertíbeis pola dereita A función dise que é inversa pola dereita da función se f(g(y)) = y para cada y en Y (g pódese desfacer mediante f). Noutras palabras, g é unha inversa pola dereita de f se a composición de g e f nesa orde é a función de identidade no dominio Y de g. A función g non precisa ser unha inversa completa de f porque a composición na outra orde, , pode non ser a función de identidade no dominio X de f . Noutras palabras, f pode desfacer ou "reverter" g, mais non necesariamente pode ser invertido por el.

Se é sobrexectivo e B é un subconxunto de Y, entón f ( ) = B . Así, B pódese recuperar da súa preimaxe .

Por exemplo, na primeira ilustración da galería, hai algunha función g tal que g(C) = 4. Tamén hai algunha función f tal que f (4) = C. Non importa que g non sexa único (tamén funcionaría se g(C) é igual a 3); só importa que f "reverte" g.

As sobrexeccións como epimorfismos unha función é sobrexectiva se e só se é cancelativa pola dereita: dadas as funcións , sempre que g o f = h o f, daquela g = h. Esta propiedade formúlase en función das funcións e da súa composición e pódese xeneralizar á noción máis xeral dos morfismos dunha categoría e da súa composición. Os morfismos de cancelación pola dereita chámanse epimorfismos. En concreto, as funcións sobrexectivas son precisamente os epimorfismos da categoría de conxuntos.

Calquera morfismo cunha inversa pola dereita é un epimorfismo, mais o contrario non é certo en xeral. Unha g inverso pola dereita dun morfismo f chámase sección de f . Un morfismo con inverso pola dereita chámase retracción ou epimorfismo dividido.

As sobrexeccións como relacións binarias Unha función sobrexectiva con dominio X e codominio Y é unha relación binaria entre X e Y que é única pola dereita e total pola esquerda e pola dereita.

Cardinalidade do dominio dunha sobrexección A cardinalidade do dominio dunha función sobrexectiva é maior ou igual á cardinalidade do seu codominio: se é unha función sobrexectiva, entón X ten polo menos tantos elementos como Y, no sentido de números cardinais. (A demostración apela ao axioma de escolla para mostrar que unha función satisfai f(g(y)) = y para todo y en Y existe. Vese doadamente que g é inxectiva, polo que a definición formal de |Y| ≤ |X| está satisfeita.)

Composición e descomposición A composición das funcións sobrexectivas é sempre sobrexectiva: se f e g son ambas as dúas sobrexectivas, e o codominio de g é igual ao dominio de f, entón é sobrexectiva. Viceversa, se é sobrexectiva, entón f é sobrexectiva (mais g, a función aplicada primeiro, non ten por que sela). Estas propiedades xeneralízanse desde sobrexeccións na categoría de conxuntos ata calquera epimorfismo de calquera categoría.

Sobrexección inducida e bixección inducida Calquera función induce unha sobrexección ao restrinxir o seu codominio ao seu rango. Calquera función sobrexectiva induce unha bixección definida nun cociente do seu dominio ao contraer todos os argumentos que se asignan a unha imaxe fixa determinada. Máis precisamente, toda sobrexección pódese factorizar como unha proxección seguida dunha bixección do seguinte xeito. Sexan A /~ as clases de equivalencia de A baixo a seguinte relación de equivalencia : x ~ y se e só se f(x) = f (y). De forma equivalente, A /~ é o conxunto de todas as preimaxes baixo f. Sexa P(~) : A → A /~ o mapa de proxección que envía cada x en A á súa clase de equivalencia [x] ~, e sexa fP: A /~ → B a función ben definida dada por fP ([ x ] ~ ) = f ( x ). Daquela f = fP o P (~).

Galería

Notas

Véxase tamén

Bibliografía

Outros artigos Bixección, inxección e sobrexección Mergullo (matemáticas) Recobremento (topoloxía) Fibrado Sección e retracción (teoría das categorías)

Categoría:Funcións Categoría:Teoría de conxuntos