Ange och visa sig Lusins sats?

Ange och visa sig Lusins sats?

Lusins sats säger att varje mätbara funktionen f är en kontinuerlig funktion på nästan alla dess domän.

Det är givet att f mätbara. Detta säger oss att den avgränsas på ett komplement till vissa öppen uppsättning godtyckligt små mått. Nu omdefiniera vi ƒ för att vara 0 på denna öppna uppsättning. Om nödvändigt kan vi anta att ƒ är begränsad och därför integrerbar.

Nu kontinuerliga funktioner är tät i L1 ([a, b]) så det finns en sekvens av kontinuerlig fungerar en tenderar att ƒ i L1 normen. Om vi behöver, kan vi överväga en delföljd.
Vi antar också att en tenderar att ƒ nästan överallt. Nu Jegorovs teorem säger oss att som en tenderar att ƒ jämnt med undantag för vissa öppen uppsättning godtyckligt små mått. Eftersom enhetliga gränserna för kontinuerliga funktioner är kontinuerlig, är sats bevisat.