Documenti di Didattica
Documenti di Professioni
Documenti di Cultura
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 / = /
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