נורמה-למחצה

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

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

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

הגדרה מתמטית 
פונקציונל  ייקרא נורמה-למחצה אם ורק אם הוא מקיים את התכונות הבאות:

 תת-חיבוריות: לכל  מתקיים 
 הומוגניות בהחלט: לכל  ולכל  מתקיים 

משתי תכונות אלו נובעות גם התכונות הבאות:
 אי-שליליות: לכל  מתקיים 
 

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

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

כל נורמה-למחצה היא פונקציה תת-ליניארית.

תכונות

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

ניתן להוכיח כי  הוא תת-מרחב של . עובדה זאת נובעת מכך שלכל  ולכל  מתקיים:

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

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

כל כדור כזה מהווה קבוצה קמורה. מעבר לכך, כל כדור סביב הראשית  מהווה קבוצה מאוזנת וקבוצה בולעת.

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

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

קשר לפונקציונל מינקובסקי 
עבור תת-קבוצה בולעת , פונקציונל מינקובסקי של קבוצה  הוא הפונקציונל  המוגדר כך שלכל :

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

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

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

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

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

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

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

דוגמאות

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

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

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

מרחב מכפלה 
בהינתן זוג מרחבים וקטוריים  וזוג נורמות למחצה המוגדרות עליהם  ניתן להגדיר פונקציונל על מרחב המכפלה  כך ש:

ניתן להוכיח ש- היא נורמה למחצה במרחב המכפלה וכי הטופולוגיה המושרית ממנה היא טופולוגיית המכפלה של הנורמות המושרות מ-.

ניתן להגדיר זוג פונקציונלים נוספים  כך ש-

פונקציונלים אלו אף הם נורמות-למחצה במרחב המכפלה.

ראו גם 
 נורמה
 קווזי-נורמה (אנ')
 פונקציונל מינקובסקי (אנ')

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

הערות שוליים 

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