Density of disk algebra functions in de Branges-Rovnyak spaces

On démontre que les fonctions analytiques dans le disque unité et continues dans le disque fermé sont denses dans l'espace de Branges-Rovnyak généré par un point extrémal de la boule unité de H∞. En utilisant aussi des théorèmes précédents, il résulte que cette classe de fonctions est dense dans un espace de Branges-Rovnyak quelconque.