עקום המומנטים
פעולות נוספות
במתמטיקה, עקום המומנטים הוא עקום אלגברי במרחב האוקלידי ה-n-ממדי המוגדר כאוסף הנקודות מהצורה <math>(t,t^2,\ldots,t^n)</math> לכל <math>t</math> ממשי. למשל, במישור, עקום המומנטים הוא פרבולה.
כל על-מישור במרחב חותך את עקום המומנטים בלכל היותר n נקודות (למשל ישר במישור חותך פרבולה בשתי נקודות לכל היותר). תכונה זו שימושית במיוחד בגאומטריה דיסקרטית ובקומבינטוריקה טופולוגית. בענפים אלו משתמשים בעקום המומנטים כדי לקודד מידע גאומטרי-טופולוגי (חיתוך בין גופים מרחביים) ולתרגמו למידע קומבינטורי (מספר נקודות החיתוך).
תכונות עריכה
על-מישור במרחב ה-n-ממדי מוגדר כקבוצה מהצורה <math>H_{\mathbf{a},d} = \{\mathbf{x} : (\mathbf{a},\mathbf{x})=d \} = \{(x_1\ldots,x_n) : a_1x_1+\ldots a_nx_n = d\}</math>, כאשר <math>\mathbf{a}=(a_1,\ldots,a_n)</math> וקטור כיוון ו-d סקלר קבועים. אם <math>t</math> מספר ממשי כך שעקום המומנטים בנקודה t חותך את העל-מישור <math>H_{\mathbf{a},d}</math> אז מתקיים: <math>a_1t+\ldots+a_nt^n = d</math>. זוהי משוואה פולינומית ממעלה n ולכן יש לה לכל היותר n פתרונות שונים. מכאן שעקום המומנטים חותך כל על-מישור בלכל היותר n נקודות.
אם החיתוך בין על-מישור לעקום המומנטים מכיל בדיוק n נקודות, אזי הפולינום המתאים ספרבילי (הנגזרת בחיתוך אינה מתאפסת) ועקום המומנטים חוצה בכל נקודת לצד השני של העל-מישור.
עקום המומנטים נותן חסם על מספר החלקים שאפשר לחלק גוף n-ממדי עם n על-מישורים. n על-מישורים חותכים את עקום המומנטים בלכל היותר <math>n^2</math> נקודות, ולכן מחלקים אותו ללכל היותר <math>n^2+1</math> חלקים. בעיה ידועה שואלת האם ניתן לחלק כל גוף עם מסה (שלא בהכרח מפוזרת באופן אחיד בתוכו) במרחב ה-n-ממדי ל-<math>2^n</math> חלקים שווים במסתם באמצעות n על-מישורים. בישר ניתן לעשות זאת באמצעות משפט ערך הביניים. במישור ניתן באמצעות משפט הסנדוויץ'. ידוע שהדבר אפשרי במרחב התלת-ממדי והשאלה האם זה אפשרי במרחב הארבע ממדי עודנה פתוחה. לכל <math>5\le n</math> הדבר לא אפשרי, כי <math>n^2+1<2^n</math> ולכן כלל לא ניתן לחלק את עקום המומנטים למספיק חלקים.