נורמה (אנליזה) – הבדלי גרסאות
תוכן שנמחק תוכן שנוסף
מ נורמה (מתמטיקה) הועבר לנורמה (אנליזה): יש יותר מאחת |
אין תקציר עריכה |
||
שורה 1:
ב[[אנליזה]], '''נורמה''' היא [[פונקציה ממשית|פונקציה]] המוגדרת על [[מרחב וקטורי]], ומתאימה לכל וקטור ערך [[מספר ממשי|ממשי]], באופן שמתמלאים מספר תנאים. תנאים אלה מבוססים על התכונות היסודיות של האורך המוכר ב[[המרחב האוקלידי|מרחב האוקלידי]]. בדומה ל[[מטריקה]], שהיא הכללה חופשית ורחבה של מושג האורך, הנורמה מודדת מרחקים יחסיים, ואפשר לראות בה מטריקה שאינה מושפעת מהזזות.
* אורך הוא תמיד חיובי, חוץ מאורכו של וקטור האפס, שהוא אפס. ▼
* הכפלה של הווקטור ב[[סקלר (מתמטיקה)|סקלר]] מכפילה גם את אורכו בערכו המוחלט של אותו סקלר.▼
* מתקיים [[אי שוויון המשולש]] בחיבור וקטורים.▼
== הגדרה
האורך במרחב האוקלידי מקיים את הדרישות הטבעיות הבאות:
▲* אורך הוא תמיד חיובי, חוץ מאורכו של וקטור האפס, שהוא אפס.
▲*
על-בסיס תכונות אלה, נורמה היא פונקציה ממרחב וקטורי V מעל [[שדה המספרים הממשיים]] אל המספרים הממשיים, המקיימת את האקסיומות הבאות:
#<math>\ \|x\|\ge 0</math>,
#<math>\ \|\lambda\cdot x\|=|\lambda |\cdot \|x\|</math> ([[הומוגניות (מתמטיקה)|הומוגניות]])
#<math>\ \|x+y\|\le \|x\|+\|y\|</math> ([[אי-שוויון המשולש]])
==דוגמאות==
שורה 15 ⟵ 18:
=== הערך המוחלט ===
===נורמה במרחבי מכפלה פנימית===
בכל [[מרחב מכפלה פנימית]] מוגדרת נורמה על ידי <math>\|x\|=\sqrt{\langle x,x\rangle}</math>, כאשר <math>\langle\cdot ,\cdot\rangle</math> המכפלה הפנימית במרחב. אומרים שהנורמה הזו '''מושרית''' על ידי המכפלה הפנימית. לנורמה כזו, ובמיוחד במרחבים מממד סופי, קוראים "נורמה אוקלידית".
'''משפט
<!--צריך להתייחס להבדל בין מרחבים ממשיים ומרוכבים; באחרונים יש כמה נוסחאות לשחזור המכפלה מן הנורמה-->
שורה 27 ⟵ 30:
יחס דומה, מעט כללי יותר, מתקיים בין [[תבנית ריבועית|תבניות ריבועיות]] לבין [[תבנית בילינארית|תבניות בילינאריות]].
===הנורמה הסטנדרטית במרחב האוקלידי ===
שורה 35 ⟵ 36:
<math>\|x\| = \sqrt{|x_1|^2 + \cdots + |x_n|^2}</math>, הנקראת '''הנורמה הסטנדרטית'''. זוהי הנורמה הטבעית במרחבי מכפלה פנימית ומקיימת את התכונות הגאומטריות המוכרות לנו.
===נורמת
דוגמה לנורמה לא-אוקלידית במרחב הווקטורי <math>\ \mathbb{R}^n</math> היא 'נורמת <math>\ L^p</math>' שמוגדרת כך:
: <math>\!\, \| x \| _p = \left( \sum_{i=1}^{n}{|x|^p} \right) ^{1 \over p}</math>, כאשר <math>\ p\ge1</math> ממשי קבוע.
==תכונות נוספות==
|