Теорема Титце о выпуклом множестве

Теорема Титце о выпуклом множестве даёт условие достаточное для выпуклости множества евклидова пространства.

Названа в честь Генриха Титце.

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

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

Эта страница содержит список правильных многомерных многогранников (политопов) и правильных cоединений этих многогранников в евклидовом, сферическом и гиперболическом пространствах разных размерностей.

В геометрии 4-мерный многогранник — это многогранник в четырёхмерном пространстве. Многогранник является связанной замкнутой фигурой, состоящей из многогранных элементов меньшей размерности — вершин, рёбер, граней (многоугольников) и ячеек (3-мерных многогранников). Каждая грань принадлежит ровно двум ячейкам.

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

Выпуклый многогранник — частный случай многогранника, пересечение конечного числа замкнутых полупространств.

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

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

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

Подробнее: Выпуклый подграф

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

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

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

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

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

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

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

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

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

Подробнее: Список однородных многогранников

В геометрии тороидальный многогранник — это многогранник, который является также тороидом (тор с g дырами), имеющий топологический род, g, равный 1 или выше.

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

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

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

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

Многогранник, двойственный (или дуальный) к заданному многограннику — многогранник, у которого каждой грани исходного многогранника соответствует вершина двойственного, каждой вершине исходного — грань двойственного и каждому ребру исходного — ребро двойственного. Многогранник, двойственный двойственному, гомотетичен исходному.

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

Теорема Буземана о центральных сечениях — теорема выпуклой геометрии о свойствах площадей центральных сечений симметричного выпуклого тела.

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

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

Подробнее: Изогональная фигура

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

Теорема Риба о сфере: Пусть на замкнутом ориентируемом связном многообразии M n существует слоение с особенностями, все особые точки которого изолированы и являются центрами. Тогда M n гомеоморфно сфере Sn, и слоение имеет ровно две особые точки.

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

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

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

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

Тополо́гия Зари́сского, или топология Зариского, — специальная топология, отражающая алгебраическую природу алгебраических многообразий. Названа в честь Оскара Зарисского и, начиная с 1950-х годов, занимает важное место в алгебраической геометрии.

Растяжение правильного многомерного многогранника образует однородный политоп, но операция может быть применена к любому выпуклому политопу, как продемонстрировано для многогранников в статье «Нотация Конвея для многогранников». В случае трёхмерных многогранников растянутый многогранник имеет все грани исходного многогранника, все грани двойственного многогранника и дополнительные квадратные грани на месте исходных рёбер.

Фуксова модель — это представление гиперболической римановой поверхности R как факторповерхности верхней полуплоскости H по фуксовой группе. Любая гиперболическая риманова поверхность позволяет такое представление. Концепция названа именем Лазаря Фукса.

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

Правильные четырёхмерные многогранники являются четырёхмерными аналогами правильных многогранников в трёхмерном пространстве и правильных многоугольников на плоскости.

Подробнее: Правильный четырёхмерный многогранник

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

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

Теорема Картана — Дьёдонне — теорема, названная в честь французских математиков Эли Жозефа Картана и Жана Дьёдонне. Теорема касается структуры автоморфизмов пространства, снабжённого симметричной билинейной формой (например, евклидова пространства).

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

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

Множество Бернштейна — патологический пример подмножества вещественной прямой определённого типа.

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

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

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

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

Теорема о повороте плоской кривой — дифференциальногеометрический вариант теоремы о сумме углов многоугольника.

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

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

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