Dejar
[math] f: X \ longrightarrow Y [/ math] donde [math] X [/ math] y [math] Y [/ math] son conjuntos.
Decimos que [math] f [/ math] es una función (o mapeo) sobre, o sobreyectiva si [math] \ forall y \ in Y \ quad \ exist x \ in X: f (x) = y [/ matemática] (que equivale a decir que cada elemento en [matemática] Y [/ matemática] es la imagen de algún elemento [matemática] x \ en X [/ matemática])
En el contexto del álgebra lineal, esta misma definición se aplica a las transformaciones lineales (asignaciones lineales) porque son funciones [matemáticas] f [/ matemáticas] de la siguiente forma:
- Si a + b + c = 0, ¿cuál es el valor de a ^ 3 + b ^ 3 + c ^ -3abc?
- La velocidad de una partícula que se mueve a lo largo de una línea viene dada por v (t) = (e ^ t) sin (e ^ t) para el intervalo 0 a pi / 2. ¿Cómo puedo solucionar esto?
- ¿Cómo se resuelve la integral [math] \ displaystyle \ int (\ ln (x ^ {6})) ^ {2} dx [/ math]?
- Cómo resolver 2x ^ 2 + 6x + 24 = 0
- ¿Por qué es [math] \ log_a {b} = \ frac {\ log {b}} {\ log {a}} [/ math]?
[matemática] f: X \ longrightarrow Y [/ matemática] donde [matemática] X [/ matemática] y [matemática] Y [/ matemática] son espacios vectoriales sobre un campo [matemática] K [/ matemática]
y que tienen las siguientes dos propiedades:
[matemática] f (x + y) = f (x) + f (y) [/ matemática] para [matemática] x \ en X [/ matemática] y [matemática] y \ en Y [/ matemática]
[matemática] f (kx) = kf (x) [/ matemática] para [matemática] x \ en X [/ matemática] y [matemática] k \ en K [/ matemática]
Entonces, en inglés, una transformación lineal es sobreyectiva si para todos los vectores en el espacio vectorial [matemática] Y [/ matemática], existe un vector en el espacio vectorial [matemática] X [/ matemática] que se mapea por [matemática] f [/ math] a un vector en [math] Y [/ math].