Es sei
ein
-endlicher
Maßraum
und sei
der zugehörige Vektorraum der
quadratintegrierbaren Funktionen
auf
. Es seien
messbare
Teilmengen mit
mit den zugehörigen Indikatorfunktionen
bzw.
.
Zeige, dass diese Funktionen genau dann
orthogonal
zueinander sind, wenn
ist.