Un espacio vectorial sobre un cuerpo
1. La suma de vectores ("+")
2. El producto por un escalar ("·")
para las cuales será cerrado
El Espacio Vectorial con estás operaciones cumple ques:
1. (V,+) es un Grupo Abeliano:
- Conmutativa: ∀x,y ∈ V: x+y = y+x
- Asociativa: ∀x,y,z ∈ V; x+(y+z)=(x+y)+z
- Elemento Neutro: x+0= 0+x = x
- Elemento Simétrico: ∀x ∈ V existe -x ∈ V tal que : x+(-x) = (-x)+x = 0
- M1. ∀ α , β ∈ K, ∀ x ∈ V: (α + β) x = αx + βx
- M2. ∀ α , β ∈ K, ∀ x ∈ V: (α · β) x = α(βx)
- M3. ∀ α ∈ K, ∀ x , y ∈ V: α(x + y) = αx + αy
- M4. ∀ x ∈ V: 1x= x
Un subconjunto no vacío S, es un subespacio vectorial si:
- 0 ∈ S
- ∀ x , y ∈ S: x + y ∈ S
- ∀ α ∈ K, ∀ x ∈ S: αx ∈ S
Dado un subconjunto X={x1,x2,x3,…,xn}. Se dice que X es libre
o los vectores x1,x2,x3,…,xn son linealmente independientes si y solo si:
Dado que α1x1 + α2x2 + … + αnxn = 0
entonces α1=0, α2=0, …, αn=0.
Generador de espacio vectoria
Un conjunto de vectores X={x1,x2,x3,…,xn}es un generador de V si y sólo si se puede generar todos los vectores de V a partir de multiplicar los vectores de X por un α ∈ K y sumándolos.
[X] es el conjunto de vectores generados por X.
Base de un espacio vectorial
X es una base de V si y solo si:
- X es un conjunto de generadores de V
- X es libre
Si la base de V es X={x1,x2,x3,…,xn}, entonces DimV= n