Auf die Melodie von Biene Maja.
In einem kleinen Vektorraum, unendlich war die Dimension, gab´s eine Form, man glaubt es kaum, verträglich mit der Addition. Und diese Bilinearform ist nicht ausgeartet, und symmetrisch, ganz so wie erwartet. Auch der Körper, der ist toll, er ist nämlich ständig voll. Die Form ist positivlich definit, und deshalb als Skalarprodukt verwendbar, weshalb dies die Norm von Euklid liefert, somit wird das Vektorräumchen schließlich zu einem Hilbertraum. Wenn ich in diesem Hilbertraum auf einer Vektorwiese steh', gibt's etwas, das ich noch nicht seh, drum steige ich auf einen Baum. Von oben seh ich all die kleinen Vektorpfeile, während ich ein wenig dort verweile, zähl' ich manche davon ab, und mach' erst bei unendlich schlapp. Sogar in jeder noch so kleinen off'nen Menge stehen die Gezählten im Gedränge. Endlich weiß ich, wie's hier aussieht: Ja, der Raum ist separabel, also ist's einfach der l2.