פונקציונל מינקובסקי
במתמטיקה, ובפרט באנליזה פונקציונלית, פונקציונל מינקובסקי הוא פונקציונל המוגדר על מרחב וקטורי מעל שדה הממשיים אשר מוגדר ביחס לקבוצה מסוימת בתוך המרחב הווקטורי.
לפונקציונל מינקובסקי יש קשר הדוק למושג הנורמה-למחצה והנורמה, ולמעשה ניתן להוכיח כי כל נורמה-למחצה (ובפרט כל נורמה) היא פונקציונל מינקובסקי של קבוצה כלשהי. מעבר לכך, פונקציונל מינקובסקי משמש למספר הוכחות, בהן הוכחת גרסה מוכללת של משפט האן-בנך למרחב קמור מקומית.
הפונקציונל נקרא על שמו של המתמטיקאי הרמן מינקובסקי.
הגדרה מתמטית
בהינתן מרחב וקטורי $ V $ מעל שדה הממשיים, $ B\subseteq V $ ו-$ r\in \mathbb {R} $, מסמנים:
$ rB:=\{rv\mid v\in B\} $
קבוצה זו מהווה הרחבה בקנה מידה שווה של קבוצה $ B $ בסקלר $ r $.
מגדירים את פונקציונל מינקובסקי לפי $ B $ להיות הפונקציונל $ \rho _{B}:V\to [0,\infty ] $ כך שלכל $ v\in V $:[1]
$ \rho _{B}(v):=\inf\{r>0\mid v\in rB\} $
זאת כאשר $ \inf $ היא פונקציית האינפירמום. כאשר לא קיים $ r $ כזה (כלומר, הקבוצה ריקה ולכן אין לה אינפימום), מגדירים $ \rho _{B}(v):=\infty $.
תכונות
- הפענוח נכשל (SVG (אפשר להפעיל MathML בעזרת הרחבת דפדפן): תשובה בלתי־תקינה ("Math extension cannot connect to Restbase.") מהשרת "https://wikimedia.org/api/rest_v1/":): \rho_B(0) = 0 אם ורק אם $ 0\in B $, אחרת $ \rho _{B}(0)=\infty $.
- כל פונקציונל מינקובסקי הוא הומוגני חיובי. כלומר, לכל $ v\in V $ ולכל $ \alpha >0 $ מתקיים $ \rho _{B}(\alpha v)=\alpha \rho _{B}(v) $.
- אם הקבוצה $ B $ היא קבוצה סימטרית ($ v\in B\Leftrightarrow -v\in B $) אז פונקציונל מינקובסקי $ \rho _{B} $ הומוגני בהחלט (הפענוח נכשל (SVG (אפשר להפעיל MathML בעזרת הרחבת דפדפן): תשובה בלתי־תקינה ("Math extension cannot connect to Restbase.") מהשרת "https://wikimedia.org/api/rest_v1/":): \rho_B(\alpha v)=|\alpha| \rho_B(v) )
- אם הקבוצה $ B $ היא קבוצה קמורה אז פונקציונל מינקובסקי $ \rho _{B} $ הוא פונקציונל תת-ליניארי
- אם הקבוצה $ B $ היא קבוצה קמורה לחלוטין (כלומר, קבוצה קמורה ומאוזנת) אז פונקציונל מינקובסקי $ \rho _{B} $ הוא נורמה למחצה.
קשר לנורמה למחצה
נורמה למחצה היא פונקציונל על מרחב וקטורי המקיים תת-ליניאריות והומוגניות בהחלט. ניתן להוכיח כי כל נורמה למחצה (ובפרט כל נורמה) היא פונקציונל מינקובסקי ביחס לכדור היחידה שלה.[2]
הוכחה
נתון מרחב וקטורי $ V $ מעל שדה הממשיים ועליו נורמה למחצה $ \rho $. מגדירים את הפענוח נכשל (SVG (אפשר להפעיל MathML בעזרת הרחבת דפדפן): תשובה בלתי־תקינה ("Math extension cannot connect to Restbase.") מהשרת "https://wikimedia.org/api/rest_v1/":): B:=\{v\in V\mid \rho(v) \le 1\} . יש להוכיח כי $ \rho _{B}=\rho $.
בוחרים $ v\in V $ כלשהו. ייתכנו שני מקרים:
מקרה ראשון: במקרה שבו $ \rho (v)=0 $. בגלל הומוגניות בהחלט, לכל $ r>0 $ מתקיים כי:
$ \rho \left({\frac {1}{r}}v\right)={\frac {1}{r}}\rho (v)=0 $
לכן $ {\frac {1}{r}}v\in B\Rightarrow v\in rB $. הדבר נכון לכל $ r>0 $, לכן בהכרח $ \rho _{B}(v)=0 $
מקרה שני: במקרה שבו $ \rho (v)>0 $ מסמנים $ \rho (v)=\alpha $. מתקיים כי:
$ \rho \left({\frac {1}{\alpha }}v\right)={\frac {1}{\alpha }}\rho (v)={\frac {\alpha }{\alpha }}=1 $
משמע $ {\frac {1}{\alpha }}v\in B\Rightarrow v\in \alpha B $ ובהכרח $ \rho _{B}(v)\leq \alpha $. מצד שני, לכל $ r<\alpha $ מתקיים כי:
הפענוח נכשל (SVG (אפשר להפעיל MathML בעזרת הרחבת דפדפן): תשובה בלתי־תקינה ("Math extension cannot connect to Restbase.") מהשרת "https://wikimedia.org/api/rest_v1/":): \rho\left(\frac{1}{r}v\right)=\frac{1}{r}\rho(v)=\frac{\alpha}{r}>1
כלומר $ {\frac {1}{r}}v\notin B\Rightarrow v\notin rB $ ולכן $ \rho _{B}(v)\geq \alpha $. מכל זה יוצא כי $ \rho _{B}(v)=\alpha =\rho (v) $.
שני מקרים אלו מכסים את כל האפשרויות של $ v $, על כן $ \rho _{B}=\rho $.
מש"ל.
ראו גם
הערות שוליים
- ↑ Lawrence Narici, Edward Beckenstein, Topological Vector Spaces, CRC Press, 2010-07-26, מסת"ב 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
פונקציונל מינקובסקי37599538Q649472