Está en la página 1de 6

Instituto Universitario Politcnico Santiago Mario lgebra Lineal

Introduccin

En matemtica una aplicacin lineal (tambin llamada funcin lineal, transformacin lineal u operador lineal) es una aplicacin entre dos espacios vectoriales, que preserva las operaciones de suma de vectores y producto por un escalar. El trmino funcin lineal se usa tambin en anlisis matemtico y en geometra para designar una recta, un plano, o en general una variedad lineal.

En lgebra abstracta una aplicacin lineal es un homomorfismo entre espacios vectoriales o en el lenguaje de la teora de categoras un morfismo sobre la categora de los espacios vectoriales sobre un cuerpo dado. Estos estn clasificados en: 1. Monomorfismo: Si del ncleo es el vector nulo. 2. Epimorfismo: Si 3. Isomorfismo: Si es sobreyectiva (suryectiva). es biyectiva (inyectiva y suryectiva) es inyectiva, o sea si el nico elemento

En este trabajo estudiaremos el Monomorfismo y Epimorfismo.

Instituto Universitario Politcnico Santiago Mario lgebra Lineal

Monomorfismo

Un monomorfismo es un homomorfismo cuyo ncleo es nicamente el neutro de, es decir, cumpliendo equivalentemente un monomorfismo es un homomorfismo inyectivo, es decir, que lleva elementos distintos en imgenes distintas. Ej Si vector nulo. Monomorfismo: f:U V ; la aplicacin es inyectiva si el ncleo de f (Ker(f)) es trivial. es inyectiva, o sea si el nico elemento del ncleo es el

Ej. Deinyectiva:

Para

cualquier

conjunto X y

subconjunto S de X el mapa

de

inclusin S X (el cual enva cualquier elemento s de S para si mismo) es inyectiva. En particular, la funcin identidad X X es siempre inyectiva (y de hecho biyectiva).

La funcin f : R R definida por f(x) = 2x + 1 es inyectiva. La funcin g : R R definida por g(x) = x2 no es inyectiva, porque (por ejemplo) g(1) = 1 = g(1). No obstante, si g se redefine de manera que su dominio es los nmeros reales no negativos [0,+), entonces g es inyectiva.

Instituto Universitario Politcnico Santiago Mario lgebra Lineal

La funcin exponencial exp: R R definida por exp(x) = ex es inyectiva (pero no sobreyectiva, porque no genera nmeros negativos, los cuales no tienen relacin con ningn valor de x). El logaritmo natural En la funcin ln : (0, ) R definida por x ln x es inyectiva. La funcin g : R R definida por g(x) = xn x no es inyectiva, ya que, por ejemplo, g(0) = g(1).

Epimorfismo

Un epimorfismo es un homomorfismo cuya imagen coincide, es decir , cumpliendo equivalentemente es un homomorfismo sobreyectivo. Ej. Epimorfismo: f(B)={f(e1), f(e2),...,f(en)}, sistema generador de f, es epimorfismo si la aplicacin es Sobreyectiva. Supngase que dados g: Y Z y h: Y Z y toda vez que g f = h f, se sigue que g = h. Entonces f es un epimorfismo.

Toda retraccin debe ser un epimorfismo. Tambin es llamado epi.

Un epimorfismo con inverso lateral es llamado un epimorfismo "split".

Instituto Universitario Politcnico Santiago Mario lgebra Lineal

Ej. f(x,y,z) = (3x+2z, x+y+z, 2x-y+z) Solo toma un punto (a,b,c) en R^3 se iguala a la aplicacin:

(a,b,c)=(3x+2z,x+y+z,2x-y+z)

Ej de no EPI La funcin f:V->W definida como f(v)=0 es lineal y no es epi.

Instituto Universitario Politcnico Santiago Mario lgebra Lineal

Conclusin

Anteriormente logramos dar a conocer lo que es el morfismo el cual es una categora viene dada por dos tipos de datos: una clase de objetos y, para cada par de objetos X y Y, un conjunto de morfismos desde X a Y. Los morfismos son frecuentemente representados como flechas entre esos objetos. En el caso de una categora concreta, X y Y son conjuntos de cierto tipo y un morfismo f es una funcin desde X a Y satisfaciendo alguna condicin; este ejemplo origina la notacin f: X Y. Pero no toda categora es concreta, por tanto estos no son los nicos tipos de morfismos. As como, los tipos de morfismos estudiados en este trabajo como lo son el epimorfismo el cual podemos decir que es un sistema generador de f, si la aplicacin es Sobreyectiva. Y el Monomorfismo se dice que es inyectiva, es decir si el nico elemento del ncleo es el vector nulo.

Instituto Universitario Politcnico Santiago Mario lgebra Lineal

Bibliografa

http://es.wikipedia.org/wiki/Morfismo http://rinconmatematico.com/foros/index.php?topic=12899.0%3Bwap2