Teorema de la pelota de tenis
En geometría, el teorema de la pelota de tenis establece que cualquier función continuamente diferenciable en la superficie de una esfera que la divide en dos zonas de igual área sin tocarse o cruzarse, debe tener al menos cuatro puntos de inflexión, puntos en los que la curva no gira localmente a un solo lado de su recta tangente.[1]
El teorema de la pelota de tenis fue publicado por primera vez con este nombre por Vladímir Arnold en 1994.[2][3] A menudo se la atribuye a Arnold, pero un resultado estrechamente relacionado aparece anteriormente en un documento de 1968 de Beniamino Segre, y el teorema de la pelota de tenis es un caso especial del teorema expuesto en un artículo de 1977 de Joel L. Weiner.[4][5] El nombre del teorema proviene de la forma estándar de una pelota de tenis, cuya costura forma una curva que cumple las condiciones del teorema; el mismo tipo de curva también se utiliza para las costuras en las bolas de béisbol.[1]
Enunciado
[editar]Precisamente, un punto de inflexión de una curva doblemente diferenciable () en la superficie de una esfera es un punto con la siguiente propiedad: sea el componente conexo que contiene , resultado de la intersección de la curva dada con su círculo máximo tangente en (para la mayoría de las curvas, el conjunto solo contendrá a , pero también podría ser un arco de círculo máximo). Entonces, para que sea un punto de inflexión, cada entorno de debe contener puntos de la curva que pertenecen a ambos hemisferios separados por este círculo máximo.
El teorema establece que cada curva que divide la esfera en dos componentes de área igual tiene al menos cuatro puntos de inflexión definidos de esta manera.[6]
Ejemplos
[editar]La pelota de tenis y las costuras de béisbol se pueden modelar matemáticamente mediante una curva hecha de cuatro arcos semicirculares, con exactamente cuatro puntos de inflexión donde se juntan los pares de estos arcos.[7]
Un círculo máximo también biseca la superficie de la esfera, y tiene infinitos puntos de inflexión, uno en cada punto de la curva. Sin embargo, la condición de que la curva divida el área de la superficie de la esfera por igual es una parte necesaria del teorema. Otras curvas que no dividen el área por igual, como los círculos que no son círculos máximos, pueden no tener puntos de inflexión en absoluto.[1]
Prueba por acortamiento de la curva
[editar]Una prueba del teorema de la pelota de tenis es utilizar el procedimiento de la contracción de una curva, un proceso para mover continuamente los puntos de la curva hacia sus centros de curvatura local. Se puede demostrar que la aplicación de este acortamiento a la curva dada preserva la diferenciabilidad y la propiedad de dividir en dos mitades iguales el área de la curva. Además, a medida que la curva se acorta, su número de puntos de inflexión nunca aumenta. Este flujo finalmente hace que la curva se transforme en un círculo máximo, y la convergencia a este círculo puede ser aproximada por una serie de Fourier. Debido a que el acortamiento de la curva no cambia ningún otro círculo máximo, el primer término de esta serie es cero, y si este hecho se combina con el teorema de Sturm sobre el número de ceros de la serie de Fourier, se demuestra que a medida que la curva se acerca a este círculo máximo, tiene al menos cuatro puntos de inflexión. Por lo tanto, la curva original también tiene al menos cuatro puntos de inflexión.[8][9]
Teoremas relacionados
[editar]Una generalización del teorema de la pelota de tenis se aplica a cualquier curva suave y simple en la esfera que no esté contenida en un hemisferio cerrado. Al igual que en el teorema de la pelota de tenis original, dichas curvas deben tener al menos cuatro puntos de inflexión.[5][10] Si una curva en una esfera posee simetría central, debe tener al menos seis puntos de inflexión.[10]
Un teorema estrechamente relacionado de Segre (1968) también se refiere a curvas esféricas cerradas simples. Si, para una de estas curvas, es un punto de un tramo convexo de una curva suave sobre una esfera que no es un vértice de la curva, entonces al menos cuatro puntos de la curva poseen un plano osculador que pasa por . En particular, para una curva no contenida en un hemisferio, este teorema se puede aplicar con en el centro de la esfera. Cada punto de inflexión de una curva esférica tiene un plano de osculación que pasa a través del centro de la esfera, pero esto también podría ser cierto para algunos otros puntos.[4][5]
Este teorema es análogo al teorema de los cuatro vértices, dado que cada curva de Jordan suave en el plano tiene cuatro vértices (puntos extremos de curvatura). También es análogo a un teorema de August Möbius, en el que se afirma que cada curva suave no contraíble en el plano proyectivo tiene al menos tres puntos de inflexión.[2][9]
Referencias
[editar]- ↑ a b c Chamberland, Marc (2015), «The Tennis Ball Theorem», Single digits: In praise of small numbers, Princeton University Press, Princeton, NJ, p. 114, ISBN 978-0-691-16114-3, MR 3328722, doi:10.1515/9781400865697.
- ↑ a b Martinez-Maure, Yves (1996), «A note on the tennis ball theorem», American Mathematical Monthly 103 (4): 338-340, MR 1383672, doi:10.2307/2975192.
- ↑ Arnol'd, V. I. (1994), «20. The tennis ball theorem», Topological invariants of plane curves and caustics, University Lecture Series 5, Providence, RI: American Mathematical Society, pp. 53–58, ISBN 0-8218-0308-5, MR 1286249, doi:10.1090/ulect/005.
- ↑ a b Segre, Beniamino (1968), «Alcune proprietà differenziali in grande delle curve chiuse sghembe», Rendiconti di Matematica 1: 237-297, MR 0243466.
- ↑ a b c Weiner, Joel L. (1977), «Global properties of spherical curves», Journal of Differential Geometry 12 (3): 425-434, MR 0514446.. For the tennis ball theorem (applicable more generally to curves that are not contained in a single hemisphere), see Theorem 2, p. 427
- ↑ Thorbergsson, Gudlaugur; Umehara, Masaaki (1999), «A unified approach to the four vertex theorems II», en Tabachnikov, Serge, ed., Differential and Symplectic Topology of Knots and Curves, Amer. Math. Soc. Transl. Ser. 2 190, Amer. Math. Soc., Providence, RI, pp. 229-252, MR 1738398, doi:10.1090/trans2/190/12.. See in particular pp. 242–243.
- ↑ Juillet, Nicolas (5 de abril de 2013), «Voyage sur une balle de tennis», Images des mathématiques (en francés) (CNRS).
- ↑ Ovsienko, V.; Tabachnikov, S. (2005), Projective differential geometry old and new: From the Schwarzian derivative to the cohomology of diffeomorphism groups, Cambridge Tracts in Mathematics 165, Cambridge: Cambridge University Press, p. 101, ISBN 0-521-83186-5, MR 2177471.
- ↑ a b Angenent, S. (1999), «Inflection points, extatic points and curve shortening», Hamiltonian systems with three or more degrees of freedom (S'Agaró, 1995), NATO Adv. Sci. Inst. Ser. C Math. Phys. Sci. 533, Dordrecht: Kluwer Acad. Publ., pp. 3-10, MR 1720878.
- ↑ a b Pak, Igor (20 de abril de 2010), «Theorems 21.22–21.24, p. 203», Lectures on Discrete and Polyhedral Geometry.
Enlaces externos
[editar]- Weisstein, Eric W. «Tennis Ball Theorem». En Weisstein, Eric W, ed. MathWorld (en inglés). Wolfram Research.