Definición y concepto
Definición formal de base de Hamel
En el marco del álgebra lineal, el concepto de base constituye un pilar fundamental para la estructura de los espacios vectoriales. Una base de Hamel de un espacio vectorial sobre un cuerpo específico se define rigurosamente como un subconjunto de dicho espacio que satisface simultáneamente dos condiciones esenciales: la independencia lineal y la propiedad de generación. Esta definición establece que los elementos que componen la base deben ser mutuamente independientes, lo que implica que ninguna combinación lineal no trivial de estos vectores resulta en el vector cero, salvo que todos los coeficientes sean nulos. Además, este conjunto debe abarcar todo el espacio, actuando como un sistema de generadores donde cualquier vector del espacio puede expresarse mediante una combinación lineal finita de los vectores base.
Independencia lineal y propiedad generadora
La condición de independencia lineal asegura la eficiencia del conjunto base, eliminando redundancias entre sus elementos. Si un conjunto fuera linealmente dependiente, al menos uno de sus vectores podría ser expresado como combinación de los demás, lo que lo haría superfluo para la definición de la base mínima. Por otro lado, la propiedad generadora garantiza la exhaustividad del conjunto. Esto significa que el espacio vectorial completo está cubierto por las combinaciones lineales de los elementos de la base. La intersección de estas dos propiedades define una base como un conjunto minimalista que genera el espacio y maximalista que permanece independiente, creando así una estructura óptima para describir el espacio vectorial.
Unicidad de las coordenadas
Una consecuencia directa de la definición de base es la unicidad de las coordenadas de cualquier vector en el espacio. Dado que la base es linealmente independiente y genera el espacio, cada vector puede escribirse de manera única como una combinación lineal de los vectores base. Esto significa que para un vector dado, existe una única tupla de escalares, asociados a cada vector de la base, que al multiplicarse y sumarse producen ese vector. Esta propiedad permite establecer una correspondencia biunívoca entre los vectores del espacio y las tuplas de escalares, facilitando el estudio algebraico mediante la representación matricial y la resolución de sistemas de ecuaciones lineales. La cardinalidad de esta base, que es constante para todas las bases de un mismo espacio vectorial, se denomina dimensión del espacio.
Propiedades fundamentales y ordenación
Unicidad de la representación y no unicidad de la base
Una propiedad definitoria de las bases en álgebra lineal es que garantizan la unicidad de la representación de cada vector del espacio. Esto significa que, para un vector dado y una base fija, los coeficientes escalares en la combinación lineal están completamente determinados. Esta característica es fundamental para la definición de coordenadas y para la aplicación de transformaciones lineales, ya que permite identificar cada vector con una tupla ordenada de escalares del cuerpo subyacente.
Sin embargo, a diferencia de la representación única de los vectores, la elección de la base no es única. Un mismo espacio vectorial puede poseer múltiples bases distintas. Por ejemplo, en el plano euclidiano, existen infinitas parejas de vectores linealmente independientes que pueden servir como base. La libertad para elegir diferentes bases es crucial en aplicaciones prácticas, donde a menudo se selecciona una base que simplifique los cálculos o que refleje la simetría geométrica del problema en estudio. La transición entre una base y otra se realiza mediante matrices de cambio de base, que son siempre invertibles.
Importancia del orden: las bases ordenadas
En muchos contextos algebraicos, especialmente al trabajar con espacios de dimensión finita o al definir isomorfismos con espacios de coordenadas, resulta esencial distinguir entre una base como conjunto y una base como secuencia ordenada. Una base ordenada es una tupla finita o infinita de vectores linealmente independientes que generan el espacio. El orden de los vectores determina la correspondencia entre un vector del espacio y su representación como tupla de coordenadas. Si se permutan los vectores de la base, las coordenadas de un vector fijo cambian consecuentemente, aunque el subespacio generado permanezca idéntico. Esta distinción es particularmente relevante en la definición de productos externos, determinantes y en la construcción de espacios duales.
Existencia de bases y el lema de Zorn
La existencia de al menos una base para cualquier espacio vectorial no es trivial, especialmente cuando se consideran espacios de dimensión infinita. Para demostrar que todo espacio vectorial posee una base, se recurre frecuentemente al lema de Zorn, un resultado equivalente al axioma de la elección en la teoría de conjuntos. El lema de Zorn establece que si todo subconjunto cadenaado de un conjunto parcialmente ordenado tiene una cota superior, entonces el conjunto contiene al menos un elemento maximal. Aplicado a la colección de todos los subconjuntos linealmente independientes de un espacio vectorial, ordenados por inclusión, el lema garantiza la existencia de un subconjunto maximal linealmente independiente, el cual constituye una base. Este resultado es fundamental para establecer propiedades estructurales de espacios de dimensión infinita, como la equivalencia de la cardinalidad de cualquier dos bases del mismo espacio.
¿Cómo se calcula la base de un subespacio vectorial?
El cálculo de una base para un subespacio vectorial se fundamenta en reducir el conjunto generador inicial a un subconjunto linealmente independiente. El procedimiento estándar utiliza el método de reducción de filas (Gauss-Jordan) aplicado a una matriz formada por los vectores generadores. Este proceso permite identificar los vectores pivote, que constituyen la base, y determinar la dimensión del subespacio.
Procedimiento general
Para encontrar la base de un subespacio W generado por un conjunto de vectores {v1,v2,...,vk}, se siguen estos pasos:
- Se construye una matriz A donde cada fila (o columna) corresponde a un vector generador.
- Se aplica la eliminación gaussiana para llevar la matriz a su forma escalonada reducida.
- Los vectores correspondientes a las filas no nulas (o las columnas pivote, según la disposición inicial) forman una base de W.
- El número de vectores en la base es igual a la dimensión de W.
Ejemplos en espacios euclídeos
La aplicación varía ligeramente según la dimensión del espacio ambiente. A continuación, se presentan casos típicos en R2, R3 y R4.
| Espacio | Subespacio | Generadores típicos | Base resultante | Dimensión |
|---|---|---|---|---|
| R2 | Recta por el origen | {(1,2),(2,4)} | {(1,2)} | 1 |
| R3 | Plano por el origen | {(1,0,1),(0,1,0),(1,1,1)} | {(1,0,1),(0,1,0)} | 2 |
| R4 | Subespacio de dimensión 2 | {(1,1,0,0),(0,0,1,1),(1,1,1,1)} | {(1,1,0,0),(0,0,1,1)} | 2 |
En el caso de la recta en R2, los vectores son linealmente dependientes porque uno es múltiplo escalar del otro. Se selecciona uno solo para la base.
Es crucial recordar que la base no es única; cualquier conjunto de vectores linealmente independientes que genere el mismo subespacio es válido. Sin embargo, la cardinalidad (número de vectores) es invariante y define la dimensión del espacio vectorial.
Bases en espacios de polinomios y dimensión infinita
El estudio de las bases se vuelve particularmente ilustrativo al analizar espacios de dimensión finita, como los espacios de polinomios. Consideremos el espacio vectorial de los polinomios de grado menor o igual a tres, denotado comúnmente como P₃. Este espacio incluye todos los polinomios de la forma ax³ + bx² + cx + d, donde los coeficientes a, b, c y d pertenecen al cuerpo subyacente, típicamente los números reales o complejos.
Ejemplo en espacios de polinomios
Para determinar una base para este espacio, podemos observar la estructura de sus elementos. Cualquier polinomio en P₃ puede descomponerse en una combinación lineal de las potencias de la variable x. Específicamente, el conjunto formado por {1, x, x², x³} actúa como un sistema de generadores. Esto significa que cualquier polinomio p(x) en este espacio puede escribirse como p(x) = d·1 + c·x + b·x² + a·x³.
La independencia lineal de este conjunto es fundamental para calificarlo como base. Si consideramos la ecuación lineal d·1 + c·x + b·x² + a·x³ = 0, donde el lado derecho representa el polinomio nulo, la única solución posible es que todos los coeficientes sean iguales a cero (a = b = c = d = 0). Esta propiedad confirma que ningún elemento del conjunto puede expresarse como combinación lineal de los demás, cumpliendo así con la definición de independencia lineal requerida para una base.
Dimensión infinita y bases de Hamel
Al extender este concepto a espacios de dimensión infinita, surgen distinciones críticas entre los tipos de bases. En un espacio de polinomios de grado arbitrario, denotado como P, la base canónica consiste en el conjunto de todas las potencias no negativas de x: {1, x, x², x³,...}. Este es un ejemplo de lo que se conoce como una base de Hamel.
En una base de Hamel, cada vector del espacio se expresa como una combinación lineal finita de los elementos de la base. Esto implica que, aunque la base en sí misma sea infinita, cualquier polinomio específico solo utiliza un número finito de términos de esta base. Esta característica distingue a las bases de Hamel de las bases de Hilbert, donde se permiten series infinitas convergentes para representar los vectores, un concepto más relevante en el análisis funcional y los espacios de Hilbert.
La dimensión de un espacio vectorial se define como la cardinalidad de cualquiera de sus bases. En el caso de P₃, la dimensión es cuatro, ya que su base canónica contiene cuatro elementos. En el espacio de todos los polinomios P, la dimensión es contablemente infinita, reflejando la naturaleza infinita pero numerable de la base de potencias de x. Esta comprensión es esencial para aplicar métodos de cálculo y análisis en espacios vectoriales más complejos.
Diferencias entre bases de Hamel y de Hilbert
La distinción entre bases de Hamel y bases de Hilbert es fundamental en el estudio de espacios vectoriales, especialmente cuando se pasa de dimensiones finitas a infinitas. Ambas estructuras cumplen la función de generar el espacio, pero difieren radicalmente en cómo se construyen las combinaciones lineales de sus elementos.
Bases de Hamel: combinaciones lineales finitas
Una base de Hamel, también conocida simplemente como base en el contexto del álgebra lineal clásica, requiere que cualquier vector del espacio se exprese como una combinación lineal finita de los vectores base. Esto significa que, aunque el espacio vectorial pueda tener infinitas dimensiones, para representar un único vector específico, solo se necesitan un número finito de elementos de la base con coeficientes no nulos. Esta definición se aplica a todo espacio vectorial sobre un cuerpo dado, manteniendo la propiedad de independencia lineal estándar.
Bases de Hilbert: series infinitas y ortogonalidad
En cambio, una base de Hilbert (o base ortonormal en espacios de Hilbert) permite que los vectores se representen mediante series infinitas convergentes. Esta estructura es esencial en análisis funcional y espacios de dimensión infinita dotados de un producto interno. La convergencia se mide mediante la norma inducida por el producto interno, permitiendo aproximaciones arbitrariamente precisas mediante sumas parciales. Además, las bases de Hilbert suelen elegirse para ser ortogonales o ortonormales, lo que simplifica los cálculos de proyecciones y coeficientes.
| Propiedad | Base de Hamel | Base de Hilbert |
|---|---|---|
| Tipo de combinación | Finita | Infinita (serie convergente) |
| Dependencia de estructura | Solo espacio vectorial | Espacio de Hilbert (producto interno) |
| Cardinalidad | Siempre mayor o igual a la dimensión de Hamel | Puede ser numerable en espacios separables |
| Aplicación principal | Álgebra lineal general | Análisis funcional, series de Fourier |
Es crucial notar que toda base de Hamel en un espacio de Hilbert separable de dimensión infinita es no numerable, mientras que una base de Hilbert puede ser numerable. Esto implica que las bases de Hamel son, en cierto sentido, "más grandes" que las bases de Hilbert en estos contextos, aunque ambas generan el mismo espacio subyacente bajo condiciones de convergencia adecuadas.
Dimensión vectorial: Hamel vs Hilbert
El concepto de dimensión en un espacio vectorial está intrínsecamente ligado a la noción de base. La dimensión se define como la cardinalidad del conjunto de vectores que constituyen una base del espacio. Sin embargo, cuando se consideran espacios de dimensión infinita, surgen distinciones fundamentales entre dos tipos de bases: las bases de Hamel y las bases de Hilbert. Estas diferencias son cruciales para comprender la estructura de espacios funcionales y de secuencias en análisis funcional y álgebra lineal avanzada.
Dimensión de Hamel
La dimensión de Hamel, también conocida simplemente como dimensión algebraica, se refiere a la cardinalidad de una base de Hamel. Una base de Hamel es un conjunto de vectores linealmente independientes que generan el espacio vectorial mediante combinaciones lineales finitas. Esto significa que cualquier vector en el espacio puede expresarse como una suma finita de múltiplos escalares de los vectores de la base. En espacios de dimensión finita, todas las bases tienen la misma cantidad de elementos, y esta cantidad define la dimensión del espacio.
En espacios de dimensión infinita, la dimensión de Hamel puede ser contable o incontable, dependiendo del espacio. Por ejemplo, el espacio de las secuencias reales con solo un número finito de términos no nulos tiene una base de Hamel contable. Sin embargo, el espacio de todas las secuencias reales tiene una base de Hamel de cardinalidad del continuo. La construcción explícita de una base de Hamel en espacios infinitos a menudo requiere el Axioma de la Elección, lo que añade complejidad a su estudio.
Dimensión de Hilbert
La dimensión de Hilbert, por otro lado, está asociada con las bases ortonormales en espacios de Hilbert. Una base de Hilbert es un conjunto de vectores ortonormales tales que todo vector en el espacio puede aproximarse arbitrariamente bien por combinaciones lineales finitas de estos vectores. En términos más precisos, la serie infinita de productos internos de un vector con los elementos de la base converge al propio vector. Esta definición permite manejar espacios de dimensión infinita de manera más manejable que las bases de Hamel, ya que las combinaciones pueden ser infinitas.
En un espacio de Hilbert separable, la dimensión de Hilbert es la cardinalidad de cualquier base ortonormal completa. Por ejemplo, el espacio de las secuencias cuadrado-sumables tiene una base de Hilbert contable, consistente en vectores con un solo uno en una posición específica y ceros en las demás posiciones. La dimensión de Hilbert es siempre menor o igual que la dimensión de Hamel, y en muchos casos prácticos, es mucho más pequeña.
Relación entre las dimensiones
En espacios de dimensión finita, las dimensiones de Hamel y de Hilbert coinciden, ya que toda base es finita y las combinaciones lineales son necesariamente finitas. Sin embargo, en espacios de dimensión infinita, la dimensión de Hamel es generalmente mayor que la dimensión de Hilbert. Esto se debe a que las bases de Hamel requieren combinaciones finitas para generar el espacio, mientras que las bases de Hilbert permiten series infinitas. La relación entre estas dos dimensiones refleja la diferencia entre la estructura algebraica y la estructura topológica del espacio vectorial.
Ejercicios resueltos
Ejercicio 1: Verificación de base en R3
Considérense los vectores v1=(1,0,0), v2=(0,1,0) y v3=(0,0,1) en el espacio vectorial R3. Se debe demostrar que estos vectores forman una base. Primero, se evalúa la independencia lineal. Se plantea la ecuación av1+bv2+cv3=0. Al sustituir los vectores, se obtiene (a,b,c)=(0,0,0), lo que implica que a=0, b=0 y c=0. Por tanto, el conjunto es linealmente independiente. Segundo, se verifica la generación. Todo vector x=(x,y,z) en R3 puede escribirse como combinación lineal x=xv1+yv2+zv3. Cumpliendo ambas condiciones, los vectores forman una base. La dimensión de R3 es 3, coincidiendo con la cardinalidad de la base.
Ejercicio 2: Hallar el espacio generado por una base dada
Dada la base B={u1,u2,u3} donde u1=(1,1,0), u2=(0,1,1) y u3=(1,0,1), se determina el espacio generado. Por definición, el espacio generado por una base es el conjunto de todas las combinaciones lineales de sus elementos. En este caso, como los tres vectores son linealmente independientes en R3, el espacio generado es todo R3. Para verificarlo, se calcula el determinante de la matriz formada por los vectores como columnas. El determinante es 1(1−0)−1(0−1)+0=2=0. Al ser el determinante no nulo, los vectores son independientes y generan R3. Cualquier vector w∈R3 puede expresarse como combinación lineal única de los vectores de B.
Ejercicio 3: Cambio de base y coordenadas
Se tiene el vector v=(2,3,4) en la base canónica de R3. Esto da lugar a las ecuaciones: x1+x2+x3=2, x2+x3=3 y x3=4. Las coordenadas de v en la base B son (−1,−1,4). Este proceso ilustra cómo la representación de un vector depende de la base elegida, manteniendo la dimensión del espacio constante.