Beweis

Die Aussage (d.h. (2.5)) ist äquivalent zu (siehe (2.3)) für die reellwertigen Funktionen und auf , d.h. auf der Menge der Paare mit . Damit folgt, dass diese Funktionen konstant sind, also existieren so dass

für alle . Insbesondere folgt 1

Übungsaufgaben

LIST FROM [[]]
WHERE contains(mytags, [[aufgaben]])
SORT file.name ASC

Referenz

Verknüpfung

Quellen

Footnotes

  1. page=72