Espacio vectorial

Un espacio vectorial es una terna (V, +, ), donde V es un conjunto no

vaco y +, son dos operaciones del tipo + : V V R, : R V V a
las que llamaremos suma de vectores y producto por escalares
respectivamente y con las siguientes propiedades: denotando +(u, v) = u
+ v y (, v) = v.
Un espacio vectorial es una estructura algebraica creada a partir de un
conjunto no vaco, una operacin interna (llamada suma, definida para
los elementos del conjunto) y una operacin externa (llamada producto
por un escalar, definida entre dicho conjunto y un cuerpo matemtico),
con 8 propiedades fundamentales.
El espacio puede ser la extensin que contiene la materia existente, la
capacidad de un lugar o la parte que ocupa un objeto sensible.
Vectorial, por su parte, es lo perteneciente o relativo a los vectores. Este
trmino, de origen latino, refiere al agente que transporta algo de un
lugar a otro o a aquello que permite representar una magnitud fsica y
que se define por un mdulo y una direccin u orientacin.
La nocin de espacio vectorial se utiliza para nombrar a la estructura
matemtica que se crea a partir de un conjunto no vaco y que cumple
con diversos requisitos y propiedades iniciales. Esta estructura surge
mediante una operacin de suma (interna al conjunto) y una operacin
de producto entre dicho conjunto y un cuerpo. Todo espacio vectorial
dispone de una base y que todas las bases de un espacio vectorial, a su
vez, presentan la misma cardinalidad.

SUBESPACIO VECTORIAL Y SUS

PROPIEDADES:
Sea H un subconjunto no vaco de un espacio vectorial V y suponga que
H es en s un espacio vectorial bajo las operaciones de suma y
multiplicacin por un escalar definidas en V. Entonces se dice que H es

un sub espacio de V. Comprobar el conjunto de los polinomios de

coeficientes reales de grado menor o igual que tres tiene estructura de
espacio vectorial (P<=3(x),+, .R), y sin embargo los de grado
exactamente igual a cuatro no la tienen (P3(x),+.R).
Los polinomios de grado igual a tres son un SUBCONJUNTO de los
polinomios de grado menor o igual que tres. As pues de este hecho
podemos extraer una conclusin clara: NO TODO SUBCONJUNTO DE
UN ESPACIO VECTORIAL TIENE A SU VEZ ESTRUCTURA DE
ESPACIO VECTORIAL.
Esta circunstancia obliga a conocer las condiciones que ha de cumplir
un subconjunto de un espacio vectorial para mantener la misma
estructura.

Caracterizacin de los
subespacios vectoriales.
1.- Sea (V,+, .R) un subespacio vectorial, y sea W un subconjunto de
V. Diremos que W dotado con las mismas operaciones definidas en V, es
un subespacio vectorial del mismo si se verifican las dos siguiente
propiedades:

a)
b)
una segunda forma de caracterizarlos se concreta en la condicin
equivalente a la anterior
2.- W es un subespacio vectorial de V si y slo si se verifica que

ALGUNOS SUBESPACIOS
VECTORIALES SENCILLOS.

Existen dos subconjuntos de un espacio vectorial que son muy

sencillos:
1. El propio espacio v.
2. El subconjunto formado nicamente por el elemento neutro de
V.

C) SUMA DE SUBESPACIOS
Ya que la unin de subespacios vectoriales no tiene por qu ser un
subespacio vectorial, necesitaramos una operacin alternativa que
recoja en cierta forma la idea de juntar o aadir propia de la unin, que
mantenga la estructura de subespacio vectorial
Para ello se construye la operacin SUMA DE SUBESPACIOS:
Sean W1 y W2 dos subespacios vectoriales de V, se define la suma de
estos:

Esta definicin se puede extender a la suma de varios subespacios:

Si Wi son subespacios vectoriales, con i=1,..., n se define la
suma de esta n-subespacios vectorial como:

SUMA DIRECTA DE
SUBESPACIOS VECTORIALES
Cuando tenemos dos subespacios vectoriales cuya interseccin es el
elemento neutro del espacio vectorial, y efectuamos la operacin suma
de subespacios, el subespacio resultante se obtiene aadiendo

"totalmente" los vectores de uno con los de otro, es decir se realiza una
SUMA DIRECTA de subespacios.
Notaciones
Dado

un subespacio vectorial, se tiene:

Para i) el abuso de lenguaje

correcto.

, e incluso

es

El subconjunto
.

Es un subespacio vectorial.

Propiedades
1. 0 = 0, para cualquier IK.
2. 0 x = 0, para cualquier x V
3. x = 0 = 0, o x = 0.
4. (1) x = x, para cualquier x V.
5. () x = (x) = ( x), para
cualesquiera IK, x V.
6. Si 6= 0 y x = y entonces x = y.
7. Si x 6= 0 y x = x entonces = .
Como x = 0, por las propiedades anteriores
deducimos que:
= 0 = .

Combinacin lineal, independencia lineal

Definicin: Sean v1, v2, v3,, vn vectores en el espacio vectorial V.

Entonces cualquier expresin de la forma a1v1 + a2v2 + a3v3 + +

anvn donde a1, a2, a3,, an, son escalares se llama una combinacin
lineal de v1, v2, v3,, vn. En 2 y 3 se puede visualizar
geomtricamente como el las figuras6.4-6.6 de las pginas 283-284 del
texto.
Definicin: Sean v1, v2, v3,, vn vectores en el espacio vectorial V. Los
vectores son linealmente independientes cuando la combinacin lineal:
c1v1 + c2v2 + c3v3 ++ cnvn = 0, si y solo si c1=c2= c3== cn =0. De
lo contrario si existen n escalares c1, c2, c3,, cn, no todos ceros, tal
que c1v1 + c2v2 + c3v3 ++ cnvn = 0, los vectores v1, v2, v3,, vn son
linealmente dependientes.
Para determinar dependencia/independencia lineal se halla la solucin
en (c1,cn) a un sistema de ecuaciones homogneo (Ac = 0) para cada
espacio vectorial. Si la solucin es c1==cn = 0 (solucin trivial)
entonces el conjunto es Linealmente Independiente.
Para matrices (Mmn), el sistema de ecuaciones homogneo (Ac=0) es
una ecuacin por cada elemento
Para polinomios el sistema de ecuaciones se obtiene por trminos
semejantes,
Para vectores, una ecuacin por componente.
Un conjunto linealmente independiente nunca incluye al vector 0 pues
c1v1++cnvn + cn+10 = 0, es linealmente dependiente ya que cn+1 0
es solucin. Adems todo vector que se expresa como combinacin
lineal de otros vectores es linealmente dependiente de sos.