מידה מרוכבת

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

לא כל מידה חיובית היא מידה מרוכבת, משום שלמידות חיוביות מרשים לקבל את הערך , ואילו ממידה מרוכבת דורשים שכל הערכים יהיו מספרים. למעשה, מידה מרוכבת תמיד חסומה (על ידי מידת המרחב כולו).

תכונות של מידה מרוכבת

יהי  מרחב מדיד ותהי  מידה מרוכבת עליו.

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

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

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

מידת ההשתנות הכוללת

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

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

אינטגרציה ביחס למידה מרוכבת

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

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

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

.

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

רגולריות של מידה מרוכבת

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

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

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

מרחב כל המידות המרוכבות

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

ראו גם

 מידה חיובית
 מידה מסומנת
 משפט ההצגה של ריס

תורת המידה