Кривая Осгуда

В математике кривая Осгуда — это самонепересекающаяся кривая (кривая или дуга Жордана) с положительной площадью[2]. Более формально, это кривые на евклидовой плоскости с положительной двумерной мерой Лебега.

Кривая Осгуда[1]
Фрактальное построение кривой Кноппа путём рекурсивного удаления клиньев из треугольников. Так как клинья узкие, доля удаляемой площади уменьшается экспоненциально, поэтому площадь остающейся кривой ненулевая, и она относится к кривой Осгуда.

Истории

Первые примеры таких кривых были найдены Вильямом Фогом Осгудом[3] и Лебегом[4]. Оба примера имеют положительную площадь в некоторых частях кривых, но нулевую площадь в других частях. Этот недостаток была исправлен Кноппом[5], который нашёл кривую, имеющую положительную площадь вблизи каждой её точки, основываясь на более ранних построениях Вацлава Серпинского. Пример Кноппа имеет дополнительные преимущества в том, что при построении площадь может составлять любую часть площади выпуклой оболочки [6].

Фрактальное построение

Хотя большинство заполняющих пространство кривых не являются кривыми Осгуда (они имеют положительную площадь, но, зачастую, бесконечное число раз пересекают себя, что нарушает определение кривой Жордана), можно модифицировать рекурсивное построение заполняющих пространство кривых или фрактальных кривых, чтобы получить кривую Осгуда[7].

Первоначально Осгуд в своей публикации 1903 года рассмотрел кривую, заполняющую квадрат [8]. Именно эта ломаная получила его имя[1]. Позже это название было обобщено и на другие фигуры. Например, построение Кноппа использует рекурсивное разделение треугольников на пары меньших треугольников, имеющих общую вершину, путём удаления клиньев. Если удаляемые клинья на каждом уровне построения составляют не меняющуюся (дробную) часть площади треугольников, в результате получим фрактал Чезаро, подобный кривой Коха, но при удалении клиньев, площади которых уменьшаются быстрее, получаем кривую Осгуда [6].

Построение Данжуа — Риса

Другой путь построения кривой Осгуда — это использование двумерной версии множества Смита — Волтерра — Кантора, полностью разъединённого множества точек с ненулевой площадью, к которой применяется теорема Данжуа — Риса, согласно которой любое ограниченное и вполне несвязное подмножество плоскости является подмножеством жордановой кривой[9].

См. также

Примечания
  1. Слюсар, В. Фрактальные антенны. Принципиально новый тип «ломаных» антенн. Часть 2.. Электроника: наука, технология, бизнес. — 2007. — № 6. С. 86 - 87. (2007).
  2. Radó (1948).
  3. Osgood, 1903.
  4. Lebesgue, 1903.
  5. Knopp, 1917.
  6. Knopp, 1917; Sagan, 1994, Секция 8.3, Кривые Осгуда Серпинского и кноппа, pp. 136–140.
  7. Knopp, 1917; Lance, Thomas, 1991; Sagan, 1993).
  8. William F. Osgood. A Jordan Curve of Positive Area // Transactions of the American Mathematical Society. — 1903. — Т. 4. — С. 107–112. — ISSN 0002-9947. — doi:10.1090/S0002-9947-1903-1500628-5. — .
  9. Balcerzak, Kharazishvili, 1999.

Литература

Ссылки
  • Robert Dickau. Knopp's Osgood Curve Construction. — Wolfram Demonstrations Project, 2013.
This article is issued from Wikipedia. The text is licensed under Creative Commons - Attribution - Sharealike. Additional terms may apply for the media files.