Un sous-ensemble B d'un espace vectoriel tel que tout vecteur s'exprime de façon unique comme combinaison linéaire finie d'éléments de B ; équivalemment B est un ensemble linéairement indépendant maximal et fournit une base algébrique indépendante de toute topologie.

Principe

L'engendrement algébrique par sommes finies fonde la structure linéaire : l'unicité et la finitude des représentations en sont les traits définitoires, faisant de la base de Hamel un objet purement algébrique qui ne requiert pas de notion de convergence.

Démonstration

Dans R^n de dimension finie les vecteurs unitaires standard forment une base de Hamel : tout vecteur est une combinaison linéaire finie de ces vecteurs de base avec des coordonnées données par la projection habituelle, illustrant la propriété de sommes finies.

Mauvaise application

Employer une base de Hamel comme outil concret dans des espaces vectoriels topologiques de dimension infinie comme si coefficients et sommes respectaient la topologie — les bases de Hamel dans les espaces normés infinis sont typiquement non dénombrables et peu compatibles avec la topologie pour l'analyse constructive.

Conséquence

Algébriquement, tout espace vectoriel possède une base de Hamel (sous l'hypothèse du choix) ; le concept fournit la dimension comme invariant cardinal et sous-tend la classification algébrique linéaire, mais il offre peu de structure analytique en dimensions infinies.

Inversion

Contraste avec les bases de Schauder : l'inversion va des combinaisons algébriques finies aux séries topologiques infinies ; la notion de Hamel ignore la convergence, tandis que la base de Schauder fait de la topologie le point central de la représentation.

Limite

Les bases de Hamel sont définies pour tout espace vectoriel sur un corps ; dans les espaces normés ou topologiques de dimension infinie elles sont souvent non constructives, non dénombrables et inadaptées à l'analyse requérant continuité ou convergence.

Tension sémantique

La tension porte entre l'universalité algébrique des bases de Hamel et les exigences analytiques de convergence et continuité ; il existe aussi une tension entre notions cardinales de dimension et représentabilité pratique en analyse.

Synthèse

Une base de Hamel est le socle algébrique de la structure linéaire : un ensemble linéairement indépendant maximal fournissant des développements finis uniques pour tout vecteur ; elle capture la dimension algébriquement mais se distingue des bases topologiques utiles en analyse.