Полупространство

Полупростра́нство, ограниченное гиперплоскостью α, — это геометрическая фигура в пространстве, для которой выполняется следующее:

Эта фигура включает в себя плоскость α, но не сводится к ней.
Любой отрезок, ограниченный произвольными точками этой фигуры A и B, не принадлежащими α, не имеет пересечений с плоскостью α.
Любой отрезок, ограниченный произвольными точками этой фигуры A и B, где А принадлежит α, а B — нет, имеет пересечение с плоскостью α.

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

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

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

n-Мерная целочисленная решётка (или кубическая решётка), обозначается Zn, — это решётка в евклидовом пространстве Rn, точки которой являются n-кортежами целых чисел. Двумерная целочисленная решётка называется также квадратной решёткой. Zn является наиболее простым примером решётки корней. Целочисленная решётка является нечётной унимодулярной решёткой.

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

Индуци́рованная тополόгия — естественный способ задания топологии на подмножестве топологического пространства.

Полуплоскость в математике — множество точек плоскости, лежащих по одну сторону от некоторой прямой на этой плоскости.

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

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

Грани́ца мно́жества A — множество всех точек, расположенных сколь угодно близко как к точкам во множестве A, так и к точкам вне множества A.

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

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

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

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

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

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

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

Подробнее: Ограниченное множество

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

Полунепреры́вность в математическом анализе — это свойство функции более слабое, чем непрерывность. Функция полунепрерывна снизу в точке, если значения функции в близких точках не сильно меньше значения функции в ней. Функция полунепрерывна сверху в точке, если значения функции в близких точках не сильно превышают значения функции в ней.

Подробнее: Полунепрерывная функция

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

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

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

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

Подробнее: Вырождение (математика)

Однородные координаты ― система координат, используемая в проективной геометрии, подобно тому, как декартовы координаты используются в евклидовой геометрии.

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

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

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

Подробнее: Фундаментальная область

Систе́ма корне́й (корнева́я систе́ма) в математике — конфигурация векторов в евклидовом пространстве, удовлетворяющая определённым геометрическим свойствам.

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

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

Синглетон — множество с единственным элементом. Например, множество {0} является синглетоном.

В теории групп циклическая перестановка — это перестановка элементов некоторого множества X, которая переставляет элементы некоторого подмножества S множества X циклическим образом, сохраняя на месте остальные элементы X (т.е. отображая их в себя). Например, перестановка {1, 2, 3, 4}, переводящая 1 в 3, 3 в 2, 2 в 4 и 4 в 1 является циклической, в то время как перестановка, переводящая 1 в 3, 3 в 1, 2 в 4 и 4 в 2 циклической не является.

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

Двойственное пространство (иногда сопряжённое пространство) — пространство линейных функционалов на заданном векторном пространстве.

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

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

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

Единичный круг — круг радиуса 1 на евклидовой плоскости (рассматриваемый обычно на комплексной плоскости); «идиоматическая» область в комплексном анализе.

Бесконечномерное пространство — векторное пространство c бесконечно большой размерностью.

Пра́вильный двадцатичетырёхъяче́йник, или просто двадцатичетырёхъяче́йник, или икоситетрахор (от др.-греч. εἴκοσι — «двадцать», τέτταρες — «четыре» и χώρος — «место, пространство»), — один из правильных многоячейников в четырёхмерном пространстве.

Подробнее: Двадцатичетырёхъячейник

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

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

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

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

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

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

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

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

В математике константой Чигера (также числом Чигера или изопериметрическим числом) графа называется числовая характеристика графа, отражающая, есть ли у графа «узкое место» или нет. Константа Чигера как способ измерения наличия «узкого места» представляет интерес во многих областях, например, для создания сильно связанных компьютерных сетей, для тасования карт и в топологии малых размерностей (в частности, при изучении гиперболических 3-мерных многообразий). Названа в честь математика Джефа Чигера...

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

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

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

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