Periodische Funktion/Komplexe Exponentialfunktion/Trennende Algebra/Fakt

Es sei und .

Dann besteht die von den

zu erzeugte -Algebra aus allen endlichen Summen .

Diese Algebra enthält mit jeder Funktion auch ihre komplex-konjugierte Funktion und trennt die Punkte aus .