7.2: Simetría esférica
- Page ID
- 127264
\( \newcommand{\vecs}[1]{\overset { \scriptstyle \rightharpoonup} {\mathbf{#1}} } \)
\( \newcommand{\vecd}[1]{\overset{-\!-\!\rightharpoonup}{\vphantom{a}\smash {#1}}} \)
\( \newcommand{\id}{\mathrm{id}}\) \( \newcommand{\Span}{\mathrm{span}}\)
( \newcommand{\kernel}{\mathrm{null}\,}\) \( \newcommand{\range}{\mathrm{range}\,}\)
\( \newcommand{\RealPart}{\mathrm{Re}}\) \( \newcommand{\ImaginaryPart}{\mathrm{Im}}\)
\( \newcommand{\Argument}{\mathrm{Arg}}\) \( \newcommand{\norm}[1]{\| #1 \|}\)
\( \newcommand{\inner}[2]{\langle #1, #2 \rangle}\)
\( \newcommand{\Span}{\mathrm{span}}\)
\( \newcommand{\id}{\mathrm{id}}\)
\( \newcommand{\Span}{\mathrm{span}}\)
\( \newcommand{\kernel}{\mathrm{null}\,}\)
\( \newcommand{\range}{\mathrm{range}\,}\)
\( \newcommand{\RealPart}{\mathrm{Re}}\)
\( \newcommand{\ImaginaryPart}{\mathrm{Im}}\)
\( \newcommand{\Argument}{\mathrm{Arg}}\)
\( \newcommand{\norm}[1]{\| #1 \|}\)
\( \newcommand{\inner}[2]{\langle #1, #2 \rangle}\)
\( \newcommand{\Span}{\mathrm{span}}\) \( \newcommand{\AA}{\unicode[.8,0]{x212B}}\)
\( \newcommand{\vectorA}[1]{\vec{#1}} % arrow\)
\( \newcommand{\vectorAt}[1]{\vec{\text{#1}}} % arrow\)
\( \newcommand{\vectorB}[1]{\overset { \scriptstyle \rightharpoonup} {\mathbf{#1}} } \)
\( \newcommand{\vectorC}[1]{\textbf{#1}} \)
\( \newcommand{\vectorD}[1]{\overrightarrow{#1}} \)
\( \newcommand{\vectorDt}[1]{\overrightarrow{\text{#1}}} \)
\( \newcommand{\vectE}[1]{\overset{-\!-\!\rightharpoonup}{\vphantom{a}\smash{\mathbf {#1}}}} \)
\( \newcommand{\vecs}[1]{\overset { \scriptstyle \rightharpoonup} {\mathbf{#1}} } \)
\( \newcommand{\vecd}[1]{\overset{-\!-\!\rightharpoonup}{\vphantom{a}\smash {#1}}} \)
\(\newcommand{\avec}{\mathbf a}\) \(\newcommand{\bvec}{\mathbf b}\) \(\newcommand{\cvec}{\mathbf c}\) \(\newcommand{\dvec}{\mathbf d}\) \(\newcommand{\dtil}{\widetilde{\mathbf d}}\) \(\newcommand{\evec}{\mathbf e}\) \(\newcommand{\fvec}{\mathbf f}\) \(\newcommand{\nvec}{\mathbf n}\) \(\newcommand{\pvec}{\mathbf p}\) \(\newcommand{\qvec}{\mathbf q}\) \(\newcommand{\svec}{\mathbf s}\) \(\newcommand{\tvec}{\mathbf t}\) \(\newcommand{\uvec}{\mathbf u}\) \(\newcommand{\vvec}{\mathbf v}\) \(\newcommand{\wvec}{\mathbf w}\) \(\newcommand{\xvec}{\mathbf x}\) \(\newcommand{\yvec}{\mathbf y}\) \(\newcommand{\zvec}{\mathbf z}\) \(\newcommand{\rvec}{\mathbf r}\) \(\newcommand{\mvec}{\mathbf m}\) \(\newcommand{\zerovec}{\mathbf 0}\) \(\newcommand{\onevec}{\mathbf 1}\) \(\newcommand{\real}{\mathbb R}\) \(\newcommand{\twovec}[2]{\left[\begin{array}{r}#1 \\ #2 \end{array}\right]}\) \(\newcommand{\ctwovec}[2]{\left[\begin{array}{c}#1 \\ #2 \end{array}\right]}\) \(\newcommand{\threevec}[3]{\left[\begin{array}{r}#1 \\ #2 \\ #3 \end{array}\right]}\) \(\newcommand{\cthreevec}[3]{\left[\begin{array}{c}#1 \\ #2 \\ #3 \end{array}\right]}\) \(\newcommand{\fourvec}[4]{\left[\begin{array}{r}#1 \\ #2 \\ #3 \\ #4 \end{array}\right]}\) \(\newcommand{\cfourvec}[4]{\left[\begin{array}{c}#1 \\ #2 \\ #3 \\ #4 \end{array}\right]}\) \(\newcommand{\fivevec}[5]{\left[\begin{array}{r}#1 \\ #2 \\ #3 \\ #4 \\ #5 \\ \end{array}\right]}\) \(\newcommand{\cfivevec}[5]{\left[\begin{array}{c}#1 \\ #2 \\ #3 \\ #4 \\ #5 \\ \end{array}\right]}\) \(\newcommand{\mattwo}[4]{\left[\begin{array}{rr}#1 \amp #2 \\ #3 \amp #4 \\ \end{array}\right]}\) \(\newcommand{\laspan}[1]{\text{Span}\{#1\}}\) \(\newcommand{\bcal}{\cal B}\) \(\newcommand{\ccal}{\cal C}\) \(\newcommand{\scal}{\cal S}\) \(\newcommand{\wcal}{\cal W}\) \(\newcommand{\ecal}{\cal E}\) \(\newcommand{\coords}[2]{\left\{#1\right\}_{#2}}\) \(\newcommand{\gray}[1]{\color{gray}{#1}}\) \(\newcommand{\lgray}[1]{\color{lightgray}{#1}}\) \(\newcommand{\rank}{\operatorname{rank}}\) \(\newcommand{\row}{\text{Row}}\) \(\newcommand{\col}{\text{Col}}\) \(\renewcommand{\row}{\text{Row}}\) \(\newcommand{\nul}{\text{Nul}}\) \(\newcommand{\var}{\text{Var}}\) \(\newcommand{\corr}{\text{corr}}\) \(\newcommand{\len}[1]{\left|#1\right|}\) \(\newcommand{\bbar}{\overline{\bvec}}\) \(\newcommand{\bhat}{\widehat{\bvec}}\) \(\newcommand{\bperp}{\bvec^\perp}\) \(\newcommand{\xhat}{\widehat{\xvec}}\) \(\newcommand{\vhat}{\widehat{\vvec}}\) \(\newcommand{\uhat}{\widehat{\uvec}}\) \(\newcommand{\what}{\widehat{\wvec}}\) \(\newcommand{\Sighat}{\widehat{\Sigma}}\) \(\newcommand{\lt}{<}\) \(\newcommand{\gt}{>}\) \(\newcommand{\amp}{&}\) \(\definecolor{fillinmathshade}{gray}{0.9}\)Se requiere un poco más de trabajo si queremos vincular la existencia de vectores Killing con la existencia de una simetría específica como la simetría esférica. Cuando hablamos de simetría esférica en el contexto de la gravedad newtoniana o de las ecuaciones de Maxwell, podemos decir: “Los campos solo dependen”\(r\), asumiendo implícitamente que existe una\(r\) coordenada que tiene un significado definido para una elección de origen determinada. Pero no se garantiza que las coordenadas en la relatividad tengan ninguna interpretación física particular como la distancia de un origen particular. El origen puede que ni siquiera exista como parte del espacio-tiempo, como en la métrica Schwarzschild, que tiene una singularidad en el centro. Otra posibilidad es que el origen no sea único, como en una biesfera euclidiana como la superficie terrestre, donde un círculo centrado en el polo norte es también un círculo centrado en el polo sur; esto también puede ocurrir en ciertos espacio-tiempos cosmológicos que describen un universo que se envuelve sobre sí mismo espacialmente.
Por tanto, definimos simetría esférica de la siguiente manera. Un espacio-tiempo\(S\) es esféricamente simétrico si podemos escribirlo como una unión\(S = \cup s_{r,t}\) de subconjuntos no intersecantes s r, t, donde cada s tiene la estructura de una dosesfera, y los números reales r y t no tienen ninguna interpretación física preasignada, pero se requiere que s r, t varíe suavemente como una función de ellos. Por “tiene la estructura de una dos esferas”, queremos decir que ninguna medición intrínseca sobre\(s\) producirá ningún resultado diferente del resultado que hubiéramos obtenido en algunas dos esferas. Una dos esferas tiene solo dos propiedades intrínsecas:
- es espacial, es decir, localmente su geometría es aproximadamente la del plano euclidiano;
- tiene una curvatura positiva constante.
Si queremos, podemos requerir que el parámetro r sea el radio de curvatura correspondiente, en cuyo caso t es alguna coordenada temporal.
Para vincular esta definición a Matar vectores, observamos que la condición 2 es equivalente a la siguiente condición alternativa: (2') El conjunto s debe tener tres vectores Killing (que por la condición 1 son ambos espaciales), y debería ser posible elegir estos vectores Killing de tal manera que algebraicamente actúen igual como los construidos explícitamente en el ejemplo 4 en la sección 7.1. Como ejemplo de tal propiedad algebraica, la Figura\(\PageIndex{1}\) muestra que las rotaciones no son conmutativas.
Ejemplo 7: Un cilindro no es una esfera
- Demostrar que un cilindro no tiene la estructura de una biesfera.
- El cilindro pasa la condición 1. Falla la condición 2 porque su curvatura gaussiana es cero. Alternativamente, falla la condición 2' porque solo tiene dos vectores Killing independientes (ejemplo 3).
Ejemplo 8: Un plano no es una esfera
- Demostrar que el plano euclidiano no tiene la estructura de una biesfera.
- Se viola la condición 2 porque la curvatura gaussiana es cero. O si lo deseamos, el avión viola 2' porque\(\partial_{x}\) y\(\partial_{y}\) conmuta, pero ninguno de los vectores Killing de un viaje de 2 esferas.