Namespaces
Variants
Actions

Difference between revisions of "Hyperplane"

From Encyclopedia of Mathematics
Jump to: navigation, search
(Importing text file)
 
(TeX done and links)
 
Line 1: Line 1:
''in a vector space <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/h/h048/h048490/h0484901.png" /> over a field <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/h/h048/h048490/h0484902.png" />''
+
{{TEX|done}}
  
The image (under a translation) of a vector subspace <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/h/h048/h048490/h0484903.png" /> with one-dimensional quotient space <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/h/h048/h048490/h0484904.png" />, i.e. a set of the form <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/h/h048/h048490/h0484905.png" /> for a certain <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/h/h048/h048490/h0484906.png" />. If <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/h/h048/h048490/h0484907.png" />, the hyperplane is sometimes called homogeneous. A subset <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/h/h048/h048490/h0484908.png" /> is a hyperplane if and only if
+
''in a [[vector space]] $X$ over a [[field]] $K$''
  
<table class="eq" style="width:100%;"> <tr><td valign="top" style="width:94%;text-align:center;"><img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/h/h048/h048490/h0484909.png" /></td> <td valign="top" style="width:5%;text-align:right;">(*)</td></tr></table>
+
The image (under a translation) of a vector subspace $M$ with one-dimensional quotient space $X/M$, i.e. a set of the form $x_0+M$ for a certain $x_0\in X$. If $x_0=0$, the hyperplane is sometimes called homogeneous. A subset $\pi\subset X$ is a hyperplane if and only if
  
for <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/h/h048/h048490/h04849010.png" /> and a certain non-zero linear functional <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/h/h048/h048490/h04849011.png" />. Here, <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/h/h048/h048490/h04849012.png" /> and <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/h/h048/h048490/h04849013.png" /> are defined by <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/h/h048/h048490/h04849014.png" /> up to a common factor <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/h/h048/h048490/h04849015.png" />.
+
\begin{equation}\label{eq:1}
 +
\pi = \{x\colon f(x) = \alpha\}
 +
\end{equation}
  
In a topological vector space any hyperplane is either closed or is everywhere dense; <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/h/h048/h048490/h04849016.png" /> as defined by formula <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/h/h048/h048490/h04849017.png" /> is closed if and only if the functional <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/h/h048/h048490/h04849018.png" /> is continuous.
+
for $\alpha\in K$ and a certain non-zero [[linear functional]] $f\in X^*$. Here, $f$ and $\alpha$ are defined by $M$ up to a common factor $\beta\neq 0$.
 +
 
 +
In a [[topological vector space]] any hyperplane is either [[closed set|closed]] or is everywhere [[dense set|dense]]; $\pi$ as defined by formula \eqref{eq:1} is closed if and only if the [[functional]] $f$ is [[continuous functional|continuous]].

Latest revision as of 13:01, 26 April 2016


in a vector space $X$ over a field $K$

The image (under a translation) of a vector subspace $M$ with one-dimensional quotient space $X/M$, i.e. a set of the form $x_0+M$ for a certain $x_0\in X$. If $x_0=0$, the hyperplane is sometimes called homogeneous. A subset $\pi\subset X$ is a hyperplane if and only if

\begin{equation}\label{eq:1} \pi = \{x\colon f(x) = \alpha\} \end{equation}

for $\alpha\in K$ and a certain non-zero linear functional $f\in X^*$. Here, $f$ and $\alpha$ are defined by $M$ up to a common factor $\beta\neq 0$.

In a topological vector space any hyperplane is either closed or is everywhere dense; $\pi$ as defined by formula \eqref{eq:1} is closed if and only if the functional $f$ is continuous.

How to Cite This Entry:
Hyperplane. Encyclopedia of Mathematics. URL: http://encyclopediaofmath.org/index.php?title=Hyperplane&oldid=17985
This article was adapted from an original article by M.I. Voitsekhovskii (originator), which appeared in Encyclopedia of Mathematics - ISBN 1402006098. See original article