Теорема об опорной гиперплоскости

Теорема об опорной гиперплоскости или теорема о разделяющей гиперплоскости является одним из важных «свойств» выпуклых множеств.

Источник: Википедия

Связанные понятия

Основное свойство проективной плоскости — «симметрия» ролей, которые играют точки и прямые в определениях и теоремах, и двойственность является формализацией этой концепции. Имеются два подхода к этой двойственности: один, использующий язык (см. «принцип двойственности» ниже), и другой, более функциональный подход. Они полностью эквивалентны и оба служат исходной точкой для аксиоматических версий геометрии. В функциональном подходе имеется соответствие между геометриями, которое называется двойственностью...

Подробнее: Двойственное преобразование

Двойственная кривая (или дуальная кривая) к заданной кривой на проективной плоскости — это кривая на двойственной проективной плоскости, состоящая из касательных к заданной гладкой кривой. В этом случае кривые называются взаимно двойственными (дуальными). Понятие может быть обобщено для негладких кривых и на многомерное пространство.

Отношение инцидентности — это бинарное отношение между двумя различными типами объектов. Это включает понятия, которые можно выразить такими фразами как «точка лежит на прямой» или «прямая принадлежит плоскости». Наиболее существенное отношение инцидентности — между точкой P и прямой l, которое записывается как P I l. Если P I l, пара (P, l) называется флагом. В разговорном языке существует много выражений, описывающих отношение инцидентности (например, прямая проходит через точку, точка лежит на...

Подробнее: Инцидентность (геометрия)

Выпуклый конус в линейной алгебре — подмножество векторного пространства над упорядоченным полем, которое замкнуто относительно линейных комбинаций с положительными коэффициентами.

Плоскость Фано — конечная проективная плоскость порядка 2, имеющая наименьшее возможное число точек и прямых (7 точек и 7 прямых), с тремя точками на каждой прямой и с тремя прямыми, проходящими через каждую точку. Названа по имени итальянского математика Джино Фано.

k-Смежностный многогранник — это выпуклый многогранник, в котором любое k-элементное подмножество его вершин является множеством вершин некоторой грани этого многогранника.

Конечная геометрия — это любая геометрическая система, имеющая конечное количество точек. Например, евклидова геометрия не является конечной, так как евклидова прямая содержит неограниченное число точек, а точнее говоря, содержит ровно столько точек, сколько существует вещественных чисел. Конечная геометрия может иметь любое конечное число измерений.

В планиметрии изотоми́ческим сопряже́нием называется одно из преобразований плоскости, порождаемое заданным на плоскости треугольником ABC.

Подробнее: Изотомическое сопряжение

Пло́скость — одно из основных понятий геометрии. При систематическом изложении геометрии понятие плоскости обычно принимается за одно из исходных понятий, которое лишь косвенным образом определяется аксиомами геометрии.

Геометрия инцидентности — раздел классической геометрии, изучающий структуры инцидентности.

Несобственная точка, идеальная точка, омега-точка или бесконечно удалённая точка — это вполне определенная точка вне гиперболической плоскости или пространства.

Точка округления (круговая точка, омбилическая точка или омбилика) ― точка на гладкой регулярной поверхности в евклидовом пространстве, в которой нормальные кривизны по всем направлениям равны.

Си́мплекс или n-мерный тетра́эдр (от лат. simplex ‘простой’) — геометрическая фигура, являющаяся n-мерным обобщением треугольника.

Расстояние от точки до прямой на плоскости — это кратчайшее расстояние от точки до прямой в евклидовой геометрии. Расстояние равно длине отрезка, который соединяет точку с прямой и перпендикулярен прямой. Формула вычисления расстояния может быть получена и выражена несколькими способами.

Вычислительная геометрия — раздел информатики, в котором рассматриваются алгоритмы для решения геометрических задач.

Проективная пло́скость — двумерное проективное пространство. Важным частным случаем является вещественная проективная плоскость.

В евклидовой геометрии пересечение двух прямых может быть пустым множеством, точкой или прямой. Различение этих случаев и поиск точки пересечения используется, например, в компьютерной графике, при планировании движения и для обнаружения столкновений.

В математике перестановочный многогранник порядка n — это (n − 1)-мерный выпуклый многогранник, вложенный в n-мерное евклидово пространство, который является выпуклой оболочкой всех n! точек, получающихся перестановками координат вектора (1, 2, 3, …, n).

Касательное пространство Зарисского — конструкция в алгебраической геометрии, позволяющая построить касательное пространство в точке алгебраического многообразия. Эта конструкция использует не методы дифференциальной геометрии, а только методы общей, и, в более конкретных ситуациях, линейной алгебры.

Конфигурация прямых (или разбиение плоскости прямыми) — это разбиение плоскости, образованное набором прямых.

В гиперболической геометрии гиперболический треугольник является треугольником на гиперболической плоскости. Он состоит из трёх отрезков, называемых сторонами или рёбрами, и трёх точек, называемых углами или вершинами.

Изогона́льное сопряже́ние — геометрическое преобразование, получаемое отражением прямых, соединяющих исходные точки с вершинами заданного треугольника относительно биссектрис углов треугольника.

Комбинаторика многогранников — это область математики, принадлежащая комбинаторике и комбинаторной геометрии и изучающая вопросы подсчёта и описания граней выпуклых многогранников.

Теорема о четырёх вершинах утверждает, что функция кривизны простой замкнутой гладкой плоской кривой имеет по меньшей мере четыре локальных экстремума (в частности, по меньшей мере два локальных максимума и по меньшей мере два локальных минимума). Название теоремы отражает соглашение называть экстремальные точки функции кривизны вершинами.

Выпуклое множество в аффинном или векторном пространстве — множество, в котором все точки отрезка, образуемого любыми двумя точками данного множества, также принадлежат данному множеству.

Крива́я или ли́ния — геометрическое понятие, определяемое в разных разделах математики различно.

Асимпто́та или аси́мптота (от др.-греч. ἀσύμπτωτος — несовпадающий, не касающийся кривой с бесконечной ветвью) — прямая, обладающая тем свойством, что расстояние от точки кривой до этой прямой стремится к нулю при удалении точки вдоль ветви в бесконечность. Термин впервые появился у Аполлония Пергского, хотя асимптоты гиперболы исследовал ещё Архимед.

В геометрии циссоида — это кривая, созданная из двух заданных кривых C1, C2 относительно точки O (полюса). Пусть L — прямая, проходящая через O и пересекающая C1 в точке P1, а C2 — в точке P2. Пусть P — точка на L такая, что OP = P1P2 (на самом деле имеются две таких точки, но P выбирается так, что P находится в том же направлении от O, что и P2 от P1). Множество таких точек P называется циссоидой кривых C1, C2 относительно O.

Теорема Кейси или Кэзи — теорема в евклидовой геометрии, обобщающая неравенство Птолемея. Названа по имени ирландского математика Джона Кейси.

Инверсия кривой — результат применения операции инверсии к заданной кривой C. По отношению к фиксированной окружности с центром O и радиусом k инверсия точки Q — это точка P, лежащая на луче OQ, и OP•OQ = k2. Инверсия кривой C — это множество всех точек P, являющихся инверсиями точек Q, принадлежащих кривой C. Точка O в этом построении называется центром инверсии, окружность называется окружностью инверсии, а k — радиусом инверсии.

Выпуклая кривая — кривая на евклидовой плоскости, которая лежит по одну сторону от любой касательной прямой.

Проективное преобразование проективной плоскости — это преобразование, переводящее прямые в прямые.

Дифференциальная геометрия кривых — раздел дифференциальной геометрии, который занимается исследованием гладких пространственных и плоских кривых в евклидовом пространстве аналитическими методами.

Касательный вектор — элемент касательного пространства, например элемент касательной прямой к кривой, касательной плоскости к поверхности так далее.

Каса́тельная пряма́я — прямая, проходящая через точку кривой и совпадающая с ней в этой точке с точностью до первого порядка.

Изоли́рованная то́чка в общей топологии — это такая точка множества, что пересечение некоторой её окрестности с множеством состоит только из этой точки.

В математике и физике барице́нтр, или геометри́ческий центр, двумерной области — это среднее арифметическое положений всех точек фигуры. Определение распространяется на любой объект в n-мерном пространстве — барицентр является средним положением всех точек фигуры по всем координатным направлениям. Неформально — это точка равновесия фигуры, вырезанной из картона в предположении, что картон имеет постоянную плотность и гравитационное поле постоянно по величине и направлению.

Подробнее: Барицентр

Комплексный многогранник — это обобщение многогранника в вещественном пространстве на аналогичную структуру в комплексном гильбертовом пространстве, где к каждой вещественной размерности добавляется мнимая.

В геометрии конциклическими (или гомоциклическими) точками называют точки, находящиеся на одной окружности. Три точки на плоскости, не лежащие на одной прямой, всегда лежат на одной окружности, поэтому иногда термин «конциклические» прилагают только к наборам из 4 или более точек.

Подробнее: Конциклические точки

Теорема об упаковке кругов (известная также как теорема Кёбе — Андреева — Тёрстона) описывает возможные варианты касания окружностей, не имеющих общих внутренних точек. Граф пересечений (иногда называемый графом касаний) упаковки кругов — это граф, вершины которого соответствуют кругам, а рёбра — точкам касания. Если упаковка кругов осуществляется на плоскости (или, что эквивалентно, на сфере), то их граф пересечений называется графом монет. Графы монет всегда связны, просты и планарны. Теорема упаковки...

Гиперокта́эдр — геометрическая фигура в n-мерном евклидовом пространстве: правильный политоп, двойственный n-мерному гиперкубу. Другие названия: кокуб, ортоплекс, кросс-политоп.

Касательная прямая к окружности в евклидовой геометрии на плоскости — прямая, которая имеет с окружностью ровно одну общую точку. Также можно определить касательную как предельное положение секущей, когда точки пересечения её с окружностью бесконечно сближаются. Касательные прямые к окружностям служат предметом рассмотрения ряда теорем и играют важную роль во многих геометрических построениях и доказательствах.

Построение выпуклой оболочки методом «разделяй и властвуй» — алгоритм построения выпуклой оболочки.

Подробнее: Алгоритм Киркпатрика

Инве́рсия (от лат. inversio «обращение») относительно окружности — преобразование евклидовой плоскости, переводящее обобщённые окружности (окружности либо прямые) в обобщённые окружности, при котором одна из окружностей поточечно переводится в себя.

Кривизна́ — собирательное название ряда характеристик (скалярных, векторных, тензорных), описывающих отклонение того или иного геометрического «объекта» (кривой, поверхности, риманова пространства и т. д.) от соответствующих «плоских» объектов (прямая, плоскость, евклидово пространство и т. д.).

Обобщённый многоугольник — это структура инцидентности, предложенная Жаком Титсом в 1959 году. Обобщённые n-угольники вмещают в качестве частных случаев проективные плоскости (обобщённые треугольники, n=3) и обобщённые четырёхугольники (n=4). Многие обобщённые многоугольники получаются из групп типа Ли, но существуют некоторые экзотические обобщённые многоугольники, которые таким способом не получаются. Обобщённые многоугольники, удовлетворяющие условию, известному как свойство Муфанга, полностью...

Теорема Лестера — утверждение в геометрии треугольника, согласно которому в любом разностороннем треугольнике две точки Ферма, центр девяти точек и центр описанной окружности лежат на одной окружности (окружности Лестера). Названа именем канадского математика Джун Лестер (June Lester).

Гипотеза Тёплица, также известная как гипотеза о вписанном квадрате — нерешённая проблема геометрии. Формулировка гипотезы...

Декера́кт — десятимерный гиперкуб, аналог куба в десятимерном пространстве. Определяется как выпуклая оболочка 1024 точек. Он может быть назван по символу Шлефли {4,38}, будучи составленным из 3 9-кубов вокруг каждой 8-грани. Слово «декеракт» — портманто из слов «тессеракт» и греч. δεκα — десять измерений. Также он может быть назван как икосаксеннон или икоса-10-топ от греч. εικοσα — двадцать и топ — 10-политоп. Политоп, двойственный к 10-кубу, называется 10-ортоплекс (или 10-гипероктаэдр).

Седловая точка в математическом анализе — такая точка из области определения функции, которая является стационарной для данной функции, однако не является её локальным экстремумом. В такой точке, если рассматривается функция двух переменных, образованная графиком функции поверхность обычно напоминает по форме седло или горный перевал — выпуклая в одном направлении и вогнутая в другом. На карте высот седловая точка может быть в общем случае обнаружена в месте пересечения изолиний. Например, два холма...

а б в г д е ё ж з и й к л м н о п р с т у ф х ц ч ш щ э ю я