מידת האר

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

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

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

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

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

אם a הוא איבר בG וS היא תת-קבוצה של G, אז <math>\,aS=\{a\cdot s:s \in S\}</math> היא ה"הזזה שמאלה" של S ב- a, ו- <math>\,Sa=\{s\cdot a:s\in S\}</math> ה"הזזה ימינה". מכיוון שפעולת הכפל בחבורה היא רציפה, ההזזות מעתיקות קבוצת בורל לקבוצת בורל. באותו אופן, ההפכי של S מוגדר לפי <math>\,S^{-1} = \{s^{-1}:s\in S\}</math>; גם פעולת ההיפוך מעתיקה קבוצת בורל לקבוצת בורל. 

מידה μ על אלגברת בורל של G היא אינווריאנטית משמאל, אם לכל תת-קבוצת בורל S של G ולכל איבר a ב G מתקיים <math>\,\mu(aS)=\mu(S)</math>; כלומר - הנפח של קבוצות אינו משתנה כאשר מכפילים אותן משמאל. באותו אופן אפשר להגדיר אינווריאנטיות מימין.

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

מתברר כי, עד כדי כפל בקבוע חיובי, קיימת בדיוק מידה רגולרית אינווריאנטית להזזות שמאלה אחת על אלגברת בורל של G, המקיימת <math>\,\mu(U)>0</math> לכל קבוצת בורל פתוחה U. מידה כזו נקראת מידת האר שמאלית. באותו אופן מתברר גם שקיימת מידה ימנית אחת ויחידה על החבורה. 

ממידת האר השמאלית, μ, אפשר להגדיר מידת האר ימנית, ν, לפי הנוסחה <math>\,\nu(S) = \mu(S^{-1})</math>. (זוהי אכן מידת האר ימנית, משום שלכל קבוצת בורל S ולכל איבר a ב־G מתקיים <math>\,\nu(Sa) = \mu((Sa)^{-1}) = \mu(a^{-1}S^{-1}) = \mu(S^{-1}) = \nu(S)</math>). מכיוון שמידת האר הימנית היא יחידה (עד כדי קבוע) הרי שקיים קבוע חיובי k כך ש-<math>\,\mu(S^{-1}) = k\nu(S)</math> לכל קבוצת בורל S בG.

בהגדרה של מידת האר, ההגבלה לקבוצות בורל היא הכרחית: אם החבורה G אינה דיסקרטית, אז לא קיימת מידה אינווריאנטית משמאל המוגדרת על כל תת-הקבוצות של G (זאת אם מניחים את אקסיומת הבחירה; ראו פרדוקס בנך-טרסקי, עבור המקרה של החבורה הקומפקטית <math>\ O_3(\mathbb{R})</math>). 

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

הזזה משמאל של מידת האר ימנית היא מידת האר ימנית. ליתר דיוק, אם μ היא מידת האר ימנית אז לכל איבר t בG ההעתקה
<math>\,A\mapsto \mu(t^{-1}A)</math>
היא גם מידת האר ימנית.
לפיכך קיימת פונקציה יחידה Δ, הנקראת הפונקציה המודולרית של G, כך שלכל קבוצת בורל A בG ולכ איבר t בG מתקיים <math>\,\mu(t^{-1}A) = \Delta(t)\mu(A)</math>.
נשים לב כי לכל זוג איברים s וt בG ולכל קבוצת בורל A מתקיים:
:<math>\,\Delta(ts)\mu(A) = \mu((ts)^{-1}A) = \mu(s^{-1}t^{-1}A) = \Delta(s)\mu(t^{-1}A)=\Delta(s)\Delta(t)\mu(A)</math>
לפיכך, לכל s ו-t מתקיים <math>\,\Delta(ts) = \Delta(t) \Delta(s)</math>,
כלומר, הפונקציה המודולרית היא הומומורפיזם של חבורות מG אל החבורה הכפלית של המספרים הממשיים החיוביים. ניתן להראות שהפונקציה המודולרית היא העתקה רציפה.

חבורה נקראת אונימודולרית אם הפונקציה המודולרית שלה היא הפונקציה הקבועה 1, כלומר אם מידת האר השמאלית ומידת האר הימנית עליה מתלכדות. לעובדה זו השלכות רבות כשמבצעים אנליזה על החבורה. חבורות דיסקרטיות, עליהן מידת האר היא מידת המניה, הן תמיד אונימודולריות; גם חבורות קומפקטיות, חבורות נילפוטנטיות (ובכללן חבורות אבליות) וחבורות לי פשוטות למחצה הן אונימודולריות. דוגמה לחבורה שאינה אונימודולרית היא חבורת הטרנספורמציות האפיניות של הישר הממשי (כלומר חבורת ההעתקות מהצורה <math>\,x\mapsto ax+b</math> כאשר <math>\,a\ne 0</math>). דוגמה זו מראה שחבורות פתירות אינן באופן כללי אונימודולריות. 

==אינטגרל האר==
בעזרת התאוריה הכללית של אינטגרל לבג, ניתן להגדיר אינטגרל לכל הפונקציות המדידות בורל על G. אינטגרל זה נקרא אינטגרל האר. אם μ היא מידת האר שמאלית אז לכל פונקציה אינטגרבילית f מתקיים:
:<math> \int_G f(s x) \ d\mu(x) = \int_G f(x) \ d\mu(x) </math>
עובדה זו נובעת מן האינווריאנטיות עבור פונקציות פשוטות, ומכאן (בטכניקות הרגילות של תורת המידה) לכל פונקציה אינטגרבילית.

המרחב <math>\ L^2(G)</math>, מרחב הפונקציות האינטגרביליות בריבוע, הוא הצגה של החבורה G, שלה תפקיד מרכזי בתורת ההצגות, המקביל לזה של ההצגה הרגולרית עבור חבורות סופיות.

==דוגמאות==
* מידת האר על החבורה הטופולוגית <math>\,(\mathbb{R},+)</math> המקבלת את הערך 1 על הקטע [0,1] היא המידה הרגילה, כלומר, הצמצום של מידת לבג לקבוצות בורל של R. טענה דומה נכונה ל <math>\,\mathbb{R}^n</math> לכל n.
* אם G היא החבורה הכיפלית של המספרים הממשיים החיוביים, מידת האר נתונה על ידי <math> \mu(S) = \int_S \frac{1}{t} \, dt </math> לכל קבוצת בורל S של G.

באופן יותר כללי:
* עבור <math>\ G=GL_n(\mathbb{R})</math> - חבורת המטריצות ההפיכות מסדר n מעל <math>\,\mathbb{R}</math>, מידת האר השמאלית והימנית מתלכדות ונתונות על ידי:
::<math> \mu(S) = \int_S {1\over |\det(X)|^n} \, dX </math>
כאשר dX מסמנת את מידת לבג על <math>\,\mathbb{R}^{n^2}</math> המזוהה עם קבוצת המטריצות בגודל <math>\,n \times n</math>.
* באופן כללי יותר, לכל חבורת לי G מממד d, ניתן לייחס מידת האר שמאלית לכל d-תבנית דיפרנציאלית אינווריאנטית משמאל ω, על ידי אינטגרל לבג |ω|. לפיכך הפונקציה המודולרית ניתנת לחישוב על ידי הערך המוחלט של הדטרמיננטה של ההצגה הצמודה של G (ההצגה הטבעית של G על אלגברת הלי שלה).

==ראו גם==
* דואליות פונטריאגין

==לקריאה נוספת==
* 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.

==קישורים חיצוניים==
* 

קטגוריה:חבורות לי
קטגוריה:חבורות טופולוגיות

קטגוריה:תורת המידה
קטגוריה:אנליזה הרמונית