tiene estructura de espacio vectorial si cumple las siguientes propiedades +)es un grupo abeliano
K x ! en el conjunto
#eri$icando las siguientes propiedades ".1. Distributi#a respecto de la suma de #ectores ".". Distributi#a respecto de la suma de escalares
".'. (roducto por el elemento unidad del cuerpo Siguiendo esta de$inicin de lo que es un espacio #ectorial, a partir de las propiedades que todos sabemos de la suma y producto de n)meros reales (sabemos que
son grupos), se demuestra muy $,cilmente que, por ejemplo, el espacio de suma de #ectores y producto de un escalar con un tenemos
.
%
ejemplos de espacios vectoriales 1) ") !ntonces por , la recta num/rica, con las operaciones -abituales de adicin y multiplicacin. Sea N el conjunto de los n)meros naturales. n 0 1 v 0 (x , x , . . . , x )2x 1 " n i , i 3 1, n 4 5 6, con la adicin y multiplicacin por escalares de$inidas
(x1, x",7, xn )+(y1,y",7,yn ) 0 (x1+y1, x"+y",7, xn+yn ) ( x1, x",7, xn ) 0 ( x1 , x" ,7, xn ) %) !l conjunto de las $unciones reales continuas de$inidas sobre un inter#alo 3 a , b 4 !s decir, C a ,b 01$2$ es continua en 3a,b46. 8as operaciones son ( $+ g) ( x) 0 $( x ) + g ( x ) ( $) ( x) 0 $( x) $, g C a ,b , x 3 a , b 4,
o o
Coa ,b .
!ste es uno de los espacios de $unciones m,s importante en &n,lisis 9atem,tico. mxn ') , el espacio de las matrices reales de orden mxn 0 1 & & es una matri: real de orden mxn6. 8as operaciones son &+;0<,aij+bij0cij , ; 0 &, b i j 0 a i j , &, ; , < =) m x n , ( i , j ) [ 1 , m4 x 3 1, n 4,
m xn,
con
m,
N.
!l espacio de las sucesiones reales l" 0 1v 0 (x1, x", .. , xn, ...): i) ii)
x
n =1
" n
(x1 , x" , ...,xn , ...) + ( y1 , y" , ...,yn , ...) 0 (x1 + y1 , x" + y" , ...,x + yn , ...) (x1 , x" , ..., xn , ...) 0 ( x1 , x" , ... , xn , ...) (x1 , x" , ...,xn , ..),(y1 , y" , ...,ym , ..) l " ,
8a #eri$icacin que todas las propiedades para la adicin y multiplicacin por escalares se cumplen es bastante simple en todos los casos, excepto qui:,s en el ejemplo =. .eremos este caso como ejercicio. !n realidad, la )nica di$icultad consiste en demostrar que la suma de dos sucesiones en l" es tambi/n una sucesin en l". !n e$ecto, si (x1,x", .., xn, ...) e (y1 , y" , ... ,yn) est,n en l" , entonces
n =1
n =1 n =1
2yn2
"
>
n =1
2xn + yn2
"
xn + yn
"
0 (ero
n =1
n =1
2xn2 2yn2 +
n =1
2yn2
"
" ( 2x n 2? 2y n 2) @ A , luego: " " 2 x n 2 ? " 2x n 22y n 2+ 2y n 2 @ A " " 2x n 2 + 2y n 2 @ " 2x n 22y n 2
asB
n =1
n =1
" 2xn2 + (
n =1
" 2xn2 +
n =1
" 2yn2 ) +
n =1
" 2yn2
0"
n =1
n =1
C)
!l espacio de las sucesiones reales con#ergentes c01 v0(x1,x",...) i) ii) (x1 , x" , .....) + ( y1 , y" , .....) 0 (x1 + y1 , x" + y" , .....) (x1 , x" , ..., xn , ...) 0 ( x1 , x" , .....) (x1 , x" , .....), (y1 , y" , .....) c,
D)
!l espacio de las sucesiones reales con#ergentes a cero c A01v0(x1,x", ...) operaciones del ejemplo C.
E) F)
!l conjunto de todas las sucesiones num/ricas acotadas m01 v0(x1,x", ...) xi> x, i01,, para alg)n x con las operaciones del ejemplo C. !l conjunto
01v0(x1,x", ...)6, de todas las sucesiones, con las operaciones del ejemplo C.
Subespacio
Dado un espacio #ectorial , diremos que un subconjunto H E es un subespacio vectorial si ese conjunto tiene estructura de espacio vectorial. !xiste una caracteri:acin que nos $acilita comprobar si un subconjunto subespacio #ectorial Dado y solamente si, se cumple de un espacio #ectorial es o no , si
es un subespacio #ectorial de
y se #eri$ica
ejemplos de subespacios vectoriales 1) Sea . un espacio #ectorial (e.#.) y sea v ., $ijo, v . !l conjunto G 0 1v : 6 es un subespacio (unidimensional) de .. (or cierto, G es subespacio propio si la dimensin de . es mayor que 1. , entonces
8a #eri$icacin de que G es subespacio es r,pida. !n primer lugar G , luego si u , ! G , , u+! 0(1v)+("v) 0(1+")vG ") !l espacio
Coa ,b
n n
es un subespacio (de dimensin in$inita), del espacio de todas las $unciones reales (es decir n
$unciones reales continuas y discontinuas). %) G01v G 01v ') =) C) D) E) x10A6 es un subespacio propio de , sin embargo,
Sea G 0 1u C a ,b
l" es un subespacio propio de cA. cA es un subespacio propio de c. c es un subespacio propio de m. m es un subespacio propio de
=.
C. Simpli$icacin de escalares
D. Simpli$icacin de #ectores
De la estructura de espacio #ectorial sabemos que si sumamos dos #ectores el resultado #a a ser un #ector. Kambi/n sabemos que si multiplicamos un escalar por un #ector, el resultado ser, un #ector. Gniendo estos resultados, llegamos a las siguientes de$iniciones
de $orma que
D)6 , pues existen (or ejemplo, el #ector (1,%,C) es combinacin lineal de los #ectores 1(A,1,"), (1,1,"), (%,=,
los escalares
1 = " , 1 = 1 1 = A , #eri$ic,ndose
son todos iguales a cero. !ntonces se dice que $orman un siste#a libre. !n caso contrario se dir, que los #ectores son lineal#ente "epen"ientes, o que $orman un siste#a li$a"o. (or ejemplo, en
tales que
. <omo sabemos, dos #ectores son iguales si lo son componente a componente, lo que implica, autom,ticamente, que y
tales que
. &plicando de nue#o que dos #ectores son iguales si lo son componente a componente, obtenemos
es decir, nos -emos trasladado al mundo de la resolucin de sistemas de ecuaciones. &-ora, con lo que sabemos sobre sistemas lineales, resol#iendo se tiene que
. HLu/ me dice esto sobre los #ectoresI Lue son linealmente "epen"ientes. !s claro que si decimos autom,ticamente , , entonces,
lo que podrBa conducirnos a concluir (errneamente) que los #ectores son linealmente independientes. Sin embargo, la de$inicin nos dice que y
, autom,ticamente
, lo que nos -ace #er que no son )nicos y, por tanto, los #ectores no son linealmente independientes. 8o importante de aquB es darse cuenta de que el concepto de dependencia e independencia lineal se -a trasladado al estudio de las soluciones de un cierto sistema de ecuaciones homogneo. 8a existencia de una )nica solucin (que, por ser -omog/neo el sistema, ser, la nula) me dice que los #ectores son linealmente independientes, y la existencia de m,s de una solucin, que los #ectores son linealmente dependientes. 9encionamos unas propiedades re$erentes a dependenciaMindependencia lineal de un conjunto de #ectores, y despu/s introduciremos tres conceptos importantes sistema generador de un espacio #ectorial, en#oltura lineal de un conjunto de #ectores y base de un espacio #ectorial. 1. ". %. Gn conjunto de #ectores es linealmente dependiente si y solamente si alguno de los #ectores es combinacin lineal de los dem,s. Si un conjunto de #ectores es linealmente independiente cualquier subconjunto suyo tambi/n lo es. Nb#iamente, si tenemos un conjunto de #ectores tales que ninguno de ellos es combinacin de los dem,s, escogiendo slo unos cuantos, no podr,n ser combinacin de los otros. Si un conjunto de #ectores es linealmente dependiente tambi/n lo es todo conjunto que lo contenga. Oa que un conjunto de #ectores es linealmente dependiente si y slo si tiene alg)n #ector que es combinacin lineal de los dem,s, si metemos este conjunto de #ectores en otro m,s grande, seguimos teniendo el #ector que es combinacin lineal de otros, por tanto, el conjunto m,s grande sigue siendo linealmente dependiente.
es un siste#a $enera"or del espacio #ectorial al cual pertenece si cualquier #ector de dic-o espacio se puede poner como combinacin lineal de ellos. (or ejemplo, los #ectores(1,A) y (A,1) $orman un sistema generador de
(+,
de igualar
= (1,3), tendremos
. 5o todos los conjuntos de #ectores $orman un sistema generador de un espacio #ectorial. (or ejemplo, los #ectores
(%,?
tales que
se -a de cumplir la relacin
!#identemente, esto no es cierto para todos los #ectores del espacio. Si tomamos, en particular, el (A,A,1), #emos que la coordenada no #eri$ica la relacin. (or tanto, el sistema dado no es un sistema generador de .
Envoltura lineal
&l conjunto de todos los #ectores que son combinacin lineal de los #ectores
y se representa .
son base del espacio #ectorial al cual pertenecen si cumplen dos condiciones Jan de ser linealmente independientes.
Kodas las bases de un espacio #ectorial tienen el mismo n)mero de elementos, al que se le llama "i#ensin del espacio #ectorial. 8a siguiente base del espacio #ectorial es la conocida como base cannica
Jay que notar que un sistema generador de un espacio #ectorial de dimensin tiene no tiene por qu/ ser un sistema generador.
#ectores, pero si
siendo
+y
!stos dos #ectores, al ser proporcionales, generarBan )nicamente una recta, pero no todo el plano.
Estructuras al$ebraicas
& grandes rasgos, una estructura algebraica est, constituida por una serie de conjuntos , , , y de una serie
de operaciones +, , que -acen interesantes a esos conjuntos. !n cualquier caso, es necesario saber que estas estructuras existen, y que son importantes porque lo principal es que #an a tener al menos una operacin que llamaremos binaria interna, esto es, que me ase$ura que si yo opero con dos elementos del conjunto, el resultado #a a seguir perteneciendo al conjunto. <omen:amos nuestro bre#e repaso con la estructura m,s elemental, la estructura de grupo, para dar lugar despu/s a la de anillo y luego a la de cuerpo. Sea un conjunto no #acBo, +,
operaciones internas en
".
!lemento neutro
%.
!lemento sim/trico
!ntonces decimos que ,*+-. tiene estructura de $rupo. Si, adem,s, se #eri$ica
'. <onmutati#a
!ntonces decimos que ,*+-. tiene estructura de grupo abeliano. Si adem,s es a-ora =. Distributi#a de quien cumple las propiedades respecto de + , C. &sociati#a
siendo este
x A
para todos
Decimos que ,*+-+ . tiene estructura de anillo unitario con#utativo. (or )ltimo, si se #eri$ica F. !lemento sim/trico
!ntonces decimos que ,*+-+ . tiene estructura de cuerpo. & pesar de que estamos llamando +y a las operaciones, no debemos pensar que se re$ieren siempre a la suma y multiplicacin tradicionales, sino que puede tratarse de una operacin que yo llame asB por comodidad pero est/ de$inida de otra manera.
pero
, que es el neutro de la suma. Sin embargo, (siendo ) no es grupo. es anillo unitario conmutati#o y, por )ltimo , , y
, Hse tendr,
que es un cuerpoI (ara comprobarlo, no -ay m,s que ir recorriendo una a una las propiedades a #er si se cumplen o si, por el contrario, encontramos alg)n contraejemplo concreto que nos permita decir, autom,ticamente, que no lo ser,.