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 porque uno puede mapear sus subconjuntos abiertos para abrir subconjuntos de , a través de mapas gráficos. Entonces se puede inferir la continuidad de la curva "real" en el espacio-tiempo (digamos, ) de la continuidad de la curva (a la que está asignada) en . 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 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 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 ? ¿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 ( ) ¿curvas?
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í.
Shirish Kulhari
Shirish Kulhari
Mozibur Ullah
Mozibur Ullah
Mozibur Ullah