מערכת אורתונורמלית שלמה

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

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

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

הגדרות
הגדרה 1: יהא  מרחב הילברט כלשהו. תהא  קבוצת וקטורים ( היא קבוצת אינדקסים) כך שמתקיימות שתי התכונות הבאות:
לכל  מתקיים . כלומר, כל שני איברים ניצבים זה לזה.
 לכל  מתקיים . כלומר, הנורמה של כל איבר היא 1.

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

הערה: את שני התנאים שלעיל ניתן לסמן בקצרה בעזרת הדלתא של קרונקר: .

הגדרה 2: אם מערכת אורתונורמלית היא מקסימלית, כלומר לא קיימת מערכת אורתונורמלית שונה ממנה המכילה אותה, נאמר שהמערכת האורתונורמלית שלמה.

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

תכונות

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

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

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

מערכת אורתונורמלית שלמה
יהי  מרחב הילברט כלשהו.
מערכת אורתונורמלית שלמה ב- מקיימת את התכונות הבאות:

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

שלוש תכונות אלו הן שקולות להיות המערכת האורתונורמלית שלמה. כלומר, די שתתקיים אחת מהתכונות כדי שיתקיימו כל היתר, והמערכת תהיה שלמה.

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

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

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

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

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

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

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

אנליזה פונקציונלית
אלגברה ליניארית