В геометрии, A гиперплоскость является подпространством которого размерность на единицу меньше, чем у его окружающего пространства. Если пространство 3-мерное, то его гиперплоскости - это 2-мерные плоскости, а если пространство 2-мерное, его гиперплоскости - это 1-мерные линии. Это понятие можно использовать в любом общем пространстве, в котором определено понятие размерности подпространства.
В разных настройках гиперплоскости могут иметь разные свойства. Например, гиперплоскость n- мерного аффинного пространства - это плоское подмножество размерности n - 1, которое разделяет пространство на два полупространства. А гиперплоскость n- мерного проективного пространства этим свойством не обладает.
Разница в размерах между подпространством S и его окружающим пространством X называются коразмерностью из S по отношению к X. Таким образом, необходимым условием для S быть гиперплоскость в X для S иметь коразмерности один в X.
В геометрии, A гиперплоскость из п - мерного пространства V является подпространством размерности п - 1, или, что эквивалентно, в коразмерности 1 в V. Пространство V может быть евклидовым пространством или, в более общем смысле, аффинным пространством, или векторным пространством, или проективным пространством, и понятие гиперплоскости изменяется соответственно, поскольку определение подпространства отличается в этих параметрах; однако во всех случаях любая гиперплоскость может быть задана в координатах как решение единственного (из-за ограничения «коразмерность 1») алгебраического уравнения степени 1.
Если V - векторное пространство, различают «векторные гиперплоскости» (которые являются линейными подпространствами и, следовательно, должны проходить через начало координат) и «аффинные гиперплоскости» (которые не обязательно проходят через начало координат; их можно получить путем перевода вектора гиперплоскость). Гиперплоскость в евклидовом пространстве разделяет это пространство на два полупространства и определяет отражение, которое фиксирует гиперплоскость и меняет местами эти два полупространства.
Определены несколько конкретных типов гиперплоскостей со свойствами, которые хорошо подходят для конкретных целей. Некоторые из этих специализаций описаны здесь.
Аффинная гиперплоскость является аффинным подпространством в коразмерности 1 в аффинном пространстве. В декартовых координатах такая гиперплоскость может быть описана одним линейным уравнением следующего вида (где хотя бы одно из ненулевых и является произвольной константой):
В случае вещественного аффинного пространства, другими словами, когда координаты являются действительными числами, это аффинное пространство разделяет пространство на два полупространства, которые являются компоненты связности этого дополнения гиперплоскости, и задаются неравенствами
и
Например, точка - это гиперплоскость в одномерном пространстве, линия - это гиперплоскость в двухмерном пространстве, а плоскость - это гиперплоскость в трехмерном пространстве. Линия в трехмерном пространстве не является гиперплоскостью и не разделяет пространство на две части (дополнение такой линии связано).
Любая гиперплоскость евклидова пространства имеет ровно два единичных вектора нормали.
Аффинные гиперплоскости используются для определения границ решений во многих алгоритмах машинного обучения, таких как линейно-комбинированные (наклонные) деревья решений и перцептроны.
В векторном пространстве векторная гиперплоскость - это подпространство коразмерности 1, только возможно смещенное от начала координат вектором, и в этом случае оно называется плоским. Такая гиперплоскость является решением одного линейного уравнения.
Проективные гиперплоскости используются в проективной геометрии. Проективное подпространство представляет собой набор точек с тем свойством, что для любых двух точек множества, все точки на линии, определяемой двумя точками, содержатся в наборе. Проективную геометрию можно рассматривать как аффинную геометрию с добавленными точками схода (бесконечно удаленными). Аффинная гиперплоскость вместе с соответствующими бесконечно удаленными точками образует проективную гиперплоскость. Одним из частных случаев проективной гиперплоскости является бесконечная или идеальная гиперплоскость, которая определяется множеством всех бесконечно удаленных точек.
В проективном пространстве гиперплоскость не делит пространство на две части; скорее, нужны две гиперплоскости, чтобы разделить точки и разделить пространство. Причина этого в том, что пространство по существу "закручивается" так, что обе стороны одинокой гиперплоскости соединяются друг с другом.
В выпуклой геометрии два непересекающихся выпуклых множества в n-мерном евклидовом пространстве разделены гиперплоскостью, что называется теоремой об отделении гиперплоскостей.
В машинном обучении гиперплоскости являются ключевым инструментом для создания опорных векторных машин для таких задач, как компьютерное зрение и обработка естественного языка.
Двугранный угол между двумя непараллельными гиперплоскостями в евклидове пространства есть угол между соответствующими векторами нормали. Результатом преобразований в двух гиперплоскостях является вращение, ось которого является подпространством коразмерности 2, полученным путем пересечения гиперплоскостей, и угол которого в два раза больше угла между гиперплоскостями.
Гиперплоскость Н называется «поддержка» гиперплоскость многогранника Р, если Р содержится в одном из двух замкнутых полупространств, ограниченных Н и. Пересечение P и H определяется как «грань» многогранника. Теория многогранников и размерность граней анализируются путем рассмотрения этих пересечений с участием гиперплоскостей.