
Hyperplan linéaire
Concept history
A revision trail for this concept page.
Revision 7479
10/19/2026, 9:39:02 PM · Ancient Tree
Concept re-reviewed after edits
Revision 4616
9/12/2026, 7:41:00 AM · Ancient Tree
Added exercise "Hyperplan comme noyau d'une forme linéaire"
Revision 4612
9/12/2026, 7:23:09 AM · Ancient Tree
Updated title, text and review state
Compare with revision 38193 changed lines
##### Définition intuitive Un hyperplan est un sous-espace vectoriel strict de taille maximale. Par exemple, en 3D, un hyperplan est simplement un plan, alors qu'en 2D c'est une droite !Un hyperplan linéaire, ou plus simplement hyperplan, est un sous-espace vectoriel qui a une dimension de moins que l'espace ambient. Par exemple, en 3D, un hyperplan est simplement un plan, alors qu'en 2D c'est une droite. ##### Définition formelle Un sous-espace vectoriel $H$ de $E$ est un hyperplan s'il possède un [[supplémentaire|supplémentaire]] de dimension $1$. On dit alors que $H$ est de codimension $1$ dans $E$. Plus précisément, $H$ est un hyperplan dans l'espace vectoriel $E$ s'il existe une droite vectorielle $D$ de $E$ supplémentaire à $H$. Dans ce cas, $E$ admet la décomposition en [[somme directe|somme directe]] $E = H\oplus D$. #### Remarques $\bullet$ En utilisant le concept d'[[Espace engendré par une famille de vecteurs|espace engendré par une famille de vecteurs]] une droite vectorielle $D$ de $E$ s'écrit comme le sous-espace vectoriel engendré par un vecteur non nul $u$ de $E$, ceci se note $D = \text{Vect}(u)$. De plus, si on veut préciser le corps de base $\mathbb{K}$ du $\mathbb{K}$-espace vectoriel $E$, la droite vectorielle $D$ se note $D = \text{Vect}_{\mathbb{K}}(u)$ ou $D = \mathbb{K}u$. $\bullet$ La notion d'hyperplan est très liée aux systèmes linéaires et donc aux applications linéaires. En effet, tout hyperplan d'un espace vectoriel $E$ est le [[noyau|noyau]] d'une [[forme linéaire|forme linéaire]] _non nulle_ de $E$. Et cela a lieu même si $E$ est un espace vectoriel de dimension infinie. La première remarque nous amène à la définition suivante. #### Autre définition Un sous-espace vectoriel $F$ est un hyperplan de $E$ s'il existe un vecteur non nul $u\in E$ tel que $E = F\oplus\text{Vect}(u)$. #### Exemples $\bullet$ La droite vectorielle $D = \R\left(\begin{array}{l}1\\0\end{array}\right)=\left\{\left(\begin{array}{l}x\\0\end{array}\right), x\in\R\right\}$ est un hyperplan de $\R^{2}$. $\bullet$ Le plan vectoriel $P_{1} = \text{Vect}\left(\left(\begin{array}{l}1\\0\\0\end{array}\right), \left(\begin{array}{l}0\\1\\0\end{array}\right)\right)$ est un hyperplan de $\R^{3}$. $\bullet$ Le plan vectoriel $P_{2} = \text{Vect}\left(\left(\begin{array}{l}1\\1\\0\end{array}\right), \left(\begin{array}{l}0\\1\\1\end{array}\right)\right)$ est aussi un hyperplan de $\R^{3}$. $\bullet$ L'ensemble des solutions du système linéaire suivant d'inconnues $x,y$ et $z$ des réels est un hyperplan de $\R^{3}$ : $\left\lbrace\begin{array}{l}2x+y+z = 0\\-x+y-z=0\end{array}\right.$. $\bullet$ Soit $E$ l'espace vectoriel des fonctions $f$ de $\R$ dans $\R$ de la forme $f : x\mapsto ax+b$ avec $(a,b)\in\R^{2}$. Alors l'ensemble $F$ des fonctions $f\in E$ telles que $f(2) = 0$ est un hyperplan de $E$.Revision 3819
9/4/2026, 4:30:25 PM · SalixBabylonica
Concept re-reviewed after edits
Revision 3800
9/4/2026, 12:07:37 PM · Ulysse85
Updated text
Compare with revision 37622 changed lines
##### Définition intuitive Un hyperplan est un sous-espace vectoriel strict de taille maximale. Par exemple, en 3D, un hyperplan est simplement un plan, alors qu'en 2D c'est une droite ! ##### Définition formelle Un sous-espace vectoriel $H$ de $E$ est un hyperplan s'il possède un [[supplémentaire|supplémentaire]] de dimension $1$. On dit alors que $H$ est de codimension $1$ dans $E$. Plus précisément, $H$ est un hyperplan dans l'espace vectoriel $E$ s'il existe une droite vectorielle $D$ de $E$ supplémentaire à $H$. Dans ce cas, $E$ admet la décomposition en [[somme directe|somme directe]] $E = H\oplus D$. #### Remarques $\bullet$ En utilisant le concept d'[[espace engendré|espace engendré]] par une famille de vecteurs une droite vectorielle $D$ de $E$ s'écrit comme le sous-espace vectoriel engendré par un vecteur non nul $u$ de $E$, ceci se note $D = \text{Vect}(u)$. $\bullet$ En utilisant le concept d'[[Espace engendré par une famille de vecteurs|espace engendré par une famille de vecteurs]] une droite vectorielle $D$ de $E$ s'écrit comme le sous-espace vectoriel engendré par un vecteur non nul $u$ de $E$, ceci se note $D = \text{Vect}(u)$. De plus, si on veut préciser le corps de base $\mathbb{K}$ du $\mathbb{K}$-espace vectoriel $E$, la droite vectorielle $D$ se note $D = \text{Vect}_{\mathbb{K}}(u)$ ou $D = \mathbb{K}u$. $\bullet$ La notion d'hyperplan est très liée aux systèmes linéaires et donc aux applications linéaires. En effet, tout hyperplan d'un espace vectoriel $E$ est le [[noyau|noyau]] d'une [[forme linéaire|forme linéaire]] _non nulle_ de $E$. Et cela a lieu même si $E$ est un espace vectoriel de dimension infinie. La première remarque nous amène à la définition suivante. #### Autre définition Un sous-espace vectoriel $F$ est un hyperplan de $E$ s'il existe un vecteur non nul $u\in E$ tel que $E = F\oplus\text{Vect}(u)$. #### Exemples $\bullet$ La droite vectorielle $D = \R\left(\begin{array}{l}1\\0\end{array}\right)=\left\{\left(\begin{array}{l}x\\0\end{array}\right), x\in\R\right\}$ est un hyperplan de $\R^{2}$. $\bullet$ Le plan vectoriel $P_{1} = \text{Vect}\left(\left(\begin{array}{l}1\\0\\0\end{array}\right), \left(\begin{array}{l}0\\1\\0\end{array}\right)\right)$ est un hyperplan de $\R^{3}$. $\bullet$ Le plan vectoriel $P_{2} = \text{Vect}\left(\left(\begin{array}{l}1\\1\\0\end{array}\right), \left(\begin{array}{l}0\\1\\1\end{array}\right)\right)$ est aussi un hyperplan de $\R^{3}$. $\bullet$ L'ensemble des solutions du système linéaire suivant d'inconnues $x,y$ et $z$ des réels est un hyperplan de $\R^{3}$ : $\left\lbrace\begin{array}{l}2x+y+z = 0\\-x+y-z=0\end{array}\right.$. $\bullet$ Soit $E$ l'espace vectoriel des fonctions $f$ de $\R$ dans $\R$ de la forme $f : x\mapsto ax+b$ avec $(a,b)\in\R^{2}$. Alors l'ensemble $F$ des fonctions $f\in E$ telles que $f(2) = 0$ est un hyperplan de $E$.Revision 3762
9/4/2026, 6:42:55 AM · quark67
2D, 3D en caractères droits (D n'est pas une variable mathématique ici) + correction taille des accolades
Compare with revision 36816 changed lines
##### Définition intuitive Un hyperplan est un sous-espace vectoriel strict de taille maximale. Par exemple, en $3D$, un hyperplan est simplement un plan, alors qu'en $2D$ c'est une droite !Un hyperplan est un sous-espace vectoriel strict de taille maximale. Par exemple, en 3D, un hyperplan est simplement un plan, alors qu'en 2D c'est une droite ! ##### Définition formelle Un sous-espace vectoriel $H$ de $E$ est un hyperplan s'il possède un [[supplémentaire|supplémentaire]] de dimension $1$. On dit alors que $H$ est de codimension $1$ dans $E$. Plus précisément, $H$ est un hyperplan dans l'espace vectoriel $E$ s'il existe une droite vectorielle $D$ de $E$ supplémentaire à $H$. Dans ce cas, $E$ admet la décomposition en [[somme directe|somme directe]] $E = H\oplus D$. #### Remarques $\bullet$ En utilisant le concept d'[[espace engendré|espace engendré]] par une famille de vecteurs une droite vectorielle $D$ de $E$ s'écrit comme le sous-espace vectoriel engendré par un vecteur non nul $u$ de $E$, ceci se note $D = \text{Vect}(u)$. De plus, si on veut préciser le corps de base $\mathbb{K}$ du $\mathbb{K}$-espace vectoriel $E$, la droite vectorielle $D$ se note $D = \text{Vect}_{\mathbb{K}}(u)$ ou $D = \mathbb{K}u$. $\bullet$ La notion d'hyperplan est très liée aux systèmes linéaires et donc aux applications linéaires. En effet, tout hyperplan d'un espace vectoriel $E$ est le [[noyau|noyau]] d'une [[forme linéaire|forme linéaire]] _non nulle_ de $E$. Et cela a lieu même si $E$ est un espace vectoriel de dimension infinie. La première remarque nous amène à la définition suivante. #### Autre Définition#### Autre définition Un sous-espace vectoriel $F$ est un hyperplan de $E$ s'il existe un vecteur non nul $u\in E$ tel que $E = F\oplus\text{Vect}(u)$. #### Exemples $\bullet$ La droite vectorielle $D = \R\left(\begin{array}{l}1\\0\end{array}\right)=\{\left(\begin{array}{l}x\\0\end{array}\right), x\in\R\}$ est un hyperplan de $\R^{2}$.$\bullet$ La droite vectorielle $D = \R\left(\begin{array}{l}1\\0\end{array}\right)=\left\{\left(\begin{array}{l}x\\0\end{array}\right), x\in\R\right\}$ est un hyperplan de $\R^{2}$. $\bullet$ Le plan vectoriel $P_{1} = \text{Vect}\left(\left(\begin{array}{l}1\\0\\0\end{array}\right), \left(\begin{array}{l}0\\1\\0\end{array}\right)\right)$ est un hyperplan de $\R^{3}$. $\bullet$ Le plan vectoriel $P_{2} = \text{Vect}\left(\left(\begin{array}{l}1\\1\\0\end{array}\right), \left(\begin{array}{l}0\\1\\1\end{array}\right)\right)$ est aussi un hyperplan de $\R^{3}$. $\bullet$ L'ensemble des solutions du système linéaire suivant d'inconnues $x,y$ et $z$ des réels est un hyperplan de $\R^{3}$ : $\left\lbrace\begin{array}{l}2x+y+z = 0\\-x+y-z=0\end{array}\right.$. $\bullet$ Soit $E$ l'espace vectoriel des fonctions $f$ de $\R$ dans $\R$ de la forme $f : x\mapsto ax+b$ avec $(a,b)\in\R^{2}$. Alors l'ensemble $F$ des fonctions $f\in E$ telles que $f(2) = 0$ est un hyperplan de $E$.Revision 3681
9/3/2026, 12:24:31 PM · Sequoia
Concept reviewed
Revision 3680
9/3/2026, 12:24:29 PM · Sequoia
Concept marked usable
Revision 3679
9/3/2026, 12:24:24 PM · Sequoia
Updated text
Compare with revision 367815 changed lines
##### Définition intuitive Soit $E$ un [[Corps|K]]-[[espace vectoriel]] de dimension $n\in \N$.Un hyperplan est un sous-espace vectoriel strict de taille maximale. Par exemple, en $3D$, un hyperplan est simplement un plan, alors qu'en $2D$ c'est une droite !Un hyperplan $H$ est un [[sous-espace vectoriel]] de dimension $n-1$ tel qu’il existe une droite vectorielle en somme directe qui permet de recréer $E$. Par exemple un plan 2D et une droite qui lui est perpendiculaire. Le plan 2D est donc un hyperplan d’un volume 3D. ##### Définition formelle Un sous-espace vectoriel $F$ de $E$ est un hyperplan s'il possède un [[supplémentaire|supplémentaire]] de dimension $1$. On dit alors que $F$ est de codimension $1$ dans $E$.Un sous-espace vectoriel $H$ de $E$ est un hyperplan s'il possède un [[supplémentaire|supplémentaire]] de dimension $1$. On dit alors que $H$ est de codimension $1$ dans $E$. Plus précisément, $F$ est un hyperplan dans l'espace vectoriel $E$ s'il existe une droite vectorielle $D$ de $E$ supplémentaire à $F$.Plus précisément, $H$ est un hyperplan dans l'espace vectoriel $E$ s'il existe une droite vectorielle $D$ de $E$ supplémentaire à $H$. Dans ce cas, $E$ admet la décomposition en [[somme directe|somme directe]] $E = F\oplus D$.Dans ce cas, $E$ admet la décomposition en [[somme directe|somme directe]] $E = H\oplus D$. #### Remarques $\bullet$ En utilisant le concept d'[[espace engendré|espace engendré]] par une famille de vecteurs une droite vectorielle $D$ de $E$ s'écrit comme le sous-espace vectoriel engendré par un vecteur non nul $u$ de $E$, ceci se note $D = \text{Vect}(u)$. De plus, si on veut préciser le corps de base $\mathbb{K}$ du $\mathbb{K}$-espace vectoriel $E$, la droite vectorielle $D$ se note $D = \text{Vect}_{\mathbb{K}}(u)$ ou $D = \mathbb{K}u$. $\bullet$ La notion d'hyperplan est très liée aux systèmes linéaires et donc aux applications linéaires. En effet, tout hyperplan d'un espace vectoriel $E$ est le noyau d'une forme linéaire non nulle de $E$. Et cela a lieu même si $E$ est un espace vectoriel de dimension infinie.$\bullet$ La notion d'hyperplan est très liée aux systèmes linéaires et donc aux applications linéaires. En effet, tout hyperplan d'un espace vectoriel $E$ est le [[noyau|noyau]] d'une [[forme linéaire|forme linéaire]] _non nulle_ de $E$. Et cela a lieu même si $E$ est un espace vectoriel de dimension infinie. La première remarque nous amène à la définition suivante. #### Autre Définition Un sous-espace vectoriel $F$ est un hyperplan de $E$ s'il existe un vecteur non nul $u\in E$ tel que $E = F\oplus\text{Vect}(u)$. #### Exemples $\bullet$ La droite vectorielle $D = \R\left(\begin{array}{l}1\\0\end{array}\right)$ est un hyperplan de $\R^{2}$.$\bullet$ La droite vectorielle $D = \R\left(\begin{array}{l}1\\0\end{array}\right)=\{\left(\begin{array}{l}x\\0\end{array}\right), x\in\R\}$ est un hyperplan de $\R^{2}$. $\bullet$ Le plan vectoriel $P_{1} = \text{Vect}\left(\left(\begin{array}{l}1\\0\\0\end{array}\right), \left(\begin{array}{l}0\\1\\0\end{array}\right)\right)$ est un hyperplan de $\R^{3}$. $\bullet$ Le plan vectoriel $P_{2} = \text{Vect}\left(\left(\begin{array}{l}1\\1\\0\end{array}\right), \left(\begin{array}{l}0\\1\\1\end{array}\right)\right)$ est aussi un hyperplan de $\R^{3}$. $\bullet$ L'ensemble des solutions du système linéaire suivant d'inconnues $x,y$ et $z$ des réels est un hyperplan de $\R^{3}$ : $\left\lbrace\begin{array}{l}2x+y+z = 0\\-x+y-z=0\end{array}\right.$. $\bullet$ Soit $E$ l'espace vectoriel des fonctions $f$ de $\R$ dans $\R$ de la forme $f : x\mapsto ax+b$ avec $(a,b)\in\R^{2}$. Alors l'ensemble $F$ des fonctions $f\in E$ telles que $f(2) = 0$ est un hyperplan de $E$.Revision 3678
9/3/2026, 12:21:08 PM · Ulysse85
Ajout de la définition formelle, des remarques, de l'autre définition, des exemples et de l'exercice "Hyperplan en tant que sous-espace maximal"
Compare with revision 288532 changed lines
##### Définition intuitive Soit $E$ un [[Corps|K]]-[[espace vectoriel]] de dimension $n\in \N$.Un hyperplan $H$ est un [[sous-espace vectoriel]] de dimension $n-1$ tel qu’il existe une droite vectorielle en somme directe qui permet de recréer $E$. Par exemple un plan 2D et une droite qui lui est perpendiculaire. Le plan 2D est donc un hyperplan d’un volume 3D. ##### Définition formelle À compléterUn sous-espace vectoriel $F$ de $E$ est un hyperplan s'il possède un [[supplémentaire|supplémentaire]] de dimension $1$. On dit alors que $F$ est de codimension $1$ dans $E$. Plus précisément, $F$ est un hyperplan dans l'espace vectoriel $E$ s'il existe une droite vectorielle $D$ de $E$ supplémentaire à $F$. Dans ce cas, $E$ admet la décomposition en [[somme directe|somme directe]] $E = F\oplus D$. #### Remarques $\bullet$ En utilisant le concept d'[[espace engendré|espace engendré]] par une famille de vecteurs une droite vectorielle $D$ de $E$ s'écrit comme le sous-espace vectoriel engendré par un vecteur non nul $u$ de $E$, ceci se note $D = \text{Vect}(u)$. De plus, si on veut préciser le corps de base $\mathbb{K}$ du $\mathbb{K}$-espace vectoriel $E$, la droite vectorielle $D$ se note $D = \text{Vect}_{\mathbb{K}}(u)$ ou $D = \mathbb{K}u$. $\bullet$ La notion d'hyperplan est très liée aux systèmes linéaires et donc aux applications linéaires. En effet, tout hyperplan d'un espace vectoriel $E$ est le noyau d'une forme linéaire non nulle de $E$. Et cela a lieu même si $E$ est un espace vectoriel de dimension infinie. La première remarque nous amène à la définition suivante. #### Autre Définition Un sous-espace vectoriel $F$ est un hyperplan de $E$ s'il existe un vecteur non nul $u\in E$ tel que $E = F\oplus\text{Vect}(u)$. #### Exemples $\bullet$ La droite vectorielle $D = \R\left(\begin{array}{l}1\\0\end{array}\right)$ est un hyperplan de $\R^{2}$. $\bullet$ Le plan vectoriel $P_{1} = \text{Vect}\left(\left(\begin{array}{l}1\\0\\0\end{array}\right), \left(\begin{array}{l}0\\1\\0\end{array}\right)\right)$ est un hyperplan de $\R^{3}$. $\bullet$ Le plan vectoriel $P_{2} = \text{Vect}\left(\left(\begin{array}{l}1\\1\\0\end{array}\right), \left(\begin{array}{l}0\\1\\1\end{array}\right)\right)$ est aussi un hyperplan de $\R^{3}$. $\bullet$ L'ensemble des solutions du système linéaire suivant d'inconnues $x,y$ et $z$ des réels est un hyperplan de $\R^{3}$ : $\left\lbrace\begin{array}{l}2x+y+z = 0\\-x+y-z=0\end{array}\right.$. $\bullet$ Soit $E$ l'espace vectoriel des fonctions $f$ de $\R$ dans $\R$ de la forme $f : x\mapsto ax+b$ avec $(a,b)\in\R^{2}$. Alors l'ensemble $F$ des fonctions $f\in E$ telles que $f(2) = 0$ est un hyperplan de $E$.Revision 2885
8/30/2026, 12:23:51 PM · Him
Updated title and domain
Revision 2882
8/30/2026, 12:23:12 PM · Him
Updated text
Compare with revision 28812 changed lines
##### Définition intuitive Soit $E$ un [[Corps|K]]-[[espace vectoriel]] de dimension $n\in \N$.Un hyperplan $H$ est un espace de dimension $n-1$ tel qu’il existe une droite vectorielle en somme directe qui permet de recréer $E$.Un hyperplan $H$ est un [[sous-espace vectoriel]] de dimension $n-1$ tel qu’il existe une droite vectorielle en somme directe qui permet de recréer $E$. Par exemple un plan 2D et une droite qui lui est perpendiculaire. Le plan 2D est donc un hyperplan d’un volume 3D. ##### Définition formelle À compléterRevision 2881
8/30/2026, 12:21:47 PM · Him
Concept created
##### Définition intuitive Soit $E$ un [[Corps|K]]-[[espace vectoriel]] de dimension $n\in \N$. Un hyperplan $H$ est un espace de dimension $n-1$ tel qu’il existe une droite vectorielle en somme directe qui permet de recréer $E$. Par exemple un plan 2D et une droite qui lui est perpendiculaire. Le plan 2D est donc un hyperplan d’un volume 3D. ##### Définition formelle À compléter