In der That könnte man aus jeder linearen Relation:
[formula]
durch Benutzung der zwischen den [formula] bestehenden Beziehungen die folgenden Gleichungen ableiten:
[formula]
aus denen durch Integration eine lineare Abhängigkeit zwischen [formula] folgen würde.—
So vorwärts schliessend bekommt man endlich [formula] linear unabhängige
Potentiale:
[formula]
wo jedes v mit dem gleichbezeichneten u zusammengehört. Wir setzen [formula] und nennen nunmehr überall endliche Functionen [formula] linear unabhängig, wenn zwischen ihnen keinerlei Relation:
[formula]
besteht, unter [formula] beliebige complexe Constanten verstanden. Dann haben wir sofort: