Definición de espacio vectorial.
Corolarios simples de los axiomas
Objetivos. Definir el concepto de espacio vectorial y demostrar corolarios simples de los
axiomas.
Requisitos. Antes de estudiar la definición axiomática de espacio vectorial, es útil conocer
bien el espacio Rn de vectores aritméticos y el espacio V 2 (O) de vectores geométricos
(flechas) en el plano.
Definición de espacio vectorial
1. Definición (espacio vectorial). Sean V un conjunto y F un campo. Supongamos
que estén definidas dos aplicaciones:
adición de elementos de V :
+ : V × V → V (una aplicación definida en V × V con valores en V ),
(a, b) 7→ a + b;
multiplicación de elementos de V por elementos de F:
· : F × V → V (una aplicación definida en F × V con valores en V ),
(λ, a) 7→ λa.
Se dice que V con estas operaciones es un espacio vectorial sobre el campo F, si se cumplen
las siguientes propiedades (axiomas de espacio vectorial ):
1. Propiedad asociativa de la adición:
∀a, b, c ∈ V (a + b) + c = a + (b + c).
2. Existencia de cero:
∃z ∈ V ∀a ∈ V a+z =a ∧ z+a=a .
Se puede demostrar (lo hacemos en continuación) que el vector z con estas propie-
dades es único. Este vector se llama vector cero (del espacio V ). Vamos a denotarlo
por 0.
3. Existencia de elementos opuestos:
∀a ∈ V ∃u ∈ V a+u=0 ∧ u+a=0 .
Se puede demostrar que para todo a ∈ V el vector u con estas propiedades es único.
Este vector se llama vector opuesto (o vector inverso aditivo) al vector a y se denota
por −a.
Definición de espacio vectorial, página 1 de 4
4. Propiedad conmutativa de la adición:
∀a, b ∈ V a + b = b + a.
5. Distributividad de la multiplicación por escalares con respecto a la adición de vec-
tores:
∀a, b ∈ V ∀λ ∈ F λ(a + b) = λa + λb.
6. Distributividad de la multiplicación por escalares con respecto a la adición de esca-
lares:
∀a ∈ V ∀λ, µ ∈ F (λ + µ)a = λa + µa.
7. Propiedad homogénea de la multiplicación por elementos de F (concordancia entre
la multiplicación por escalares en V y la multiplicación en F):
∀a ∈ V ∀λ, µ ∈ F λ(µa) = (λµ)a.
8. Unitaridad, o Condición de normalización de la multiplicación por elementos de F:
∀a ∈ V 1a = a.
2. Terminologı́a. En vez de espacio vectorial se dice también espacio lineal. Si V con
operaciones + y · es un espacio vectorial sobre el campo F, entonces los elementos de V
se llaman vectores (del espacio vectorial V ), los elementos de F se llaman escalares (para
el espacio vectorial V ), y operaciones + y · se llaman operaciones lineales: adición de
los vectores y multiplicación de los vectores por los escalares. En lugar de λ · a se escribe
simplemente λa.
3. Espacio vectorial como una terna o tetra. Teóricamente, es posible considerar
en un mismo conjunto V con varias operaciones lineales. Por eso serı́a más preciso decir
que el espacio vectorial es la terna (V, +, ·) o la tetra (V, F, +, ·). Pero la situación con
varias operaciones es muy rara. Habitualmente está claro, de cuales operaciones lineales
se trata, y en lugar (V, +, ·) o (V, F, +, ·) se escribe simplemente V .
Definición de espacio vectorial, página 2 de 4
Corolarios simples de los axiomas
Propiedades de la adición
4. Unicidad del vector cero. Sean z 0 , z 00 ∈ V tales que
∀a ∈ V a + z 0 = a; (1)
∀a ∈ V z 0 + a = a; (2)
∀a ∈ V a + z 00 = a; (3)
∀a ∈ V z 00 + a = a. (4)
Entonces z 0 = z 00 . Idea de demostración: considerar la suma z 0 + z 00 .
5. Unicidad del vector opuesto. Sea a ∈ V y sean b0 y b00 tales que
a + b0 = 0, (5)
b0 + a = 0, (6)
a + b00 = 0, (7)
b00 + a = 0. (8)
Entonces b0 = b00 . Idea de demostración: considerar la suma (b0 + a) + b00 y aplicar la
asociatividad de la adición en V .
6. Ley de cancelación para la adicón. Para todos a, b, c ∈ V , si a + c = b + c, entonces
a = b.
7. Existencia y unicidad de diferencia de vectores. Para todos a, b ∈ V , existe un
elemento único x tal que a+x = b. El elemento x con esta propiedad se llama la diferencia
de b y a y se denota por b − a. Además, b − a = b + (−a).
8. Ejercicio. Demuestre las propiedades de la adición.
Definición de espacio vectorial, página 3 de 4
9. Teorema fuerte sobre la unicidad de cero. Sean z, v ∈ V tales que v + z = v.
Entonces z = 0. En otras palabras, si sabemos que el elemento z hizo el papel de elemento
neutro en la suma con algún vector v, entonces es el cero del espacio y siempre hace el
papel de neutro aditivo.
Demostración. Usamos el elemento inverso aditivo de v de la siguiente manera:
(1) (2) (3) (4) (5)
z === 0 + z === (−v + v) + z === −v + (v + z) === −v + v === 0.
Justificación de los pasos:
(1) Por la propiedad principal de 0.
(2) Por la definición de −v.
(3) Por la propiedad asociativa de la adición en V .
(4) Por la hipótesis que v + z = v.
(5) Por la definición de −v.
Propiedades de la multiplicación por escalares
10. Multiplicación por escalar cero. 0a = 0 para todo a ∈ V .
11. Multiplicación por vector cero. λ0 = 0 para todo λ ∈ F.
12. Expresión del vector opuesto a través de multiplicación por −1. −a = (−1)a
para todo a ∈ V .
13. ¿Cuándo el producto de un vector por un escalar no nulo puede ser cero?.
Para todos a ∈ V y λ ∈ F, si λa = 0 y λ 6= 0, entonces a = 0.
14. ¿Cuándo el producto de un vector no nulo por un escalar puede ser cero?.
Para todos a ∈ V y λ ∈ F, si λa = 0 y a 6= 0, entonces λ = 0.
15. Ejercicio. Demuestre las propiedades de multiplicación por escalares.
Definición de espacio vectorial, página 4 de 4
