בערך זה נעשה שימוש בסימנים מוסכמים מתחום המתמטיקה. להבהרת הסימנים ראו סימון מתמטי.
|
משפט לוזין מבטא עיקרון יסודי באנליזה פונקציונלית, לפיו כל פונקציה מדידה לבג, במונחי תורת המידה היא כמעט פונקציה רציפה. כלומר כל פונקציה מדידה קרובה להיות פונקציה רציפה במובן של קירוב שיתואר בהמשך.
את המשפט הוכיח המתמטיקאי הרוסי ניקולאי לוזין בשנת 1912.
תהי פונקציה מדידה-לבג. אזי לכל קיימת קבוצה סגורה המקיימת (כאשר היא מידת לבג), כך שעל הפונקציה שווה כמעט תמיד לפונקציה רציפה.
הערה: ניתן להשתמש במשפט ההרחבה של טיצה כדי להרחיב את הפונקציה להיות פונקציה רציפה המוגדרת על כל .
נגדיר . בוודאי מתקיים , ומהיות בעל מידת לבג סופית נובע כי .
נקבע שעבורו , כלומר לכל מתקיים . כל פונקציה מדידה וחסומה על קטע סופי היא אינטגרבילית לבג, ולכן .
מרחב הפונקציות הרציפות צפוף ב-, ולכן היא גבול של פונקציות רציפות בנורמת . ידוע שלכל סדרה המתכנסת ב- קיימת תת-סדרה המתכנסת כמעט תמיד, לכן היא גבול כמעט תמיד של פונקציות רציפות.
ממשפט אגורוף יש קבוצה מדידה המקיימת , כך שעל ההתכנסות כמעט תמיד ל- היא התכנסות במידה שווה. מרגולריות מידת לבג יש קבוצה קומפקטית המקיימת . גבול במידה שווה של פונקציות רציפות על קבוצה קומפקטית הוא פונקציה רציפה, ולכן רציפה. זו הקבוצה המבוקשת, כי .
קיימת גרסה כללית יותר למשפט: יהי מרחב מידה כאשר היא מידת רדון. יהי גם מרחב טופולוגי המקיים את אקסיומת המנייה השנייה, היוצר מרחב מדיד עם סיגמא אלגברת בורל שלו, ותהי .
לכל , לכל קבוצה מדידה בעלת מידה סופית קיימת קבוצה מדידה המוכלת ב-, כך שמתקיים , כך שעל הקבוצה הפונקציה רציפה.
בנוסף, אם הקבוצה קומפקטית מקומית, אז ניתן לבחור את הנ"ל שתהיה קומפקטית, ובמקרה זה קיימת פונקציה רציפה בעלת תומך קומפקטי המקיימת .
- N. Lusin. Sur les propriétés des fonctions mesurables, Comptes Rendus Acad. Sci. Paris 154 (1912), 1688–1690.