Выпуклая кривая
![](http://upload.wikimedia.org/wikipedia/commons/thumb/6/6b/Convex_polygon_illustration1.svg/220px-Convex_polygon_illustration1.svg.png)
Выпуклая кривая — кривая на евклидовой плоскости, которая лежит по одну сторону от любой касательной прямой.
Граница ограниченного выпуклого множества всегда является выпуклой кривой.
Определения
[править | править код]Определение с помощью опорных прямых
[править | править код]Любая прямая делит евклидову плоскость на две полуплоскости, в объединении дающие всю плоскость, а пересечение которых совпадает с , кривая «лежит по одну сторону от », если она полностью содержится в одной из этих полуплоскостей. Плоская кривая называется выпуклой, если она лежит по одну сторону от любой её касательной прямой[1]. Другими словами, выпуклая кривая является кривой, которая имеет опорную прямую в каждой точке кривой.
Определение с помощью выпуклых множеств
[править | править код]Выпуклую кривую можно определить как границу выпуклого множества евклидовой плоскости. Это означает, что выпуклая кривая всегда замкнута (то есть не имеет конечных точек)[2].
Иногда используется более слабое определение, в котором выпуклая кривая является подмножеством границы выпуклого множества. В этом варианте выпуклая кривая может иметь конечные точки.
Строго выпуклая кривая
[править | править код]Строго выпуклая кривая — выпуклая кривая, не содержащая отрезков. Эквивалентно, строго выпуклая кривая — это кривая, которая пересекает любую прямую максимум в двух точках[3][4], или простая замкнутая кривая в выпуклой позиции[англ.], что означает, что никакая точка кривой не может быть представлена в виде выпуклой комбинации любого другого подмножества её точек.
Свойства
[править | править код]Любая выпуклая кривая имеет хорошо определённую конечную длину. Таким образом, выпуклая кривая является подмножеством спрямляемых кривых[2].
Согласно теореме о четырёх вершинах любая кривая имеет по меньшей мере четыре вершины, точки, в которых достигается локальный минимум или максимум кривизны[4][5].
Параллельные касательные
[править | править код]Замкнутая кривая является выпуклой в том и только в том случае, когда не существует трёх различных точек на кривой , таких, что касательные в этих точках параллельны.
Монотонность угла наклона
[править | править код]Кривая называется простой, если она не пересекает себя. Замкнутая регулярная плоская простая кривая выпукла тогда и только тогда, когда её кривизна либо всегда положительна, либо всегда отрицательна. То есть, её угол наклона (угол касательной к кривой по отношению к оси) является слабо монотонной функцией параметризации кривой[1].
Связанные фигуры
[править | править код]Гладкие выпуклые кривые с осевой симметрией иногда называют овалами[6]. Однако в конечной проективной геометрии овалы[англ.] определяются как множества, в которых любая точка имеет единственную касательную, что в евклидовой геометрии верно в случае гладких строго выпуклых замкнутых кривых.
См. также
[править | править код]Примечания
[править | править код]- ↑ 1 2 A. Gray. Modern Differential Geometry of Curves and Surfaces. — 2nd. — New-York: CRC Press, 1997. — С. 163-165. — ISBN 0849371643.
- ↑ 1 2 В. А. Топоногов. Дифференциальная геометрия кривых и поверхностей: учебное пособие для вузов. — М.: Физматкнига, 2012. — ISBN 978-5-89155-213-5.
- ↑ J. Dieudonne. Treatise on Analysis. — New York: Academic Press, 1988. — Т. IV. — (Pure and applied mathematics). — ISBN 0-12-215504-1(v.4).
- ↑ 1 2 Christian Bär. Elementary Differential Geometry. — Cambridge University Press, 2010. — С. 49. — ISBN 9780521896719.
- ↑ D. DeTruck, H. Gluck, D. Pomerleano, D.S. Vick. The four vertex theorem and its converse // Notices of the American Mathematical Society. — 2007. — Т. 54, вып. 2. — С. 9268. — . — arXiv:math/0609268.
- ↑ Steven Schwartzman. The Words of Mathematics: An Etymological Dictionary of Mathematical Terms Used in English. — Mathematical Association of America, 1994. — С. 156. — (MAA Spectrum). — ISBN 9780883855119.
Для улучшения этой статьи желательно:
|