Beschreibung
Eine Messbare Laminierung ist ein bisschen wie eine Messbare Blätterung. Es ist ein spezieller Fall der Geodätische Laminierung, in der es eine Messunktion gibt, die Kurven eine Länge zuordnet.
Definition
Eigenschaften
Induktion einer Zugstrecke
Sei eine messbare Laminierung, dann passt zu einer Zugstrecke.
Induziert messbare Zugstrecke
Sei eine messbare Laminierung, die zu einer Messbare Zugstrecke passt. Dann induziert eine Messfunktion auf durch folgende Konstruktion: Sei die Funktion, die die Identität auf die Zugstrecke zusammenzieht. gibt Längen zu Pfaden, die transversal zu sind. Für einen Zweig , wähle einen dazu transversalen Pfad . Dann ist transversal zu und setze Die Kurve beginnt und endet vermutlich bei einem Rand.