טורוס

טורוס (מלטינית: torus, וברבים - tori) הוא משטח המתקבל מסיבוב מעגל במרחב התלת-ממדי סביב ישר הנמצא במישור המעגל, ועובר מחוץ למעגל. עצמים מוכרים אשר להם צורת טורוס הם כעך ופנימית של גלגל. זוהי צורה גאומטרית בסיסית הנחקרת במספר תחומים שונים במתמטיקה, כמו גאומטריה, טופולוגיה, טופולוגיה גאומטרית, חבורות לי. זהו אובייקט מרכזי במספר משפטי מיון, כמו מיון היריעות הקומפקטית (וללא שפה) האוריינטביליות מגנוס 1, מיון משטח רימן ועוד. בטופולוגיה, מתארים את הטורוס הדו-ממדי כמרחב מנה של ריבוע, על ידי הדבקת זוגות הצלעות המקבילות באותו כיוון. במשחקי מחשב רבים (למשל פק-מן) מתואר המרחב שבו משחקים על ידי מפה מלבנית, שבה אפשר לעבור מן הקצה העליון לתחתון ולהפך, וכן מן הקצה הימני לשמאלי, ולהפך. מבחינה טופולוגית, עולם כזה הוא טורוס. מכיוון שהריבוע הוא מכפלה של קטע אחד בקטע אחר, מרחב המנה המתקבל מזיהוי הצלעות המקבילות, גם הוא מרחב מכפלה -   S 1 × S 1 {\displaystyle \ S^{1}\times S^{1}} כאשר   S 1 {\displaystyle \ S^{1}} הוא המעגל. טורוס ניתן לתיאור פרמטרי בצורה הבאה: x ( u , v ) = ( R + r cos ⁡ v ) cos ⁡ u {\displaystyle x(u,v)=(R+r\cos {v})\cos {u}\,} y ( u , v ) = ( R + r cos ⁡ v ) sin ⁡ u {\displaystyle y(u,v)=(R+r\cos {v})\sin {u}\,} z ( u , v ) = r sin ⁡ v {\displaystyle z(u,v)=r\sin {v}\,} כאשר u ו-v הם בקטע [0, 2π), ‏R הוא המרחק בין מרכז המעגל המסתובב למרכז הטורוס, ו-r הוא הרדיוס של המעגל המסתובב. במערכת צירים קרטזית ניתן להגדיר את הטורוס באמצעות כל הנקודות שמקיימות את המשוואה הבאה: ( R − x 2 + y 2 ) 2 + z 2 = r 2 {\displaystyle \left(R-{\sqrt {x^{2}+y^{2}}}\right)^{2}+z^{2}=r^{2}} הטורוס ה- n {\displaystyle n} ממדי מוגדר כמרחב הטופולוגי T n = S 1 × ⋯ × S 1 {\displaystyle T^{n}=S^{1}\times \dots \times S^{1}} ( n {\displaystyle n} פעמים). הוא מהווה הכללה של הטורוס הרגיל T 2 = S 1 × S 1 {\displaystyle T^{2}=S^{1}\times S^{1}} . דרך הסתכלות נוספת על הטורוס היא כמנה של R n {\displaystyle \mathbb {R} ^{n}} , בה מזהים את הרשת של השלמים Z n {\displaystyle \mathbb {Z} ^{n}} (שהיא תת-חבורה סגורה דיסקרטית) - כלומר מחלקים בפעולת הזזות שלמות של חבורות, ומתקבל T n ≅ R n / Z n {\displaystyle T^{n}\cong \mathbb {R} ^{n}/\mathbb {Z} ^{n}} . לדרך זו יש מספר שימושים, כמו בחבורות לי; היא גם משרה פעולת חבורה (למעשה, חבורת לי אבלית) על הטורוס, שגם שווה למכפלה הישרה של פעולת הכפל הטבעית על S 1 {\displaystyle S^{1}} . החבורה היסודית של הספירה היא החבורה הציקלית האינסופית. לכן, החבורה היסודית של מכפלת ספירות היא מכפלה של החבורה הזו, כלומר π 1 ( T n ) = Z n {\displaystyle \pi _{1}(T^{n})=\mathbb {Z} ^{n}} . מרחב הכיסוי האוניברסלי של S 1 {\displaystyle S^{1}} הוא הישר הממשי, על ידי ההעתקה p ( r ) = e 2 π i r {\displaystyle p(r)=e^{2\pi ir}} . בנוסף, מרחב כיסוי של מכפלת מרחבים המתקבל באופן טבעי הוא מכפלת כיסויים נתונים שלהם - ולכן מרחב כיסוי של הטורוס ה- n {\displaystyle n} ממדי הוא R n {\displaystyle \mathbb {R} ^{n}} . בפרט, לטורוס יש מרחב כיסוי אוניברסלי כוויץ, ולכן זהו מרחב אספרי - מרחב לו רק חבורת הומוטופיה לא טריוויאלית מסדר ראשון. חבורת ההומולוגיה ה- k {\displaystyle k} של הטורוס ה- n {\displaystyle n} ממדי היא חבורה אבלית חופשית ב- ( n k ) {\displaystyle {n \choose k}} יוצרים, כלומר Z ( n k ) {\displaystyle \mathbb {Z} ^{n \choose k}} . בפרט, מאפיין אוילר הוא אפס. הטורוס ה- n {\displaystyle n} ממדי הוא משטח קומפקטי סגור. בכל חבורת לי קומפקטית וקשירה ניתן למצוא טורוס מממד מקסימלי. לכל אוטומורפיזם f : T n → T n {\displaystyle f:T^{n}\to T^{n}} , מתאים אוטומורפיזם f ∗ : Z n → Z n {\displaystyle f_{*}:\mathbb {Z} ^{n}\to \mathbb {Z} ^{n}} - זוהי הפעלת הפונקטור של העתקות ממרחבים טופולוגיים להעתקות על החבורה היסודית. המיפוי f ↦ f ∗ {\displaystyle f\mapsto f_{*}} מגדיר הומומורפיזם חבורות Aut ⁡ ( T n ) → G L n ( Z ) {\displaystyle \operatorname {Aut} (T^{n})\to GL_{n}(\mathbb {Z} )} . העתקה זו היא על (למשל במקרה ה-2 ממדי, המטריצות היוצרות ( 1 0 0 1 ) , ( 1 0 ± 1 1 ) , ( 1 ± 1 0 1 ) {\displaystyle {\begin{pmatrix}1&0\\0&1\end{pmatrix}},{\begin{pmatrix}1&0\\\pm 1&1\end{pmatrix}},{\begin{pmatrix}1&\pm 1\\0&1\end{pmatrix}}} מתקבלות), והגרעין שלה הוא אוסף ההעתקות שאיזוטופיות להעתקת הזהות. ולכן, חבורת מחלקות ההעתקות של הטורוס (ה-2 ממדי) היא G L n ( Z ) {\displaystyle GL_{n}(\mathbb {Z} )} , ושני הומיאומורפיזמים h 1 , h 2 ∈ Aut ⁡ ( T n ) {\displaystyle h_{1},h_{2}\in \operatorname {Aut} (T^{n})} איזוטופיים אם ורק אם הם הומוטופיים. דרך יותר אינטואיטיבית להכליל את הטורוס היא בעזרת ה- n {\displaystyle n} -טורוס: אינטואיטיבית, אם הטורוס הוא גלגל הצלה ליחיד, הכללה זו היא מספר גלגלי הצלה מחוברים לגלגל הצלה משפחתי אחד ארוך. המרחב n T {\displaystyle nT} הוא סכום קשיר של n {\displaystyle n} טורוסים T = T 2 {\displaystyle T=T^{2}} . כלומר, מוסיפים טורוס לטורוס על ידי הדבקת שתי סביבות מעגליות בתוך הטורוסים, וחוזרים על התהליך מספר סופי של פעמים. באופן זה מתקבל משטח דו־ממדי סגור (כלומר קומפקטי ובלי שפה); זהו משטח אוריינטבילי מגנוס n {\displaystyle n} , וכל משטח קומפקטי קשיר ואוריינטבילי מגנוס n {\displaystyle n} הומיאומורפי ל- n {\displaystyle n} -טורוס. החבורה היסודית של nT מחושבת באמצעות משפט ואן קמפן (ראו בערך לפרטים) - היא שווה ל- π 1 ( n T ) ≅ ⟨ a 1 , . . . , a 2 n ∣ [ a 1 , a 2 ] ⋅ . . . ⋅ [ a 2 n − 1 , a 2 n ] ⟩ {\displaystyle \pi _{1}(nT)\cong \langle a_{1},...,a_{2n}\mid [a_{1},a_{2}]\cdot ...\cdot [a_{2n-1},a_{2n}]\rangle } את חבורות ההומולוגיה של nT מחשבים בעזרת סדרת מאייר-ויאטוריס, והן H ~ i ( n T ) = { Z 2 n i = 1 Z i = 2 0 i ≠ 1 , 2 {\displaystyle {\tilde {H}}_{i}(nT)={\begin{cases}\mathbb {Z} ^{2n}&i=1\\\mathbb {Z} &i=2\\0&i\neq 1,2\end{cases}}} קשר טורוס מדיה וקבצים בנושא טורוס בוויקישיתוף טורוס, באתר MathWorld (באנגלית)