Curva de Osgood

una curva de área positiva que no se interseca automáticamente

En matemáticas, una curva de Osgood es una curva que no se interseca automáticamente (ya sea una curva de Jordan o un arco Jordan) de área positiva.[1][2]​ Más formalmente, estas son curvas en el plano euclidiano con medida de Lebesgue bidimensional positiva.

Construcción fractal de una curva de Osgood mediante la eliminación recursiva de cuñas de triángulos. A medida que las cuñas se estrechan, la fracción de área eliminada disminuye exponencialmente, por lo que el área que queda en la curva final es diferente de cero.

Historia

editar

Los primeros ejemplos de curvas de Osgood fueron encontrados por William Fogg Osgood (1903) y Henri Lebesgue (1903). Ambos ejemplos tienen área positiva en partes de la curva, pero área cero en otras partes; esta falla fue corregida por Knopp (1917), quien encontró una curva que tiene área positiva en cada vecindario de cada uno de sus puntos, basándose en una construcción anterior de Wacław Sierpiński. El ejemplo de Knopp tiene la ventaja adicional de que su área puede controlarse para que sea cualquier fracción deseada del área de su casco convexo.[3][4][5]

Construcción fractal

editar

Aunque la mayoría de las curvas de relleno de espacio no son curvas de Osgood (tienen un área positiva pero a menudo incluyen infinitas auto-intersecciones, en caso de que no sean curvas de Jordan), es posible modificar la construcción recursiva de las curvas de relleno de espacio u otras curvas fractales para obtener una Curva de Osgood.[6][7]​ Por ejemplo, la construcción de Knopp implica dividir de forma recursiva triángulos en pares de triángulos más pequeños, que se encuentran en un vértice compartido, eliminando las cuñas triangulares. Cuando las cuñas eliminadas en cada nivel de esta construcción cubren la misma fracción del área de sus triángulos, el resultado es un fractal de Cesàro como el copo de nieve de Koch, pero al eliminar las cuñas cuyas áreas se encogen más rápidamente se produce una curva de Osgood.[3]

Construcción Denjoy – Riesz

editar

Otra forma de construir una curva de Osgood es formar una versión bidimensional del conjunto de Smith-Volterra-Cantor, un conjunto de puntos totalmente desconectado con un área distinta de cero, y luego aplicar el teorema de Denjoy-Riesz según el cual cada conjunto acotado y totalmente El subconjunto desconectado del plano es un subconjunto de una curva de Jordan.[8]

Referencias

editar
  1. Radó, Tibor, 1895-1965. (1948). Length and area.. American Mathematical Society. p. 157. ISBN 978-1-4704-3177-8. OCLC 609526345. 
  2. Osgood, William F. (1903). «A Jordan curve of positive area». Transactions of the American Mathematical Society (en inglés) 4 (1): 107-112. ISSN 0002-9947. doi:10.1090/S0002-9947-1903-1500628-5. 
  3. a b Knopp (1917);Sagan (1994), Section 8.3, The Osgood Curves of Sierpínski and Knopp, pp. 136–140.
  4. Knopp, K. (1917). «Einheitliche Erzeugung und Darstellung der Kurven von Peano, Osgood und von Koch». Arch. Math. Phys. 26: 103-115. 
  5. Sagan, Hans (1994). «Space-Filling Curves». Universitext (en inglés británico). ISSN 0172-5939. doi:10.1007/978-1-4612-0871-6. 
  6. Lance, Timothy; Thomas, Edward (1991-02). «Arcs with Positive Measure and a Space-Filling Curve». The American Mathematical Monthly 98 (2): 124. doi:10.2307/2323941. 
  7. Sagan, Hans (1 de septiembre de 1993). «A geometrization of Lebesgue’s space-filling curve». The Mathematical Intelligencer (en inglés) 15 (4): 37-43. ISSN 0343-6993. doi:10.1007/BF03024322. 
  8. Balcerzak, M.; Kharazishvili, A. (1999). «On uncountable unions and intersections of measurable sets». Georgian Mathematical Journal 6 (3): 201-212. ISSN 1072-947X. doi:10.1023/a:1022102312024. Consultado el 3 de septiembre de 2020. 

Enlaces externos

editar