Osgood Kurve - Osgood curve

Fraktale Konstruktion einer Osgood-Kurve durch rekursives Entfernen von Keilen aus Dreiecken. Wenn sich die Keile verengen, nimmt der Anteil der entfernten Fläche exponentiell ab, so dass die in der endgültigen Kurve verbleibende Fläche ungleich Null ist.

In der Mathematik ist eine Osgood-Kurve eine sich nicht selbst schneidende Kurve (entweder eine Jordan-Kurve oder ein Jordan-Bogen ) mit positivem Bereich . Formal sind dies Kurven in der euklidischen Ebene mit positivem zweidimensionalem Lebesgue-Maß .

Geschichte

Die ersten Beispiele für Osgood-Kurven wurden von William Fogg Osgood  ( 1903 ) und Henri Lebesgue  ( 1903 ) gefunden. Beide Beispiele haben eine positive Fläche in Teilen der Kurve, aber eine Nullfläche in anderen Teilen; Dieser Fehler wurde von Knopp (1917) korrigiert , der auf der Grundlage einer früheren Konstruktion von Wacław Sierpiński eine Kurve fand, die in jeder Nachbarschaft jedes Punktes eine positive Fläche aufweist . Knopps Beispiel hat den zusätzlichen Vorteil, dass seine Fläche so gesteuert werden kann, dass sie ein beliebiger Bruchteil der Fläche seiner konvexen Hülle ist .

Fraktale Konstruktion

Obwohl die meisten raumfüllenden Kurven keine Osgood-Kurven sind (sie haben eine positive Fläche, enthalten jedoch häufig unendlich viele Selbstschnittpunkte, da es sich nicht um Jordan-Kurven handelt), ist es möglich, die rekursive Konstruktion von raumfüllenden Kurven oder anderen fraktalen Kurven zu modifizieren , um eine zu erhalten Osgood Kurve. Zum Beispiel beinhaltet Knopps Konstruktion das rekursive Aufteilen von Dreiecken in Paare kleinerer Dreiecke, die sich an einem gemeinsamen Scheitelpunkt treffen, indem dreieckige Keile entfernt werden. Wenn die entfernten Keile auf jeder Ebene dieser Konstruktion den gleichen Bruchteil der Fläche ihrer Dreiecke bedecken, entsteht ein Cesàro-Fraktal wie die Koch-Schneeflocke. Wenn jedoch Keile entfernt werden , deren Flächen schneller schrumpfen, entsteht eine Osgood-Kurve.

Denjoy-Riesz-Bau

Eine andere Möglichkeit, eine Osgood-Kurve zu konstruieren, besteht darin, eine zweidimensionale Version der Smith-Volterra-Cantor-Menge zu bilden , eine vollständig getrennte Punktmenge mit einer Fläche ungleich Null, und dann den Denjoy-Riesz-Satz anzuwenden, nach dem jeder begrenzt und vollständig ist Die getrennte Teilmenge der Ebene ist eine Teilmenge einer Jordan-Kurve.

Anmerkungen

Verweise

  • Balcerzak, M.; Kharazishvili, A. (1999), "Über unzählige Gewerkschaften und Schnittpunkte messbarer Mengen", Georgian Mathematical Journal , 6 (3): 201–212, doi : 10.1023 / A: 1022102312024 , MR  1679442.
  • Knopp, K. (1917), "Einheitliche Beziehungen und Darstellung der Kurven von Peano, Osgood und von Koch", Archiv der Mathematik und Physik , 26 : 103–115.
  • Lance, Timothy; Thomas, Edward (1991), "Bögen mit positivem Maß und raumfüllender Kurve", American Mathematical Monthly , 98 (2): 124–127, doi : 10.2307 / 2323941 , JSTOR  2323941 , MR  1089456.
  • Lebesgue, H. (1903), "Sur le problème des aires" , Bulletin de la Société Mathématique de France (auf Französisch), 31 : 197–203, doi : 10.24033 / bsmf.694
  • Osgood, William F. (1903), "A Jordan Curve of Positive Area", Transaktionen der American Mathematical Society , 4 (1): 107–112, doi : 10.1090 / S0002-9947-1903-1500628-5 , ISSN  0002 -9947 , JFM  34.0533.02 , JSTOR  1986455 , MR  1500628.
  • Radó, Tibor (1948), Länge und Fläche , American Mathematical Society Colloquium Publications, vol. 30, American Mathematical Society, New York, p. 157, ISBN 9780821846216, MR  0024511.
  • Sagan, Hans (1993), "Eine Geometrisierung der raumfüllenden Kurve von Lebesgue", The Mathematical Intelligencer , 15 (4): 37–43, doi : 10.1007 / BF03024322 , MR  1240667 , Zbl  0795.54022.
  • Sagan, Hans (1994), Raumfüllende Kurven , Universitext, New York: Springer-Verlag, doi : 10.1007 / 978-1-4612-0871-6 , ISBN 0-387-94265-3, MR  1299533.

Externe Links