עקמומיות גאוס

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

בגאומטריה דיפרנציאלית, עקמומיות גאוס Κאנגלית: Gaussian curvature) של משטח בנקודה היא מכפלת ערכי העקמומיות הראשיים שלו, κ1 ו- κ2, בנקודה הנתונה:

.

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

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

עקמומיות גאוס נקראת על שם קרל פרידריך גאוס, שפרסם את התיאורמה אגרגיום ב-1827.

רקע[עריכת קוד מקור | עריכה]

משטח אוכפי עם מישורים נורמליים בכיוונים הראשיים.

בכל נקודה על פני משטח, ניתן לשרטט וקטור נורמל שהינו ניצב לכל הישרים שעוברים דרך הנקודה ונמצאים על המשטח (אנך למישור המשיק); מישורים שמכילים את וקטור הנורמל מכונים מישורים נורמליים. החיתוך של מישור נורמלי עם המשטח יוצר עקומה שנקראת חתך נורמלי, והעקמומיות של העקומה הזאת בנקודה הנתונה מכונה עקמומיות נורמלית. בעבור רוב הנקודות על רוב המשטחים, לחתכים נורמליים שונים יהיו ערכי עקמומיות שונים; הערך המרבי והערך המינימלי של העקמומיות מכונים ערכי עקמומיות ראשיים, והם מסומנים κ1, κ2. עקמומיות גאוס היא המכפלה של ערכי העקמומיות הראשיים האלו: Κ = κ1κ2.

הסימן של עקמומיות גאוס מאפיין את המשטח:

  • אם שני ערכי העקמומיות הראשיים הם בעלי אותו הסימן, אז κ1κ2 > 0, כלומר עקמומיות גאוס חיובית והנקודה נקראת נקודה אליפטית של המשטח. בנקודות כאלו, המשטח יהיה דמוי כיפה, ויימצא באופן מקומי בצד אחד של המישור המשיק. לכל החתכים הנורמליים תהיה עקמומיות חיובית. מבחינה גאומטרית, באזורים במשטח בעלי עקמומיות חיובית, ישרים שמשורטטים כמקבילים ייטו להתקרב ולהתכנס זה לזה.
  • אם לערכי העקמומיות הראשיים יש סימן שונה, אז κ1κ2 < 0, עקמומיות גאוס שלילית וניתן לומר שמשטח יש נקודה היפרבולית או נקודת אוכף. בנקודת אוכף המשטח לא יימצא כולו בצד אחד של המישור המשיק. בנוסף, כיוון שערך עקמומיות ראשי אחד הוא שלילי, בעוד האחר חיובי, וכן העקמומיות הנורמלית משתנה ברציפות אם מסובבים את המישור הניצב למשטח מסביב לוקטור הניצב למשטח, ניתן תמיד למצוא כיוונים שבהם העקמומיות הנורמלית היא אפס. עקומות כאלו מכונות עקומות אסימפטוטיות. באזורים במשטח בעלי עקמומיות גאוס שלילית, ישרים שמשורטטים כמקבילים ייטו להתרחק ולהתבדר זה מזה.
  • אם אחד מערכי העקמומיות הראשיים הוא אפס אז κ1κ2 = 0, עקמומיות גאוס היא אפס וניתן לומר שלמשטח יש נקודה פרבולית.

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

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

הקשר לגאומטריות לא-אוקלידיות[עריכת קוד מקור | עריכה]

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

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

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

העקמומיות הכוללת[עריכת קוד מקור | עריכה]

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

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

תוצאה כללית יותר היא משפט גאוס-בונה.

משפטים חשובים[עריכת קוד מקור | עריכה]

התיאורמה אגרגיום[עריכת קוד מקור | עריכה]

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

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

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

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

משפט גאוס-בונה[עריכת קוד מקור | עריכה]

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

משטחים בעלי עקמומיות קבועה[עריכת קוד מקור | עריכה]

  • משפט מיינדינג (1839) קובע שכל המשטחים עם אותה עקמומיות קבועה K הם איזומטריים מקומית. משפט זה הוא במובן מסוים הכיוון ההפוך של התיאורמה אגרגיום. מסקנה שנובעת ממשפט מיינדינג היא שכל משטח שהעקמומיות שלו היא זהותית אפס ניתן לבנייה על ידי כיפוף של תחום מישורי כלשהו. משטחים כאלו נקראים משטחים ברי-פיתוח (developable surfaces). מיינדינג העלה גם את השאלה האם משטח סגור עם עקמומיות חיובית קבועה הוא בהכרח קשיח.
  • משפט Liebmann (משנת 1900) הראה שהתשובה לשאלה של מיינדינג חיובית. המשטחים הסגורים הרגולריים (ממחלקה C2) היחידים ב-R3 עם עקמומיות גאוס חיובית קבועה הם ספירות. כלומר אם הספירה מעוותת, עיוות זה בהכרח אינו איזומטרי, ולכן היא בהכרח לא נותרת ספירה, מה שמוכיח את קשיחות הספירה. על אף שהטענה נראית מובנת אינטואיטיבית, משפט Liebmann מדגים את נכונות הטענה באופן ריגורוזי. הוכחה סטנדרטית למשפט עושה שימוש בלמה של הילברט שמראה שנקודות לא אמביליות בעלות עקמומיות ראשית מרבית הינן בעלות עקמומיות גאוס לא חיובית.
  • משפט הילברט (1901) קובע שלא קיים משטח אנליטי שלם (ממחלקה Cω) ורגולרי ב-R3 בעל עקמומיות גאוס שלילית קבועה. למשל, לפסאודוספירה יש עקמומיות גאוס שלילית קבועה בכל מקום פרט לדיסקה הסינגולרית שבמרכזה.

נוסחאות חלופיות[עריכת קוד מקור | עריכה]

  • עקמומיות גאוס של משטח ב- R3 ניתנת לביטוי כיחס בין הדטרמיננטות של התבנית היסודית השנייה והתבנית היסודית הראשונה:
  • נוסחת בריושי (Brioschi formula) מספקת תיאור סכמטי אלגנטי לעקמומיות גאוס במונחי מקדמי התבנית היסודית הראשונה בלבד:
  • בעבור משטח שמתואר כגרף של פונקציה (z = F(x, y, עקמומיות גאוס היא:

כאשר E = G = eσ. נוסחה זו מכונה משוואת ליוביל.

ראו גם[עריכת קוד מקור | עריכה]


קישורים חיצוניים[עריכת קוד מקור | עריכה]