В геометрии выпуклая кривая — это плоская кривая , каждая точка которой проходит через опорную линию . Существует множество других эквивалентных определений этих кривых, восходящих к Архимеду . Примеры выпуклых кривых включают выпуклые многоугольники , границы выпуклых множеств и графики выпуклых функций . Важные подклассы выпуклых кривых включают замкнутые выпуклые кривые (границы ограниченных выпуклых множеств), выпуклые гладкие кривые и строго выпуклые кривые, которые обладают дополнительным свойством: каждая опорная линия проходит через уникальную точку кривой.
Ограниченные выпуклые кривые имеют вполне определенную длину, которую можно получить путем аппроксимации их многоугольниками или из средней длины их проекций на прямую. Максимальное количество точек сетки, которые могут принадлежать одной кривой, определяется ее длиной. Точки, в которых выпуклая кривая имеет единственную опорную линию , плотны внутри кривой, а расстояние этих линий от начала координат определяет непрерывную опорную функцию . Гладкая простая замкнутая кривая является выпуклой тогда и только тогда, когда ее кривизна имеет постоянный знак, что происходит тогда и только тогда, когда ее полная кривизна равна ее полной абсолютной кривизне .
Архимед в своей книге « О сфере и цилиндре» определяет выпуклые дуги как плоские кривые, которые лежат на одной стороне линии, проходящей через две их конечные точки, и у которых все хорды касаются одной и той же стороны кривой. [1] Возможно, это было первое формальное определение любого понятия выпуклости, хотя выпуклые многоугольники и выпуклые многогранники были известны уже задолго до Архимеда. [2] В течение следующих двух тысячелетий выпуклость мало изучалась: [2] ее углубленное исследование началось снова только в 19 веке, [3] когда Огюстен-Луи Коши и другие начали использовать математический анализ вместо алгебраических методов. поставить исчисление на более строгую основу. [1] [2]
Возможны многие другие эквивалентные определения выпуклых кривых, как подробно описано ниже. Выпуклые кривые также определяются их опорными линиями, множествами, границы которых они образуют, и их пересечениями с линиями. Чтобы отличить замкнутые выпуклые кривые от незамкнутых кривых, замкнутые выпуклые кривые иногда также называют выпуклыми петлями , а незамкнутые выпуклые кривые также называют выпуклыми дугами . [4]
Плоская кривая — это образ любой непрерывной функции от отрезка до евклидовой плоскости . Интуитивно это набор точек, которые можно отслеживать с помощью движущейся точки. Более конкретно, гладкие кривые обычно требуют, по крайней мере, чтобы функция от интервала до плоскости была непрерывно дифференцируемой , а в некоторых контекстах определяется, что требуются более высокие производные. Функция, параметризующая гладкую кривую, часто считается регулярной , что означает, что ее производная не близка к нулю; интуитивно понятно, что движущаяся точка никогда не замедляется и не меняет направление. Каждая внутренняя точка гладкой кривой имеет касательную . Если, кроме того, вторая производная существует всюду, то каждая из этих точек имеет вполне определенную кривизну . [5]
Плоская кривая является замкнутой, если две конечные точки отрезка отображаются в одну и ту же точку плоскости, и она является простой , если никакие другие две точки не совпадают. [5] Реже простую плоскую кривую можно назвать открытой , если она топологически эквивалентна линии, не имеет конечной точки и не образует какой-либо предельной точки, которая ей не принадлежит, и разделяет плоскость на две неограниченные области. [6] Однако эта терминология неоднозначна, поскольку в других источниках кривая с двумя различными конечными точками называется разомкнутой кривой. [7] Здесь мы используем топологическое значение разомкнутой кривой.
Опорной линией называется линия, содержащая хотя бы одну точку кривой, для которой кривая содержится в одной из двух полуплоскостей, ограниченных этой линией. Плоская кривая называется выпуклой , если через каждую ее точку проходит опорная линия. [8] [9] Например, график выпуклой функции имеет опорную линию под графиком, проходящую через каждую из его точек. Более строго: в точках, где функция имеет производную, имеется ровно одна опорная линия — касательная . [10]
Опорные линии и касательные — это не одно и то же, [11] , но для выпуклых кривых каждая касательная линия является опорной. [8] В точке кривой, где существует касательная линия, может быть только одна опорная линия — касательная линия. [12] Следовательно, гладкая кривая является выпуклой, если она лежит по одну сторону каждой из ее касательных линий. Это можно использовать как эквивалентное определение выпуклости для гладких кривых или, в более общем плане, для кусочно- гладких кривых. [13] [а]
Выпуклую кривую можно альтернативно определить как связное подмножество границы выпуклого множества на евклидовой плоскости . [8] [9] Не каждое выпуклое множество имеет связную границу, [b] но когда она есть, вся граница является примером выпуклой кривой. Когда ограниченное выпуклое множество на плоскости не является отрезком, его граница образует простую замкнутую выпуклую кривую. [16] Согласно теореме Жордана о кривой , простая замкнутая кривая делит плоскость на внутреннюю и внешнюю области, а другое эквивалентное определение замкнутой выпуклой кривой состоит в том, что это простая замкнутая кривая, объединение которой с ее внутренней частью представляет собой выпуклое множество. [9] [17] Примеры открытых и неограниченных выпуклых кривых включают графики выпуклых функций. Опять же, это границы выпуклых множеств, надграфики тех же функций. [18]
Это определение эквивалентно определению выпуклых кривых от опорных линий. Каждая выпуклая кривая, определяемая как кривая с опорной линией, проходящей через каждую точку, является подмножеством границы своей собственной выпуклой оболочки . Каждое связное подмножество границы выпуклого множества имеет опорную линию, проходящую через каждую из его точек. [8] [9] [19]
Для выпуклой кривой каждая линия на плоскости пересекает кривую одним из четырех способов: ее пересечением может быть пустое множество, одна точка, пара точек или интервал. В тех случаях, когда замкнутая кривая пересекается в одной точке или на интервале, линия является опорной. Это можно использовать как альтернативное определение выпуклых кривых: это жордановые кривые (связные простые кривые), для которых каждое пересечение с прямой имеет один из этих четырех типов. Это определение можно использовать для обобщения выпуклых кривых евклидовой плоскости на некоторые другие линейные пространства, такие как вещественная проективная плоскость . В этих пространствах, как и в евклидовой плоскости, любая кривая, имеющая только эти ограниченные пересечения линий, имеет опорную линию для каждой точки. [20]
Строго выпуклые кривые снова имеют множество эквивалентных определений. Это выпуклые кривые, не содержащие отрезков . [21] Это кривые, для которых каждое пересечение кривой с прямой состоит не более чем из двух точек. [20] Это кривые, которые могут быть сформированы как связное подмножество границы строго выпуклого множества . [22] Здесь множество является строго выпуклым, если каждая точка его границы является крайней точкой множества, единственным максимизатором некоторой линейной функции. [23] Как границы строго выпуклых множеств, это кривые, которые лежат в выпуклом положении , а это означает, что ни одна из их точек не может быть выпуклой комбинацией любого другого подмножества своих точек. [24]
Замкнутые строго выпуклые кривые можно определить как простые замкнутые кривые, локально эквивалентные (при соответствующем преобразовании координат) графикам строго выпуклых функций. Это означает, что в каждой точке кривой существует такая окрестность точек и система декартовых координат внутри этой окрестности, что внутри этой окрестности кривая совпадает с графиком строго выпуклой функции. [25] [с]
Гладкие замкнутые выпуклые кривые с осью симметрии , такие как эллипс или яйцо Мосса , иногда можно назвать овалами . [28] Однако то же слово также использовалось для описания множеств, в которых каждая точка имеет уникальную линию, не пересекающуюся с остальной частью набора, особенно в контексте овалов в конечной проективной геометрии . В евклидовой геометрии это гладкие строго выпуклые замкнутые кривые, без каких-либо требований симметрии. [20]
Каждая ограниченная выпуклая кривая является спрямляемой кривой , что означает, что она имеет четко определенную конечную длину дуги и может быть аппроксимирована по длине последовательностью вписанных ломаных цепей . Для замкнутых выпуклых кривых длина может быть задана по формуле Крофтона , умноженной на среднюю длину ее проекций на линии. [8] Также возможно аппроксимировать площадь выпуклой оболочки выпуклой кривой последовательностью вписанных выпуклых многоугольников . Для любого целого числа наиболее точный аппроксимирующий -угольник обладает тем свойством, что каждая вершина имеет опорную линию, параллельную линии, проходящей через две соседние вершины. [29] Как уже знал Архимед, если две выпуклые кривые имеют один и тот же конец, и одна из двух кривых лежит между другой и линией, проходящей через их концы, то внутренняя кривая короче внешней. [2]
Согласно теореме Ньютона об овалах , площадь, отрезанная линией от бесконечно дифференцируемой выпуклой кривой, не может быть алгебраической функцией коэффициентов прямой. [30]
Строго выпуклая кривая не может проходить через многие точки целочисленной решетки . Если кривая имеет длину , то согласно теореме Войтеха Ярника число точек решетки, через которые она может пройти, не превышает. Поскольку в этой оценке используется обозначение большого О , она точна только в предельном случае больших длин. Ни ведущую константу, ни показатель степени ошибки нельзя улучшить. [31]
Выпуклая кривая может иметь не более счетного множества особых точек , причем она имеет более одной опорной линии. Все остальные точки должны быть неособыми, а единственная опорная линия в этих точках обязательно является касательной. Это означает, что неособые точки образуют на кривой плотное множество . [10] [32] Также возможно построить выпуклые кривые, у которых особые точки плотны. [19]
Замкнутая строго выпуклая замкнутая кривая имеет непрерывную опорную функцию , отображающую каждое направление опорных линий на их знаковое расстояние от начала координат. Это пример ежа , типа кривой, определяемой как огибающая системы линий с непрерывной опорной функцией. К ежам относятся и невыпуклые кривые, такие как астроида , и даже самопересекающиеся кривые, но гладкие строго выпуклые кривые — единственные ежи, не имеющие особых точек. [33]
Невозможно, чтобы выпуклая кривая имела три параллельные касательные. Более строго: гладкая замкнутая кривая является выпуклой тогда и только тогда, когда она не имеет трех параллельных касательных линий. В одном направлении середина любых трёх параллельных касательных линий будет разделять точки касания двух других линий, поэтому она не может быть линией поддержки. Через точку касания не может быть другой линии поддержки, поэтому кривая, касающаяся этих трех линий, не может быть выпуклой. В другом направлении невыпуклая гладкая замкнутая кривая имеет хотя бы одну точку без опорной линии. Касательная линия, проходящая через эту точку, и две касательные опорные линии, параллельные ей, образуют набор из трех параллельных касательных линий. [13] [д]
Согласно теореме о четырех вершинах , каждая гладкая замкнутая кривая имеет по крайней мере четыре вершины , точки, которые являются локальными минимумами или локальными максимумами кривизны . [36] Первоначальное доказательство теоремы, проведенное Шьямадасом Мукхопадхьяей в 1909 году, рассматривало только выпуклые кривые; В [37] позднее оно было распространено на все гладкие замкнутые кривые. [36]
Кривизну можно использовать для характеристики гладких замкнутых выпуклых кривых . [13] Кривизна тривиальным образом зависит от параметризации кривой: если регулярная параметризация кривой меняется на обратную, получается тот же набор точек, но его кривизна отменяется . [5] Гладкая простая замкнутая кривая с регулярной параметризацией является выпуклой тогда и только тогда, когда ее кривизна имеет постоянный знак: всегда неотрицательный или всегда неположительный. [13] [e] Всякая гладкая простая замкнутая кривая строго положительной (или строго отрицательной) кривизны строго выпукла, но некоторые строго выпуклые кривые могут иметь точки нулевой кривизны. [39]
Полная абсолютная кривизна гладкой выпуклой кривой не превышает . Именно для замкнутых выпуклых кривых, равных полной кривизне этих кривых, и любой простой замкнутой кривой. Для выпуклых кривых равенство полной абсолютной кривизны и полной кривизны следует из того, что кривизна имеет единый знак. Для замкнутых кривых, которые не являются выпуклыми, общая абсолютная кривизна всегда больше , и ее превышение можно использовать как меру того, насколько далека кривая от выпуклости. В более общем смысле, по теореме Фенхеля , общая абсолютная кривизна замкнутой гладкой пространственной кривой равна не менее , с равенством только для выпуклых плоских кривых. [40] [41]
По теореме Александрова негладкая выпуклая кривая имеет вторую производную, а значит, и вполне определённую кривизну почти всюду . Это означает, что подмножество точек без второй производной имеет нулевую меру на кривой. Однако в других смыслах множество точек со второй производной может быть небольшим. В частности, для графиков негладких выпуклых функций общего положения это скудное множество , т. е. счетное объединение нигде не плотных множеств . [42]
Граница любого выпуклого многоугольника образует выпуклую кривую (т.е. кусочно-линейную кривую , а не строго выпуклую). Многоугольник, вписанный в любую строго выпуклую кривую с упорядоченными вершинами вдоль кривой, должен быть выпуклым многоугольником. [43]
Задача о вписанном квадрате — это задача доказать, что каждая простая замкнутая кривая на плоскости содержит четыре угла квадрата. Хотя в целом она еще не решена, решенные случаи включают выпуклые кривые. [44] В связи с этой проблемой изучались родственные задачи нахождения вписанных четырехугольников для выпуклых кривых. Масштабированную и повернутую копию любого прямоугольника или трапеции можно вписать в любую замкнутую выпуклую кривую. Когда кривая гладкая, в нее можно вписать масштабированную и повернутую копию любого вписанного четырехугольника . Однако для этого результата необходимо предположение о гладкости, поскольку некоторые правые коршуны не могут быть вписаны в некоторые тупоугольные равнобедренные треугольники . [45] [46] Правильные многоугольники с более чем четырьмя сторонами не могут быть вписаны во все замкнутые выпуклые кривые, поскольку кривая, образованная полукругом и ее диаметром, не содержит ни одного из этих многоугольников. [47]