## [Base de Schauder](/fr/node/62523) Définition Une suite (x_n) dans un espace vectoriel topologique telle que tout élément de l'espace admet une représentation unique comme série infinie convergente dans la topologie x = ∑_{n=1}^∞ a_n x_n de scalaires, la convergence étant prise pour la topologie en question. ## Principe Principe Expansion dénombrable et ordonnée par une suite dont les sommes partielles finies convergent vers chaque vecteur ; les fonctionnelles coordonnées apparaissent comme limites de projections linéaires et reflètent des propriétés de continuité liées à la topologie ambiante. ## Démonstration Démonstration Dans l^p (1 ≤ p < ∞) les vecteurs unitaires e_n forment une base de Schauder : toute suite de l^p s'écrit comme somme convergente en norme de ses coordonnées multipliées par e_n, montrant la reconstruction coordonnée et l'existence de projections bornées. ## Mauvaise application Mauvaise application S'attendre à ce que tout espace de Banach ou vecteur topologique possède une base de Schauder, ou supposer que la convergence de la série de coefficients est inconditionnelle et indépendante de l'ordre sans vérifier la propriété plus forte d'incondtionnalité. ## Conséquence Conséquence Présente, une base de Schauder fournit des applications coordonnées et des projections continues, simplifie la représentation et le calcul, implique souvent la séparabilité de l'espace et permet des méthodes constructives en approximation et théorie des opérateurs. ## Inversion Inversion Contraster avec une base de Hamel algébrique : les développements de Hamel utilisent des combinaisons linéaires finies et ignorent la topologie, alors que les développements de Schauder reposent sur des séries infinies convergentes et sur la topologie pour donner sens à ces sommes. ## Limite Limite La base de Schauder est un concept topologique : son existence dépend de la topologie et implique souvent la séparabilité ; certains espaces de Banach de dimension infinie n'en possèdent pas, et les bases peuvent être non inconditionnelles ou mal se comporter sous isomorphisme. ## Tension sémantique Tension sémantique La tension se situe entre les notions de génération algébrique (combinaisons finies) et de génération topologique (séries infinies convergentes), ainsi qu'entre différentes propriétés de base (Schauder vs inconditionnelle vs orthonormée) qui influent sur stabilité et réarrangements. ## Synthèse Synthèse Une base de Schauder est une suite ordonnée dénombrable permettant des développements uniques en séries convergentes ; elle relie la représentation linéaire algébrique à la topologie ambiante et fournit des fonctionnelles coordonnées et des méthodes de reconstruction pratiques.