מרחב עקום

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

דוגמה דו־ממדית פשוטה

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

שיכון

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

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

$dx^{2}+dy^{2}\neq dl^{2}$ .

לעיתים קרובות ניתן ל"הציל" את משפט פיתגורס על ידי הוספת מימד לתיאור המרחב. נניח מרחב תלת-ממדי לא אוקלידי עם קואורדינטות $\left(x',y',z'\right)$. מכיוון שהמרחב אינו שטוח

$dx'^{2}+dy'^{2}+dz'^{2}\neq dl'^{2}\,$ .

אם נוסיף למרחב מימד נוסף ונייצג את המרחב כמרחב ארבע ממדי ($x,y,z,w$) נוכל לבחור קואורדינטות $w$ כך ש

$dx^{2}+dy^{2}+dz^{2}+dw^{2}=dl^{2}\,$ .

מובן שהקואורדינטה $x$ אינה זהה לקואורדינטה $x'$ וכנ"ל לשתי הקואורדינטות $y$ ו $z$.

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

$x^{2}+y^{2}+z^{2}+w^{2}={\textrm {constant}}\,$ .

הקבוע יכול להיות חיובי או שלילי. מקובל לבחור את הקבוע להיות

$\kappa ^{-1}R^{2}$ כאשר $R^{2}\,$ הוא חיובי ו $\kappa =\pm 1$ .

ניתן להשתמש באילוץ הזה כדי להסיר את הקואורדינטה הרביעית, המלאכותית, הפענוח נכשל (SVG (אפשר להפעיל MathML בעזרת הרחבת דפדפן): תשובה בלתי־תקינה ("Math extension cannot connect to Restbase.") מהשרת "https://wikimedia.org/api/rest_v1/":): {\displaystyle w} . הדיפרנציאל של משוואת האילוץ הוא

הפענוח נכשל (SVG (אפשר להפעיל MathML בעזרת הרחבת דפדפן): תשובה בלתי־תקינה ("Math extension cannot connect to Restbase.") מהשרת "https://wikimedia.org/api/rest_v1/":): {\displaystyle xdx + ydy + zdz + wdw = 0 \,} כלומר הפענוח נכשל (SVG (אפשר להפעיל MathML בעזרת הרחבת דפדפן): תשובה בלתי־תקינה ("Math extension cannot connect to Restbase.") מהשרת "https://wikimedia.org/api/rest_v1/":): {\displaystyle dw = -w^{-1}(xdx + ydy +zdz) \,} .

הצבה של הפענוח נכשל (SVG (אפשר להפעיל MathML בעזרת הרחבת דפדפן): תשובה בלתי־תקינה ("Math extension cannot connect to Restbase.") מהשרת "https://wikimedia.org/api/rest_v1/":): {\displaystyle dw} במשוואה המקורית נותן

הפענוח נכשל (SVG (אפשר להפעיל MathML בעזרת הרחבת דפדפן): תשובה בלתי־תקינה ("Math extension cannot connect to Restbase.") מהשרת "https://wikimedia.org/api/rest_v1/":): {\displaystyle dl^2 = dx^2 + dy^2 + dz^2 + \frac{(xdx+ydy+zdz)^2}{\kappa^{-1}R^2 - x^2 - y^2 - z^2}} .

צורה זו בדרך כלל אינה אסתטית במיוחד, ולכן עוברים לרוב לקואורדינטות הכדוריות הפענוח נכשל (SVG (אפשר להפעיל MathML בעזרת הרחבת דפדפן): תשובה בלתי־תקינה ("Math extension cannot connect to Restbase.") מהשרת "https://wikimedia.org/api/rest_v1/":): {\displaystyle r, \theta, \phi} כאשר $x=r\sin \theta \cos \phi$, הפענוח נכשל (SVG (אפשר להפעיל MathML בעזרת הרחבת דפדפן): תשובה בלתי־תקינה ("Math extension cannot connect to Restbase.") מהשרת "https://wikimedia.org/api/rest_v1/":): {\displaystyle y = r\sin\theta\sin\phi} , הפענוח נכשל (SVG (אפשר להפעיל MathML בעזרת הרחבת דפדפן): תשובה בלתי־תקינה ("Math extension cannot connect to Restbase.") מהשרת "https://wikimedia.org/api/rest_v1/":): {\displaystyle z = r\cos\theta} . עם טרנספורמצית הקואורדינטות הזו מקבלים

הפענוח נכשל (SVG (אפשר להפעיל MathML בעזרת הרחבת דפדפן): תשובה בלתי־תקינה ("Math extension cannot connect to Restbase.") מהשרת "https://wikimedia.org/api/rest_v1/":): {\displaystyle dl^2 = \frac{dr^2}{1-\kappa\frac{r^2}{R^2}} + r^2d\theta^2 + r^2\sin^2\theta d\phi^2} .

ללא שיכון

ניתן לתאר את הגאומטריה של מרחב n-ממדי באמצעות גאומטריה רימאנית. ניתן לתאר מרחב איזוטרופי והומוגני על ידי המטריקה:

הפענוח נכשל (SVG (אפשר להפעיל MathML בעזרת הרחבת דפדפן): תשובה בלתי־תקינה ("Math extension cannot connect to Restbase.") מהשרת "https://wikimedia.org/api/rest_v1/":): {\displaystyle dl^2 = e^{-\lambda(r)}{dr^2} + r^2d\theta^2 + r^2\sin^2\theta d\phi^2 \,} .

זה מצטמצם למרחב אוקלידי כאשר הפענוח נכשל (SVG (אפשר להפעיל MathML בעזרת הרחבת דפדפן): תשובה בלתי־תקינה ("Math extension cannot connect to Restbase.") מהשרת "https://wikimedia.org/api/rest_v1/":): {\displaystyle \lambda = 0} . אבל ניתן לומר שמרחב הוא "שטוח" כאשר כל הרכיבים של טנזור וייל מתאפסים. במרחב תלת־ממדי תנאי זה מתקיים כאשר טנזור העקמומיות של ריצ'י (הפענוח נכשל (SVG (אפשר להפעיל MathML בעזרת הרחבת דפדפן): תשובה בלתי־תקינה ("Math extension cannot connect to Restbase.") מהשרת "https://wikimedia.org/api/rest_v1/":): {\displaystyle R_{ab}} ) שווה למטריקה המוכפלת בסקלר של ריצ'י (לא להתבלבל עם $R$ של הסעיף הקודם). זה הפענוח נכשל (SVG (אפשר להפעיל MathML בעזרת הרחבת דפדפן): תשובה בלתי־תקינה ("Math extension cannot connect to Restbase.") מהשרת "https://wikimedia.org/api/rest_v1/":): {\displaystyle R_{ab} = g_{ab} R} . חישוב של רכיבים אלה מתוך המדד נותן

הפענוח נכשל (SVG (אפשר להפעיל MathML בעזרת הרחבת דפדפן): תשובה בלתי־תקינה ("Math extension cannot connect to Restbase.") מהשרת "https://wikimedia.org/api/rest_v1/":): {\displaystyle \lambda = -\frac{1}{2}\ln \left(1 - k r^2 \right)} כאשר הפענוח נכשל (SVG (אפשר להפעיל MathML בעזרת הרחבת דפדפן): תשובה בלתי־תקינה ("Math extension cannot connect to Restbase.") מהשרת "https://wikimedia.org/api/rest_v1/":): {\displaystyle k \equiv \frac{R}{2}} .

זה נותן את המטריקה

הפענוח נכשל (SVG (אפשר להפעיל MathML בעזרת הרחבת דפדפן): תשובה בלתי־תקינה ("Math extension cannot connect to Restbase.") מהשרת "https://wikimedia.org/api/rest_v1/":): {\displaystyle dl^2 = \frac{dr^2}{1-k{r^2}} + r^2d\theta^2 + r^2\sin^2\theta d\phi^2} .

כאשר הפענוח נכשל (SVG (אפשר להפעיל MathML בעזרת הרחבת דפדפן): תשובה בלתי־תקינה ("Math extension cannot connect to Restbase.") מהשרת "https://wikimedia.org/api/rest_v1/":): {\displaystyle k} יכול להיות אפס, חיובי או שלילי ואינו מוגבל ל-±1.

מרחב פתוח, שטוח, סגור

ניתן לתאר מרחב איזוטרופי והומוגני על ידי המטריקה

הפענוח נכשל (SVG (אפשר להפעיל MathML בעזרת הרחבת דפדפן): תשובה בלתי־תקינה ("Math extension cannot connect to Restbase.") מהשרת "https://wikimedia.org/api/rest_v1/":): {\displaystyle dl^2 = \frac{dr^2}{1-\kappa\frac{r^2}{R^2}} + r^2d\theta^2 + r^2\sin^2\theta d\phi^2} .

בגבול שבו קבוע העקמומיות (הפענוח נכשל (SVG (אפשר להפעיל MathML בעזרת הרחבת דפדפן): תשובה בלתי־תקינה ("Math extension cannot connect to Restbase.") מהשרת "https://wikimedia.org/api/rest_v1/":): {\displaystyle R} ) גדל לאינסוף, מתקבל מרחב אוקלידי שטוח. גבול זה שקול למקרה $\kappa =0$. אם הפענוח נכשל (SVG (אפשר להפעיל MathML בעזרת הרחבת דפדפן): תשובה בלתי־תקינה ("Math extension cannot connect to Restbase.") מהשרת "https://wikimedia.org/api/rest_v1/":): {\displaystyle \kappa} אינו אפס המרחב אינו אוקלידי. כאשר הפענוח נכשל (SVG (אפשר להפעיל MathML בעזרת הרחבת דפדפן): תשובה בלתי־תקינה ("Math extension cannot connect to Restbase.") מהשרת "https://wikimedia.org/api/rest_v1/":): {\displaystyle \kappa = +1} אומרים שהמרחב סגור או אליפטי. כאשר הפענוח נכשל (SVG (אפשר להפעיל MathML בעזרת הרחבת דפדפן): תשובה בלתי־תקינה ("Math extension cannot connect to Restbase.") מהשרת "https://wikimedia.org/api/rest_v1/":): {\displaystyle \kappa = -1} אומרים שהחלל פתוח או היפרבולי .

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

ראו גם

• CAT( k) רווח

לקריאה נוספת

• הרצאות פיינמן על פיזיקה כרך 2. II Ch. 42: מרחב עקום

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

• Curved Spaces, מדמה ליקומים מקושרים שפותח על ידי ג'פרי וויקס

הערך באדיבות ויקיפדיה העברית, קרדיט,
רשימת התורמים
רישיון cc-by-sa 3.0

38818032מרחב עקום