Curva de Osgood
En matemáticas, una curva de Osgood es una curva que no se interseca automáticamente de área positiva. Más formalmente, estas son curvas en el plano euclidiano con medida de Lebesgue bidimensional positiva.
From Wikipedia, the free encyclopedia
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.
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
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]
