Density of disk algebra functions in de Branges-Rovnyak spaces
We prove that functions analytic in the unit disk and continuous up to the boundary are dense in the de Branges-Rovnyak spaces induced by the extreme points of the unit ball of H∞. Together with previous theorems, it follows that this class of functions is dense in any de Branges-Rovnyak space.