Chapitre : Analyse fonctionnelle.
Nous avons eu aujourd’hui le socle théorique sur lequel nous construirons le reste des 10-15 cours à venir. Nous avons vu comment l’espace des fonctions possède naturellement une structure d’espace vectoriel, que l’on peut équiper avec le produit scalaire (pour les fonctions réelles)
Nous avons également énoncé le théorème de Weierstrass : dans l’espace des fonctions de norme finie (l’espace de Hilbert), nous pouvons trouver des bases dénombrable, c’est à dire un ensemble de fonction tel que
C’est un très beau théorème, un peu technique que je n’ai pas démontré en cours, mais que vous pouvez trouvez ici .
Nous verrons (au second semestre) dans les chapitres avancés que l’on peut généraliser la définition du produit scalaire par
où la fonction est appelé la fonction poids. Le choix du poids nous donne naturellement le choix de la base à utiliser.
Lors du cours, j’ai mentionné que se donner une norme (qui dans notre cas, est héritée du produit scalaire) c’est se donner une topologie : on peut mesurer la distance entre deux points de l’espace, ce qui nous permet ensuite de définir la convergence des suites. Ajouter à un ensemble la limite de toutes ses suites convergentes s’appelle la fermeture topologique de cet ensemble. Par exemple, en munissant l’ensemble des nombres rationnels de la distance suivante :
et en fermant topologiquement vis à vis de cette norme, nous obtenons l’ensemble . Ce n’est pas la seule façon de fermer . En se munissant d’une autre distance qu’on appelle p-adique et en fermant vis à vis de cette distance, nous obtenons d’autres nombres, très différents des nombres réel. Si vous voulez visitez les nombres un peu plus exotiques que ceux que vous connaissez, un chapitre du manuscrit leur est dédié.
Enfin, la réponse à la question « que veut dire dénombrable » m’a amené à parler de la hiérarchie des infinies et de sa définition. Ce qui s’intéressent à cela peuvent trouver ici un petit cours transversal de vulgarisation que je donnais aux étudiants de L1-L2.