Distancia máxima en un universo estático cerrado

Estoy confundido acerca de un detalle en la cosmología. Considere un universo cerrado estático , de la siguiente métrica (considere a como una constante simple con unidades de longitud):

(1) d s 2 = d t 2 a 2 ( d x 2 + pecado 2 x ( d ϑ 2 + pecado 2 ϑ d φ 2 ) ) .
Aquí, la coordenada radial toma valores en un dominio acotado: 0 x π . La longitud radial adecuada se define mediante este elemento de línea ( d ϑ = d φ = 0 ) :
(2) d 2 = a 2 d x 2 .
Integrando da trivialmente = a x .

El volumen adecuado de todo el espacio se encuentra fácilmente para ser V = 2 π 2 a 3 , y el área de una esfera de radio coordenado x es dado por A ( x ) = 4 π a 2 pecado 2 x . De este modo A ( 0 ) = A ( π ) = 0 y A máximo = A ( π 2 ) = 4 π a 2 .

En un universo cerrado, es importante no confundir longitud y distancia .

La pregunta es esta:

¿Cuál es la distancia adecuada máxima de un observador estacionario dado en este espacio? D máximo = π a , o D máximo = π 2 a ?

Estoy confundido por el comportamiento del área, y creía que la distancia máxima es D máximo = π a y no D máximo = π 2 a , a pesar de que A ( π ) = 0 . ¡Ya no estoy seguro de que tenga sentido! Es posible que haya confundido la distancia con la longitud y necesito una confirmación.

Si construiste una estructura lineal en ese espacio, su longitud máxima debe ser 2 π a , y la distancia entre ambos extremos debe ser 0, ¿verdad? O es la longitud en realidad π a ??

Si está considerando solo la parte espacial de su métrica, que resulta ser una variedad de Riemann, su pregunta no tiene sentido. En las variedades de Riemann no existe la noción de distancia o longitud "máxima", ya que siempre se pueden hacer ondas alrededor de ese camino, terminando con un camino que es más largo que el original. Ahora, si te refieres a la distancia máxima a lo largo de una geodésica, es solo una cuestión de integrar a lo largo de un gran círculo de 3 esferas en todo el rango del parámetro.
No entiendo por qué no tiene sentido. El elemento de distancia radial se define como d = a d x (ecuación (1)). Entonces la distancia radial entre el observador O situado en x = 0 y un punto arbitrario de coordenadas x > 0 es solo D = a x . El problema es definir el punto más alejado de O . Desde 0 x π , la distancia máxima es aparentemente D = π a (no debe confundirse con la longitud máxima , que es arbitraria, dependiendo de la curva). Lo que describiste es la longitud de una curva, no una distancia.
La distancia radial es una geodésica, por lo que concuerda con mi comentario anterior. Solo estamos usando una nomenclatura diferente. Para mí (y para los geómetras, supongo), la distancia y la longitud deberían significar lo mismo.
No estoy de acuerdo con tu última frase. longitud y distancia no son lo mismo (¿o por qué tendríamos dos palabras para la misma cosa?). Sin embargo, está claro que una curva arbitraria (no una geodésica) podría tener una longitud arbitraria. Esto es obvio. La palabra "distancia" suele utilizarse para definir la longitud mínima de la curva entre dos puntos (es decir, la longitud de una geodésica, por definición).
@ Mr.K, ¿está de acuerdo en que la distancia máxima entre dos puntos en el espacio cerrado es D máximo = π a ? Y que la longitud máxima de una estructura lineal es máximo = 2 π a mientras que la distancia entre sus dos extremos es 0 ?
¡Los sinónimos existen! La noción general de distancia definida en espacios métricos no coincide con su definición. Estás pensando en espacios euclidianos. Puede, por ejemplo, definir d ( X , y ) = 0 si X = y y d ( X , y ) = 1 de lo contrario. Esto satisface todos los axiomas de la distancia y todavía no es "mínimo" en ningún sentido. Cuando dices distancia en el contexto de una variedad, podría interpretarse como la distancia a lo largo de un camino, que es lo mismo que la longitud de un camino. Así que debes tener cuidado con tu nomenclatura. En segundo lugar, que las curvas puedan tener una longitud arbitraria no es nada obvio y esto solo es cierto para...
...variedades de Riemann. ¡Las geodésicas temporales, por ejemplo, maximizan la longitud! Finalmente, sí, estoy de acuerdo en que la respuesta es π a .
@ Mr.K, creí que definí claramente la noción de distancia en mi pregunta ( distancia adecuada definida a partir de la métrica). Vea mi oración sobre la ecuación (1). Además, ¿estás de acuerdo con la última parte de mi comentario anterior?

Respuestas (1)

El componente espacial del espacio-tiempo que describe es una esfera de 3. La mayor distancia se obtiene cuando Δ t = 0 por lo que podemos ignorar la dirección del tiempo del espacio-tiempo.

Una 3 esferas es una extensión natural de una 2 esferas. Donde una 2-esfera consiste en un círculo con radio pecado ( θ ) por cada valor de θ , una 3 esferas consta de 2 esferas con radio pecado ( x ) por cada valor de x . La distancia más grande en una esfera de 2 es la distancia desde el polo norte hasta el polo sur. Esto corresponde a la variación θ por π . Cuando el radio es a , esto da una distancia de π a .

Un razonamiento similar te permite viajar de un lado de la 3 esfera al otro variando x por π . Aquí la distancia es otra vez π a .

Para la segunda parte de tu pregunta. Si por longitud máxima te refieres a la distancia recorrida a lo largo de un camino similar al espacio, entonces no hay longitud máxima. Un camino puede enroscarse alrededor de las 3 esferas y tener una longitud infinita. Incluso cuando exige que el camino sea recto, es decir, una geodésica, no hay una longitud máxima, ya que el camino podría viajar alrededor de la 3 esfera con un pequeño componente temporal, dando así una vuelta eterna a la 3 esfera y obteniendo una longitud infinita.

La longitud de un camino recto alrededor de las 3 esferas sin un componente temporal en este sistema de coordenadas es 2 π a , al igual que para la 2-esfera.

Gracias, entonces confirmas lo que estaba pensando: la estructura lineal más larga en ese espacio tendría una longitud de 2 π a mientras que ambos extremos están a una distancia de 0. Entonces, la distancia máxima (no la longitud ) es π a , y no π 2 a . El comportamiento del área esférica. A ( x ) es raro, sin embargo.
Ok, sobre el área, ahora tengo una imagen más clara de la reducción de una simple 2 esferas. En este caso simple, el equivalente de A ( x ) sería la circunferencia del círculo dibujado en la superficie de la esfera: ( x ) = 2 π pecado x , lo que da ( 0 ) = ( π ) = 0 mientras que los círculos limitantes están en lados opuestos de la esfera. Pero todavía es extraño "visualizar" el área de las 3 esferas.