6.2: Fase
- Page ID
- 126656
\( \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}\)Objetivos de aprendizaje
- Explicar por qué la fase es un escalar
La fase es un escalar
En la sección 1.3, definimos una (Lorentz) invariante como una cantidad que no se modificó bajo rotaciones y potenciadores de Lorentz. Una medida como\(c \to e = 24\) es una invariante porque es simplemente un conteo. Hemos contado el número de periodos. De hecho, un conteo no solo es invariante bajo rotaciones y potenciaciones sino bajo cualquier cambio de coordenadas de buen comportamiento, siendo la condición técnica que cada coordenada en cada conjunto sea una función diferenciable de cada coordenada en el otro conjunto. Tal cambio de coordenadas se llama diffeomorfismo. Por ejemplo, un escalado uniforme de las coordenadas\((t,x,y,z) \to (kt,kx,ky,kz)\), que es análogo a un cambio de unidades, 1 está bien siempre que\(k\) sea distinto de cero. Una cantidad que permanece igual bajo cualquier diffeomorfismo se llama escalar. Dado que una transformación de Lorentz es un diffeomorfismo, cada escalar es un invariante de Lorentz. No todas las invariantes de Lorentz son escalares.
Ejemplo\(\PageIndex{1}\): The determinant of the metric
Las coordenadas de Minkowski se pueden definir como coordenadas en las que la métrica tiene la forma estándar\(g = diag(1,-1,-1,-1)\). Si reescalamos estas coordenadas de acuerdo a\((t,x,y,z) \to (kt,kx,ky,kz)\), entonces la métrica cambia de acuerdo a\(g \to k^{-2} g\). Para hacer un seguimiento de cómo es “Un-Minkowski” este escalado, podríamos usar el determinante de la métrica\(det(g) = -k^{-8}\). Este determinante nos dice cuántas cajas de cuadrículas de coordenadas caben en un volumen unitario, y es de interés en un contexto más general que este ejemplo de reescalado uniforme, por ejemplo, cumple una función similar al convertir de coordenadas cartesianas a coordenadas polares.
Bajo una transformación de Lorentz o una rotación, la métrica conserva su forma estándar, y por lo tanto\(det(g)\) es Lorentz invariante. Otra forma de ver esto es que el volumen de espacio-tiempo es invariante de Lorentz, de modo que una transformación de Lorentz no cambia cuántas cajas de cuadrículas de coordenadas caben en un volumen unitario.
Pero aunque\(det(g)\) es un Lorentz invariante, no es un escalar, porque cambia bajo la transformación descrita anteriormente.
En la notación birdtracks, cualquier expresión que no tenga flechas externas representa un escalar. Dado que la expresión no\(c \to e = 24\) tiene flechas externas, solo internas, representa un escalar. Otra forma de describir esta medición es como una fase. Si preferimos medir la fase\(φ\) en unidades de ciclos, entonces tenemos
\[φ = c\to e\]
Si nos gustan los radianes, podemos usar
\[φ = 2πc\to e\]
Escalado
Una manera conveniente de resumir todas nuestras categorías de variables es por su comportamiento cuando reescalamos nuestras coordenadas. Si cambiamos nuestra unidad de tiempo de horas a minutos, el número de manzanas en un tazón no cambia, el período de rotación de la tierra\(60\) aumenta los tiempos, y la frecuencia del reloj de cuco cambia por un factor de\(1/60\). En otras palabras, una cantidad u bajo reescalado de coordenadas por un factor α se convierte\(α^p u\), donde los exponentes\(-1\)\(0\),, y\(+1\) corresponden a covectores, escalares y vectores, respectivamente. Por lo tanto, podemos ver que estas distinciones son de interés incluso en una dimensión, contrariamente a lo que se habría esperado del concepto de primer año de física de un vector como algo que se transforma de cierta manera bajo rotaciones.
En la sección 1.3, definimos una invariante como una cantidad que no cambió bajo rotaciones o subidas de Lorentz, es decir, una que fuera independiente del marco de referencia. Para un escalar tenemos la condición aún más restrictiva de que no debe cambiar bajo ningún cambio de coordenadas. Por ejemplo, el área en espacio-tiempo\(1 + 1\) dimensional es una invariante, pero no es un escalar; cambia cuando reescalamos nuestras coordenadas.