ESPACIO VECTORIAL Definicin:

Sea (K, cuerpo 1. (!,

+, ) un cuerpo1. Diremos que un conjunto

dotado de una operacin interna + y otra externa sobre el

tiene estructura de espacio vectorial si cumple las siguientes propiedades +)es un grupo abeliano

". es una operacin que #a del producto cartesiano

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

".%. &sociati#a mixta

".'. (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

(*, +, ) es un cuerpo, lo que implica, en particular, que (*, +) y (*+, )

de los #ectores del plano con las operaciones

son grupos), se demuestra muy $,cilmente que, por ejemplo, el espacio de suma de #ectores y producto de un escalar con un tenemos

!ntonces se tiene que

es un espacio vectorial sobre

.
%

Sin embargo, si a-ora consideramos (*

, +, ) estando de$inidas estas operaciones como sigue

se tiene que (* , +, ) no es un espacio #ectorial sobre unidad del cuerpo, ya que

%

, pues $alla la propiedad de producto por el elemento de

.er anexo uno

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

,que denotamos por

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

> 6, con las operaciones

(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

" 2xn2 > ,

n =1 n =1

2yn2

"

>

(ara la sucesin suma :

n =1

2xn + yn2

"

xn + yn

"

0 (ero

n =1

" 2xn2 + "

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

" 2xn + yn2

n =1

" 2xn2 + (

n =1

" 2xn2 +

n =1

" 2yn2 ) +

n =1

" 2yn2

0"

n =1

" 2xn2 + "

n =1

" 2yn2 >

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,

lim x n = x 6, con las operaciones

D)

!l espacio de las sucesiones reales con#ergentes a cero c A01v0(x1,x", ...) operaciones del ejemplo C.

lim x n = A 6, con las

6,

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

espacio #ectorial y dado H E , diremos que

es un subespacio #ectorial de

escalares, para todo par de #ectores

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,

x 1 0 x " + 1 6 no lo es (H(or qu/I).

o

Sea G 0 1u C a ,b

u es un polinomio de grado n6 es un subespacio propio de C a , b y de dimensin $inita.

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

Definicin "e Depen"encia e In"epen"encia "e un subespacio.

Jemos #isto la de$inicin de espacio #ectorial, #amos a-ora a concretar algunas propiedades que tiene la operacin externa. (ropiedades de la operacin Sea (!,+,) un espacio #ectorial. !ntonces, se #eri$ica 1. ". %. '.

=.

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

Co#binaciones lineales. Depen"encia e in"epen"encia "e vectores

Decimos que un #ector es co#binacin lineal de los #ectores

si existen unos escalares

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

Diremos que los #ectores

son lineal#ente in"epen"ientes si la igualdad

es )nicamente cierta cuando los escalares

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

(con las operaciones usuales + y buscamos los escalares ,

), se tiene que los #ectores(1,A)

y (A,1) son linealmente independientes, ya que si

tales que

-aciendo operaciones, llegamos a que tiene que ser

. <omo sabemos, dos #ectores son iguales si lo son componente a componente, lo que implica, autom,ticamente, que y

luego, seg)n la de$inicin, son linealmente independientes. Sin embargo, tambi/n en

los #ectores (1,%)

y (",C) no son linealmente independientes, pues al buscar los escalares

tales que

-aciendo operaciones, llegamos a que tiene que ser

. &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

-an de ser %nicos. &-ora, si -acemos

, autom,ticamente

ta#bi&n #eri$ican la relacin

, 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.

Definicin "e 'ase ( "i#ensin.

Siste#a $enera"or "e un espacio vectorial
Decimos que un conjunto de #ectores

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

(+,

las operaciones usuales), ya que si cogemos cualquier

de igualar

se tiene enseguida que -a de ser

(or ejemplo, si (x,y)

= (1,3), tendremos

. 5o todos los conjuntos de #ectores $orman un sistema generador de un espacio #ectorial. (or ejemplo, los #ectores

(%,?

1,") y (1,A,?1) no $orman un sistema generador de

Si lo $ueran,

tales que

(ero esto implica, escribi/ndolo como un sistema, que

!s decir, tenemos que

(or tanto, sustituyendo en la primera ecuacin,

<omo debe #er$icarse cada ecuacin, sustituyendo

y en la )ltima tenemos que, para que

sea sistema generador de

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

se le llama envoltura lineal de los #ectores

y se representa .

'ase "e un espacio vectorial

Decimos que los #ectores

son base del espacio #ectorial al cual pertenecen si cumplen dos condiciones Jan de ser linealmente independientes.

Jan de $ormar un sistema generador del espacio #ectorial

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.

debe tener al menos

#ectores, pero si

Gn ejemplo simple e inmeadiato lo #emos con el espacio

siendo

+y

las operaciones usuales, y escogiendo los #ectores

!stos dos #ectores, al ser proporcionales, generarBan )nicamente una recta, pero no todo el plano.

Ane)o: Conceptos "e *rupo+ Anillo ( Cuerpo

!n este texto -aremos una bre#e recapitulacin de cu,les son las estructuras algebraicas m,s sencillas en las que se basa el estudio de los conceptos de espacios vectoriales y matrices, es decir, recordaremos el concepto de grupo, anillo y cuerpo. !stos conceptos -an aparecido en cursos anteriores (educacin primaria o secuandaria) cuando se nos -an ido ampliando los sucesi#os conjuntos num/ricos sobre los que trabajar debido a problemas inmediatos que se nos planteaban dentro de los naturales no podBamos restar sin salirnos del conjunto base (por ejemplo, " P % no es natural), lo que nos lle#aba a ampliar el conjunto de los naturales con el de los enteros, con aquellos elementos en los que yo podBa restar sin salirme del conjunto. Sin embargo, dentro de los enteros no podBamos di#idir sin salirnos (por ejemplo, "M%no es entero), lo que a su #e: moti#aba la construccin de los n)meros racionales, con todos aquellos elementos que podBamos di#idir sin salirnos del conjunto. Gna #e: m,s, nos trope:amos con una operacin que -ace los racionales Qinsu$icientesQ, aunque no del todo, debido a que dentro de los racionales no podBamos -acer raBces cuadradas sin salirnos (por ejemplo, " no es racional). Sin embargo, en las estructuras que #amos a estudiar ya no es importante el que se pueda o no -acer raBces cuadradas a la -ora de dotar a ese conjunto de unas ciertas operaciones que lo -acen interesante.

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

Si +cumple las propiedades 1. &sociati#a

".

!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

!ntonces decimos que D. !lemento unidad

,*+-+ . tiene estructura de anillo. Si tambi/n

siendo este

x A

(el neutro para la suma).

!ntonces decimos que E. <onmutati#a

,*+-+ . tiene estructura de anillo unitario. <uando adem,s se #eri$ica

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.

De lo dic-o anteriormente, tenemos que

no es grupo, pues, por ejemplo,

pero

, que es el neutro de la suma. Sin embargo, (siendo ) no es grupo. es anillo unitario conmutati#o y, por )ltimo , , y

sB que es grupo, mientras que , son grupos, son cuerpos.

Sin embargo, si de$inimos las siguientes operaciones

, 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,.