Annihilator einer Distribution (über orthogonales Komplement)

Man betrachte die auf $\mathcal{M}=\mathbb{R}^{3}$ definierten Vektorfelder

\[f_1(x)=\sin x_{3}\frac{\partial}{\partial x_{1}}+\cos x_{3}\frac{\partial}{\partial x_{2}}\quad\text{und}\quad f_2(x)=\frac{\partial}{\partial x_{3}}.\]

Zu berechnen ist eine Basis des Annihilator der von den Vektorfeldern aufgespannten Distribution. Diese Berechnung erfolgt über das orthogonale Komplement.

Maxima

Klaus Röbenack: Nichtlineare Regelungssysteme - Theorie und Anwendung der exakten Linearisierung.
Springer Vieweg, 2017, S. 79-80.