E SCUELA P OLITÉCNICA N ACIONAL
Á LGEBRA L INEAL • S EMANA 07 C LASE 01
Semestre 2024-B Departamento de Formación Básica
4. E SPACIOS V ECTORIALES
4.1 Espacio Vectorial
D EFINICIÓN 1: Espacio Vectorial
Dados un campo K, un conjunto no vacío E y dos operaciones:
⊕ : E × E −→ E ⊙ : K × E −→ E
y
( x, y) 7−→ x ⊕ y, (α, x ) 7−→ α ⊙ x
llamadas suma y producto, respectivamente; se dice que ( E, ⊕, ⊙, K ) es un
espacio vectorial si cumplen las siguientes propiedades:
1. Asociativa de la suma: para todo x, y, z ∈ E se tiene que
( x ⊕ y ) ⊕ z = x ⊕ ( y ⊕ z );
2. Conmutativa de la suma: para todo x, y ∈ E se tiene que
x ⊕ y = y ⊕ x;
3. Elemento neutro de la suma: existe un elemento de E, denotado por 0E
o simplemente 0, tal que para todo x ∈ E se tiene que
x ⊕ 0E = 0E ⊕ x = x;
4. Inverso de la suma: para todo x ∈ E, existe un elemento de E, denotado
por − x, tal que
x ⊕ (− x ) = 0E ;
5. Distributiva del producto I: para todo x, y ∈ E y todo α ∈ K se tiene
que
α ⊙ ( x ⊕ y) = α ⊙ x ⊕ α ⊙ y
6. Distributiva del producto II: para todo x ∈ E y todo α, β ∈ K se tiene
1
Departamento de Formación Básica Semana 07 Clase 01
que
(α + β) ⊙ x = α ⊙ x ⊕ β ⊙ x;
7. Asociativa del producto: para todo x ∈ E y todo α, β ∈ K se tiene que
( α · β ) ⊙ x = α ⊙ ( β ⊙ x );
8. Elemento neutro del producto: para todo x ∈ E se tiene que
1 ⊙ x = x,
donde 1 ∈ K es el elemento neutro multiplicativo de K
Note que de la definición de espacio vectorial es necesario que las opera-
ciones suma y producto sean cerradas. Esto es que, para el espacio vectorial
( E, ⊕, ⊙, K ) además de las 8 propiedades de la definición se debe cumplir:
Clausura de la suma: Si x, y ∈ E entonces x ⊕ y ∈ E.
Clausura del producto: Si x ∈ E y α ∈ K, entonces α ⊙ x ∈ E.
Nota: A los elementos del espacio vectorial E se les denomina vectores y a los
elementos del campo K se les denomina escalares.
E JEMPLO 1. Verifique si el conjunto de ternas ordenadas de números reales
R3 = {( x1 , x2 , x3 ) : x1 ∈ R ∧ x2 ∈ R ∧ x3 ∈ R }
es un espacio vectorial sobre el campo R si se definen las operaciones ⊕ y ⊙ de
la siguiente manera: dados a = ( a1 , a2 , a3 ) ∈ R3 y b = (b1 , b2 , b3 ) ∈ R3 , y dado
λ ∈ R, se define:
a ⊕ b = ( a1 , a2 , a3 ) ⊕ (b1 , b2 , b3 ) = ( a1 + b1 , a2 + b2 , a3 + b3 )
λ ⊙ a = λ ⊙ ( a1 , a2 , a3 ) = ( λ · a1 , λ · a2 , λ · a3 )
a continuación, ilustraremos la demostración de cada una de las propiedades:
1. Asociativa de la suma
Suponga que a = ( a1 , a2 , a3 ) ∈ R3 , b = (b1 , b2 , b3 ) ∈ R3 y c = (c1 , c2 , c3 ) ∈
R3 . Entonces:
2
Semana 07 Clase 01 Departamento de Formación Básica
( a ⊕ b) ⊕ c
= [( a1 , a2 , a3 ) ⊕ (b1 , b2 , b3 )] ⊕ (c1 , c2 , c3 ) Definiciones de a, b y c
= ( a1 + b1 , a2 + b2 , a3 + b3 ) ⊕ (c1 , c2 , c3 ) Definición de ⊕ en R3
= ([ a1 + b1 ] + c1 , [ a2 + b2 ] + c2 , [ a3 + b3 ] + c3 ) Definición de ⊕ en R3
= ( a1 + [b1 + c1 ], a2 + [b2 + c2 ], a3 + [b3 + c3 ]) Propiedad asociativa en R
= ( a1 , a2 , a3 ) ⊕ (b1 + c1 , b2 + c2 , b3 + c3 ) Definición de ⊕ en R3
= ( a1 , a2 , a3 ) ⊕ [(b1 , b2 , b3 ) ⊕ (c1 , c2 , c3 )] Definición de ⊕ en R3
= a ⊕ (b ⊕ c) Definiciones de a, b y c
2. Conmutativa de la suma
Suponga que a = ( a1 , a2 , a3 ) ∈ R3 y b = (b1 , b2 , b3 ) ∈ R3 . Entonces:
a ⊕ b = ( a1 , a2 , a3 ) ⊕ (b1 , b2 , b3 ) Definiciones de a y b
= ( a1 + b1 , a2 + b2 , a3 + b3 ) Definición de ⊕ en R3
= (b1 + a1 , b2 + a2 , b3 + a3 ) Conmutativa de + en R
= (b1 , b2 , b3 ) ⊕ ( a1 , a2 , a3 ) Definición de ⊕ en R3
= b⊕a Definiciones de a y b
3. Elemento neutro de la suma
Se debe probar que la siguiente proposición es verdadera:
(∃0E ∈ R3 )(∀ a ∈ R3 )( a ⊕ 0E = 0E ⊕ a = a)
Esta demostración es de existencia, por lo que se debe exhibir un elemento
0E ∈ R3 que satisfaga la definición de elemento neutro.
Sea 0E = (0, 0, 0). Se debe probar que para todo a = ( a1 , a2 , a3 ) ∈ R3 se
cumpla que:
a ⊕ 0E = 0E ⊕ a = a
En efecto:
a ⊕ 0E = ( a1 , a2 , a3 ) ⊕ (0, 0, 0) Definiciones de a y 0E
= ( a1 + 0, a2 + 0, a3 + 0) Definición de ⊕ en R3
= ( a1 , a2 , a3 ) Neutro aditivo en R
=a Definición de a
3
Departamento de Formación Básica Semana 07 Clase 01
por la propiedad conmutativa, se tiene que a ⊕ 0E = 0E ⊕ a. Por tanto, se ha
demostrado también que:
0E ⊕ a = a
4. Inverso de la suma
Se debe probar que la siguiente proposición es verdadera:
(∀ a ∈ R3 )(∃ â ∈ R3 )( â ⊕ a = a ⊕ â = 0E )
Esta también es una demostración de existencia, en este caso, por el orden
de los cuantificadores, el elemento â depende de a.
Sea a = ( a1 , a2 , a3 ) ∈ R3 . Se prueba que el vector buscado â se define del
siguiente modo:
â = (− a1 , − a2 , − a3 )
donde cada − ai es el inverso aditivo de ai ∈ R, para i = 1, 2, 3.
Entonces, tenemos que:
a ⊕ â = ( a1 , a2 , a3 ) ⊕ (− a1 , − a2 , − a3 ) Definiciones de a y â
= ( a1 + (− a1 ), a2 + (− a2 ), a3 + (− a3 )) Definición de ⊕ en R3
= (0, 0, 0) Inverso aditivo en R
= 0E Definición de 0E
por la propiedad conmutativa de ⊕, se tiene también que:
â ⊕ a = 0E
5. Distributiva del producto I
Suponga que a = ( a1 , a2 , a3 ) ∈ R3 , b = (b1 , b2 , b3 ) ∈ R3 y λ ∈ R. Entonces:
λ ⊙ ( a ⊕ b)
= λ ⊙ (( a1 , a2 , a3 ) ⊕ (b1 , b2 , b3 )) Definiciones de a y b
= λ ⊙ ( a1 + b1 , a2 + b2 , a3 + b3 ) Definición de ⊕ en R3
= (λ · [ a1 + b1 ], λ · [ a2 + b2 ], λ · [ a3 + b3 ]) Definición de ⊙ en R3
= (λ · a1 , λ · a2 , λ · a3 ) ⊕ (λ · b1 , λ · b2 , λ · b3 ) Definición de ⊕ en R3
= λ ⊙ ( a1 , a2 , a3 ) ⊕ λ ⊙ (b1 , b2 , b3 ) Definición de ⊙ en R3
= λ⊙a⊕λ⊙b Definiciones de a y b
4
Semana 07 Clase 01 Departamento de Formación Básica
6. Distributiva del producto II
Suponga que a = ( a1 , a2 , a3 ) ∈ R3 y λ, β ∈ R. Entonces:
(λ + β) ⊙ a
= ( λ + β ) ⊙ ( a1 , a2 , a3 ) Definición de a
= ((λ + β) · a1 , (λ + β) · a2 , (λ + β) · a3 ) Definición de ⊙ en R3
= (λa1 + βa1 , λa2 + βa2 , λa3 + βa3 ) Distributiva del producto en R
= (λa1 , λa2 , λa3 ) ⊕ ( βa1 , βa2 , βa3 ) Definición de ⊕ en R3
= λ ⊙ ( a1 , a2 , a3 ) ⊕ β ⊙ ( a1 , a2 , a3 ) Definición de ⊙ en R3
= λ⊙a⊕β⊙a Definición de a
7. Asociativa del producto
Suponga que a = ( a1 , a2 , a3 ) ∈ R3 y λ, β ∈ R. Entonces:
( λ · β ) ⊙ a = ( λ · β ) ⊙ ( a1 , a2 , a3 ) Definición de a
= ((λ · β) · a1 , (λ · β) · a2 , (λ · β) · a3 ) Definición de ⊙ en R3
= (λ · ( β · a1 ), λ · ( β · a2 ), λ · ( β · a3 )) Asociativa · en R
= λ ⊙ ( β · a1 , β · a2 , β · a3 ) Definición de ⊙ en R3
= λ ⊙ ( β ⊙ ( a1 , a2 , a3 )) Definición de ⊙ en R3
= λ ⊙ ( β ⊙ a) Definición de a
8. Elemento neutro del producto
Se debe probar que la siguiente proposición es verdadera:
(∀ a ∈ R3 )(1 ⊙ a = a), donde 1 ∈ R
Suponga que a = ( a1 , a2 , a3 ) ∈ R3 . Entonces:
1 ⊙ a = 1 ⊙ ( a1 , a2 , a3 ) Definición de a
= (1 · a1 , 1 · a2 , 1 · a3 ) Definición de ⊙ en R3
= ( a1 , a2 , a3 ) Neutro multiplicativo en R
=a Definición de a
En vista que se satisfacen todas las propiedades de la definición 1, se concluye
que (R3 , ⊕, ⊙, R ) es un espacio vectorial.
5
Departamento de Formación Básica Semana 07 Clase 01
E JERCICIO 1. Verifique si el conjunto V definido por:
( ! )
a b 2×2
V= ∈R : ad − cb = 0 ,
c d
junto a las operaciones usuales de suma de matrices y producto de un escalar por
matriz es un espacio vectorial real.
E JERCICIO 2. Verifique si el conjunto
n o
V = ( x, y, 3, w) ∈ R4 : 2x − y = 0
junto a las operaciones usuales de suma y producto por un escalar en R4 es un
espacio vectorial real.
P ROPOSICIÓN 1. Los siguientes conjuntos con sus operaciones usuales de
suma y producto son espacios vectoriales:
• (R n , +, ·, R), con n ∈ N ∗ .
• (R m×n , +, ·, R ), con m, n ∈ N ∗ .
O BSERVACIÓN 1. Es importante mencionar respecto a esta proposición que:
• R n = {( x1 , . . . , xn ) : xi ∈ R para i = 1, . . . , n} y sus operaciones están
definidos mediante
( x1 , x2 , . . . , x n ) + ( y1 , y2 , . . . , y n ) = ( x1 + y1 , x2 + y2 , . . . , x n + y n )
α · ( x1 , x2 , . . . , x n ) = ( α · x1 , α · x2 , . . . , α · x n ).
P ROPOSICIÓN 2. Sea ( E, +, ·, K ) un espacio vectorial, el elemento neutro es
único.
E JEMPLO 2. Para los espacios definidos con anterioridad su elemento neutro es:
• 0Rn = (0, 0, . . . , 0).
• 0Rm×n = 0m×n .
6
Semana 07 Clase 01 Departamento de Formación Básica
P ROPOSICIÓN 3. Sea ( E, +, ·, K ) un espacio vectorial, para todo u ∈ E su
inverso es único.