Definition:Hyperplane/Definition 3

From ProofWiki
Jump to navigation Jump to search

Definition

Let $X$ be a vector space.

Let $U$ be a proper subspace of $X$.


$U$ is a hyperplane (in $X$) if and only if:

there exists a non-zero linear functional $\phi : X \to \Bbb F$ such that:
$U = \map \ker \phi$


Also see

  • Results about hyperplanes can be found here.


Sources