פונקציונל מינקובסקי

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

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

הפונקציונל נקרא על שמו של המתמטיקאי הרמן מינקובסקי.

== הגדרה מתמטית ==
בהינתן מרחב וקטורי <math>V</math> מעל שדה הממשיים, <math>B\subseteq V</math> ו-<math>r \in \mathbb{R}</math>, מסמנים:

<math>r B:=\{r v\mid v\in B\}</math>

קבוצה זו מהווה הרחבה בקנה מידה שווה של קבוצה <math>B</math> בסקלר <math>r</math>.

מגדירים את פונקציונל מינקובסקי לפי <math>B</math> להיות הפונקציונל <math>\rho_B: V \to [0,\infty]</math> כך שלכל <math>v\in V</math>:<ref></ref>

<math>\rho_B(v):=\inf\{r > 0\mid v\in rB \}</math>

זאת כאשר <math>\inf</math> היא פונקציית האינפירמום. כאשר לא קיים <math>r</math> כזה (כלומר, הקבוצה ריקה ולכן אין לה אינפימום), מגדירים <math>\rho_B(v):=\infty</math>.

== תכונות ==
* <math>\rho_B(0) = 0</math> אם ורק אם <math>0\in B</math>, אחרת <math>\rho_B(0)=\infty</math>.
* כל פונקציונל מינקובסקי הוא הומוגני חיובי. כלומר, לכל <math>v\in V</math> ולכל <math>\alpha > 0</math> מתקיים <math>\rho_B(\alpha v)=\alpha \rho_B(v)</math>.
* אם הקבוצה <math>B</math> היא קבוצה סימטרית (<math>v\in B \Leftrightarrow -v \in B</math>) אז פונקציונל מינקובסקי <math>\rho_B</math> הומוגני בהחלט (<math>\rho_B(\alpha v)=|\alpha| \rho_B(v)</math>)
* אם הקבוצה <math>B</math> היא קבוצה קמורה אז פונקציונל מינקובסקי <math>\rho_B</math> הוא פונקציונל תת-ליניארי
* אם הקבוצה <math>B</math> היא קבוצה קמורה לחלוטין (כלומר, קבוצה קמורה ומאוזנת) אז פונקציונל מינקובסקי <math>\rho_B</math> הוא נורמה למחצה.

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

=== הוכחה ===
נתון מרחב וקטורי <math>V</math> מעל שדה הממשיים ועליו נורמה למחצה <math>\rho</math>. מגדירים את <math>B:=\{v\in V\mid \rho(v) \le 1\}</math>. יש להוכיח כי <math>\rho_B=\rho</math>.

בוחרים <math>v\in V</math> כלשהו. ייתכנו שני מקרים:

מקרה ראשון: במקרה שבו <math>\rho(v)=0</math>. בגלל הומוגניות בהחלט, לכל <math>r>0</math> מתקיים כי:

<math>\rho\left(\frac{1}{r}v\right)=\frac{1}{r}\rho(v)=0</math>

לכן <math>\frac{1}{r}v\in B \Rightarrow v\in rB</math>. הדבר נכון לכל <math>r>0</math>, לכן בהכרח <math>\rho_B(v)=0</math>

מקרה שני: במקרה שבו <math>\rho(v)>0</math> מסמנים <math>\rho(v)=\alpha</math>. מתקיים כי:

<math>\rho\left(\frac{1}{\alpha}v\right)=\frac{1}{\alpha}\rho(v)=\frac{\alpha}{\alpha}= 1</math>

משמע <math>\frac{1}{\alpha}v\in B \Rightarrow v\in \alpha B</math> ובהכרח <math>\rho_B(v) \le \alpha</math>. מצד שני, לכל <math>r<\alpha</math> מתקיים כי:

<math>\rho\left(\frac{1}{r}v\right)=\frac{1}{r}\rho(v)=\frac{\alpha}{r}>1</math>

כלומר <math>\frac{1}{r}v \notin B \Rightarrow v\notin rB</math> ולכן <math>\rho_B(v) \ge \alpha</math>. מכל זה יוצא כי <math>\rho_B(v)= \alpha=\rho(v)</math>.

שני מקרים אלו מכסים את כל האפשרויות של <math>v</math>, על כן <math>\rho_B=\rho</math>.

מש"ל.

== ראו גם ==
* נורמה-למחצה
* נורמה (אנליזה)
* משפט האן-בנך

== הערות שוליים ==

קטגוריה:אנליזה פונקציונלית
קטגוריה:נורמות (מתמטיקה)