1

Contenido 2: ESPACIOS VECTORIALES

Espacios vectoriales, definicin y ejemplos.
Subespacios, operaciones con subespacios. Subespacio generado.
Dependencia lineal. Bases y dimensin.

Definicin
Consideramos: V un conjunto no vaco
una operacin en V
(K, +,) un cuerpo
: : K V V una funcin (operacin externa)
Decimos que (V, , K, :) es un espacio vectorial si y solo si:
1) (V, ) es un grupo conmutativo
2) i) a : (b : v) = (a.b) : v a, b K
v V
ii) (a + b) : v = a : v b : v a, b K v V
iii) a : (v u) = a : v a : u a K u, v V
iv) 1 : v = v v V
Nota: Habitualmente (K, +,) es el cuerpo de los reales o de los complejos. En el primer caso
hablamos de un espacio vectorial real (E.V.R) y en el segundo de espacio vectorial
complejo.

Si (V, , K, :) es un espacio vectorial a los elementos de V los denominaremos vectores

y a los de K escalares.
Por comodidad de notacin, usualmente no distinguiremos entre suma de vectores ( ) y
suma de escalares ( + ) y tampoco entre producto de un escalar por un vector ( : ) y
producto de escalares ( )

Ejemplos: 1) Es inmediato que: (\, +, \,) y (^, +, \,) son espacios vectoriales reales.
Tambin que (^, +, ^,) es un espacio vectorial complejo.
2) Ahora concentrndonos en (^, +, \,)
^ = \ \ , (x, y) (x, y) = (x + x, y + y) (x, y), (x, y) ^
a : (x, y) = (a, 0) : (x, y) = (a.x, a.y)
(x, y) ^ a \

2
Es razonable hacer la siguiente generalizacin; si llamamos \ n al conjunto de las
n-plas de reales y definimos
( x 1 , x 2 ,......., x n ) ( y 1 , y 2 ,........., y n ) = ( x 1 + y 1 , x 2 + y 2 ,......, x n + y n )
: (x1 , x 2 ,......, x n ) = (.x1 , .x 2 ,........, .x n )

Puede demostrarse que ( \ n , , \, : ) es un espacio vectorial real (EVR)

3) ( \ [ x ] , +, \,.) es un EVR.

El conjunto de los polinomios de grado n forma un EVR?

4) Si llamamos Pn al conjunto de los polinomios de grado menor o igual que n junto
al polinomio nulo es posible demostrar que (Pn , +, \,.) es un EVR.
5) En FA = { f : A \ ; f es funcin} en donde A es un conjunto no vaco

( FA es la familia de todas las funciones de dominio A y codominio \ )

definimos:
: FA FA FA ; (f g)(x) = f (x) + g(x) x A

: : \ FA FA ; ( : f )(x) = .f (x) x A
As por ejemplo si

f
a
b

a
b

2
3

Entonces

4
7

A
f g

2+4 = 6

3 + 7 = 10

Puede probarse que (FA , , \, :) es un EVR.. A manera de ejemplo demostremos alguna de las
proposiciones que el pedido implica.

3
(FA , ) grupo conmutativo
(f g) h = f (g h)

Asociativa

f , g, h FA

Tengamos en cuenta que si , FA ; = (x) = (x) x A

Entonces;

(f g) h = f (g h) [ (f g) h ] (x) = [ f (g h) ] (x) x A

[(f g) h ] (x) = (f g)(x) + h(x) = [ f (x) + g(x)] + h(x) =()

= f (x) + (g h)(x) = [ f (g h) ] (x)
x A

f (x) + [ g(x) + h(x) ]

(*) Asociativa de la suma de reales.

f g = gf

Conmutativa

f , g FA

Ahora: f g = g f (f g)(x) = (g f )(x) x A

(f g)(x) = f (x) + g(x) =(*) g(x) + f (x) = (g f )(x) x A

(*) Conmutativa de la suma de reales.

Neutro FA / f = f
Definimos : A \ ; (x) = 0

x A

(f )(x) = f (x) + (x) = f (x) + 0 = f (x)

razonamiento vlido f FA
Opuesto

f FA

A la cual denominaremos funcin nula.

x A

f = f

f FA f FA / f (f ) =

Definimos f : A \ ; (f )(x) = f (x)

x A

( f (f ) ) (x) = f (x) + (f )(x) = f (x) f (x) = 0 = (x)

x A

f ( f ) =

6) Matrices. La primera pregunta que surge es Qu es una matriz?

Decir que una matriz real de m n es un rectngulo de m filas por n
columnas; no es una definicin. A lo sumo es una descripcin que hace referencia
a su aspecto. Para definirlo apropiadamente comencemos por analizar un caso
particular

4
3 2 4
Si A =
podemos "leerla"
1 0 5
Fila
1
1
1
2
2
2

Columna
1
2
3
1
2
3

3
-2
4
1
0
5

O tambin:
(1,1)
(1, 2)
(1,3)
(2,1)
(2, 2)
(2,3)

3
2
4
1
0
5

Si n N* y anotamos I n = { x N / 1 x n } (conjuntos llamados secciones inferiores de

naturales) podemos considerar a la matriz A como una funcin de I 2 I3 \ . Es inmediato que
esta consideracin se puede realizar (con los ajustes necesarios) sobre cualquier matriz. En
consecuencia es razonable realizar la siguiente definicin.
Definicin

Consideramos: H un conjunto no vaco, m, n N* Llamamos matriz de orden m n

en H a una funcin de I m I n H
Al conjunto de todas las matrices de m n en H lo anotamos M mn (H)
Obs M mn (\) = FI I
m n
Nota Si A M mn (H) A es una funcin de I m I n H

Si la imagen de (i, j) I m I n es z suele anotarse: a ij = z y a la funcin A como (a ij )

Notacin muy similar a la utilizada en sucesiones.

( A = (a ) )
ij

5
Con esta notacin si A = (a ij ) B = (bij ) M mn (\)
1) A = B a ij = bij (i, j) I m I n

2) A B = (a ij + bij )

3) : A = (.a ij ) \

Nota: Como M mn (\) = FI I

m n

(M mn (\), , \, :) es un EVR.

Teorema Consideramos (V, , K, :) un espacio vectorial sobre el cuerpo K

Entonces se cumple:

i) 0 : v =
ii) a : =

v V

siendo 0 el neutro de (K, +) y

el neutro de (V, )

a K

iii) (a) : v = a : ( v) = a : v

iv) a : v =

v)

vi)

Dem. i)

a=0

v=

a:v =a:u

a0

a:v = b:v

a K , v V

v=u

a=b

( 0 : v ) = 0 : v = (0 + 1) : v = ( 0 : v ) (1 : v ) = ( 0 : v ) v
( 0 : v ) = ( 0 : v ) v Cancelativa de (V, ) = v

Las restantes cinco demostraciones quedan a cargo del lector.

6
PRACTICO 2
I) Probar que: i) si ( V, +, K,) es un EV
ii)

( \, +, Q,)

( Q

({ } , +, K,) es un EV

es un EV.

2 , +, Q, es un EV. Siendo Q 2 = a + b 2 / a, b Q
iv) si ( V, +, K,) es un EV y K' es un subcuerpo de K ( V, +, K,) es un EV

iii)

II) Investigar si ( \ 2 , , \, ) es un EV en caso de que y se definen de las siguientes

maneras x1 , x 2 , y1 , y 2 , \

( x1 , y1 ) ( x 2 , y 2 ) = ( 3y1 + 3y 2 , x1 x 2 ) , ( x1 , y1 ) = ( 3y1 , x1 )
ii) ( x1 , y1 ) ( x 2 , y 2 ) = ( x1 + x 2 , y1 + y 2 ) , ( x1 , y1 ) = ( x1 , 0 )
iii) ( x1 , y1 ) ( x 2 , y 2 ) = ( x1 + x 2 , 0 ) , ( x1 , y1 ) = ( x1 , y1 )
iv) ( x1 , y1 ) ( x 2 , y 2 ) = ( x1 , x 2 + y 2 ) , ( x1 , y1 ) = ( x1 , y1 )
v) ( x1 , y1 ) ( x 2 , y 2 ) = ( x1 + x 2 , y1 + y 2 ) , ( x1 , y1 ) = ( x1 , y1 )
i)

III) Consideramos V = { (a n ) / (a n ) es una sucesion real } , (a n ) (b n ) = (a n + b n )

: (a n ) = (a n )

Probar que ( V, , \, : ) es un EV.

IV) Sea ( V, +, K,) un EV. Demostrar que: v = (1) v v V

V) Probar que ( \ 2 , , ^, : ) es un EV En donde : estn definidas:
(x, y) (x , y) = (x + x , y + y)

: (x, y) = ( Re( ) x Im( ) y, Re( ) y + Im( ) x )

SUBESPACIOS
Definicin

Consideramos (V, +, K,.) un espacio vectorial y S un subconjunto no vaco de V.

Decimos que S es un subespacio vectorial de V (SEV) si y solo si (S, +, K,) es un EVR siendo +
y las operaciones en V restringidas a S.
Ejemplo Pn es un SEV de K [ X ]
Ejercicio Probar que S = { (x, 0) \ 2 } es un SEV de \ 2
Nota Seguramente habr observado que al realizar el ejercicio anterior que muchas de la
propiedades que deba demostrar son consecuencia inmediata de que S \ 2

Por ejemplo:
(x, y) + (x , y) = (x , y) + (x, y) (x, y), (x, y) \ 2
(x, 0) + (x , 0) = (x, 0) + (x, 0) (x, 0), (x , 0) S
Recordemos que si (A, ) es una estructura algebraica y B A ; B
Entonces:
i) (A, ) conmutativa (B, ) conmutativa
ii) (A, ) asociativa (B, ) asociativa
iii) (A, ) tiene la propiedad de neutro y el elemento neutro se denomina n.
(B, ) tiene la propiedad de neutro n B
iv) (A, ) tiene la propiedad de inverso.
(B, ) tiene la propiedad de inverso x B , x 1 B
Proposiciones similares caben para estructuras algebraicas mas ricas (con mas de una
operacin, con una relacin de orden, etc). Tengamos en cuenta el anlisis hecho en
lgebra I con respecto a N,Z y Q en relacin a \ .
Aplicando estos comentarios a la estructura de espacio vectorial tenemos:
Siendo S V ; S con (V, +, K,) un espacio vectorial

1) u + v S u, v S
2) V

S es un SEV de V
3) v S , v S
4) v V K v S

8
Observemos adems que la proposicin 4) implica la 3) ya que v = (1).v
Tambin 1) 3) 2)

( v S

En resumen:

3)

v S como ademas v S 1)

v + ( v) = S)

Siendo S V ; S con (V, +, K,) un espacio vectorial

i) u + v S u, v S

S es un SEV de V
ii) v V K v S

Ambas condiciones las podemos resumir en una sola

Teorema

(V, +, K,) un EV , S V , S
S es un SEV de V v + u S

, K

u, v S

Demostracin a cargo del lector.

Ejercicio Analizar si los siguientes conjuntos son SEV de \ 2
S1 = {(x, y) \ 2 / 3x + 2y = 0 }
S2 = {(x, y) \ 2 / x + y + 1 = 0 }
S3 = {(x, y) \ 2 / ax + by + c = 0 } con a, b, c \; a 2 + b 2 0
S4 = {(x, y) \ 2 / x 2 y 2 = 0 }

Interpretar geomtricamente

Operaciones con SEV

Al ser los SEV conjuntos, podemos operar con ellos. Cabe preguntarse si los resultados de tales
operaciones son un SEV.
Teorema

V un EV

S y T SEV de V

S T es un SEV

Dem Recurriremos a la CN y S enunciada en el teorema inmediato anterior.

S T es un SEV v + u S T , K v, u S T

9
v, u S v + u S , K ya que S es SEV

v, u S T

v, u T v + u T , K ya que T es SEV

v + u S T , K

razonamiento vlido v, u S T S T es un SEV

Nota S T es un SEV ? Analizar la situacin si

1) S = {(x, y) \ 2 / x + y = 0 } T = {(x, y) \ 2 / x y = 0 }

2) S = {(x, y) \ 2 / x + y = 0 } T = \ 2

S T es un SEV ?

Teorema

V un EVER
S y T SEV de V
S + T = {v V / v = s + t ; s S t T}

S + T es un SEV

Dem Nuevamente recurriremos a la condicin necesaria y suficiente utilizada en el teorema

inmediato anterior.
S + T es un SEV v + u S + T , K v, u S + T

v = s + t con s S t T
v, u S + T
v + u = (s + t) + (s + t )
u = s + t con s S t T
v + u = ( s + s ) + ( t + t ) v + u S + T , K v, u S + T
 

Un caso que nos interesa destacar de la suma de dos SEV S y T es cuando estos cumplen que
S T = {} La suma en esas condiciones se denomina suma directa y se anota S T . Tiene la
particularidad de que todo vector de la suma se puede escribir de una nica forma como la suma
de un vector de S y de uno de T.
Si v = s + t

s + t = s + t s s = t t x = s s = t t S T
v = s + t

Como en este caso S T = {} x = s s = t t = s = s t = t

10
PRACTICO 3
I) Investigar si los siguientes conjuntos son subespacios vectoriales de \ 2
i) S1 = { (x, y) \ 2 ; x = y }

ii) S2 = { (x, y) \ 2 ; x + y = 1 }

iii) S3 = { (x, y) \ 2 ; x 2 y 2 = 0 }
II) dem \ 3

iv) S4 = { (x, y) \ 2 ; (x 1) 2 = (x + y) 2 }

i) S1 = { (x, y, z) \ 3 / x 0 }

ii) S2 = { (x, y, z) \ 3 / x = y = z }

iii) S1 = { (x, y, z) \ 3 / x = y = z = 1 }

v) S5 = { (x, y, z) \ 3 / x 2 + y 2 + z 2 = 1 }
III) dem \ n

iv) S4 = { (x, y, z) \ 3 / x + y + z = 0 }

i) S1 = { (x1 , x 2 ,...., x n ) \ n / x1 0 }

ii) S2 = { (x1 , x 2 ,...., x n ) \ n / x1 = x 2 = .... = x n }

iii) S3 = { (x1 , x 2 ,...., x n ) \ n / x1 = x 2 = ... = x n = 1 }

iv) S4 = { (x1 , x 2 ,...., x n ) \ n / x1 + x 2 + ..... + x n = 1 }

v) S5 = { (x1 , x 2 ,...., x n ) \ n / x12 + x 22 + .... + x n2 = 0 }

III) Determinar si los siguientes conjuntos son o no subespacios de F\

i) S1 = { f F\ ; f (0) = 0 }

ii) S2 = { f F\ ; f (1).f (0) < 0 }

iii) S3 = { f F\ ; f '(0) = 0 }

iv) S4 = { f F\ ; f ''(0) = 0 }

v) S5 = { f F\ ;f (x) = f ( x) x \ }

vi) S6 = { f F\ ;f (x) = f ( x) x \ }

vi) S7 = { f F\ ; f (x) = f (1 x) x \ } viii) S8 = { f F\ ; f (x + 2) = f (x) x \ }

ix) S9 = { f F\ / x 0 \ ; f (x 0 ) = 0 }

x) S10 = { f F\ / f (x 0 ) = 0 } para x 0 \ dado

IV) Indicar cuales de los siguientes conjuntos son S.E.V. de P3

S1 = { P P3 ; a 0 = 0 }
S 2 = { P P3 ; a 0 + a 1 + a 2 + a 3 = 0 }

S 3 = { P P3 ; a 0 , a 1 , a 2 , a 3 Z }

V) Idem. de M 22 ()

( P =a

x 3 + a 2 x 2 + a1x + a 0

S1 = { A M 22 () ; a 11 = a 22 }
S 2 = { A M 22 () ; a 12 = a 21 }
S 3 = { A M 22 () ; a 12 = a 21 }

10

A = (a ij )

11

VI) En ( \ ` , +, \,) en donde \ ` es el conjunto de todas las sucesiones reales. Analizar si los

siguientes conjuntos son SEV.

i) S1 = { (x n ) \ ` ; (x n ) es convergente }

ii) S2 = { (x n ) \ ` ; (x n ) es divergente }
iii) S3 = { (x n ) \ ` ; (x n ) esta acotada }

VII) Consideramos: S1 = ( x, y, z) 3 ; x = 0
Hallar S1 S 2 y S1 + S 2
VIII) Idem. para S1 = L{(1,0,0,0)}

S 2 = L{(3,1,2), (3,2,1)}

S 2 = L{(1,2,3,4), (1,2,0,0)}

IX) Consideramos: V un E.V.R. , S y T subconjuntos no vacos de V. Demostrar:

i) S L(S)
ii) S es S.E.V. S = L(S)
Ambos conjuntos sern necesariamente iguales?
iii) L(S T) L(S) L(T)

X) Se considera en \ 2 los siguientes conjuntos:

S1 = { (x, 0) ; x \ } S2 = { (0, x); x \ } S3 = { (x, x) ; x \ } y S4 = { (x, x) ; x \ }

Probar: S1 S2 = \ 2 y S3 S4 = \ 2
XI) Consideramos: S = { A = (a ij ) M 22 (\) ; a ij = a ji } (Matrices simtricas)

T = { B = (bij ) M 22 (\) ; bij = b ji

(Matrices antisimtricas)

Probar: i) S y T son S.E..V.

ii) S T = M 22 (\)
Generalizar las dos proposiciones anteriores para M nn (\)

11