Inferir las propiedades de las variedades de espacio-tiempo a partir de las de los mapas de gráficos

Esta pregunta está relacionada con las variedades topológicas, como se discutió en una de las conferencias de Frederic Schuller sobre la gravedad: https://www.youtube.com/watch?v=93f-ayezCqE .

Un poco de historia: Brevemente, para estudiar el espacio-tiempo, le asignamos la estructura de una variedad topológica METRO porque uno puede mapear sus subconjuntos abiertos para abrir subconjuntos de R d , a través de mapas gráficos. Entonces se puede inferir la continuidad de la curva "real" en el espacio-tiempo (digamos, γ : R METRO ) de la continuidad de la curva (a la que está asignada) en R d . De manera más general, se pueden inferir las propiedades del espacio-tiempo observando las propiedades de sus mapas gráficos (atlas).

El disertante enfatiza que mientras la curva en la variedad es una "cosa físicamente real", la curva en R d no lo es, ya que depende de nuestra elección del mapa gráfico, que a su vez puede ser arbitrario. Por lo tanto, nos interesan las propiedades de R d curvas que son independientes de la elección del mapa del gráfico, y solo podemos hablar de que tales propiedades son aplicables a γ . La continuidad pasa a ser una propiedad independiente del gráfico, por lo que podemos hablar de "continuidad de γ ".


Pregunta: ¿No depende la noción de la continuidad de las curvas del espacio-tiempo de nuestra elección de la topología en METRO ? ¿Eso no descarta la continuidad como una "propiedad físicamente real" de una curva "físicamente real", ya que no es independiente de la elección de la topología? Si ese es realmente el caso, ¿por qué hacer todo el esfuerzo de inferir la continuidad de γ , en lugar de estar satisfecho con la continuidad del mapa gráfico ( R d ) ¿curvas?

Respuestas (1)

Los espacios cartesianos son espacios reales, por lo que una curva en él es una curva real. Ahora, entendemos muy bien los espacios cartesianos, por lo que definimos variedades topológicas en términos de esto. Por eso usamos gráficos. Estamos definiendo algo desconocido en términos de algo bien conocido.

Primero, siguiendo la pregunta, los conjuntos abiertos te confunden. Una curva en el espacio 2d no es un conjunto abierto, pero un disco abierto sí lo es; sin embargo, en el espacio 3d, un disco abierto no está abierto, pero una bola 3d abierta sí lo está. Etcétera.

Una variedad se define por sus gráficos; estos son mapas de una variedad al espacio cartesiano; por lo tanto, una curva en la variedad se puede asignar a muchas curvas diferentes en los gráficos. Esta es la razón por la que vemos una curva en una variedad como algo 'real' y su imagen en un gráfico como una representación de esa curva, por lo que es menos 'real'.

Ahora se comprende muy bien la topología del espacio cartesiano; y lo que estamos haciendo con estas cartas y sus condiciones de compatibilidad es transportar la topología de los espacios cartesianos a la variedad.

Es por esto que una variedad se entiende como un espacio topológico que es localmente como un espacio cartesiano.

Pregunta: ¿la noción de continuidad de las curvas de espacio-tiempo no depende en sí misma de nuestra elección de una topología en la variedad?

La situación es exactamente la inversa. No hay topología en la variedad. Es solo un conjunto de puntos; y usamos los gráficos para transportar la topología de los gráficos a múltiples, asegurándonos de que sean compatibles entre sí.

Pero tal como se define en la videoconferencia (conferencia 1 de la misma serie), la continuidad debería depender de la topología en METRO . No se puede hablar de un conjunto abierto de METRO sin especificar la topología. ¿Quiere decir que no especificamos explícitamente la topología en METRO , y que está implícitamente especificado por nuestra elección de topología en R d ? Incluso si transportamos la topología en los gráficos a METRO , la noción de continuidad para una curva en METRO todavía dependería en última instancia de la topología en los gráficos, que especificamos para empezar.
(continuación de arriba) La pregunta sigue en pie: ¿eso descarta la continuidad como una "propiedad físicamente real"?
@Shirish Kulhari: por alguna razón, el sonido no se reproduce en mi teléfono inteligente, por lo que no puedo ver la conferencia en video que mencionó. Sí, la topología no se establece explícitamente, se establece implícitamente al definir los gráficos; a esto me refiero con transportar la topología a la variedad. Si lo piensa, puede ver que esto tiene sentido filosóficamente: estamos definiendo algo desconocido en términos de algo conocido.
Por supuesto, la topología depende en última instancia del espacio cartesiano; pero una vez que hemos transportado la topología a la variedad, podemos hacer mucho sin tener que volver a los gráficos. Por ejemplo, podemos mostrar que el producto cartesiano de dos variedades es una variedad, y para hacer esto tenemos que volver a los gráficos; pero una vez que hayamos hecho esto, podemos decir que un segmento de línea abierto x círculo nos da un cilindro topológico, y podemos decir esto sin volver a los gráficos.
La continuidad probablemente no sea una propiedad física real; es probable que a una distancia muy pequeña falle la continuidad física; pero esta perspectiva proviene de la mecánica cuántica. Para GR es mejor tomarlo como está.