Loeb utrymme

Inom matematik är ett Loeb-utrymme en typ av måttutrymme som introducerats av Loeb ( 1975 ) med hjälp av icke-standardiserad analys .

Konstruktion

Loebs konstruktion börjar med en ändligt additiv karta från en intern algebra av mängder till de icke-standardiserade realerna . Definiera som ska ges av standarddelen av , så att är en ändligt additiv karta från till de utökade realerna . Även om är en icke-standardiserad -algebra , behöver inte algebra -algebra eftersom den vanligtvis inte är stängd under räknebara fackföreningar. Istället har algebra egenskapen att om en mängd i den är föreningen av en räkningsbar familj av element av då mängden är föreningen av ett ändligt antal element i familjen, så i synnerhet varje ändligt additiv karta (som ) från till de utökade realerna är automatiskt tillsats. Definiera till -algebra som genereras av . Sedan, med Carathéodorys förlängningssats, sträcker sig måttet till ett räknat additivt mått på , kallad en Loeb mäta.

externa länkar