מרחב עקום

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

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

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

: dx^2 + dy^2 \neq dl^2 .

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

: dx'^2 + dy'^2 + dz'^2 \ne 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 = \plusmn 1 .

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

: xdx + ydy + zdz + wdw = 0 \, כלומר dw = -w^{-1}(xdx + ydy +zdz) \, .

הצבה של dw במשוואה המקורית נותן

: dl^2 = dx^2 + dy^2 + dz^2 + \frac{(xdx+ydy+zdz)^2}{\kappa^{-1}R^2 - x^2 - y^2 - z^2} .

צורה זו בדרך כלל אינה אסתטית במיוחד, ולכן עוברים לרוב לקואורדינטות הכדוריות r, \theta, \phi כאשר x = r\sin\theta\cos\phi, y = r\sin\theta\sin\phi, z = r\cos\theta . עם טרנספורמצית הקואורדינטות הזו מקבלים

: 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-ממדי באמצעות גאומטריה רימאנית. ניתן לתאר מרחב   על ידי המטריקה:

: dl^2 = e^{-\lambda(r)}{dr^2} + r^2d\theta^2 + r^2\sin^2\theta d\phi^2 \, .

זה מצטמצם למרחב אוקלידי כאשר \lambda = 0 . אבל ניתן לומר שמרחב הוא "שטוח" כאשר כל הרכיבים של  מתאפסים. במרחב תלת־ממדי תנאי זה מתקיים כאשר  (R_{ab}) שווה למטריקה המוכפלת ב (לא להתבלבל עם R של הסעיף הקודם). זה R_{ab} = g_{ab} R . חישוב של רכיבים אלה מתוך המדד נותן
: \lambda = -\frac{1}{2}\ln \left(1 - k r^2 \right) כאשר k \equiv \frac{R}{2} .

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

: dl^2 = \frac{dr^2}{1-k{r^2}} + r^2d\theta^2 + r^2\sin^2\theta d\phi^2 .

כאשר k יכול להיות אפס, חיובי או שלילי ואינו מוגבל ל-±1.

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

: dl^2 = \frac{dr^2}{1-\kappa\frac{r^2}{R^2}} + r^2d\theta^2 + r^2\sin^2\theta d\phi^2 .

בגבול שבו קבוע העקמומיות (R) גדל לאינסוף, מתקבל מרחב אוקלידי שטוח. גבול זה שקול למקרה \kappa=0. אם \kappa אינו אפס המרחב אינו אוקלידי. כאשר \kappa = +1 אומרים שהמרחב *סגור* או אליפטי. כאשר \kappa = -1 אומרים שהחלל *פתוח* או היפרבולי .

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

## ראו גם
* CAT( ''k'') רווח

## הערות שוליים

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

## קישורים חיצוניים
* Curved Spaces, מדמה ליקומים מקושרים שפותח על ידי ג'פרי וויקס
קטגוריה:תורת היחסות הכללית
קטגוריה:גאומטריה דיפרנציאלית