פונקציונל מינקובסקי
במתמטיקה, ובפרט באנליזה פונקציונלית, פונקציונל מינקובסקי הוא פונקציונל המוגדר על מרחב וקטורי מעל שדה הממשיים אשר מוגדר ביחס לקבוצה מסוימת בתוך המרחב הווקטורי.
לפונקציונל מינקובסקי יש קשר הדוק למושג הנורמה-למחצה והנורמה, ולמעשה ניתן להוכיח כי כל נורמה-למחצה (ובפרט כל נורמה) היא פונקציונל מינקובסקי של קבוצה כלשהי. מעבר לכך, פונקציונל מינקובסקי משמש למספר הוכחות, בהן הוכחת גרסה מוכללת של משפט האן-בנך למרחב קמור מקומית.
הפונקציונל נקרא על שמו של המתמטיקאי הרמן מינקובסקי.
הגדרה מתמטית
עריכהבהינתן מרחב וקטורי מעל שדה הממשיים, ו- , מסמנים:
קבוצה זו מהווה הרחבה בקנה מידה שווה של קבוצה בסקלר .
מגדירים את פונקציונל מינקובסקי לפי להיות הפונקציונל כך שלכל :[1]
זאת כאשר היא פונקציית האינפירמום. כאשר לא קיים כזה (כלומר, הקבוצה ריקה ולכן אין לה אינפימום), מגדירים .
תכונות
עריכה- אם ורק אם , אחרת .
- כל פונקציונל מינקובסקי הוא הומוגני חיובי. כלומר, לכל ולכל מתקיים .
- אם הקבוצה היא קבוצה סימטרית ( ) אז פונקציונל מינקובסקי הומוגני בהחלט ( )
- אם הקבוצה היא קבוצה קמורה אז פונקציונל מינקובסקי הוא פונקציונל תת-ליניארי
- אם הקבוצה היא קבוצה קמורה לחלוטין (כלומר, קבוצה קמורה ומאוזנת) אז פונקציונל מינקובסקי הוא נורמה למחצה.
קשר לנורמה למחצה
עריכהנורמה למחצה היא פונקציונל על מרחב וקטורי המקיים תת-ליניאריות והומוגניות בהחלט. ניתן להוכיח כי כל נורמה למחצה (ובפרט כל נורמה) היא פונקציונל מינקובסקי ביחס לכדור היחידה שלה.[2]
הוכחה
עריכהנתון מרחב וקטורי מעל שדה הממשיים ועליו נורמה למחצה . מגדירים את . יש להוכיח כי .
בוחרים כלשהו. ייתכנו שני מקרים:
מקרה ראשון: במקרה שבו . בגלל הומוגניות בהחלט, לכל מתקיים כי:
לכן . הדבר נכון לכל , לכן בהכרח
מקרה שני: במקרה שבו מסמנים . מתקיים כי:
משמע ובהכרח . מצד שני, לכל מתקיים כי:
כלומר ולכן . מכל זה יוצא כי .
שני מקרים אלו מכסים את כל האפשרויות של , על כן .
מש"ל.
ראו גם
עריכההערות שוליים
עריכה- ^ Lawrence Narici, Edward Beckenstein, Topological Vector Spaces, CRC Press, 2010-07-26, ISBN 978-1-58488-867-3. (באנגלית)
- ^ H. H. Schaefer, M. P. Wolff, Topological Vector Spaces, Graduate Texts in Mathematics, 1999 doi: 10.1007/978-1-4612-1468-7