Soit un entier fixé. On considère une suite de polynômes appartenant à (où ou ).
On suppose que cette suite converge simplement sur vers une fonction .
Utiliser le fait que est un espace vectoriel de dimension finie .
Considérer les valeurs prises par les polynômes en points distincts pour définir un isomorphisme.
Exploiter l'équivalence des normes en dimension finie pour passer de la convergence des composantes à la convergence uniforme.
Isomorphisme entre et via l'évaluation.
Équivalence des normes en dimension finie.
Lien entre norme infinie sur un segment et convergence uniforme.
1. Nature polynomiale de la limite.
Soient des réels distincts (par exemple les entiers ).
Par hypothèse de convergence simple, pour chaque indice , on a :
Considérons l'application d'évaluation :
Cette application est linéaire. De plus, un polynôme de degré au plus ayant racines est nul, donc . Comme , l'application est un isomorphisme d'espaces vectoriels.
Puisque est de dimension finie, toute application linéaire au départ de celui-ci est continue. En particulier, est continue. La suite converge dans vers le vecteur .
Par continuité de , la suite converge dans vers un polynôme .
On en déduit que pour tout :
Par unicité de la limite simple, on a . Ainsi :
2. Convergence uniforme sur tout segment.
Soit . On travaille sur l'espace vectoriel . On peut définir sur la norme de la convergence uniforme sur le segment par :
Comme est de dimension finie, toutes les normes sur sont équivalentes. D'après la question précédente, nous savons que la suite converge vers dans (pour n'importe quelle norme, par exemple celle associée aux coefficients ou à l'évaluation en points).
Par équivalence des normes, la suite converge également vers pour la norme . Cela signifie que :
Par définition de la norme , cela équivaut à la convergence uniforme de vers sur .
L'hypothèse du degré borné est cruciale pour garantir que la limite reste polynomiale.
En dimension finie, la convergence simple sur une base (ou un ensemble d'interpolation) implique la convergence uniforme sur tout compact.