Suma directa y propiedad universal en espacios vectoriales

Departamento de Matemticas
Universidad de Guadalajara
Sep-2013
ndice general
1. Espacios vectoriales de dimensin nita 2
1.1. Nociones preliminares . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 2
1.1.1. Propiedades de los conjuntos . . . . . . . . . . . . . . . . . . . . . . . . . . . 2
1.1.2. Antecedentes de Algebra moderna . . . . . . . . . . . . . . . . . . . . . . . . 4
1.1.3. Espacios y subespacios vectoriales . . . . . . . . . . . . . . . . . . . . . . . . 5
1.2. La suma directa . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 9
1.3. Propiedad Universal de la suma directa . . . . . . . . . . . . . . . . . . . . . . . . . 10
1
Captulo 1
Espacios vectoriales de dimensin
nita
El propsito de estas notas es auxiliarnos a desglosar y discernir algunos tpicos conectados
con los espacios y subespacios vectoriales, discutidos por el profesor Emilio Lluis Puebla en su
texto ".Algebra Lineal, Algebra Multilineal y K-Teora Algebraica Clsica". Dentro de ese anlisis,
explora la suma directa y la propiedad universal enfocadas al estudio de los espacios vectoriales de
dimensin nita.
1.1. Nociones preliminares
Para movernos en el escenario de los espacios vectoriales, con un enfoque diferente al estudiado
en el algebra lineal elemental, ocupamos recordar y aanzar algunas herramientas de conjuntos y de
algebra moderna bsica. Estas nociones nos ayudarn a discernir y justicar los objetos que actan
en los espacios y subespacios vectoriales.
1.1.1. Propiedades de los conjuntos
En este apartado presentaremos slo aquellas caractersticas de los conjuntos que impactan
en las estructuras de los espacios y subespacios vectoriales. Supondremos que se comprenden las
nociones bsicas de conjuntos.
Al estudiar colecciones de objetos o ideas, raramente se conciben o expresan de manera aislada,
dado que consciente o inconscientemente los asociamos, comparamos, clasicamos o evaluamos. El
anlisis de las conexiones e interacciones que existen entre los diversos elementos de un conjunto en
referencia al mismo, o respecto a otro conjunto, se realiza mediante el apareamiento de sus elementos,
de acuerdo con algn criterio o condicin, esto es nos interesan las relaciones, as como las cosas
relacionadas. Las relaciones son cruciales al examinar los sistemas y estructuras matemticos.
Iniciamos con una propiedad que justica la generacin de sub-estructuras.
Axioma 1.1.1 (de Especicacin) Si es un conjunto y Q(r) es una condicin impuesta
a los elementos del conjunto, entonces existe un subconjunto 1 de cuyos elementos son
exactamente aquellos elementos r para los cuales se cumple la condicin Q(r).
2
Si y 1 son conjuntos, cuyo producto cartesiano es 1, entonces si existe una condicin
Q(r) que aplica a los elementos del producto cartesiano, el axioma de especicacin determina que
hay un subconjunto + de 1 que consiste en todos los pares ordenados r = (a, /) para los
cuales la condicin se cumple Q(r): r + . Esta descripcin expresa una relacin especca entre
los elementos a y / la cual es comn indicar como a+/, o bien como a
<
/.
Denicin 1 Una relacin binaria + del conjunto al conjunto 1 es un subconjunto del producto
cartesiano 1.
Cuando una relacin + es del conjunto hacia el mismo conjunto se llama relacin
binaria dentro de .
El conjunto de donde se adquieren las primeras componentes de una relacin se llama dominio
de la relacin. Por ejemplo, en la denicin anterior el conjunto es el conjunto dominio de la
relacin.
El conjunto de donde se obtienen las segundas componentes de una relacin se llama codominio o
contradominio de la relacin. Por ejemplo, en la denicin antes dada el conjunto 1 es el conjunto
codominio de la relacin.
Figura 1.1.1: Relacin de inclusin
Una propiedad til para nuestro estudio es la relacin de inclusin, observe la gura (1.1.1):
Denicin 2 Un conjunto 1 est relacionado con un conjunto por inclusin si 1 .
Una clase importante de relacin binaria es la funcin o mapeo, observe la gura:
Denicin 3 Sean y 1 conjuntos no vacos. Sea 1 una relacin del conjunto en el
conjunto 1 tal que 1 1 y se satisfacen las condiciones: (1) Para cada a , (a, /) 1
para algn / 1 ; (2) Si (a, /) 1 y (a, /

) 1, entonces / = /

. A esta relacin se le llama

funcin o mapeo y se denota 1 : 1.
Las condiciones en la denicin de una funcin indican que a cada elemento del conjunto dominio
de la funcin se asigna un nico elemento del conjunto codominio 1. Este nico elemento en
3
Figura 1.1.2: Funcin o mapeo
1 asignado al elemento a se denota por 1 (a) y se le llama imagen de a bajo la funcin 1.
Asimismo, la coleccin de todas las imgenes, esto es el conjunto ,() = 1 (a) [ a , donde
,() 1, se le denomina el conjunto recorrido o conjunto de imgenes de la funcin.
Otra relacin binaria, esencial en los sistemas matemticos y emparentada con las funciones, es
la operacin binaria en cuya nocin se generalizan las operaciones tpicas y se explica como sigue
Denicin 4 Una operacin binaria, denotada por ~ , es una funcin denida en un conjunto
o en la forma siguiente
~ : o o o
esto es asigna a cada pareja ordenada (:, :) oo un elemento nico designado como :~: o.
Alrededor del concepto de funcin se gestan las aplicaciones o transformaciones lineales y los
operadores.
1.1.2. Antecedentes de Algebra moderna
Las estructuras bsicas del lgebra abstracta, explcita o mplicitamente, intervienen en la
formacin de otras estructuras. En los espacios vectoriales son tiles los conceptos de mdulo
y campo. Vamos a explorar las nociones de estos objetos, puesto que se ocuparn en los temas
siguientes.
Dado que la estructura de grupo sustenta las nociones de anillo, mdulo y campo, revisemos su
concepto.
Denicin 5 Un conjunto no vaco de elementos G se dice que forma un grupo si en G est
denida una operacin binaria que denotamos por ~ tal que se satisfacen las leyes:
1. Si a, / G entonces a ~/ G (Ley de cerradura).
2. Si a, /, c G implica que a ~(/ ~c) = (a ~/) ~c (Ley asociativa).
3. Existe un elemento c G tal que a ~c = c ~a = a para todo a G (Elemento identidad
de G).
4
4. Para todo a G existe un elemento a
1
G tal que a ~a
1
= a
1
~a = c (Existencia
de inversos en G).
Una clase de grupos muy especiales, que fundamentan los objetos que se manejarn, son los
grupos conmutativos.
Denicin 6 Un grupo G se denomina abeliano o conmutativo si para cualesquier a, / G se
tiene: a ~/ = / ~a.
Cuando se ensamblan dos operaciones binarias en un conjunto se forma una trada. Con tal
arreglo algebraico surge una estructura llamada anillo, veamos su caracterizacin.
Denicin 7 Un conjunto no vaco 1 se dice que es un anillo si en 1 estn denidas dos
operaciones: una llamada suma, denotada por + ; y la otra llamada multiplicacin, denotada por
. Tales que para cualesquiera elementos a, /, c 1 se satisfacen las leyes:
1. a +/ 1.
2. a +/ = / +a.
3. a + (/ +c) = (a +/) +c.
4. Existe un elemento 0 1 tal que a + 0 = a para toda a 1 .
5. Para toda a 1 existe un (a) 1 tal que a + (a) = 0.
6. a / 1.
7. a (/ c) = (a /) c.
8. a (/ +c) = a / +a c, as como (a +/) c = a c +/ c.
d
Denicin 8 Un campo 1 es un anillo conmutativo con divisin
a
1.1.3. Espacios y subespacios vectoriales
Iniciaremos examinando las ideas bsicas de los espacios vectoriales.
Un ente que permear en todos los objetos y estructuras de los espacios vectoriales es el campo
de escalares, llamado simplemente campo cuando no exista algn motivo de confusin. El concepto
escalar es la denominacin usada para referirse a los nmeros de modo genrico, dado que se emplean
diferentes clases de nmeros, como el conjunto de todos los nmeros reales o el conjunto de todos
los nmeros complejos.
5
Denicin 9 Un espacio vectorial \ sobre un campo de escalares 1 consiste en un conjunto
no vaco de elementos llamados vectores con dos operaciones binarias : Una nombrada adicin
+ : \ \ \
tal que para cada pareja de vectores (r, j) \ \ existe un nico elemento r +j \, llamada
la suma de r e j, esto es
(r, j) r +j
Y la otra denominada multiplicacin escalar
j : 1 \ \
tal que para todo a 1 y cada vector r \ existe un nico elemento ar \, llamado el
producto del escalar a y el vector r, esto es
(a, r) j(a, r) = ar
de modo que los siguientes postulados se cumplen:
vs1 Para todo r, j \ se cumple r +j = j +r.
vs2 Para todo r, j, . \ se cumple (r +j) +. = r + (j +.).
vs3 Existe un elemento en \ denotado por 0 tal que r + 0 = r para cada r \ .
vs4 Para cada r \ existe un elemento denotado como r tal que r + (r) = 0.
vs5 Para cada r \ se cumple 1r = r.
vs6 Para cada escalar a 1 y cada par de vectores r, j \ se cumple a (r +j) = ar +aj.
vs7 Para cada par de escalares a, / 1 y cada vector r \ se cumple (a +/) r = ar +/r.
vs8 Para cada par de escalares a, / 1 y cada vector r \ se cumple (a/) r = a (/r) .
Cuando se examinan los subconjuntos de los espacios vectoriales, encontramos que algunos de
estos subconjuntos poseen la misma estructura que el conjunto del espacio vectorial bajo con-
sideracin, es decir satisfacen los postulados enunciados anteriormente sobre el mismo campo de
escalares, a estos objetos se les llama subespacios vectoriales. del espacio vectorial considerado.
Otro modo equivalente de describir estos objetos es como sigue:
Denicin 10 Sea \ un espacio vectorial sobre el campo 1. Un subconjunto \ de \ es un
subespacio vectorial de \ sobre el campo 1 si se cumplen las siguientes condiciones: 1) El
vector 0 \ pertenece tambin a \ ; 2) si los vectores n, \ entonces el vector n+ \
; 3) si a 1 y \ entonces a \.
Un atributo esencial de los espacios vectoriales es su dimensin, la cual est asociada con la
cardinalidad de un conjunto importante: la base del espacio vectorial.
Denicin 11 Sea \ un espacio vectorial. Una base de \ es un conjunto de vectores linealmente
independiente de \ que genera al espacio \ .
6
Un espacio vectorial puede tener varias bases. El nmero de vectores de una base cualquiera de
un espacio vectorial \ determina la dimensin del espacio vectorial y se denota como dim(\ ).
Por convencin, el espacio vectorial cero 0 tiene dimensin cero, esto es dim(0) = 0.
Antes de abordar otros temas, vamos a resolver el problema 1.11 y el problema 2.11 del texto
del prof. Emilio. ya que sus resultados los usa para justicar ulteriores propiedades.
Problema 1.1.2 Sea 1 un campo y \ un espacio vectorial sobre 1. Considere 1 como un
espacio vectorial sobre s mismo. Pruebe que dado un vector \, existe una funcin lineal nica
/: 1 \ tal que /(1) = . (Esta funcin est dada por /(a) = a, con a 1)
Solucin 1.1.3 Asumamos que 1 es un campo y tambin un espacio vectorial sobre s mismo.
Sea \ un espacio vectorial sobre el campo 1. Como 1 es un espacio vectorial, sus elementos
son vectores y cualquiera de ellos puede generar el espacio 1, en vista de esto sea , = / una
base para 1. Luego, para cada vector a 1 , hay un escalar nico / 1 tal que a = //. Ahora
en el espacio vectorial \, sea \ un vector arbitrario, como el espacio vectorial \ es sobre
el campo 1 no hay ambiguedad si denimos la funcin
/(a) = a
puesto que cada a es un vector y escalar nico. Ahora sean a, ba 1 vectores arbitrarios, luego
a +ba 1 aplicando la funcin tenemos
/(a +ba) = (a +ba) = a +ba = /(a) +/(ba)
Por otro lado sea el vector a 1 con el escalar . 1 entonces el vector .a 1, al aplicar
la funcin se obtiene
/(.a) = .a = . (a) = ./(a)
Por tanto tenemos la existencia de una funcin lineal. Ms an, si para los vectores a, c 1
ocurriese que
/(a) = a, y que /(c) = a, = /(a) /(c) = a a = 0, = /(a) = /(c) .
Esto demuestra que la funcin lineal es nica. Adems por las propiedades de las aplicaciones
lineales y de campo
/(a) = a, = a/(1) = a, = /(1) =
que es lo que se deseaba demostrar.
a
Problema 1.1.4 Sean
1
, ,
n
vectores de un espacio vectorial \ sobre un campo 1 . Se
dice que estos vectores son linealmente dependientes si existen escalares c
1
, , c
n
1 , no todos
iguales a cero, tales que
c
1

1
+ +c
n

n
=
n
X
i=1
c
i

i
= 0.
Tambin se dice que un conjunto de vectores es linealmente independiente si no es linealmente
dependiente. Probar que un conjunto nito de vectores de \ es linealmente dependiente si, y slo
si, algn vector del conjunto es una combinacin lineal de los restantes.
7
Solucin 1.1.5 Parte = : Sea \ =
1
, ,
n
, : _ 2 un conjunto nito de vectores lineal-
mente dependientes sobre un campo 1. En consecuencia, existen escalares c
1
, , c
n
1 , no
todos iguales a cero tales que
c
1

1
+ +c
n

n
= 0
dado que algunos de los coecientes deben ser distintos de cero, asumamos sin prdida de generalidad
que c
1
,= 0, por lo cual podemos despejar
1
que se obtiene como la combinacin lineal

1
=
c
2
c
1

2

c
3
c
1

3
. . .
c
n
c
1

n
en vista de esto,el vector
1
depende de los dems vectores del conjunto.
Parte = : Sea
1
\ un vector que depende de los otros vectores del conjunto. Por tal motivo,

1
se obtiene como la combinacin lineal

1
= c
2

2
+ +c
n

n
esto implica que

1
+c
2

2
+ +c
n

n
= 0
ya que el coeciente de
1
es 1 por ello hay al menos un coeciente diferente de cero. Por
tanto el conjunto \ es linealmente dependiente.
Entre las ideas esenciales a utilizar en los espacios vectoriales estan los homomorsmos de
espacios vectoriales. Un homomorsmo es una funcin que preserva las operaciones de la estructura
algebraica donde acta.
Denicin 12 Sean \ y \ espacios vectoriales sobre un campo 1. Una funcin T : \
\ se denomina homomorsmo o bien transformacin lineal de \ en \, si para
cualesquiera vectores r, j \ y cualesquier escalares a 1 se satisfacen los siguientes requisitos:
1) T (r +j) = T (r) +T (j) ; 2) T (ar) = aT (r).
Denicin 13 Sean \ y \ espacios vectoriales sobre un campo 1. Sea T : \ \ una
transformacin lineal. Se dice que: 1) La aplicacin lineal T es un monomorsmo si T es
inyectiva; 2) La aplicacin lineal T es un epimorsmo si T es sobreyectiva; 3) La aplicacin
lineal T es un isomorsmo si T es biyectiva.
Denicin 14 Si \ es un espacio vectorial sobre el campo 1, un operador lineal sobre \ es
una transformacin lineal del espacio vectorial \ en el espacio vectorial \ .
Los espacios vectoriales ms accesibles de manejar, y para aplicar las transformaciones lineales,
son los espacios vectoriales de dimensin nita.
Denicin 15 Un espacio vectorial \ es llamado de dimensin nita si tiene una base que
consiste de un nmero nito de vectores.
a
d
8
1.2. La suma directa
La nocin de suma directa se expone entre otros en el libro de Halmos pag 28, en el libro de
Artin pag 102, en el libro de Lang pag 36, en el libro de Greub pags 24 y 56. Vamos a parfrasear
estas ideas.
En esta informacin se indica que hay un mecanismo de construccin de los espacios vectoriales
va los subespacios, de manera anloga al mtodo que trata con la independencia lineal de los
vectores y la generacin del espacio vectorial donde residen.
Denicin 16 Sean l y \ dos espacios vectoriales sobre el mismo campo 1 , su suma
directa externa es el espacio vectorial \, denotado como l \, cuyos elementos son todos los
pares ordenados < n, l \ donde n l, \, y que tiene asignadas las operaciones
lineales usuales, denidas para cualesquiera vectores < n
1
,
1
, < n
2
,
2
\ = l \, as como
escalares c
1
, c
2
1 por la expresin
c
1
< n
1
,
1
+c
2
< n
2
,
2
= < c
1
n
1
+c
2
n
2
, c
1

1
+c
2

2

Observemos que el conjunto de todos los vectores que viven en \ = l\ , de la forma < n, 0 ,
es un subespacio vectorial de \. Para estos elementos, existe la correspondencia < n, 0 n la
cual muestra que este subespacio es isomorfo con el espacio vectorial l. De modo similar, sucede
para todos los vectores de la forma < 0, \ que forman un subespacio de \ y tienen
la correspondencia < 0, , esto maniesta que ese subespacio es isomorfo con el espacio
vectorial \ . Bajo este punto de vista, l \ y \ \.
Ahora surge la interrogante Cul es la relacin de los espacios vectoriales l y \ considerados
como subespacios del espacio vectorial \? la denicin siguiente responde a esta cuestin.
Denicin 17 Sean l y \ subespacios vectoriales del espacio vectorial \. Si todo elemento
n \ puede formarse de modo nico como la suma de un elemento n l con un elemento
\, esto es n = n + , de manera que l y \ generan al espacio \, lo cual se denota
\ = l \, siempre y cuando l \ = O , entonces se dice que \ es la suma directa interna
de l y \.
Avanzando un paso ms en la generalizacin de estos objetos consideremos que un espacio
vectorial \ posee los subespacios vectoriales \
1
, ..., \
n
. Tambin consideremos que los vectores
\ se pueden escribir como la suma
= n
1
+ +n
n
, donde n
i
\
i
, 1 _ i _ :
Entonces el conjunto de todos estos vectores se denomina la suma de los subespacios o el conjunto
generado por los subespacios, lo cual es denotado como
n
X
i=1
\
i
= \
1
+ +\
n
= \ [ = n
1
+ +n
n
, con n
i
\
i
, 1 _ i _ : .
Ahora bien, si \
1
, ..., \
n
son subespacios vectoriales de un espacio vectorial \, se llamar a
este espacio vectorial la suma directa interna de los subespacios \
1
, ..., \
n
denotada por
\ = \
1
\
n
9
si \ es el conjunto generado por los subespacios
\ =
n
X
i=1
\
i
y ocurre que
\
j

n
X
i6=j
\
i
= 0 , para todo ,, 1 _ , _ :.
1.3. Propiedad Universal de la suma directa
Una idea de un elemento universal se da en el libro de MacLane & Birkho en pags 134 y 148,
en el texto de Lang pag 37, en el libro de Bourbaki pag 450.
Antes de proseguir, conviene aclarar las nociones de diagrama conmutativo y de la funcin
inclusin, las cuales aparecen en la discusin de la propiedad universal.
Diagrama conmutativo
Figura 1.3.1: Diagrama conmutativo
En la teora de categoras, un diagrama conmutativo es un diagrama de objetos conocidos
como vrtices, asociados a morsmos designados por echas o bordes (en nuestro anlisis los mor-
smos son funciones), tal que todo trayecto dirigido dentro del diagrama, con los mismos vrtices
iniciales y terminales, llevan al mismo resultado por composicin. Por ejemplo, la gura (1.3.1)
muestra que / ) = / q con un diagrama conmutativo cuadrado.
Funcin de inclusin
Este concepto se puede consultar en el lgebra de MacLane &Birkho pag 5.
La funcin de inclusin recibe tambin los nombres de mapeo de inclusin,o funcin de
insercin, o de inyeccin cannica. El profesor MacLane hace una aclaracin de esta terminologa,
indica que la inclusin es una relacin y da origen a la funcin de insercin.
Sean , 1 un par de conjuntos tal que 1 (esta es la relacin de inclusin). Entonces en
la inclusin, la funcin de insercin ` : 1 es la regla que enva cada elemento r hacia
10
Figura 1.3.2: Mapeo de inclusin
el mismo elemento r considerado como elemento del conjunto 1 . Esto es
` : 1, r `(r) = r
Esta funcin y otras funciones inyectivas anlogas de varias subestructuras son llamadas algunas
veces "Inclusiones o Inyecciones naturales".
Dado cualquier morsmo / entre los objetos \ y \, si existe un mapeo de inclusin dentro
de su dominio, digamos la insercin i : \ \ , entonces se puede formar la restriccin /
i
del
morsmo /.
Figura 1.3.3: Propiedad universal
Propiedad Universal
La propiedad universal de la suma directa se relaciona con las transformaciones lineales de los
espacios vectoriales, veamos su descripcin.
Sea

,
j
:
j
1

una familia de homomorsmos de espacios vectoriales.

11
Proposicin 1.3.1 Si ,
j
: \
j
\ son las transformaciones lineales de espacios vectoriales y
las funciones `
j
: \
j
\
i
son las inclusiones con i 1 = 1, . . . , : , entonces existe una
transformacin lineal nica , :
n
i=1
\
i
\ tal que , `
j
= ,
j
con , 1.
Esta propiedad indica la equivalencia de las transformaciones ,
j
(\
j
) = \ = , `
j
y se puede
representar mediante el diagrama conmutativo de la gura (1.3.3).
Un resultado importante que emplea la propiedad universal y la suma directa es la funcin
cannica:
Sea la suma directa 1
n
=
n
j=1
1
j
con cada 1
j
= 1, donde 1 es un campo jo.
Admitamos que 1 es un espacio vectorial sobre s mismo. Sea adems `
i
: 1
i

n
j=1
1
j
la
inclusin natural, dada por `(a) = (0, . . . , a, . . . , 0) donde a est en la posicin i. Por el
problema 1.11 y como `
i
es lineal, la inclusin queda determinada por su valor en 1 , esto
es, `(1) = (0, . . . , 1, . . . , 0) = c
i
. Ahora observemos que cada n
n
j=1
1
j
puede escribirse en
forma nica como n = a
1
c
1
+ a
2
c
2
+ + a
n
c
n
con a
j
1
j
. Denotemos con q la funcin
q : 1, 2, . . . , :
n
j=1
1
j
, esto es i c
i
dada por q (i) = c
i
. Aqu q es simplemente una
funcin.
w
12
Bibliografa
[1] Artin, M. : ".Algebra", Prentice Hall, New Jersey (1991).
[2] Bourbaki, N. : .
E l
ements of mathematics, Algebra I, Chapters 1-3 ", Addison Wesley , Great Britain
(1974).
[3] Friedberg, S.H., Insel, A.J., Spence, L.E. : ". Algebra Lineal", Publicaciones Cultural, Mxico (1982).
[4] Greub, W.H. : "Linear Algebra", Springer, New York (1967).
[5] Halmos, P.R. : "Finite-Dimensional Vector Spaces", Springer, Reprint 2nd edition (2000)
[6] Hernndez Magdaleno, A.M., Castillo Ramrez, A. : "lgebra moderna, anillos y campos", Editorial
Universitaria, Universidad de Guadalajara (2012).
[7] Herstein, I.N. : "lgebra Moderna", Trillas, Mxico (1976)
[8] Homan, k., Kunze, R. : "Linear Algebra", Prentice Hall, Second edition (1971).
[9] Lang, S. : ".Algebra ", Springer, Third edition, New York (2002).
[10] MacLane, S. : ategories for the Working Mathematician", Springer,
[11] MacLane, S., Birkho, G. : ".Algebra", AMS Chelsea Publishing, Third edition (1999).
13