11.6: Curvatura
- Page ID
- 114343
\( \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}\)En una carta de 1824 Gauss escribe:
El supuesto de que la suma de los tres ángulos es menor que π lleva a una geometría curiosa, bastante diferente a la nuestra pero completamente consistente, que he desarrollado a mi satisfacción en el neumático, para que pueda resolver todos los problemas en ella con la excepción de una determinación de una constante, que no puede designarse a priori. Cuanto mayor toma esta constante, más cerca se acerca a la geometría euclidiana, y cuando se elige indefinidamente grande las dos coinciden. Los teoremas de esta geometría parecen paradójicamente y, a los no iniciados, absurdos; pero la reflexión tranquila y constante revela que no contienen nada imposible. Por ejemplo, los tres ángulos de un triángulo se vuelven tan pequeños como se desee, si sólo se toman los lados grandes enuf; sin embargo, el área del triángulo nunca podrá superar un límite definido, independientemente de lo grandes que se tomen los lados, ni de hecho nunca podrá alcanzarlo.
En la terminología moderna, la constante que menciona Gauss, puede expresarse como\(1/\sqrt{-k}\)\(k \le 0\), donde, es la llamada curvatura del plano neutro, que estamos a punto de introducir.
La identidad en el Ejercicio 11.4.1 sugiere que el defecto de un triángulo debe ser proporcional a su área. (El área en el plano neutro se discute brevemente al final del Capítulo 20, pero el lector también podría referirse a una comprensión intuitiva de la medición del área).
De hecho, para cualquier plano neutro, hay un número real no positivo\(k\) tal que
\(k \cdot \text{area} (\triangle ABC) + \text{defect} (\triangle ABC) = 0\)
para cualquier\(\triangle ABC\). A este número\(k\) se le llama la curvatura del plano.
Por ejemplo, por el Teorema 7.4.1, el plano euclidiano tiene curvatura cero.
Por el Teorema 11.3.1, la curvatura de cualquier plano neutro es no positiva.
Resulta que hasta la isometría, el plano neutro se caracteriza por su curvatura; es decir, dos planos neutros son isométricos si y sólo si tienen la misma curvatura.
En el siguiente capítulo, construiremos un plano hiperbólico; esto es, un ejemplo de plano neutro con curvatura\(k = -1\).
Cualquier plano neutro, distinto del euclidiano, se puede obtener escalando la métrica en el plano hiperbólico. En efecto, si escalamos la métrica por un factor positivo\(c\), el área cambia por factor\(c^2\), mientras que el defecto permanece igual. Por lo tanto\(c = \sqrt{-k}\), tomando, podemos obtener el plano neutro de la curvatura dada\(k < 0\). En otras palabras, todos los planos neutros no euclidianos se vuelven idénticos si usamos\(r = 1/\sqrt{-k}\) como unidad de longitud.
En el Capítulo 16, discutimos la geometría esférica. Las esferas de Altho no son planos neutros, la geometría esférica es un pariente cercano de geometrías euclidianas e hiperbólicas.
Los triángulos esféricos no degenerados tienen defectos negativos. Además, si\(R\) es el radio de la esfera, entonces
\(\dfrac{1}{R^2} \cdot \text{area} (\triangle ABC) + \text{defect} (\triangle ABC) = 0\)
para cualquier triángulo esférico\(ABC\). En otras palabras, la esfera del radio\(R\) tiene la curvatura\(k = \dfrac{1}{R^2}\).