משפט סטון-ויירשטראס

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

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

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

המשפט

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

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

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

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

הוכחה

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

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

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

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

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

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

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

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

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

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

משפטים באנליזה פונקציונלית

en:Stone–Weierstrass theorem