מרחב נורמי

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

מרחב נורמי שהוא מרחב שלם מכונה "מרחב בנך". כל מרחב נורמי ניתן לשיכון צפוף בתוך מרחב בנך.

כל מרחב מכפלה פנימית הוא נורמי, על ידי הנורמה המושרית $\ \|\mathbf {v} \|={\sqrt {\langle \mathbf {v} ,\mathbf {v} \rangle }}$ .

נורמה על מרחב מגדירה מטריקה באופן הבא: $d(\mathbf {x,y} )=\|\mathbf {x-y} \|$ . מטריקה זאת בתורה מגדירה טופולוגיה על המרחב - הטופולוגיה הנוצרת על ידי הכדורים הפתוחים במטריקה. לכן רואים במרחב נורמי מקרה פרטי של מרחב וקטורי טופולוגי.

שקילות של נורמות

שתי נורמות על אותו מרחב הן שקולות אם קיימים קבועים ממשיים ואי-שליליים $c,C$ , כך שלכל $\mathbf {v} \in V$ מתקיים $c\|\mathbf {v} \|_{1}\leq \|\mathbf {v} \|_{2}\leq C\|\mathbf {v} \|_{1}$ . במקרה זה הנורמות משרות את אותה טופולוגיה.

במרחב נורמי בעל ממד סופי כל הנורמות שקולות זו לזו.

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

מרחב נורמי, באתר MathWorld (באנגלית)
Equivalence of Norms in Finite Dimension, Colorado State University

עץ מיון של מרחבים וקטוריים טופולוגיים

מרחב וקטורי טופולוגי

מקרא:

	מחלקה של מרחבים וקטוריים טופולוגיים (מעל $\mathbb {R}$ ).^[1]
	דוגמה או קבוצת דוגמאות למרחבים וקטוריים טופולוגיים.^[2]
	מסלול שיורד למטה מצביע על כך שהמחלקה התחתונה היא חלק מהמחלקה העליונה.
	חלק במסלול שרלוונטי רק לדוגמאות.
$\cap$	מחלקה המהווה חיתוך של המחלקות שמכילות אותה ומופיעות בתרשים.

\cap \,

מרחב פרשה

מרחב פרשה

\cap \,

מרחב דואלי לפרשה

מרחב גרעיני

מרחב גרעיני

C^{\infty }(\mathbb {R} )

C^{\infty }(\mathbb {R} )

מרחב נורמי

מרחב בנך

מרחב בנך

\cap \,

C^{-\infty }(S^{1})

C^{-\infty }(S^{1})

L_{loc}^{p}(\mathbb {R} )

L_{loc}^{p}(\mathbb {R} )

C(\mathbb {R} )

C(\mathbb {R} )

C_{c}^{\infty }(\mathbb {R} )

C_{c}^{\infty }(\mathbb {R} )

מרחב מכפלה פנימית

מרחב הילברט

מרחב הילברט

\cap \,

C^{-\infty }(\mathbb {R} )

C^{-\infty }(\mathbb {R} )

L^{1}(\mathbb {R} )

L^{1}(\mathbb {R} )

C(S^{1})

C(S^{1})

L^{p}(\mathbb {R} );p>1

L^{p}(\mathbb {R} );p>1

מרחב (ממשי) ממד סופי -

\mathbb {R} ^{n}

מרחב (ממשי) ממד סופי -

\mathbb {R} ^{n}

\cap \,

L^{2}(\mathbb {R} )

L^{2}(\mathbb {R} )

^ שמות התואר "וקטורי", "טופולוגי" ו"ממשי" מושמטים בדרך כלל משם המחלקה.
^ במרחבי הפונקציות בדוגמאות, ניתן להחליף את $\mathbb {R}$ ביריעה חלקה כלשהי ואת מעגל היחידה $S^{1}$ ביריעה חלקה קומפקטית כלשהי.

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

[1] שמות התואר "וקטורי", "טופולוגי" ו"ממשי" מושמטים בדרך כלל משם המחלקה.

[2] במרחבי הפונקציות בדוגמאות, ניתן להחליף את $\mathbb {R}$ ביריעה חלקה כלשהי ואת מעגל היחידה $S^{1}$ ביריעה חלקה קומפקטית כלשהי.

[1]

[2]