lgebra Lineal - Espacios Vectoriales 2013

1 Ing. Aldo Jimnez Arteaga

Espacio Vectorial
Los espacios vectoriales siempre han formado parte del entorno fsico. Se trata de una
estructura algebraica cuyas propiedades introducen los conceptos fsicos de direccin,
magnitud y sentido. En el lgebra Lineal esas caractersticas se enuncian por medio de sumas
y multiplicaciones.
Para un conjunto no-vaco (sus elementos se llaman vectores) y un campo (sus
elementos se llaman escalares), se definen las operaciones:
Adicin de vectores: , existe un tercer vector + .
Producto por un escalar: y existe un segundo vector .
El conjunto es un espacio vectorial sobre el campo , si las operaciones definidas cumplen
las siguientes propiedades:
1. +
2. + ( +) = ( + ) +
3. + = +
4. + 0

=
5. + () = 0

6.
7. () = ()
8. ( + ) = +
9. ( + ) = +
10. 1 =
EJ EMPLO. Determina si es un espacio vectorial sobre el campo de los nmeros reales. La
prueba de cada axioma corresponde a demostrar que existen elementos complejos y se
cumplen igualdades entre ellos.
Sean , , , , y , . Tomando a =
1
+
1
, =
2
+
2
, =
3
+
3
,
= + y = + la demostracin se sigue a continuacin.
Primer axioma: vlido
(
1
+
1
) + (
2
+
2
) = (
1
+
2
) + (
1
+
2
)
Segundo axioma: vlido
(
1
+
1
) + [(
2
+
2
) + (
3
+
3
)] = [(
1
+
1
) + (
2
+
2
)] + (
3
+
3
)
(
1
+
1
) + [(
2
+
3
) + (
2
+
3
)] = [(
1
+
2
) +(
1
+
2
)] + (
3
+
3
)
(
1
+
2
+
3
) + (
1
+
2
+
3
) = (
1
+
2
+
3
) + (
1
+
2
+
3
)
Tercer axioma: vlido
(
1
+
1
) + (
2
+
2
) = (
2
+
2
) + (
1
+
1
)
(
1
+
2
) + (
1
+
2
) = (
2
+
1
) +(
2
+
1
)
= (
1
+
2
) +(
1
+
2
)
Cuarto axioma: vlido
(
1
+
1
) + =
1
+
1

(
1
+) +(
1
+ ) = + = 0, = 0 = 0 + 0
Quinto axioma: vlido
(
1
+
1
) + = 0 + 0
(
1
+ ) + (
1
+) = 0 =
1
, =
1
=
1

1

Sexto axioma: vlido
(
1
+
1
) =
1
+
1

Sptimo axioma: vlido
()(
1
+
1
) = [(
1
+
1
)]

1
+
1
= (
1
+
1
)
=
1
+
1

Octavo axioma: vlido
( + )(
1
+
1
) = (
1
+
1
) +(
1
+
1
)
( + )
1
+( + )
1
=
1
+
1
+
1
+
1

= ( + )
1
+ ( + )
1

Noveno axioma: vlido
lgebra Lineal - Espacios Vectoriales 2013

2 Ing. Aldo Jimnez Arteaga

[(
1
+
1
) + (
2
+
2
)] = (
1
+
1
) + (
2
+
2
)
[(
1
+
2
) + (
1
+
2
)] =
1
+
1
+
2
+
2

(
1
+
2
) +(
1
+
2
) =
Dcimo axioma: vlido
1(
1
+
1
) =
1
+
1

(1
1
) + (1
1
) =

1
+
1
=
En vista que los diez axiomas del espacio vectorial se cumplen, entonces el conjunto de los
nmeros complejos es un espacio vectorial sobre el campo de los reales.
Subespacio Vectorial
Al ser un conjunto, un espacio vectorial tiene una infinidad
de subconjuntos; dichos subconjuntos pueden ser por s
mismos espacios vectoriales. Esta condicin se cumplir si
y slo si
1. +
2. + 0

=
3.
stas son las propiedades del subespacio vectorial. El resto de axiomas del espacio vectorial
son heredados a partir de los tres mencionados.
EJ EMPLO. Demuestra que el plano : + = 0 es un subespacio vectorial, mientras
que la recta :
=
= 2 +
= 2

no lo es.
Ambos lugares geomtricos pueden reescribirse como
: + = 0 = + = {(, , )| = + ; , , }
: (, , ) = (, 2 + , 2) = {(, 2 + , 2)| }
que forman subconjuntos del espacio vectorial
3
.
PLANO
Cerradura para la suma de vectores:
(
1
,
1
+
1
,
1
) + (
2
,
2
+
2
,
2
) = (
1
+
2
, (
1
+
1
) + (
2
+
2
),
1
+
2
)
Si
1
+
2
= y
1
+
2
= entonces
(
1
+
2
, (
1
+
2
) +(
1
+
2
),
1
+
2
) = (, + , )
Cerradura para la multiplicacin por un escalar:
(
1
,
1
+
1
,
1
) = (
1
,
1
+
1
,
1
)
Si
1
= y
1
= entonces
(
1
,
1
+
1
,
1
) = (, + , )
Pertenencia del vector nulo:
Si
1
= 0 y
1
= 0 entonces
(
1
,
1
+
1
,
1
) = (0, 0,0)
Por lo tanto, el plano es un subespacio vectorial.
RECTA
Cerradura para la suma de vectores:

1
, 2 +
1,2
1
+
2
, 2 +
2,2
2
=
1
+
2
, 4 + (
1
+
2
), 2(
1
+
2
)
Si
1
+
2
= entonces

1
+
2
, 4 + (
1
+
2
), 2(
1
+
2
) = (, 4 + , 2)
Se observa que la componente = 4 + no coincide con las ecuaciones paramtricas de
; es decir, la suma de dos puntos de la recta no pertenece a dicho lugar geomtrico. En
consecuencia la recta no es un subespacio vectorial.