Informe de espacios vectoriales

Espacios vectoriales

Los espacios y subespacios vectoriales son conceptos fundamentales en el ámbito de la álgebra lineal. Estos conceptos nos permiten estudiar las propiedades y estructuras de conjuntos de vectores, y son ampliamente utilizados en diversas ramas de las matemáticas, la física y la ingeniería. 

Definición de un espacio vectorial:

Un espacio vectorial es un conjunto de elementos, llamados vectores, que cumplen ciertas propiedades. Formalmente, un espacio vectorial se define como un conjunto V junto con dos operaciones, suma de vectores y multiplicación por un escalar. Para esto, deben satisfacer los siguientes axiomas:

1. Cerradura bajo la suma: Para cualquier par de vectores u y v en el conjunto, la suma u + v también pertenece al conjunto.
2. Cerradura bajo la multiplicación por un escalar: Para cualquier escalar c y cualquier vector u en el conjunto, el producto c * u está en el conjunto.
3. Asociatividad de la suma: Para cualquier u, v y w en el conjunto, se cumple que (u + v) + w = u + (v + w).
4. Existencia de un elemento neutro aditivo: Existe un vector 0 en el conjunto tal que u + 0 = u para todo vector u en el conjunto.
5. Existencia de inverso aditivo: Para todo vector u en el conjunto, existe un vector -u en el conjunto tal que u + (-u) = 0.
6. Distributividad de la multiplicación escalar respecto a la suma de vectores: Para cualquier escalar c y cualquier par de vectores u y v en el conjunto, se cumple que c * (u + v) = c * u + c * v.
7. Distributividad de la multiplicación escalar respecto a la suma de escalares: Para cualquier par de escalares c y d, y cualquier vector u en el conjunto, se cumple que (c + d) * u = c * u + d * u.
8. Asociatividad de la multiplicación escalar: Para cualquier escalar c y d, y cualquier vector u en el conjunto, se cumple que (c * d) * u = c * (d * u).

Si un conjunto satisface estos ocho axiomas, entonces se puede afirmar que es un espacio vectorial.

Definición de un subespacio vectorial:

Un subespacio vectorial es un subconjunto no vacío H de un espacio vectorial V, que también es un espacio vectorial bajo las operaciones de suma de vectores y multiplicación por un escalar restringidas a H. Esto implica que H debe cumplir las mismas propiedades que un espacio vectorial, pero considerando únicamente los elementos que pertenecen a H. Para probar si un subconjunto de un espacio vectorial es un subespacio, debemos verificar las siguientes tres propiedades:

1. Cerrdura bajo la suma: Si tomamos dos vectores cualesquiera en el subconjunto, su suma debe pertenecer también al subconjunto. Es decir, para todo par de vectores u y v en el subconjunto, u + v debe estar en el subconjunto.
2. Cerradura bajo la multiplicación por un escalar: Si tomamos cualquier vector en el subconjunto y lo multiplicamos por un escalar cualquiera, el resultado debe pertenecer al subconjunto. En otras palabras, para todo vector u en el subconjunto y todo escalar c, c * u debe estar en el subconjunto.
3. Contiene al vector cero: El subconjunto debe contener al vector cero del espacio vectorial original. Esto implica que el vector cero debe estar en el subconjunto.

Si el subconjunto cumple estas tres propiedades, entonces se puede afirmar que es un subespacio del espacio vectorial original. Es importante destacar que estas propiedades son una condición necesaria y suficiente para la existencia de un subespacio.

Definición de la dimensión de un subespacio vectorial:

La dimensión de un subespacio vectorial se refiere al número de vectores linealmente independientes necesarios para generar el subespacio. En otras palabras, es la cantidad de vectores en una base del subespacio. La dimensión se denota generalmente por "dim".

La dimensión de un subespacio coincide con el número de vectores en una base del subespacio. Además, cualquier conjunto de vectores que cumpla las condiciones de linealmente independencia y generación del subespacio puede ser considerado como una base del subespacio, aunque puede haber múltiples bases posibles para un mismo subespacio.

Base de un subespacio:

Una base de un subespacio vectorial es un conjunto de vectores linealmente independientes que generan todo el subespacio cuando se combinan linealmente. Es decir, una base es un conjunto mínimo de vectores que pueden representar cualquier vector en el subespacio sin redundancias.

Una base debe cumplir dos condiciones: linealmente independencia y generación del subespacio. Linealmente independencia significa que ningún vector de la base puede ser expresado como una combinación lineal de los demás vectores de la base. La generación del subespacio significa que cualquier vector en el subespacio puede ser representado como una combinación lineal de los vectores de la base.

Rango de una transformación lineal:

El rango de una transformación lineal se refiere a la dimensión del espacio de llegada (codominio) generado por dicha transformación. En otras palabras, es la dimensión del subespacio de llegada.