1.5: Triángulo y Desigualdades Cauchy-Schwarz
- Page ID
- 126715
\( \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
- Discutir el triángulo y Cauchy-Schwarz
En la geometría euclidiana, tenemos el hecho intuitivamente obvio de que cualquier lado de un triángulo no es mayor que la suma de los otros dos lados. Esto se puede escribir en términos de vectores como\(|m + n| \leq |m| + |n|\). Estrechamente relacionada con ello está la desigualdad\(|m \cdot n| ≤ |m| |n|\), conocida como la desigualdad Cauchy-Schwarz, que se puede ver porque\(m \cdot n = |m| |n| cos\theta\), dónde\(\theta\) está el ángulo entre los dos vectores.
Cualquier prueba de estos hechos depende en última instancia de la suposición de que la métrica tiene la firma euclidiana\(+ + +\) (o de supuestos equivalentes como los axiomas de Euclides). La figura\(\PageIndex{1}\) muestra que por motivos físicos, no esperamos que las desigualdades se mantengan para los vectores Minkowski en sus formas euclidianas no modificadas. La cantidad |m + n| representa el tiempo adecuado de la nave espacial que se movió inercialmente junto con la tierra, mientras que\(|m| + |n|\) es el mayor tiempo adecuado de la nave espacial viajera.
Por otro lado, el espacio Minkowski cuenta con copias del espacio euclidiano incorporadas. Por ejemplo, sabemos que todos los hechos euclidianos familiares deben sostenerse en cualquier plano de simultaneidad definido por un observador particular en un momento dado en el tiempo, ya que la restricción de la métrica a ese plano tiene firma\(---\), y la distinción entre ésta y la\(+ + +\) firma es una arbitraria convención notacional. Resumiendo estas observaciones, esperamos que la versión relativista del triángulo y las desigualdades de Cauchy-Schwarz se dividan en casos, algunos de los cuales son iguales al caso euclidiano y algunos de ellos diferentes.
Algunas cuestiones notacionales pueden resultar confusas en la siguiente discusión. Dejamos\(a^2\) media\(a \cdot a\), que puede no ser positiva, mientras que\(|a|\) indica el número real positivo\(\mid a \cdot a\mid\). Trataré de señalar específicamente cualquier ecuación que sólo sea cierta para la\(+---\) firma y no para\(- + ++\), y expresar resultados finales importantes de una manera que no dependa de esta elección.
Dos vectores similares al tiempo
Un caso sencillo e importante es aquel en el que ambos\(m\) y\(n\) trazan posibles líneas mundiales de objetos materiales, como en la figura\(\PageIndex{1}\). Es decir, ambos deben ser vectores parecidos al tiempo. Para ver qué forma de la desigualdad Cauchy-Schwarz debe mantener, dividimos el vector\(n\) en dos partes\(n = n_{\parallel} + n_{\perp}\),, donde\(n_{\parallel}\) es paralela\(m\) y\(n_{\perp}\) perpendicular. Entonces tenemos\(|m · n| = |m · n_{\parallel} | = |m| |n_{\parallel} |\). Pero\(n^2 = (n_{\parallel} + n_{perp} )^2 = n_{\parallel}^2 + 2n_{\parallel} \cdot n_{\perp} + n_{\perp} = n_{\parallel}^2 + n_{\perp}^2\), y como\(n_{\parallel}\) es timelike y\(n_{\perp}\) spacelike, tenemos (en la\(+---\) firma)\(n_{\parallel}^2 > 0\) y\(n_{\perp}^2 < 0\). Por lo tanto, independientemente de la firma\(\lvert n\lvert ≤ \lvert n_{\parallel}\lvert\),, y tenemos la desigualdad de Cauchy-Schwarz invertida
\[|m \cdot n| \geq |m| |n| \quad \text{(valid for either + − −− or − + ++)}\]
Una manera útil de interpretar la inversión en comparación con el caso euclidiano es que si los vectores se normalizan de tal manera que\(|m| = |n| = 1\), entonces\(m \cdot n = \gamma\), ¿dónde\(\gamma\) está el factor Lorentz para un observador cuya línea mundial es paralela\(m\) con respecto a una línea mundial paralela a\(n\) . La diferencia con el comportamiento euclidiano puede entonces entenderse como derivada del hecho de que mientras que\(|cos\theta| ≤ 1\), siempre tenemos\(\gamma \geq 1\).
Dada la motivación física presentada hasta el momento, hubiera sido natural tomar ambas\(m\) y\(n\) mentir en el futuro más que en el cono de luz pasado, pero aún no hemos asumido que ese era el caso, y la inequidad invertida de Cauchy-Schwarz sostiene independientemente de tal suposición. (Ver problema Q16 para una forma alternativa de ver esto.) Sin embargo, para discutir la desigualdad triangular relacionada, tendremos que asumir que ambos vectores están orientados hacia el futuro. Físicamente, esto es necesario para dar la interpretación que se muestra en la figura ai, de la cual ya hemos inferido que se debe revertir la desigualdad triangular. Para verificar esto matemáticamente, podemos calcular la diferencia\((m + n)^2 − (|m| + |n|)^2\) (problema 17).
Dos vectores espaciales que no abarcan el cono de luz
Ahora supongamos que\(m\) y ambos\(n\) son espaciales, y el plano que abarcan no incluye el cono de luz. Operando dentro de este plano, nunca obtenemos vectores similares al tiempo o a la luz, y por lo tanto la naturaleza no euclidiana de la métrica nunca es evidente para nosotros. Por lo tanto, la geometría de este plano es euclidiana, por lo que en este caso deben sostenerse las versiones euclideanas ordinarias del Cauchy-Schwarz y las desigualdades triangulares.
Ejemplo\(\PageIndex{1}\): No relativity required
Supongamos que cierto observador establece coordenadas de Minkowski, y considera los vectores\(\hat{x}\) unitarios y que se\(\hat{y}\) encuentran a lo largo de\(y\) los ejes\(x\) y. El\(x-y\) plano que abarcan no incluye el cono de luz. Al enchufarse a la forma de coordenadas Minkowski de la métrica, encontramos que\(\hat{x} \cdot \hat{y} = 0\), como se esperaba ya que la geometría del\(x-y\) plano es euclidiana. Esto satisface la forma ordinaria de la desigualdad Cauchy-Schwarz.
Dos vectores espaciales que abarcan el cono de luz
Consideremos ahora el caso, en las coordenadas de Minkowski, dónde\(m = (0, 5, 0, 0)\) y\(n = (4, 5, 0, 0)\). Estos vectores abarcan el\(t-x\) plano, cuya geometría no es euclidiana, y no satisfacen la desigualdad euclidiana Cauchy-Schwarz, ya que\(m \cdot n = -25\), mientras que\(|m| |n| = 15\). Dos vectores de este tipo siempre satisfarán la versión invertida de la desigualdad Cauchy-Schwarz (problema Q18). Lo contrario sostiene en el sentido de que si dos vectores espaciales satisfacen la estricta desigualdad\(|m \cdot n| > |m| |n|\), entonces abarcan el cono de luz.