מידת האר

מתוך המכלול, האנציקלופדיה היהודית
קפיצה לניווט קפיצה לחיפוש

במתמטיקה, ובמיוחד באנליזה מתמטית, מידת האר היא מידה המוגדרת על חבורות טופולוגיות קומפקטיות באופן מקומי, כגון חבורות של מטריצות מעל הממשיים, המרוכבים, או כל שדה מקומי אחר. מידה זו הוגדרה עבור חבורות קומפקטיות על ידי המתמטיקאי ההונגרי אלפרד האר, ב־1932, ועבור המקרה הכללי על ידי אנדרה וייל.

בזכות קיומה של מידה על החבורה , ניתן להגדיר אינטגרלים של פונקציות המוגדרות על החבורה, ולחקור פונקציות כאלה במסגרת האנליזה הפונקציונלית. תכונה זו הופכת את החבורות הקומפקטיות-מקומית, שיש להן מידת האר, לאובייקט מרכזי בתורת החבורות, באנליזה, בתורת ההצגות ובתורת המספרים.

מידת האר מיוחדת בכך שהיא "אינווריאנטית להזזות", כלומר, היא מודדת את ה"נפח" של קבוצה בחבורה באופן כזה, שהנפח אינו משתנה אם מכפילים את באיבר של החבורה. עד כדי כפל בקבוע, יש מידת האר אחת שהיא אינווריאנטית לכפל מימין, ואחרת שהיא אינווריאנטית לכפל משמאל. את היחס בין השתיים מודדת הפונקציה המודולרית של החבורה.

מידות אינווריאנטיות

נניח כי חבורה טופולוגית קומפקטית באופן מקומי. לסיגמא-אלגברה הנוצרת על ידי תת-הקבוצות הקומפקטיות של קוראים אלגברת בורל. האיברים של אלגברה זו נקראים קבוצות בורל.

אם ו־ , אז היא ה"הזזה שמאלה" של ב־ , ו־ ה"הזזה ימינה". מכיוון שפעולת הכפל בחבורה היא רציפה, ההזזות מעתיקות קבוצת בורל לקבוצת בורל. באותו אופן, ההפכי של מוגדר לפי  ; גם פעולת ההיפוך מעתיקה קבוצת בורל לקבוצת בורל.

מידה על אלגברת בורל של היא אינוריאנטית משמאל, אם לכל תת-קבוצת בורל ולכל מתקיים  ; כלומר – הנפח של קבוצות אינו משתנה כאשר מכפילים אותן משמאל. באותו אופן אפשר להגדיר אינווריאנטיות מימין.

קיום ויחידות של מידת האר

מתברר כי, עד כדי כפל בקבוע חיובי, קיימת בדיוק מידה רגולרית אינוריאנטית להזזות שמאלה אחת על אלגברת בורל של , המקיימת לכל קבוצת בורל פתוחה . מידה כזו נקראת מידת האר שמאלית. באותו אופן מתברר גם שקיימת מידה ימנית אחת ויחידה על החבורה.

ממידת האר השמאלית , אפשר להגדיר מידת האר ימנית , לפי הנוסחה . (זוהי אכן מידת האר ימנית, משום שלכל קבוצת בורל ולכל מתקיים ). מכיוון שמידת האר הימנית היא יחידה (עד כדי קבוע) הרי שקיים קבוע חיובי עבורו לכל קבוצת בורל .

בהגדרה של מידת האר, ההגבלה לקבוצות בורל היא הכרחית: אם החבורה אינה דיסקרטית, אז לא קיימת מידה אינוריאנטית משמאל המוגדרת על כל תת־הקבוצות של (זאת אם מניחים את אקסיומת הבחירה; ראו הפרדוקס של בנך-טרסקי, עבור המקרה של החבורה הקומפקטית ).

הפונקציה המודולרית

הזזה משמאל של מידת האר ימנית היא מידת האר ימנית. ליתר דיוק, אם מידת האר ימנית אז לכל ההעתקה היא גם מידת האר ימנית. לפיכך קיימת פונקציה יחידה , הנקראת הפונקציה המודולרית של , כך שלכל קבוצת בורל ולכל איבר מתקיים . נשים לב כי לכל זוג איברים ולכל קבוצת בורל מתקיים:

לפיכך, לכל מתקיים , כלומר הפונקציה המודולרית היא הומומורפיזם של חבורות מ־ אל החבורה הכפלית של המספרים הממשיים השונים מאפס.

חבורה נקראת אונימודולרית אם ורק אם הפונקציה המודולרית היא הפונקציה הקבועה 1. כל חבורה אבלית קומפקטית (כגון: היא אונימודולרית. לעומת זאת, החבורות , או חבורת ההעתקות האפיניות של הישר הממשי, (כלומר חבורת ההעתקות מהצורה כאשר , ביחס להרכבה) אינן אונימודולריות באופן כללי.

אינטגרל האר

בעזרת התאוריה הכללית של אינטגרל לבג, ניתן להגדיר אינטגרל לכל הפונקציות המדידות בורל על . אינטגרל זה נקרא אינטגרל האר. אם מידת האר שמאלית אז לכל פונקציה אינטגרבילית מתקיים:

עובדה זו נובעת מן האינווריאנטיות עבור פונקציות פשוטות, ומכאן (בטכניקות הרגילות של תורת המידה) לכל פונקציה אינטגרבילית.

המרחב , מרחב הפונקציות האינטגרביליות בריבוע, הוא הצגה של החבורה , שלה תפקיד מרכזי בתורת ההצגות, המקביל לזה של ההצגה הרגולרית עבור חבורות סופיות.

דוגמאות

  • מידת האר על החבורה הטופולוגית המקבלת את הערך 1 על הקטע היא המידה הרגילה, כלומר, הצמצום של מידת לבג לקבוצות בורל של . טענה דומה נכונה ל־ לכל .
  • אם החבורה הכפלית של המספרים הממשיים החיוביים, מידת האר נתונה על ידי לכל קבוצת בורל .

באופן יותר כללי:

  • עבור – חבורת המטריצות ההפיכות מסדר מעל , מידת האר השמאלית והימנית מתלכדות ונתונות על ידי:
כאשר מסמנת את מידת לבג על המזוהה עם קבוצת המטריצות בגודל .

ראו גם

לקריאה נוספת

  • Paul Halmos, Measure Theory, D. van Nostrand and Co., 1950.
  • André Weil, Basic Number Theory, Academic Press, 1971.
  • Lynn Loomis, An Introduction to Abstract Harmonic Analysis, D. van Nostrand and Co., 1953.


Logo hamichlol 3.png
הערך באדיבות ויקיפדיה העברית, קרדיט,
רשימת התורמים
רישיון cc-by-sa 3.0