Álgebra Lineal IV: Espacios Vectoriales.

José Marı́a Rico Martı́nez

Departamento de Ingenierı́a Mecánica
Facultad de Ingenierı́a Mecánica Eléctrica y Electrónica
Universidad de Guanajuato
email: jrico@salamanca.ugto.mx

En estas notas se definirán los espacios vectoriales, esta es la estructura matemática sobre la cual actua el
álgebra lineal, se presentan algunos ejemplos de espacios vectoriales y algunas de sus propiedades fundamentales.

1. Espacios vectoriales.
Definición 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 adición vectorial, +, y otra que se llama multiplicación por escalar, denotada simplemente
por yustaposición, tal que se satisfacen las siguientes propiedades, conocidas como axiomas:

1. El conjunto V junto con la operación de adición vectorial, +

+:V×V →V ~v1 + ~v2 = ~v3 ,

constituye un grupo conmutativo o abeliano.

2. Clausura respecto a la multiplicación por escalar. Para cada pareja de elementos k ∈ K y ~v1 ∈ V
existe un único elemento ~v2 ∈ V tal que

:K×V →V k~v1 = ~v2 .

3. La multiplicación por escalar es distributiva respecto a la adición vectorial.

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

4. La multiplicación escalar es distributiva respecto a la adición de escalares.

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

5. La multiplicación escalar es pseudoasociativa.

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

6. Propiedad del idéntico multiplicativo del campo. Si 1 ∈ K es el idéntico multiplicativo, se tiene

que
1~v = ~v ∀ ~v ∈ V.

1
 Es importante señalar que los teoremas que se indicaron para grupos son aplicables por igual para el grupo
aditivo contenidos en un espacio vectorial. Además, los campos mas usuales son el campo de los números reales,
R, y el campo de los números complejos, C, si un espacio vectorial está definido sobre el campo de los números
reales, R, el espacio vectorial se denomina real, de manera semejante, si un espacio vectorial está definido sobre
el campo de los números complejos, C, el espacio vectorial se denomina complejo.
Ejemplos de espacios vectoriales. Existen muchos ejemplos de espacios vectoriales:
1. El conjunto de eneadas ordenadas de números reales, Rn 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 sólo si,
ai = bi ∀ i = 1, 2, · · · , n.
junto con la operación adición vectorial, definida como,
~a + ~b = (a1 , a2 , . . . , an ) + (b1 , b2 , . . . , bn ) = (a1 + b1 , a2 + b2 , . . . , an + bn ) ∀~a, ~b ∈ Rn , (1)
y con la multiplicación 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 adición. Es fácil probar a partir de la definición, vea la ecuación (1), pues el
resultado es otra eneada ordenada de números, que resultan de la suma de dos números reales y por
las propiedades de clausura de la adición del campo de los números reales, los números son también
números 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 idéntico aditivo. Sea ~a = (a1 , . . . , an ) ∈ Rn arbitrario, suponga que ~i = (i1 , . . . , in ) ∈
Rn es el idéntico aditivo del espacio vectorial Rn entonces por las propiedades del idéntico aditivo
~a + ~i = ~a
Por lo tanto
~a + ~i = (a1 , . . . , an ) + (i1 , . . . , in ) = (a1 + i1 , . . . , an + in ) = (a1 , . . . , an )
Los últimos vectores de la ecuación son iguales si y sólo si
a1 + i1 = a1 ⇒ i1 = (−a1 ) + a1 = 0
.. .. ..
. . .
an + in = an ⇒ in = (−an ) + an = 0

2
Por lo tanto el idéntico aditivo de Rn está dado por
~i = (i1 , . . . , in ) = (0, . . . , 0) = ~0

De ahora en adelante, el idéntico aditivo se denominará el vector cero, denotado por ~0. Además, por
la propiedad conmutativa de la adición, 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 últimos vectores de la ecuación son iguales si y sólo si

a1 + I1 = 0 ⇒ I1 = (−a1 ) + 0 = (−a1 )
.. .. ..
. . .
an + In = 0 ⇒ In = (−an ) + 0 = (−an )

Por lo tanto el inverso aditivo de ~a ∈ Rn está dado por

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

De ahora en adelante, el inverso aditivo de ~a ∈ Rn se denotará por (−~a). Además, por la propiedad
conmutativa de la adición, se tiene que

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

La clausura respecto a la multiplicación por escalar. Es fácil probar a partir de la definición, vea la
ecuación (2), pues el resultado es otra eneada ordenada de números, que resultan de la multiplicación
de dos números reales y por las propiedades de clausura de la multiplicación del campo de los números
reales, los números son también números reales.
La multiplicación por escalar es distributiva respecto a la adición 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 multiplicación escalar es distributiva respecto a la adición 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 multiplicación escalar es pseudoasociativa. Sean ~a ∈ Rn y sea λ, µ ∈ R entonces

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

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

3
 La propiedad del idéntico multiplicativo del campo. Sea ~a ∈ Rn y sea 1 ∈ R entonces

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

2. El conjunto de eneadas ordenadas de números complejos, Cn 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 sólo si,1

y i = zi ∀i = 1, 2, . . . , n.

junto con la operación adición vectorial, definida como,

~y + ~z = (y1 , y2 , . . . , yn ) + (z1 , z2 , . . . , zn ) = (y1 + z1 , y2 + z2 , . . . , yn + zn ) ∀~y , ~z ∈ Cn ,

y junto con la multiplicación escalar, donde el escalar es un número complejo, definida como,

λ~z = λ(z1 , z2 , . . . , zn ) = (λ · z1 , λ · z2 , . . . , λ · zn ) ∀ λ ∈ C ∀ ~z ∈ C n ,

forman un espacio vectorial complejo, denominado Cn .

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

como P n (x) , 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 sólo si,
ai = bi i = 0, 1, 2, . . . , n.
junto con la operación 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).

y la multiplicación 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).

forman un espacio vectorial, denominado Pn (x).

1 Debe tenerse en cuenta que dos números 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
sólo si
y1 = z 1 y y2 = z 2 .

4
4. El conjunto de matrices M m×n que consta de m filas y n columnas de números reales y definido como
  

 m11 m12 · · · m1n ¯ 

m21 m22 · · · m2n  ∀i = 1, 2, . . . , m
 ¯ 
m×n
M =  m ∈ R
¯
ij
 
· · · · ¯ ∀j = 1, 2, . . . , n 
¯

 
mm1 mm2 · · · mmn
 

donde dos matrices M, N ∈ M m×n dadas por

   
m11 m12 · · · m1n n11 n12 ··· n1n
 m21 m22 · · · m2n   n21 n22 ··· n2n 
M =  ·
 y N = 
· · ·   · · · · 
mm1 mm2 · · · mmn nm1 nm2 ··· nmn

son iguales, denotado M = N , si, y sólo si,

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

junto con la operación 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 m×n (3)
 · · · · 
mm1 + nm1 mm2 + nm2 · · · mmn + nmn

y la operación de multiplicación por escalar real, definida como

   
m11 m12 · · · m1n λm11 λm12 ··· λm1n
 m21 m22 · · · m2n   λm21 λm22 ··· λm2n 
λM = λ   ·
=  (4)
· · ·   · · · · 
mm1 mm2 · · · mmn λmm1 λmm2 ··· λmmn
∀λ ∈ R ∀M ∈ M m×n

forman un espacio vectorial real, denominado Mm×n .

Pueba:

La clausura respecto a la adición. Es fácil probar a partir de la definición, vea la ecuación (3), pues el
resultado es otra matriz de m filas y n columnas cuyos elementos pertenecen al campo de los números
reales.
La suma de matrices es asociativa. Sean M, N, O ∈ M m×n entonces

5
      
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 m×n 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 idéntico aditivo. Sea M ∈ M m×n arbitraria, entonces existe una matriz M0 ∈ M m×n

6
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 probó que la suma es conmutativa, entonces

M + M0 = M = M0 + M.

Existencia del inverso aditivo. Sea M ∈ M m×n , entonces existe una matriz (−M ) ∈ M m×n 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 probó que la suma es conmutativa, entonces

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

La clausura respecto a la multiplicación por escalar. Es fácil probar a partir de la definición, vea la
ecuación (4), pues el resultado es otra matriz de m filas y n columnas cuyos elementos pertenecen al
campo de los números reales.
La multiplicación por escalar es distributiva respecto a la adición vectorial. Sean M, N ∈ M m×n y
sea λ ∈ R entonces

7
    
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 multiplicación escalar es distributiva respecto a la adición de escalares. Sea M, ∈ M m×n 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

8
 La multiplicación escalar es pseudoasociativa. Sea M, ∈ M m×n 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 idéntico multiplicativo del campo. Sea M ∈ M m×n y sea 1 ∈ R entonces

   
m11 m12 ··· m1n 1 · m11 1 · m12 ··· 1 · m1n
 m21 m22 ··· m2n   1 · m21 1 · m22 ··· 1 · m2n 
1·M = 1
 ·
= 
· · ·   · · · · 
mm1 mm2 ··· mmn 1 · mm1 1 · mm2 ··· 1 · mmn
 
m11 m12 ··· m1n
 m21 m22 ··· m2n 
= 
 ·
=M
· · · 
mm1 mm2 ··· mmn

5. El conjunto de funciones reales de variable real, definidas sobre un intervalo arbitrario, por ejemplo
F (−∞, +∞), donde (−∞, +∞) se conoce como el dominio de definición de las funciones2 definido como

F (−∞, +∞) = {f (x) | f (x) ∈ R ∀ x ∈ (−∞, +∞)} ,

donde dos funciones f, g ∈ F (−∞, +∞) son iguales si, y sólo si

f (x) = g(x) ∀x ∈ (−∞, +∞)

junto con las operaciones de adición de funciones, definida como

+ : F (−∞, +∞)×F (−∞, +∞) → F (−∞, +∞) f +g = (f +g) ∈ F (−∞, +∞) ∀ f, g ∈ F (−∞, +∞),
2 Otras posibles variaciones son F (a, b), F [a, b) o F [a, b], donde a, b ∈ R y b > a.

9
 donde
(f + g)(x) = f (x) + g(x) ∀ x ∈ (−∞, +∞)
y multiplicación 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(−∞, +∞). Existen muchas posibles variantes
de un espacio vectorial de funciones reales de variable real. Algunas de estas variantes aparecen, como ya
se indicó, cambiando el intervalo de definición de la función, otras variantes aparecen cuando se introducen
condiciones mas restrictivas, por ejemplo, si se requiere que las funciones sean continuas, diferenciables
hasta la enésima 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 idéntico 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 ecuación 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 ecuación 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 ³ ´
~v = 1 ~v = λ−1 λ ~0 = λ−1 λ ~0 = λ−1~0 = ~0.
¡ ¢

10