Lusinin lause
Wikipedia
Matematiikassa Lusinin lause (tai myös Luzinin lause) on reaalianalyysin lause, joka on nimetty Nikolai Luzinin mukaan. Lusinin lause on toinen muotoilu Littlewoodin toisesta periaatteesta.
Sen mukaan jokainen mitallinen funktio on melkein jatkuva:
Olkoon väli [a,b] annettu ja olkoon mitallinen funktio. Tällöin
on olemassa kompakti
siten, että f rajoitettuna E:hen on jatkuva ja μ(EC) < ε. Tässä EC on E:n komplementti. Huomaa, että E perii välin [a,b] topologian ja tässä topologiassa f:n jatkuvuus rajoittuu joukkoon E.
Lusinin lause todistetaan seuraavasti: Jatkuvat funktiot ovat tiheässä L1[a,b]:ssä. Siten on siis olemassa jono jatkuvia funktioita {gn} siten, että L1:ssä. Tästä jonosta voidaan erottaa osajono, jota merkitään myös {gn}:llä, siten, että
melkein kaikkialla. Nyt Egorovin lauseen mukaan
tasaisesti lukuun ottamatta mielivaltaisen pientä joukkoa. Koska jatkuvat funktiot ovat suljettuja tasaisen suppenemisen suhteen, on väite todistettu.