¿Existe alguna prueba de que la expansión del espacio produce observadores en todos los puntos que ven lo que nosotros vemos?

Sé que las galaxias se están alejando de nosotros, por lo que puedo ver que es intuitivo que si el espacio se estuviera expandiendo, las observaciones astronómicas desde la Tierra serían las mismas que en todos los demás puntos del universo.

Pero es que la intuición muchas veces pasa por alto los detalles. Entonces, lo que me gustaría saber es si hay pruebas de que el espacio que se expande suavemente en 4 dimensiones acomoda cada punto del observador de esta manera.

¿Alguien sabe?

4 dimensiones? ¿Qué estás asumiendo que es la 4ª dimensión?
Hola Lucy, en realidad no es la intuición lo que cuenta, como he descubierto al equivocarme muchas veces, son las matemáticas y las observaciones. Obviamente, supongo que no tenemos suficientes pruebas absolutas de que un observador en el borde de nuestro universo observable vea el universo de la forma en que lo vemos nosotros, pero normalmente trabajaríamos sobre el principio de que él/ella/ello lo ve. Busque el Principio de Copérnico en Wikipedia.
Relacionado: physics.stackexchange.com/q/25591/2451 y enlaces allí.

Respuestas (2)

Estás abordando la pregunta desde el lado equivocado.

La expansión del universo se describe mediante una solución particular a la ecuación de Einstein llamada métrica FLRW . Para derivar esta métrica tenemos que hacer algunas suposiciones, y las suposiciones clave son que el universo es isótropo y homogéneo, es decir, que es igual en todas partes.

Entonces, que el universo sea el mismo en todas partes es una suposición inicial que se utiliza para describir cómo se expande el universo. No es algo que se derive de la forma en que se expande el universo. Por supuesto, puede mostrar que la métrica FLRW implica isotropía y homogeneidad (como lo hace Timaeus), pero eso se debe a que esas suposiciones se incorporaron desde el principio.

Pensé que la cuestión era comprobar rigurosamente si el espacio en expansión tiene éxito en el objetivo de hacer un espacio-tiempo isotrópico homogéneo. Y la métrica no implica eso, así que editaré mi respuesta.
@Timaeus: tu respuesta es bastante correcta. La métrica es independiente de X , y y z , por lo que implica homogeneidad. Mi punto es que la homogeneidad fue una suposición al derivar la métrica FLRW en primer lugar, por lo que, por supuesto, implica homogeneidad.
Pensé que era un poco vago acerca de que las coordenadas son globales y todo R4 en particular porque si respondí otras preguntas para el OP. Lo que me hizo darme cuenta de que no estaba claro al argumentar que era isótropo y homogéneo. Ahora lo he demostrado. Que es lo que creo que querían, si se sabe que los modelos son homogéneos e isotrópicos en lugar de algo que parece intuitivamente y, por lo tanto, es nuestro mejor intento o nuestra única esperanza.
También puede derivar la métrica, pero la métrica no hace que el espacio sea isotrópico. Todavía no estoy seguro de que el OP haya preguntado sobre la isotropía, pero en caso de que quisieran que la forma local de métrica no le proporcione una isotropía global. Entonces, usted afirma que mostré que la métrica FLRW implica isotropía, y doy un contraejemplo. La métrica por sí sola no implica isotropía.
Hola, gracias John Rennie y Timaeus. En realidad no sabía lo que acabas de decir, así que te lo agradezco. Pero, seguramente, por solidez, ¿de todos modos querrás ver si obtienes el resultado desde otra dirección? Estaba pensando que debido a los aspectos geométricos, ¿sería fácil demostrar que sí sucede?
Mostré que es homogéneo. No puede mostrar que una solución es globalmente isotrópica solo a partir de una métrica local. Eso es porque existen soluciones no isotrópicas que tienen la misma métrica local.

Sí.

Puedes hacer un modelo donde tengas coordenadas t , X , y , z donde para cualquier X , y , z el universo se ve igual.

La métrica termina viéndose, por ejemplo, como

d s 2 = d t 2 ( a ( t ) ) 2 ( d X 2 + d y 2 + d z 2 )
y puedes mover tu X , y , z tener algún valor y todo se ve igual (aunque las cosas se ven diferentes para diferentes valores de t ). Terminas con las densidades de la materia y la radiación siendo únicamente funciones de t (que es solo una coordenada, no dice qué tan rápido funcionan los relojes, eso dependerá de la ruta que tomen los relojes y depende de la métrica completa anterior). Y luego también necesitas resolver para a ( t ) como una función del tiempo.

La función a ( t ) relaciona distancias coordinadas con distancias métricas reales. Estar a cierta distancia coordinada podría terminar acercándose o alejándose mucho más según el factor de escala a ( t ) cambios.

Ahora, tener esta métrica significa que todo se ve igual en todos los puntos del espacio. Pero eso no significa que su espacio se vea igual en todas las direcciones. Esto se debe a que todavía hay muchos espacio-tiempo que tienen esa métrica.

Por ejemplo, puede considerar el espacio

{ ( t , a , A , y , z ) : a 2 + A 2 = 1 } .
Entonces X puede dar la vuelta como un ángulo en el a , A avión. En este espacio tenemos la misma métrica que { ( t , X , y , z ) } así que localmente todo se ve igual pero en uno de ellos cuando viajamos 2 π en el X dirección terminamos donde empezamos y eso no sucede si nos movemos en el y dirección o la z dirección.

Entonces, si desea que el universo se vea igual en todos los lugares y en todas las direcciones, debe tener más cuidado que solo tener una de las métricas locales que funcionan para eso. Pero eso demuestra que es difícil de comprobar.

Una forma de verificar es comenzar con { ( t , X , y , z ) } y d τ 2 = d t 2 ( a ( t ) ) 2 ( d X 2 + d y 2 + d z 2 ) y luego hacer una transformación X X = X + Δ X , y Y = y + Δ y y z Z = z + Δ z , para fijo Δ X , Δ y , y Δ z . Entonces { ( t , X , y , z ) } = R 4 = { ( t , X , Y , Z ) } y d t 2 ( a ( t ) ) 2 ( d X 2 + d Y 2 + d Z 2 ) = d t 2 ( a ( t ) ) 2 ( d X 2 + d y 2 + d z 2 ) = d τ 2 así que la traducción no cambió nada. Los objetos y funciones son los mismos, solo los nombres y etiquetas que eran arbitrarios. Esto realmente muestra que es lo mismo en todos los puntos.

Luego haz otra transformación, esta vez rotando ( X , y , z ) a ( X , y , z ) por una cantidad y dirección fijas y observando que { ( t , X , y , z ) } = R 4 = { ( t , X , y , z ) } y d τ 2 = d t 2 ( a ( t ) ) 2 ( d X 2 + d y 2 + d z 2 ) = d t 2 ( a ( t ) ) 2 ( d X 2 + d y 2 + d z 2 ) } . Esto muestra que se ve igual en todas las direcciones.

Para ser claros, esto no se puede hacer para el caso no isotrópico que mencioné antes: { ( t , a , A , y , z ) : a 2 + A 2 = 1 } con d τ 2 = d t 2 ( a ( t ) ) 2 ( d a 2 + d A 2 + d y 2 + d z 2 ) . eso es porque la rotación no mapea ese conjunto { ( t , a , A , y , z ) : a 2 + A 2 = 1 } a { ( t , X , y , z ) } . Demostrar que son diferentes se estableció al dar vueltas 2 π en uno te lleva de regreso y eso no pasa para el otro. Solo estaba tratando de dejar en claro que realmente hemos demostrado que el espacio se ve igual en todas las direcciones cuando tenemos { ( t , X , y , z ) } y d τ 2 = d t 2 ( a ( t ) ) 2 ( d X 2 + d y 2 + d z 2 ) .

Esto es brillante. Tendré que estudiarlo para entenderlo. Cosa que haré, gracias.
hola, solo estoy retroalimentando estas respuestas. Lo que me gustaría saber es si funciona en el sentido geométrico más básico. Por ejemplo, se puede mostrar para una región de puntos con un orden cuadrado (es decir, los puntos nativos en una hoja de papel cuadriculado).
@LucyMeadow No estoy seguro de cómo desea definir el espacio en expansión en una situación que no es homogénea (que es el caso que generalmente se considera y donde la definición es más fácil). La mayor parte de mi respuesta es simplemente decir que no puede determinar si su espacio-tiempo es isotrópico o no isotrópico con solo observar la forma de la métrica. Una parte de mí quiere eliminar mi respuesta porque mi opinión es que la respuesta a su pregunta original es en realidad no (aunque podría depender de cómo defina la expansión).