Un espacio vectorial sobre un cuerpo (como el cuerpo de los nmeros reales o los nmeros complejos) es un conjunto no vaco, dotado de dos operaciones:
Con la operacin interna tal que: 1) tenga la propiedad conmutativa, es decir 2) tenga la propiedad asociativa, es decir 3) tenga elemento neutro , es decir
Que tenga la propiedad distributiva: 7) distributiva por la izquierda: 8) distributiva por la derecha:
Propiedades
Unicidad del vector neutro de la propiedad 3: supongamos que el neutro no es nico, es decir, sean entonces: y dos vectores neutros,
Unicidad del vector opuesto de la propiedad 4: supongamos que el opuesto no es nico, es decir, sean de , entonces, como el neutro es nico: y dos vectores opuestos
Unicidad del elemento en el cuerpo K: supongamos que 1 no es nico, es decir, sean y dos unidades, entonces:
Unicidad del elemento inverso en el cuerpo K: supongamos que el inverso a 1 de a, no es nico, es decir, sean de , entonces, como el neutro es nico: y dos opuestos
Si
. Signos equivalentes:
Notacin .
es decir, pares de nmeros reales. Por claridad conservaremos la denominacin del vector, en este caso u, en sus coordenadas, aadiendo el subndice x o y para denominar su componente en el eje x o y respectivamente En defino la operacin suma:
donde:
y la suma de u y v seria:
donde:
esto implica que la suma de vectores es interna y bien definida. La operacin interna suma tiene las propiedades: 1) La propiedad conmutativa, es decir:
2) La propiedad asociativa:
El producto de a y u sera:
donde:
esto implica que la multiplicacin de vector por escalar es externa y an as est bien definida. 5) tenga la propiedad:
Esto es:
Que resulta:
no vaco,
es un subespacio vectorial de
si:
Consecuencias
hereda las operaciones de como aplicaciones bien definidas, es decir que no escapan de y como consecuencia tenemos que es un espacio vectorial sobre . ,
Con cualquier subconjunto de elementos seleccionados en los espacios vectoriales anteriores, no vaco, se pueden generar subespacios vectoriales, para ello seria til introducir nuevos conceptos que facilitarn el trabajo sobre estos nuevos espacios vectoriales.
Combinacin lineal
, diremos que un vector u es combinacin lineal de los vectores de si existen escalares tales que
Proposicin
Dado un espacio vectorial y , el conjunto ms pequeo contenido en y que contiene a . Demostracin
Supongamos lo contrario, que existe uno ms pequeo contradiccin, ya que u est generado por elementos de buena definicin de las dos operaciones, por tanto
es el subespacio vectorial
a causa de la .
Independencia lineal
Diremos que un conjunto de vectores es linealmente independiente si el vector 0 no se puede expresar como combinacin lineal no nula de los vectores de , es decir:
Si .
Demostracin
Linealmente dependientes
tomando .
donde
y por
donde los ak son escalares y vik (k = 1, ..., n) elementos de la base B. La minimalidad, por otro lado, se hace formal por el concepto de independencia lineal. Un conjunto de vectores se dice que es linealmente independiente si ninguno de sus elementos puede ser expresado como una combinacin lineal de los restantes. Equivalentemente, una ecuacin
a1vi1 + ai2v2 + ... + anvin = 0
slo se consigue si todos los escalares a1, ..., an son iguales a cero. Por definicin de la base cada vector puede ser expresado como una suma finita de los elementos de la base. Debido a la independencia lineal este tipo de representacin es nica. Los espacios vectoriales a veces se introducen desde este punto de vista.
Base formalmente
Dado un sistema de generadores, diremos que es una base si son linealmente independientes.
Proposicin
es una base
Teorema
Toda base de un espacio vectorial puede ser cambiada parcialmente por vectores linealmente independientes.
Corolario
Si un espacio vectorial
vectores
vectores.
Observacin
Todo espacio vectorial tiene una base. Este hecho se basa en el lema de Zorn, una formulacin equivalente del axioma de eleccin. Habida cuenta de los otros axiomas de la teora de conjuntos de Zermelo-Fraenkel, la existencia de bases es equivalente al axioma de eleccin. El ultrafilter
lemma, que es ms dbil que el axioma de eleccin, implica que todas las bases de un espacio vectorial tienen el mismo "tamao", es decir, cardinalidad. Si el espacio es generado por un nmero finito de vectores, todo lo anterior puede demostrarse sin necesidad de acudir a la teora de conjuntos.
Dimensin
Dado un espacio vectorial sobre
Si tiene base finita, diremos dimensin al nmero de elementos de dicha base. Si tiene base no finita, diremos que es de dimensin infinita.
Notacin
y un subespacio
lo indicaremos como como subespacio de
, tenemos que:
. lo indicaremos como .
Si Si