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.