Définition :
est de Classe
sur
un ouvert de
, avec
,
est de classe
et toutes les dérivées partielles sont de classe
.
Le théorème de Schwarz appliqué un certain nombre de fois permet de calculer n'importe quelle dérivée partielle en dérivant dans n'importe quel ordre, dans la limite de
dérivations.
Théorème :
a une structure d'algèbre commutative, sous algèbre de
.
Preuve. La démonstration est élémentaire. On a clairement la stabilité par combinaison linéaire, la stabilité par produit et la présence dans
de l'application constante 1. ![]()