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

Mn x m(V) = {(

a1,1
:
an,1

... a1,m
:
... 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.
Demostracin
Terminamos esta seccin con un resultado que en particular proporciona un criterio de
suma directa.
TEOREMA I.8 Si W1 , W2 V, con dim(V) = n, entonces

dim(W1 + W2) = dim(W1) + dim(W2) - dim(W1 W2),

y por lo tanto V = W1 W2 si y slo si dim(V) = dim(W1) + dim(W2).

PRODUCTO PUNTO

El Producto punto de dos vectores ser un numero escalar y se har de la siguiente manera:
Teniendo los vectores U = (X1,Y1,Z1) y V = (X2,Y2,Z2)
El producto punto es U.V y sera igual a = X1.X2 + Y1.Y2 + Z1.Z2 = K
K es el escalar resultante a la multiplicacin de los vectores.
Es decir el producto punto es la suma de las mediciones multiplicadas por sus respectivas
de los vectores.
Para sacar la magnitud del producto punto de los vectores es elevar el resultado al cuadrado
y sacar su raz, prcticamente igual que como lo hacamos solo que aqu ser nada ms del
escalar. Si se pide la magnitud de los vectores dados es igual que como lo venamos
haciendo.
Pero para la direccin si cambia un poco, existen dos maneras de sacar la direccin de un
producto punto:
1) La primera es = Cos-1 [U.V(Producto Punto) / |U||V|
Es decir, para sacar la direccin es el coseno a la menos 1 de la division del producto punto
entre la multiplicacin de las magnitudes de los dos vectores.

2) Y la segunda da el mismo resultado pero es primero sacar Beta y despus alfa y restar
ambas. En formulas sera:
= Tan-1 Y1/X1
= Tan-1 Y2/X2
=