Un subconjunto B de un espacio vectorial tal que todo vector se expresa de forma única como combinación lineal finita de elementos de B; equivalentemente, B es un conjunto maximal linealmente independiente y proporciona una base algebraica independiente de cualquier topología.

Principio

La generación algebraica por sumas finitas sustenta la estructura lineal: la unicidad y finitud de las representaciones son rasgos definitorios, haciendo de la base de Hamel un objeto puramente algebraico que no requiere nociones de convergencia.

Demostración

En R^n de dimensión finita, los vectores unitarios estándar forman una base de Hamel: todo vector es una combinación lineal finita de esos vectores base con coordenadas dadas por la proyección habitual, ilustrando la propiedad de suma finita.

Aplicación incorrecta

Usar una base de Hamel como herramienta concreta en espacios vectoriales topológicos de dimensión infinita como si coeficientes y sumas respetaran la topología: las bases de Hamel en espacios normados infinitos son típicamente no contables y no compatibles con la topología para el análisis constructivo.

Consecuencia

Algebraicamente, todo espacio vectorial admite una base de Hamel (suponiendo el axioma de elección); el concepto proporciona la dimensión como invariante cardinal y subyace a la clasificación lineal algebraica, pero ofrece estructura analítica limitada en dimensiones infinitas.

Inversión

Contrastar con bases de Schauder: la inversión pasa de combinaciones algebraicas finitas a series topológicas infinitas; la noción de Hamel ignora la convergencia, mientras que las bases de Schauder hacen central la topología para representar vectores.

Límite

Las bases de Hamel están definidas para cualquier espacio vectorial sobre un cuerpo; en espacios normados o topológicos infinitos suelen ser no constructivas, no contables y poco adecuadas para el análisis que requiere continuidad o convergencia.

Tensión semántica

Existe tensión entre la universalidad algebraica de las bases de Hamel y los requisitos analíticos de convergencia y continuidad; también tensión entre conceptos cardinales de dimensión y la representabilidad práctica en análisis.

Síntesis

Una base de Hamel es la base algebraica de la estructura lineal: un conjunto maximal linealmente independiente que da expansiones finitas únicas para cada vector; captura la dimensión algebraicamente y debe distinguirse de las bases topológicas empleadas en análisis.