Lebesgueraum/Einfache Funktionen/Endlicher Träger/Dichtheit/Fakt

Es sei ein -endlicher Maßraum. Es sei die Menge der messbaren, einfachen komplex-wertigen Funktionen auf , deren Träger -endlich sei.

Dann ist dicht in für alle .