## [Base de Hamel](/fr/node/62525) Définition 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 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 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 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 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 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 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 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 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.