אשנב\צוהר למתמטיקה Ical Atom רשימת תפוצה

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

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

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

הרצאת אורח במסגרת סמינר “Action Now” שמתקיים ביום זה אצלנו

אחרי ההרצאה יתקיים קונצרט ג’אז של ההרכב “Perverse Sheaves” של צחיק

פעולת הערך המוחלט על המספרים הממשיים היא בעלת את התכונות הבאות:

• $\lvert x+y\rvert\le\lvert x\rvert+\lvert y\rvert$ לכל שני ממשיים $x$ ו-$y$ (אי-שוויון המשולש)
• $\lvert 2\rvert>1$

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

• $\lvert x+y\rvert\le\max(\lvert x\rvert,\lvert y\rvert)$ לכל שני ממשיים $x$ ו-$y$
• $\lvert 2\rvert< 1$

פעולה זו חייבת את קיומה לקיומו של הערך המוחלט ה-$2$-אדי על $\mathbb{Q}$. אנחנו נדבר על הערך המוחלט ה-$p$-אדי (לכל ראשוני $p$), אשר מוביל לגאומטריה ולאנליזה שונות מאלה שאנחנו רגילים.

באמצעות הערך המוחלט ה-$2$-אדי על $\mathbb{R}$ נוכיח את משפט מונסקי, הנוגע למספרים הממשיים הרגילים:

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

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

דוגמא שכולנו מכירים מהגן (או לפחות משנה א) למשתנים לא קומוטטיביים היא מטריצות. מסתבר שלמרות שמטריצות $2\times 2$ אינן מתחלפות, הן מקיימות איזשהם יחסים אלגבריים, והוא הדין לגבי מטריצות מכל סדר קבוע. אבל לא קשה לראות כי אין אף יחס אלגברי שמתקיים למטריצות מכל הסדרים. הדבר מוביל אותנו (או ביתר דיוק, הוביל את ג’וזף ל. טיילור בעבודה פורצת דרכים בראשית שנות ה-70 של המאה הקודמת) להגדיר פונקציה של $N$ משתנים לא קומוטטיביים חפשיים להיות פונקציה שהתחום שלה הוא קבוצה באיחוד הזר של $N$-יות של מטריצות ריבועיות מסדר $M$, כאשר $M$ רץ מ-1 עד אינסוף. כמובן כדי להיות פונקציה לא קומוטטיבית אמיתית - ולא סתם אספסוף של פונקציות שונות לכל סדר $M$ - על הפונקציה שלנו לקיים איזשהם יחסי תיאום כאשר אנו משנים את סדר המטריצות.

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

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