ESPACIOS VECTORIALES

Comenzamos definiendo un campo y un espacio vectorial sobre un campo

(es comn observar que un campo es en particular un grupo abeliano ). Los
ejemplos tpicos de campos son el campo de los nmeros reales R, el campo
de los nmeros complejos C y para cada nmero primo p en Z, el campo de
los enteros mdulo p, Zp. Los ejemplos tpicos de espacios vectoriales
son Rn sobre el campo R, Cn sobre el campo C (en general, Fn sobre cualquier
campo F), al igual que los siguientes ejemplos con las correspondientes
operaciones usuales de suma y multiplicacin por escalares:

Polinomios con coeficientes en un campo F

P(F) = {a0 + a1t + a2t2 + ... + antn | ai F y n N}

Funciones de un conjunto X en un campo F

F(S, F) = {f : X F | f es una funcin}

Funciones continuas de un espacio topolgico X en un campo F con

una topologa en l definida

C(X, F) = {f : X F | f es una funcin continua}

Matrices de n x m con entradas en un espacio vectorial V sobre un

campo F

a1,1 ... a1,m

Mn x m(V) = {( : :
an,1 ... an,m
) | ai,j V, con 1 i n y 1 j m }
Las siguientes son propiedades elementales de un espacio vectorial V sobre un
campo F cuyas pruebas se dejan como ejercicios:

1. (Ley de la cancelacin) Si x, y, z V y x + z = y + z, entonces x = y

2. El vector 0 es nico con la propiedad de que para toda x V, x + 0 = x

3. Para toda x V, 0x = 0

4. Para todo a F y x V, (-a)x = -(ax)

5. Para toda a F, a0 = 0
Se define un subespacio de un espacio vectorial V sobre un campo F y es un
ejercicio demostrar que un subconjunto W V es un subespacio si y slo si
para todos a, b F y x, y V, ax + by V. Dos ejemplos de subespacios son
los subconjuntos de Mn x n(V) formados por matrices (1) simtricas, (2)
diagonales y (3) con traza igual a cero. Es claro que la interseccin de dos (y
por lo tanto de cualesquiera) subespacios de V resulta en un subespacio de V.
Sin embargo, esto no sucede con la unin (como ejemplo tmense
cualesquiera dos rectas distintas en R2 que pasen por el origen).

Dado un subconjuntos S de un espacio vectorial V sobre un campo F,

denotamos por <S> al subespacio generado por S, y se demuestra fcilmente
que <S> es precisamente el conjunto de todas las combinaciones lineales de
elementos de S, es decir,

<S> = {a1x1 + ... + anxn | n N, ai F y xi V}.

Definimos la suma de un nmero finito de subconjuntos S1, ..., Sn de un

espacio vectorial V sobre un campo F y se verifica directamente que
si W1, ..., Wn V, entonces

W1 + ... + Wn = <W1 ... Wn>

Se define el que un espacio vectorial V sea la suma directa de dos de sus

subespacios W1, W2 V, y es fcil ver que ste es el caso si y slo si para
cada z en V, existen nicos x W1 y y W2 tales que z = x + y).

Definimos el que un subconjunto S V sea un

subconjunto generador. Definimos tambin (in)dependencia lineal y
finalmente se define una base como aquellos subconjuntos generadores
de V que son linealmente independiente. Las bases se distinguen como
subconjuntos generadores en el sentido de que la combinacin lineal
correspondiente a cada vector es nica.

Para definir la dimensin de un espacio vectorial V sobre un campo F,

primero observamos que si S V y x V - S, entonces el conjunto S {x} es
linealmente dependiente si y slo si x est en L(S). Este hecho se usa para
demostrar el siguiente resultado.

TEOREMA I.1 Si V est generado por un subconjunto finito S, entonces

podemos extraer de S una base para V, y por lo tanto V posee una base finita.

Demostracin

TEOREMA I.2 Si es una base de V con exactamente n elementos y S es un

subconjunto de V linealmente independiente con m elementos,
donde m n, entonces siempre podemos encontrar un subconjunto S0 con
exctamente n - m elementos de forma tal que L(S S0) = V.

Demostracin

Como consecuencia del teorema I.2 tenemos el siguiente resultado.

COROLARIO I.3 Si V posee una base con exactamente n elementos,

entonces todo subconjunto de V linealmente independiente con n elementos es
tambin una base deV.

Demostracin

COROLARIO I.4 Si V posee una base con exactamente n elementos,

entonces todo subconjunto de V con ms de n elementos es linealmente
dependiente. Por lo tanto, cualquier subconjunto linealmente independiente
de V contiene como mximo n elementos.

Demostracin

Con estos resultados podemos finalmente argumentar que en un espacio

vectorial con un conjunto generador finito, la dimennsin est bien definida,
como as lo indica el siguiente corolario.

COROLARIO I.5 Si V posee una base con n elementos, entonces cualquier

otra base de V deber tener tambin n elementos.

Demostracin

En caso de que un espacio vectorial no posea una base finita, la dimensin se

define como infinito.

TEOREMA I.6 Si V es un espacio vectorial sobre un campo F tal que dim(V)

= n, entonces para cualquier subespacio W V se tiene
que dim(W) n, con dim(W) = n si y slo si W = V.

Demostracin

El siguiente corolario refuerza el teorema I.2.

COROLARIO I.7 Si es una base de un espacio vectorial V de dimensin

finita dim(V) = n y S V es un subconjunto linealmente independiente (y por
lo tanto |S| = k n), entonces podemos encontrar un subconjunto S0 con
exctamente n - k elementos y tal que S S0 es una base de V.
http://www.ugr.es/~rcamino/docencia/geo1-03/g1tema1.pdf

Combinacin lineal de vectores

Dados dos vectores : y , y d os nmero s : a y b , el vector

se dice que es una combinacin lineal de y .

Una combinacin lineal de dos o ms vectores es el vector que se obtiene

al sumar esos vect ores multiplicado s por sendos escalare s.

Cualquier vect or se puede poner como comb inacin lineal de otros dos
que tengan distinta direcci n .

Esta combinacin lineal es nica.

Dados los vectores , hal lar el vect or

combinacin lineal

El vector , se puede expresar como combinacin lineal de los

vectores ?