Algebra Lineal IV: Espacios Vectoriales.

Jose Mara Rico Martnez

Departamento de Ingeniera Mecanica
Facultad de Ingeniera Mecanica Electrica y Electronica
Universidad de Guanajuato
email: jrico@[Link]

En estas notas se definiran los espacios vectoriales, esta es la estructura matematica sobre la cual actua el
algebra lineal, se presentan algunos ejemplos de espacios vectoriales y algunas de sus propiedades fundamentales.

1 Espacios vectoriales.
Definicion de espacios vectoriales. Un espacio vectorial, V, sobre un campo K cuyos elementos se
denominan escalares, es un conjunto V , cuyos elementos se denominan vectores, con dos operaciones, una
que se llama adicion vectorial, +, y otra que se llama multiplicacion por escalar, denotada simplemente
por yustaposicion, tal que se satisfacen las siguientes propiedades, conocidas como axiomas:

1. El conjunto V junto con la operacion de adicion vectorial, +

+:VV V ~v1 + ~v2 = ~v3 ,

constituye un grupo conmutativo o abeliano.

2. Clausura respecto a la multiplicacion por escalar. Para cada pareja de elementos k K y ~v1 V
existe un unico elemento ~v2 V tal que

:KV V k~v1 = ~v2 .

3. La multiplicacion por escalar es distributiva respecto a la adicion vectorial.

k(~v1 + ~v2 ) = k~v1 + k~v2 k K, y ~v1 , ~v2 V.

4. La multiplicacion escalar es distributiva respecto a la adicion de escalares.

(k1 + k2 )~v = k1~v + k2~v k1 , k2 K, y ~v V.

5. La multiplicacion escalar es pseudoasociativa.

(k1 k2 )~v = k1 (k2~v ) k1 , k2 K y ~v V.

6. Propiedad del identico multiplicativo del campo. Si 1 K es el identico multiplicativo, se tiene

que
1~v = ~v ~v V.

1
 Es importante senalar que los teoremas que se indicaron para grupos son aplicables por igual para el grupo
aditivo contenidos en un espacio vectorial. Ademas, los campos mas usuales son el campo de los numeros reales,
R, y el campo de los numeros complejos, C, si un espacio vectorial esta definido sobre el campo de los numeros
reales, R, el espacio vectorial se denomina real, de manera semejante, si un espacio vectorial esta definido sobre
el campo de los numeros complejos, C, el espacio vectorial se denomina complejo.
Ejemplos de espacios vectoriales. Existen muchos ejemplos de espacios vectoriales:
1. Ejemplo 1. El conjunto de eneadas ordenadas de numeros reales, Rn , sobre el campo de los numeros
reales R, definido como
Rn = {~x = (x1 , x2 , . . . , xn )|x1 , x2 , . . . xn R} ,
donde dos vectores ~a = (a1 , a2 , . . . , an ), ~b = (b1 , b2 , . . . , bn ) Rn son iguales si, y solo si,
a i = bi i = 1, 2, , n.
junto con la operacion adicion vectorial, definida como,
~a + ~b = (a1 , a2 , . . . , an ) + (b1 , b2 , . . . , bn ) = (a1 + b1 , a2 + b2 , . . . , an + bn ) ~a, ~b Rn , (1)
y con la multiplicacion escalar real, definida como,
~a = (a1 , a2 , . . . , an ) = ( a1 , a2 , . . . , an ) R y ~a Rn , (2)
forman un espacio vectorial real, denominado Rn .
Pueba:
La clausura respecto a la adicion. Es facil probar a partir de la definicion, vea la ecuacion (1), pues el
resultado es otra eneada ordenada de numeros, que resultan de la suma de dos numeros reales y por
las propiedades de clausura de la adicion del campo de los numeros reales, los numeros son tambien
numeros reales.
La suma de vectores es asociativa. Sean ~a, ~b, ~c Rn entonces
~a + (~b + ~c) = (a1 , . . . , an ) + [(b1 , . . . , bn ) + (c1 , . . . , cn )] = (a1 , . . . , an ) + (b1 + c1 , . . . , bn + cn )
= [a1 + (b1 + c1 ), . . . , an + (bn + cn )] = [(a1 + b1 ) + c1 , . . . , (an + bn ) + cn ]
= [(a1 + b1 ), . . . , (an + bn )] + (c1 , . . . , cn ) = [(a1 , . . . , an ) + (b1 , . . . , bn )] + (c1 , . . . , cn )
= (~a + ~b) + ~c.

La suma de vectores es conmutativa. Sean ~a, ~b Rn entonces

~a + ~b = (a1 , . . . , an ) + (b1 , . . . , bn ) = (a1 + b1 , . . . , an + bn ) = (b1 + a1 , . . . , bn + an )
= (b1 , . . . , bn ) + (a1 , . . . , an ) = ~b + ~a.

Existencia del identico aditivo. Sea ~a = (a1 , . . . , an ) Rn arbitrario, suponga que ~i = (i1 , . . . , in )
Rn es el identico aditivo del espacio vectorial Rn entonces por las propiedades del identico aditivo
~a + ~i = ~a
Por lo tanto
~a + ~i = (a1 , . . . , an ) + (i1 , . . . , in ) = (a1 + i1 , . . . , an + in ) = (a1 , . . . , an )
Los ultimos vectores de la ecuacion son iguales si y solo si
a 1 + i1 = a 1 i1 = (a1 ) + a1 = 0
.. .. ..
. . .
a n + in = a n in = (an ) + an = 0

2
 Por lo tanto el identico aditivo de Rn esta dado por
~i = (i1 , . . . , in ) = (0, . . . , 0) = ~0

De ahora en adelante, el identico aditivo se denominara el vector cero, denotado por ~0. Ademas,
por la propiedad conmutativa de la adicion, se tiene que

~a + ~i = ~a = ~i + ~a.

Existencia del inverso aditivo. Sea ~a = (a1 , . . . , an ) Rn arbitrario, suponga que I~ = (I1 , . . . , In ) es
el inverso aditivo de ~a entonces por las propiedades del inverso aditivo

~a + I~ = ~0

Por lo tanto

~a + I~ = (a1 , . . . , an ) + (I1 , . . . , In ) = (a1 + I1 , . . . , an + In ) = (0, . . . , 0)

Los ultimos vectores de la ecuacion son iguales si y solo si

a1 + I 1 = 0 I1 = (a1 ) + 0 = (a1 )
.. .. ..
. . .
an + I n = 0 In = (an ) + 0 = (an )

Por lo tanto el inverso aditivo de ~a Rn esta dado por

I~ = (a1 , . . . , an ) = (~a)

De ahora en adelante, el inverso aditivo de ~a Rn se denotara por (~a). Ademas, por la propiedad
conmutativa de la adicion, se tiene que

~a + (~a) = ~0 = (~a) + ~a.

La clausura respecto a la multiplicacion por escalar. Es facil probar a partir de la definicion, vea la
ecuacion (2), pues el resultado es otra eneada ordenada de numeros, que resultan de la multiplicacion
de dos numeros reales y por las propiedades de clausura de la multiplicacion del campo de los numeros
reales, los numeros son tambien numeros reales.
La multiplicacion por escalar es distributiva respecto a la adicion vectorial. Sean ~a, ~b Rn y sea
R entonces

(~a + ~b) = [(a1 , . . . , an ) + (b1 , . . . , bn )] = (a1 + b1 , . . . , an + bn )

= (a1 + b1 , . . . , an + bn ) = ( a1 , . . . , an ) + ( b1 , . . . , bn ) = ~a + ~b.

La multiplicacion escalar es distributiva respecto a la adicion de escalares. Sean ~a Rn y sea

, R entonces

( + )~a = ( + )(a1 , . . . , an ) = (( + )a1 , . . . , ( + )an )

= (a1 + a1 , . . . , an + an ) = ( a1 , . . . , an ) + ( a1 , . . . , an ) = ~a + ~a

La multiplicacion escalar es pseudoasociativa. Sean ~a Rn y sea , R entonces

( )~a = ( )(a1 , . . . , an ) = [( ) a1 , . . . , ( ) an ] = [ ( a1 ), . . . , ( an )]
= [( a1 ), . . . , ( an )] = ( ~a)

3
 La propiedad del identico multiplicativo del campo. Sea ~a Rn y sea 1 R entonces
1~a = 1(a1 , . . . , an ) = (1 a1 , . . . , 1 an ) = (a1 , . . . , an ) = ~a.

2. Ejemplo 2. El conjunto de eneadas ordenadas de numeros complejos, Cn , sobre el campo de los numeros
complejos C, definido como
Cn = {~z = (z1 , z2 , . . . , zn ) | z1 , z2 , . . . , zn C} ,
donde dos vectores ~y = (y1 , y2 , . . . , yn ), ~z = (z1 , z2 , . . . , zn ) Cn son iguales si, y solo si,1
y i = zi i = 1, 2, . . . , n.
junto con la operacion adicion vectorial, definida como,
~y + ~z = (y1 , y2 , . . . , yn ) + (z1 , z2 , . . . , zn ) = (y1 + z1 , y2 + z2 , . . . , yn + zn ) ~y , ~z Cn ,
y junto con la multiplicacion escalar, donde el escalar es un numero complejo, definida como,
~z = (z1 , z2 , . . . , zn ) = ( z1 , z2 , . . . , zn ) C ~z C n ,
forman un espacio vectorial complejo, denominado Cn .

3. Ejemplo 3. El conjunto de polinomios de coeficientes reales, en la variable x, de grado menor o igual a

n, denotado como P n (x), sobre el campo de los numeros reales R, y definido como
P n (x) = p(x) = a0 + a1 x + a2 x2 + + an xn | a0 , a1 , a2 , . . . , an R ,


donde dos polinomios, p(x) = a0 + a1 x + + an xn , q(x) = b0 + b1 x + + bn xn P n (x) son iguales si,

y solo si,
ai = bi i = 0, 1, 2, . . . , n.
junto con la operacion de suma de polinomios, definida como,
p(x) + q(x) = (a0 + a1 x + a2 x2 + + an xn ) + (b0 + b1 x + b2 x2 + + bn xn )
= (a0 + b0 ) + (a1 + b1 )x + (a2 + b2 )x2 + + (an + bn )xn p(x), q(x) P n (x). (3)
y la multiplicacion escalar real por un polinomio, definida como
p(x) = (a0 +a1 x+a2 x2 + +an xn ) = (a0 )+(a1 )x+(a2 )x2 + +(an )xn R y p(x) P n (x).
(4)
forman un espacio vectorial real, denominado Pn (x).
Pueba:
La clausura respecto a la adicion. Es facil probar a partir de la definicion, vea la ecuacion (3), pues
el resultado es otro polinomio, en la variable x, de grado menor o igual que n,2 cuyos coeficientes
son la suma de dos numeros reales y por las propiedades de clausura de la adicion del campo de los
numeros reales, los coeficientes son tambien numeros reales.
1 Debe tenerse en cuenta que dos numeros complejos y = y + iy , z = z + iz C, donde y , y , z , z R son iguales si, y
1 2 1 2 1 2 1 2
solo si
y1 = z 1 y y2 = z 2 .

2 Note que si los coeficientes de la n potencia de dos polinomios que se suman son iguales y opuestos la suma es un polinomio de

grado, cuando mucho n 1, por eso el conjunto debe incluir polinomios de grano meror que n.

4
 La suma de polinomios es asociativa. Sean p(x) = a0 + . . . + an xn , q(x) = b0 + . . . + bn xn , r(x) =
c0 + . . . + cn xn P n (x) entonces

p(x) + (q(x) + r(x)) = (a0 + . . . + an xn ) + [(b0 + . . . + bn xn ) + (c0 + . . . + cn xn )]

= (a0 + . . . + an xn ) + [(b0 + c0 ) + . . . + (bn + cn ) xn ]
= [a0 + (b0 + c0 )] + + [an + (bn + cn )] xn
= [(a0 + b0 ) + c0 ] + + [(an + bn ) + cn ] xn
= [(a0 + b0 ) + + (an + bn ) xn ] + (c0 + . . . + cn xn )
= [(a0 + + an xn ) + + (b0 + . . . + bn xn )] + (c0 + . . . + cn xn )
= (p(x) + q(x)) + r(x).

La suma de vectores es conmutativa. Sean p(x) = a0 + . . . + an xn , q(x) = b0 + . . . + bn xn P n (x)

entonces

p(x) + q(x) = (a0 + + an xn ) + (b0 + . . . + bn xn ) = [(a0 + b0 ) + + (an + bn ) xn ]

= [(b0 + a0 ) + + (bn + an ) xn ] = (b0 + . . . + bn xn ) + (a0 + + an xn )
= q(x) + p(x).

Existencia del identico aditivo. Sea p(x) = a0 + . . . + an xn P n (x) arbitrario, suponga que z(x) =
z0 +. . .+zn xn P n (x) es el identico aditivo del espacio vectorial P n (x) entonces por las propiedades
del identico aditivo

p(x)+z(x) = p(x) (a0 +. . .+an xn )+(z0 +. . .+zn xn ) = [(a0 + z0 ) + . . . + (an + zn ) xn ] = a0 +. . .+an xn

Por lo tanto, la ecuacion es correcta si y solo si

a 0 + z0 = a 0 a n + zn = a n

La solucion de las ecuaciones en el campo de los numeros reales esta dado por

z0 = 0 zn = 0.

De aqu que, el identico aditivo de P n (x) esta dado por

z(x) = 0 + . . . + 0 xn

De ahora en adelante, el identico aditivo se denominara el polinomio zeta de x, denotado por z(x).
Ademas, por la propiedad conmutativa de la adicion, se tiene que

p(x) = p(x) + z(x).

Existencia del inverso aditivo. Sea p(x) = a0 + . . . + an xn P n (x) arbitrario, suponga que i(x) =
i0 + . . . + in xn es el inverso aditivo de p(x) entonces por las propiedades del inverso aditivo

p(x) + i(x) = z(x)

Por lo tanto

(a0 + . . . + an xn ) + (i0 + . . . + in xn ) = (a0 + i0 ) + . . . + (an + in ) xn = 0 + . . . + 0 xn

Los ultimos vectores de la ecuacion son iguales si y solo si

a 0 + i0 = 0 i0 = (a0 ) + 0 = (a0 )
.. .. ..
. . .
a n + in = 0 in = (an ) + 0 = (an )

5
 Por lo tanto el inverso aditivo de p(x) = a0 + . . . + an xn P n (x) esta dado por
(p(x)) = a0 . . . an xn
De ahora en adelante, el inverso aditivo de p(x) = a0 + . . . + an xn P n (x) se denotara por (p(x)).
Ademas, por la propiedad conmutativa de la adicion, se tiene que
p(x) + i(x) = z(x) = i(x) + p(x).

La clausura respecto a la multiplicacion por escalar. Es facil probar a partir de la definicion, vea
la ecuacion (4), pues el resultado es otro polinomio en la variable x, cuyos coeficientes resultan de
la multiplicacion de dos numeros reales y por las propiedades de clausura de la multiplicacion del
campo de los numeros reales, los numeros son tambien numeros reales.
La multiplicacion por escalar es distributiva respecto a la adicion vectorial. Sean p(x) = a0 + . . . +
an xn , q(x) = b0 + . . . + bn xn P n (x) y sea R entonces
(p(x) + q(x)) = [(a0 + + an xn ) + (b0 + . . . + bn xn )] = [(a0 + b0 ) + . . . + (an + bn ) xn ]
= [ (a0 + b0 ) + . . . + (an + bn ) xn ] = [( a0 + b0 ) + . . . + ( an + bn ) xn ]
= [ a0 + . . . + an xn ] + [ b0 + . . . + bn xn ]
= (a0 + . . . + an xn ) + (b0 + . . . + bn xn ) = p(x) + q(x)

La multiplicacion escalar es distributiva respecto a la adicion de escalares. Sea p(x) = a0 + . . . +

an xn P n (x) y sea , R entonces
( + )p(x) = ( + )(a0 + + an xn ) = [( + )a0 + . . . + ( + )an xn ]
= [( a0 + a0 ) + . . . + (an xn + an xn )]
= ( a0 + . . . + an xn ) + ( a0 + . . . + an xn ) = p(x) + p(x)

La multiplicacion escalar es pseudoasociativa. Sean p(x) = a0 + . . . + an xn P n (x) y sea , R

entonces
( )p(x) = ( )(a0 + . . . + an xn ) = [( ) a0 + . . . + ( ) an xn ] = [ ( a0 ) + . . . + ( an ) xn ]
= [( a0 ) + . . . + ( an ) xn ] = [ p(x)]

La propiedad del identico multiplicativo del campo. Sea p(x) = a0 + . . . + an xn P n (x) y sea 1 R
entonces
1 p(x) = 1(a0 + . . . + an xn ) = (1 a0 + . . . + 1 an xn ) = (a0 + . . . + an xn ) = p(x).

4. Ejemplo 4. El conjunto de matrices M mn que consta de m filas y n columnas de numeros reales y

definido como


m11 m12 m1n 

m m m i = 1, 2, . . . , m

21 22 2n
mn

M = m R

ij

 j = 1, 2, . . . , n



mm1 mm2 mmn

donde dos matrices M, N M mn dadas por

m11 m12 m1n n11 n12 n1n
m21 m22 m2n n21 n22 n2n
M =
y N =

mm1 mm2 mmn nm1 nm2 nmn

6
son iguales, denotado M = N , si, y solo si,

mij = nij i = 1, 2, . . . , m y j = 1, 2, . . . , n

junto con la operacion de suma matricial, definida como

m11 m12 m1n n11 n12 n1n
m21 m22 m2n n21 n22 n2n
M +N =
+

mm1 mm2 mmn nm1 nm2 nmn

m11 + n11 m12 + n12 m1n + n1n
m21 + n21 m22 + n22 m2n + n2n
= M, N M mn (5)

mm1 + nm1 mm2 + nm2 mmn + nmn

y la operacion de multiplicacion por escalar real, definida como

m11 m12 m1n m11 m12 m1n
m21 m22 m2n m21 m22 m2n
M =
= (6)

mm1 mm2 mmn mm1 mm2 mmn
R M M mn

forman un espacio vectorial real, denominado Mmn ; es decir sobre el campo de los numeros reales R.
Pueba:

La clausura respecto a la adicion. Es facil probar a partir de la definicion, vea la ecuacion (5), pues el
resultado es otra matriz de m filas y n columnas cuyos elementos pertenecen al campo de los numeros
reales.
La suma de matrices es asociativa. Sean M, N, O M mn entonces

7

m11 m12 m1n n11 n12 n1n o11 o12 o1n
m21 m22 m2n n21 n22 n2n o21 o22 o2n
M + (N + O) =

+ +

mm1 mm2 mmn nm1 nm2 nmn om1 om2 omn

m11 m12 m1n n11 + o11 n12 + o12 n1n + o1n
m21 m22 m2n n21 + o21 n22 + o22 n2n + o2n
=
+

mm1 mm2 mmn nm1 + om1 nm2 + om2 nmn + omn

m11 + (n11 + o11 ) m12 + (n12 + o12 ) m1n + (n1n + o1n )
m21 + (n21 + o21 ) m22 + (n22 + o22 ) m2n + (n2n + o2n )
=

mm1 + (nm1 + om1 ) mm2 + (nm2 + om2 ) mmn + (nmn + omn )

(m11 + n11 ) + o11 (m12 + n12 ) + o12 (m1n + n1n ) + o1n
(m21 + n21 ) + o21 (m22 + n22 ) + o22 (m2n + n2n ) + o2n
=

(mm1 + nm1 ) + om1 (mm2 + nm2 ) + om2 (mmn + nmn ) + omn

m11 + n11 m12 + n12 m1n + n1n o11 o12 o1n
m21 + n21 m22 + n22 m2n + n2n + o21 o22 o2n

=
mm1 + nm1 mm2 + nm2 mmn + nmn om1 om2 omn

m11 m12 m1n n11 n12 n1n o11 o12 o1n
m21 m22 m2n n21 n22 n2n o21 o22 o2n
=

+ +

mm1 mm2 mmn nm1 nm2 nmn om1 om2 omn
= (M + N ) + O

La suma de matrices es conmutativa. Sean M, N M mn entonces

m11 m12 m1n n11 n12 n1n
m21 m22 m2n n21 n22 n2n
M +N =

+

mm1 mm2 mmn nm1 nm2 nmn

m11 + n11 m12 + n12 m1n + n1n
m21 + n21 m22 + n22 m2n + n2n
=


mm1 + nm1 mm2 + nm2 mmn + nm1

n11 + m11 n12 + m12 n1n + m1n
n21 + m21 n22 + m22 n2n + m2n
=


nm1 + mm1 nm2 + mm2 nmn + mm1

n11 n12 n1n m11 m12 m1n
n21 n22 n2n m21 m22 m2n
=

+ =N +M

nm1 nm2 nmn mm1 mm2 mmn

Existencia del identico aditivo. Sea M M mn arbitraria, entonces existe una matriz M0 M mn

8
 definida como
0 0 0
0 0 0
M0 =


0 0 0
tal que

m11 m12 m1n 0 0 0
m21 m22 m2n 0 0 0
M + M0 =

+

mm1 mm2 mmn 0 0 0

m11 + 0 m12 + 0 m1n + 0 m11 m12 m1n
m21 + 0 m22 + 0 m2n + 0 m21 m22 m2n
= = =M

mm1 + 0 mm2 + 0 mmn + 0 mm1 mm2 mmn

Puesto que ya se probo que la suma es conmutativa, entonces

M + M0 = M = M0 + M.

Existencia del inverso aditivo. Sea M M mn , entonces existe una matriz (M ) M mn definida
como
m11 m12 m1n
m21 m22 m2n
(M ) =

mm1 mm2 mmn
tal que

m11 m12 m1n m11 m12
m1n
m21 m22 m2n m21 m22
m2n
M + (M ) =

+

mm1 mm2 mmn mm1 mm2
mmn

m11 + (m11 ) m12 + (m12 ) m1n + (m1n ) 0 0 0
m21 + (m21 ) m22 + (m22 ) m2n + (m2n ) 0 0 0
= = = M0

mm1 + (mm1 ) mm2 + (mm2 ) mmn + (mmn ) 0 0 0

Puesto que ya se probo que la suma es conmutativa, entonces

M + (M ) = M0 = (M ) + M.

La clausura respecto a la multiplicacion por escalar. Es facil probar a partir de la definicion, vea la
ecuacion (6), pues el resultado es otra matriz de m filas y n columnas cuyos elementos pertenecen al
campo de los numeros reales.
La multiplicacion por escalar es distributiva respecto a la adicion vectorial. Sean M, N M mn y
sea R entonces

9

m11 m12 m1n n11 n12 n1n
m21 m22 m2n n21 n22 n2n
(M + N ) =

+

mm1 mm2 mmn nm1 nm2 nmn

m11 + n11 m12 + n12 m1n + n1n
m21 + n21 m22 + n22 m2n + n2n
=

mm1 + nm1 mm2 + nm2 mmn + nm1

(m11 + n11 ) (m12 + n12 ) (m1n + n1n )
(m21 + n21 ) (m22 + n22 ) (m2n + n2n )
=

(mm1 + nm1 ) (mm2 + nm2 ) (mmn + nm1 )

m11 + n11 m12 + n12 m1n + n1n
m21 + n21 m22 + n22 m2n + n2n
=

mm1 + nm1 mm2 + nm2 mmn + nm1

m11 m12 m1n n11 n12 n1n
m21 m22 m2n n21 n22 n2n
= +

mm1 mm2 mmn nm1 nm2 nmn

m11 m12 m1n n11 n12 n1n
m21 m22 m2n
+ n21 n22 n2n = M + N

=
mm1 mm2 mmn nm1 nm2 nmn

La multiplicacion escalar es distributiva respecto a la adicion de escalares. Sea M, M mn y sean

1 , 2 R entonces

m11 m12 m1n
m21 m22 m2n
(1 + 2 )M = (1 + 2 )



mm1 mm2 mmn

(1 + 2 )m11 (1 + 2 )m12 (1 + 2 )m1n
(1 + 2 )m21 (1 + 2 )m22 (1 + 2 )m2n
=

(1 + 2 )mm1 (1 + 2 )mm2 (1 + 2 )mmn

1 m11 + 2 m11 1 m12 + 2 m12 1 m1n + 2 m1n
1 m21 + 2 m21 1 m22 + 2 m22 1 m2n + 2 m2n
=

1 mm1 + 2 mm1 1 mm2 + 2 mm2 1 mmn + 2 mmn

1 m11 1 m12 1 m1n 2 m11 2 m12 2 m1n
1 m21 1 m22 1 m2n 2 m21 2 m22 2 m2n
= +

1 mm1 1 mm2 1 mmn 2 mm1 2 mm2 2 mmn

m11 m12 m1n m11 m12 m1n
m21 m22 m2n
+ 2 m21 m22 m2n = 1 M + 2 M

= 1

mm1 mm2 mmn mm1 mm2 mmn

10
 La multiplicacion escalar es pseudoasociativa. Sea M, M mn y sean 1 , 2 R entonces

m11 m12 m1n
m21 m22 m2n
(1 2 )M = (1 2 )



mm1 mm2 mmn

(1 2 )m11 (1 2 )m12 (1 2 )m1n
(1 2 )m21 (1 2 )m22 (1 2 )m2n
=

(1 2 )mm1 (1 2 )mm2 (1 2 )mmn

1 (2 m11 ) 1 (2 m12 ) 1 (2 m1n )
1 (2 m21 ) 1 (2 m22 ) 1 (2 m2n )
=

1 (2 mm1 ) 1 (2 mm2 ) 1 (2 mmn )

2 m11 2 m12 2 m1n
2 m21 2 m22 2 m2n
= 1

2 mm1 2 mm2 2 mmn

m11 m12 m1n
m21 m22 m2n
= 2
1 = 1 (2 M )

mm1 mm2 mmn

La propiedad del identico multiplicativo del campo. Sea M M mn y sea 1 R entonces

m11 m12 m1n 1 m11 1 m12 1 m1n
m21 m22 m2n = 1 m21
1 m22 1 m2n
1M = 1


mm1 mm2 mmn 1 mm1 1 mm2 1 mmn

m11 m12 m1n
m21 m22 m2n
=

=M

mm1 mm2 mmn

5. Ejemplo 5. El conjunto de funciones reales de variable real, definidas sobre un intervalo arbitrario, por
ejemplo F (, +), donde (, +) se conoce como el dominio de definicion de las funciones3 definido
como
F (, +) = {f (x) | f (x) R x (, +)} ,
donde dos funciones f, g F (, +) son iguales si, y solo si

f (x) = g(x) x (, +)

junto con las operaciones de adicion de funciones, definida como

+ : F (, +)F (, +) F (, +) f +g = (f +g) F (, +) f, g F (, +),

3 Otras posibles variaciones son F (a, b), F [a, b) o F [a, b], donde a, b R y b > a.

11
 donde
(f + g)(x) = f (x) + g(x) x (, +)
y multiplicacion escalar real de funciones, definida como
: R F (, +) F (, +) f = (f ) F (, +) R f F (, +).
donde
( f )(x) = f (x) x (, +)
forman un espacio vectorial real de funciones, denominado F(, +); es decir, sobre el campo de
los numeros reales R. Existen muchas posibles variantes de un espacio vectorial de funciones reales de
variable real. Algunas de estas variantes aparecen, como ya se indico, cambiando el intervalo de definicion
de la funcion, otras variantes aparecen cuando se introducen condiciones mas restrictivas, por ejemplo,
si se requiere que las funciones sean continuas, diferenciables hasta la enesima derivada o continuamente
diferenciables, etc.

2 Propiedades de espacios vectoriales.

Considere un espacio vectorial V sobre un campo K, entonces se tienen las siguientes propiedades:
1. El producto del escalar 0 K por cualquier vector ~v V es el identico aditivo del espacio vectorial, es
decir, ~0 V.
2. El producto de cualquier escalar K por el vector cero ~0 V es el vector ~0 V.
3. Si ~v = ~0, entonces o = 0 o ~v = ~0.
Prueba: Para la primera parte del teorema, considere la siguiente ecuacion en el campo escalar
+0= donde K
Por lo tanto
~v + 0 ~v = ( + 0) ~v = ~v
Sin embargo, se sabe de las propiedades de los grupos que si
g + g0 = g, g0 = 0
igualando g con ~v , se tiene que 0 ~v = ~0.
Para la segunda parte del teorema, considere la siguiente ecuacion en el espacio vectorial
~v + ~0 = ~v donde ~v V
Por lo tanto
~v + ~0 = (~v + ~0) = ~v
Sin embargo, se sabe de las propiedades de los grupos que si
g + g0 = g, g0 = 0
comparando g con ~v , se tiene que ~0 = ~0
Para la parte final del resultado, note que si = 0, entonces
~v = 0 ~v = ~0.
Suponga ahora que 6= 0, entonces tiene un inverso multiplicativo en el campo K, denotado por 1 , tal
que 1 = 1 = 1. Considere ahora
~0 = ~0
Por lo tanto, a partir de la ecuacion marcada como Inicio, se tiene que
Inicio
~v = 1 ~v = 1 ~v = 1 ( ~v ) = 1~0 = ~0.

12