טורוס

הטורוס כמכפלת שני מעגלים

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

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

הגדרה

טופולוגית

יצירת טורוס על-ידי סיבוב עיגול (אדום) סביב ציר סיבוב העובר מחוצה לו (הציר אינו מתואר בהנפשה)

בטופולוגיה, מתארים את הטורוס הדו-ממדי כמרחב מנה של ריבוע, על-ידי הדבקת זוגות הצלעות המקבילות באותו כיוון. במשחקי מחשב רבים (למשל פק-מן) מתואר המרחב שבו משחקים על-ידי מפה מלבנית, בה אפשר לעבור מן הקצה העליון לתחתון ולהפך, וכן מן הקצה הימני לשמאלי ולהפך. מבחינה טופולוגית, עולם כזה הוא טורוס. כיוון שהריבוע הוא מכפלת קטע אחד בקטע אחר, מרחב המנה המתקבל מזיהוי הצלעות המקבילות גם הוא מרחב מכפלה – עיבוד הנוסחה נכשל (MathML עם גיבוי SVG או PNG (מומלץ לדפדפנים מודרניים ולכלי נגישות): תגובה בלתי־תקינה ("Math extension cannot connect to Restbase.") מהשרת "https://en.wikipedia.org/api/rest_v1/":): {\displaystyle S^1\times S^1} כאשר עיבוד הנוסחה נכשל (MathML עם גיבוי SVG או PNG (מומלץ לדפדפנים מודרניים ולכלי נגישות): תגובה בלתי־תקינה ("Math extension cannot connect to Restbase.") מהשרת "https://en.wikipedia.org/api/rest_v1/":): {\displaystyle S^1} הוא המעגל.

הצגה פרמטרית

טורוס ניתן לתיאור פרמטרי בצורה הבאה:

עיבוד הנוסחה נכשל (MathML עם גיבוי SVG או PNG (מומלץ לדפדפנים מודרניים ולכלי נגישות): תגובה בלתי־תקינה ("Math extension cannot connect to Restbase.") מהשרת "https://en.wikipedia.org/api/rest_v1/":): {\displaystyle \begin{align}x(u,v)&=\cos(u)\big(R+r\cos(v)\big)\\y(u,v)&=\sin(u)\big(R+r\cos(v)\big)\\z(u,v)&=r\sin(v)\end{align}}

כאשר: עיבוד הנוסחה נכשל (MathML עם גיבוי SVG או PNG (מומלץ לדפדפנים מודרניים ולכלי נגישות): תגובה בלתי־תקינה ("Math extension cannot connect to Restbase.") מהשרת "https://en.wikipedia.org/api/rest_v1/":): {\displaystyle u,v\in[0,2\pi)} , עיבוד הנוסחה נכשל (MathML עם גיבוי SVG או PNG (מומלץ לדפדפנים מודרניים ולכלי נגישות): תגובה בלתי־תקינה ("Math extension cannot connect to Restbase.") מהשרת "https://en.wikipedia.org/api/rest_v1/":): {\displaystyle R} רדיוס בין מרכז הטורוס למרכז המעגל המסתובב, עיבוד הנוסחה נכשל (MathML עם גיבוי SVG או PNG (מומלץ לדפדפנים מודרניים ולכלי נגישות): תגובה בלתי־תקינה ("Math extension cannot connect to Restbase.") מהשרת "https://en.wikipedia.org/api/rest_v1/":): {\displaystyle r} רדיוס המעגל המסתובב.


עיבוד הנוסחה נכשל (MathML עם גיבוי SVG או PNG (מומלץ לדפדפנים מודרניים ולכלי נגישות): תגובה בלתי־תקינה ("Math extension cannot connect to Restbase.") מהשרת "https://en.wikipedia.org/api/rest_v1/":): {\displaystyle R>r}	$R=r$	$R<r$

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

\left(R-{\sqrt {x^{2}+y^{2}}}\right)^{2}+z^{2}=r^{2}

שטח הפנים והנפח של טורוס הם

{\begin{aligned}A&=(2\pi )^{2}Rr\\V&=2\pi ^{2}Rr^{2}\end{aligned}}

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

טורוס n-ממדי

הטורוס ה- $n$ -ממדי מוגדר כמרחב הטופולוגי עיבוד הנוסחה נכשל (MathML עם גיבוי SVG או PNG (מומלץ לדפדפנים מודרניים ולכלי נגישות): תגובה בלתי־תקינה ("Math extension cannot connect to Restbase.") מהשרת "https://en.wikipedia.org/api/rest_v1/":): {\displaystyle T^n=S^1\times\cdots\times S^1} ( $n$ פעמים). הוא מהווה הכללה של הטורוס הרגיל עיבוד הנוסחה נכשל (MathML עם גיבוי SVG או PNG (מומלץ לדפדפנים מודרניים ולכלי נגישות): תגובה בלתי־תקינה ("Math extension cannot connect to Restbase.") מהשרת "https://en.wikipedia.org/api/rest_v1/":): {\displaystyle T^2=S^1\times S^1} .

דרך הסתכלות נוספת על הטורוס היא כמנה של $\mathbb {R} ^{n}$ , בה מזהים את הרשת של השלמים עיבוד הנוסחה נכשל (MathML עם גיבוי SVG או PNG (מומלץ לדפדפנים מודרניים ולכלי נגישות): תגובה בלתי־תקינה ("Math extension cannot connect to Restbase.") מהשרת "https://en.wikipedia.org/api/rest_v1/":): {\displaystyle \Z^n} (שהיא תת-חבורה סגורה דיסקרטית) – כלומר מחלקים בפעולת הזזות שלמות של חבורות, ומתקבל $T^{n}\cong \mathbb {R} ^{n}/\mathbb {Z} ^{n}$ .

לדרך זו יש מספר שימושים, כמו בחבורות לי; היא גם משרה פעולת חבורה (למעשה, חבורת לי אבלית) על הטורוס, שגם שווה למכפלה הישרה של פעולת הכפל הטבעית על עיבוד הנוסחה נכשל (MathML עם גיבוי SVG או PNG (מומלץ לדפדפנים מודרניים ולכלי נגישות): תגובה בלתי־תקינה ("Math extension cannot connect to Restbase.") מהשרת "https://en.wikipedia.org/api/rest_v1/":): {\displaystyle S^1} .

מבנה טופולוגי

החבורה היסודית

טורוס מתהפך מבפנים החוצה

החבורה היסודית של הספירה היא החבורה הציקלית האינסופית. לכן, החבורה היסודית של מכפלת ספירות היא מכפלה של החבורה הזו, כלומר עיבוד הנוסחה נכשל (MathML עם גיבוי SVG או PNG (מומלץ לדפדפנים מודרניים ולכלי נגישות): תגובה בלתי־תקינה ("Math extension cannot connect to Restbase.") מהשרת "https://en.wikipedia.org/api/rest_v1/":): {\displaystyle \pi_1(T^n)=\Z^n} .

מרחבי כיסוי

מרחב הכיסוי האוניברסלי של עיבוד הנוסחה נכשל (MathML עם גיבוי SVG או PNG (מומלץ לדפדפנים מודרניים ולכלי נגישות): תגובה בלתי־תקינה ("Math extension cannot connect to Restbase.") מהשרת "https://en.wikipedia.org/api/rest_v1/":): {\displaystyle S^1} הוא הישר הממשי, על-ידי ההעתקה $p(r)=e^{2\pi ir}$ .

בנוסף, מרחב כיסוי של מכפלת מרחבים המתקבל באופן טבעי הוא מכפלת כיסויים נתונים שלהם – ולכן מרחב הכיסוי של הטורוס ה- $n$ -ממדי הוא $\mathbb {R} ^{n}$ .

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

חבורות ההומולוגיה

חבורת ההומולוגיה ה- $k$ של הטורוס ה- $n$ -ממדי היא חבורה אבלית חופשית ב-עיבוד הנוסחה נכשל (MathML עם גיבוי SVG או PNG (מומלץ לדפדפנים מודרניים ולכלי נגישות): תגובה בלתי־תקינה ("Math extension cannot connect to Restbase.") מהשרת "https://en.wikipedia.org/api/rest_v1/":): {\displaystyle \tbinom{n}{k}} יוצרים, כלומר $\mathbb {Z} ^{\binom {n}{k}}$ . בפרט, מאפיין אוילר הוא אפס.

כמשטח

הטורוס ה- $n$ -ממדי הוא משטח קומפקטי סגור.

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

חבורת מחלקות ההעתקות

לכל אוטומורפיזם עיבוד הנוסחה נכשל (שגיאת המרה. השרת ("https://en.wikipedia.org/api/rest_") השיב: "Cannot get mml. Server problem."): {\displaystyle f:T^{n}\to T^{n}} , מתאים אוטומורפיזם עיבוד הנוסחה נכשל (MathML עם גיבוי SVG או PNG (מומלץ לדפדפנים מודרניים ולכלי נגישות): תגובה בלתי־תקינה ("Math extension cannot connect to Restbase.") מהשרת "https://en.wikipedia.org/api/rest_v1/":): {\displaystyle f_*:\Z^n\to\Z^n} – זוהי הפעלת הפונקטור של העתקות ממרחבים טופולוגיים להעתקות על החבורה היסודית.

המיפוי עיבוד הנוסחה נכשל (MathML עם גיבוי SVG או PNG (מומלץ לדפדפנים מודרניים ולכלי נגישות): תגובה בלתי־תקינה ("Math extension cannot connect to Restbase.") מהשרת "https://en.wikipedia.org/api/rest_v1/":): {\displaystyle f\mapsto f_*} מגדיר הומומורפיזם חבורות עיבוד הנוסחה נכשל (MathML עם גיבוי SVG או PNG (מומלץ לדפדפנים מודרניים ולכלי נגישות): תגובה בלתי־תקינה ("Math extension cannot connect to Restbase.") מהשרת "https://en.wikipedia.org/api/rest_v1/":): {\displaystyle \text{Aut}(T^n)\to GL_n(\Z)} . העתקה זו היא על (למשל במקרה ה-2-ממדי, המטריצות היוצרות עיבוד הנוסחה נכשל (MathML עם גיבוי SVG או PNG (מומלץ לדפדפנים מודרניים ולכלי נגישות): תגובה בלתי־תקינה ("Math extension cannot connect to Restbase.") מהשרת "https://en.wikipedia.org/api/rest_v1/":): {\displaystyle \begin{pmatrix}1&0\\0&1\end{pmatrix},\begin{pmatrix}1&0\\\pm1&1\end{pmatrix},\begin{pmatrix}1&\pm1\\0&1\end{pmatrix}} מתקבלות), והגרעין שלה הוא אוסף ההעתקות שאיזוטופיות להעתקת הזהות.

ולכן, חבורת מחלקות ההעתקות של הטורוס (ה-2-ממדי) היא $GL_{n}(\mathbb {Z} )$ , ושני הומיאומורפיזמים עיבוד הנוסחה נכשל (MathML עם גיבוי SVG או PNG (מומלץ לדפדפנים מודרניים ולכלי נגישות): תגובה בלתי־תקינה ("Math extension cannot connect to Restbase.") מהשרת "https://en.wikipedia.org/api/rest_v1/":): {\displaystyle h_1,h_2\in\text{Aut}(T^n)} איזוטופיים אם ורק אם הם הומוטופיים.

n-טורוס nT

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

המרחב $nT$ הוא סכום קשיר של $n$ טורוסים $T=T^{2}$ . כלומר, מוסיפים טורוס לטורוס על-ידי הדבקת שתי סביבות מעגליות בתוך הטורוסים, וחוזרים על התהליך מספר סופי של פעמים.

באופן זה מתקבל משטח $n$ -ממדי סגור (כלומר קומפקטי ובלי שפה); זהו משטח אוריינטבילי מגנוס $n$ , וכל משטח קומפקטי קשיר ואוריינטבילי מגנוס $n$ הומיאומורפי ל- $n$ -טורוס.

החבורה היסודית של nT מחושבת באמצעות משפט ואן קמפן (ראו בערך לפרטים) – היא שווה

\pi _{1}(nT)\cong {\Big \langle }a_{1},\ldots ,a_{2n}\mid [a_{1},a_{2}]\cdot \ldots \cdot [a_{2n-1},a_{2n}]{\Big \rangle }

את חבורות ההומולוגיה של nT מחשבים בעזרת סדרת מאייר-ויאטוריס, והן עיבוד הנוסחה נכשל (MathML עם גיבוי SVG או PNG (מומלץ לדפדפנים מודרניים ולכלי נגישות): תגובה בלתי־תקינה ("Math extension cannot connect to Restbase.") מהשרת "https://en.wikipedia.org/api/rest_v1/":): {\displaystyle \tilde{H}_i(nT)=\begin{cases}\Z^{2n}&i=1\\\Z&i=2\\0&i\ne1,2\end{cases}}

ראו גם

קשר טורוס

קישורים חיצוניים

ראו מדיה וקבצים בנושא זה בוויקישיתוף.

This article is issued from Hamichlol. The text is licensed under Creative Commons - Attribution - Sharealike. Additional terms may apply for the media files.