Hyperplan : définition, équation et exemples en mathématiques
Un hyperplan est, dans un espace de dimension n, un sous-espace de dimension n − 1 : c'est l'objet géométrique qui « coupe l'espace en deux » tout en lui étant presque aussi grand.
ViragePrépa
Un hyperplan est, dans un espace de dimension n, un sous-espace de dimension n − 1 : c'est l'objet géométrique qui « coupe l'espace en deux » tout en lui étant presque aussi grand. En dimension 2, un hyperplan est une droite ; en dimension 3, c'est un plan ; et au-delà, on garde le même mot pour désigner cet objet de codimension 1 que l'on ne sait plus dessiner mais que l'on manipule exactement de la même manière. Comprendre la notion d'hyperplan, c'est donc apprendre à raisonner en toute dimension avec les outils que l'on maîtrise déjà dans le plan et dans l'espace.
Le mot semble abstrait, mais il recouvre une idée très concrète : un hyperplan est toujours défini par une seule équation linéaire, du type a₁x₁ + a₂x₂ + … + aₙxₙ = b. Cette unique contrainte fait « perdre une dimension » à l'espace, exactement comme l'équation d'une droite dans le plan ou celle d'un plan dans l'espace. Cette double lecture — algébrique par une équation, géométrique par une frontière — fait de l'hyperplan un carrefour entre l'algèbre linéaire, la géométrie et même l'apprentissage automatique.
Définition d'un hyperplan en dimension n
Soit E un espace de dimension finie n. On appelle hyperplan de E tout sous-espace de dimension n − 1. La quantité n − (n − 1) = 1 s'appelle la codimension : un hyperplan est donc un sous-espace de codimension 1, c'est-à-dire « auquel il ne manque qu'une seule dimension » pour remplir tout l'espace. C'est cette définition, valable en toute dimension, qui unifie les cas familiers de la droite et du plan.
dim(E) = n ⇒ un hyperplan de E est un sous-espace de dimension n − 1
Prenons quelques exemples pour fixer les idées. Dans une droite (n = 1), un hyperplan est de dimension 0 : c'est le point origine {0}. Dans le plan (n = 2), un hyperplan est de dimension 1 : c'est une droite. Dans l'espace usuel (n = 3), un hyperplan est de dimension 2 : c'est un plan. Et dans un espace de dimension 4, un hyperplan est un objet de dimension 3, que l'on ne visualise plus directement mais que l'on décrit toujours par une seule équation.
L'intérêt de la notion d'hyperplan tient précisément à cette généralité. Plutôt que de traiter séparément « la droite dans le plan » et « le plan dans l'espace », on énonce une seule fois les propriétés valables pour un hyperplan quelconque, et elles se déclinent automatiquement dans chaque dimension. C'est un gain de rigueur et d'économie de pensée typique de l'algèbre linéaire.
Codimension 1 : l'idée centrale
Retenons le fil conducteur : un hyperplan est un sous-espace de codimension 1. Chaque équation linéaire indépendante que l'on impose aux coordonnées d'un vecteur retire exactement une dimension au sous-espace des solutions. Une équation donne donc un hyperplan (dimension n − 1) ; deux équations indépendantes donnent un sous-espace de dimension n − 2 ; et ainsi de suite. C'est pourquoi l'hyperplan est le « plus grand » sous-espace strictement inclus dans E : il est aussi proche que possible de l'espace tout entier.
Hyperplan vectoriel : le noyau d'une forme linéaire
Le point de vue algébrique le plus puissant consiste à voir un hyperplan comme le noyau d'une forme linéaire non nulle. Une forme linéaire sur E est une application linéaire φ : E → ℝ qui, à chaque vecteur, associe un nombre réel. Son noyau ker(φ) est l'ensemble des vecteurs x tels que φ(x) = 0.
H est un hyperplan vectoriel ⇔ il existe une forme linéaire φ ≠ 0 telle que H = ker(φ)
Ce résultat, fondamental, découle du théorème du rang : si φ n'est pas nulle, son image est ℝ tout entier (dimension 1), donc dim(ker φ) = n − 1. Le noyau d'une forme linéaire non nulle est donc toujours un hyperplan, et réciproquement tout hyperplan est le noyau d'une telle forme. C'est ce lien qui transforme une question de géométrie (« quel sous-espace ? ») en une question de calcul (« quelle équation ? »).
Un point subtil mérite d'être souligné : la forme linéaire φ qui définit un hyperplan H n'est pas unique, mais elle l'est « à un scalaire près ». Autrement dit, si φ et ψ définissent le même hyperplan (ker φ = ker ψ), alors ψ = λφ pour un certain réel λ ≠ 0. Multiplier une équation par 2 ou par −3 ne change pas l'hyperplan qu'elle décrit : c'est la même contrainte, écrite différemment.
Pourquoi « non nulle » est indispensable Si φ était la forme nulle, son noyau serait E tout entier (tous les vecteurs vérifient 0 = 0), ce qui n'est pas un hyperplan mais l'espace lui-même. La condition φ ≠ 0 garantit que l'on retire bien exactement une dimension. Oublier cette hypothèse est une erreur classique en début de prépa. |
Hyperplans et équations linéaires
Concrètement, dans une base fixée, une forme linéaire s'écrit φ(x) = a₁x₁ + a₂x₂ + … + aₙxₙ, où les aᵢ sont les coordonnées de φ. L'hyperplan vectoriel associé est donc l'ensemble des vecteurs vérifiant :
a₁x₁ + a₂x₂ + … + aₙxₙ = 0 (avec (a₁, …, aₙ) ≠ (0, …, 0))
Cette équation, dite équation cartésienne homogène, passe par l'origine (le vecteur nul en est toujours solution), ce qui est la marque d'un sous-espace vectoriel. On voit ici, de manière très directe, comment une unique équation linéaire non triviale définit un hyperplan : le lien entre algèbre et géométrie est complet.
Hyperplan affine : translater le vectoriel
Un hyperplan affine est un hyperplan vectoriel que l'on a « décollé » de l'origine par une translation. Autrement dit, c'est un ensemble de la forme A + H, où A est un point fixé et H un hyperplan vectoriel : on prend l'hyperplan passant par l'origine, puis on le déplace pour qu'il passe par A. La direction reste la même, seule la position change.
Hyperplan affine : ensemble des points M tels que a₁x₁ + … + aₙxₙ = b
La différence avec le cas vectoriel se lit dans le second membre : lorsque b = 0, l'hyperplan passe par l'origine et il est vectoriel ; lorsque b ≠ 0, il ne passe pas par l'origine et il est affine, mais non vectoriel. Un hyperplan affine n'est donc en général pas un sous-espace vectoriel, car il ne contient pas le vecteur nul. Sa direction, en revanche, est bien l'hyperplan vectoriel d'équation a₁x₁ + … + aₙxₙ = 0.
Cette distinction est essentielle en géométrie. Deux hyperplans affines ayant la même direction (donc les mêmes coefficients aᵢ, à un facteur près) sont parallèles : ils ne se coupent jamais, sauf s'ils sont confondus. On retrouve exactement l'intuition des droites parallèles dans le plan et des plans parallèles dans l'espace, généralisée à toute dimension.
Équation cartésienne d'un hyperplan
Résumons le mode d'emploi. Tout hyperplan, vectoriel ou affine, admet une équation cartésienne de la forme :
a₁x₁ + a₂x₂ + … + aₙxₙ = b
où les coefficients a₁, …, aₙ ne sont pas tous nuls. Cette équation est unique à une constante multiplicative près : la multiplier par un même réel non nul (des deux côtés) décrit le même hyperplan. Réciproquement, toute équation de ce type, avec au moins un coefficient non nul, définit un hyperplan. C'est le résultat pratique à mémoriser : un hyperplan « c'est une équation linéaire ».
Le cas du plan : un hyperplan est une droite
Dans le plan (n = 2), l'équation d'un hyperplan devient ax + by = c, avec (a, b) ≠ (0, 0). On reconnaît l'équation cartésienne d'une droite. Le vecteur (a, b) est orthogonal à cette droite : c'est son vecteur normal. Par exemple, la droite d'équation 2x + 3y = 6 a pour vecteur normal (2, 3), et sa direction (l'hyperplan vectoriel associé) est la droite d'équation 2x + 3y = 0.
Le cas de l'espace : un hyperplan est un plan
Dans l'espace usuel (n = 3), l'équation ax + by + cz = d, avec (a, b, c) ≠ (0, 0, 0), est celle d'un plan. Le vecteur (a, b, c) est le vecteur normal du plan, orthogonal à toutes les directions du plan. Ainsi le plan d'équation x + 2y − z = 5 admet pour vecteur normal (1, 2, −1). C'est exactement la même structure qu'en dimension 2, avec une coordonnée de plus.
Dimension n de l'espace | L'hyperplan est… | Sa dimension | Équation type |
1 (droite) | un point | 0 | ax = b |
2 (plan) | une droite | 1 | ax + by = c |
3 (espace) | un plan | 2 | ax + by + cz = d |
n quelconque | un hyperplan | n − 1 | a₁x₁ + … + aₙxₙ = b |
Un même objet, décliné selon la dimension : l'hyperplan généralise la droite et le plan.
Vecteur normal et hyperplan médiateur
Lorsque l'espace est muni d'un produit scalaire (espace euclidien), on peut associer à tout hyperplan un vecteur normal. Dans l'équation a₁x₁ + … + aₙxₙ = b, le vecteur n = (a₁, …, aₙ) est précisément orthogonal à l'hyperplan : il est perpendiculaire à toutes les directions contenues dans celui-ci. Connaître un point de l'hyperplan et son vecteur normal suffit à le déterminer entièrement.
Le vecteur n = (a₁, …, aₙ) est orthogonal à l'hyperplan d'équation a₁x₁ + … + aₙxₙ = b
Le vecteur normal est l'outil central pour tous les calculs métriques : distance d'un point à un hyperplan, projection orthogonale, angle entre deux hyperplans. Par exemple, la distance d'un point M₀ à un hyperplan se calcule en projetant le vecteur allant d'un point de l'hyperplan à M₀ sur la direction normale n. C'est la généralisation directe de la formule de distance d'un point à une droite ou à un plan.
L'hyperplan médiateur
Un cas particulier remarquable est l'hyperplan médiateur de deux points A et B distincts : c'est l'ensemble des points situés à égale distance de A et de B. En dimension 2, on retrouve la médiatrice d'un segment (une droite) ; en dimension 3, le plan médiateur ; et en dimension quelconque, un hyperplan. Son vecteur normal est le vecteur AB, et il passe par le milieu I du segment [AB].
À retenir sur l'hyperplan médiateur L'hyperplan médiateur de [AB] est perpendiculaire à (AB) et passe par le milieu de [AB]. Il sépare l'espace en deux régions : celle des points plus proches de A et celle des points plus proches de B. Cette idée de séparation par un hyperplan est exactement celle qu'exploite l'apprentissage automatique. |
Exemples et exercices types sur l'hyperplan
Rien ne vaut la pratique pour ancrer la notion d'hyperplan. Voici plusieurs exercices classiques, corrigés, tels qu'on les rencontre en prépa.
Exercice 1 : reconnaître un hyperplan
Dans ℝ⁴, l'ensemble H = { (x, y, z, t) | x − 2y + z − 3t = 0 } est-il un hyperplan ?
Correction. H est le noyau de la forme linéaire φ(x, y, z, t) = x − 2y + z − 3t. Cette forme est non nulle (ses coefficients ne sont pas tous nuls), donc H est un hyperplan vectoriel de ℝ⁴. Sa dimension est 4 − 1 = 3. Un vecteur normal en est (1, −2, 1, −3).
Exercice 2 : hyperplan vectoriel ou affine ?
Dans ℝ³, comparer H₁ : 2x − y + z = 0 et H₂ : 2x − y + z = 4.
Correction. H₁ passe par l'origine (0 vérifie l'équation) : c'est un hyperplan vectoriel, ici un plan vectoriel de dimension 2. H₂ ne passe pas par l'origine (0 − 0 + 0 = 0 ≠ 4) : c'est un hyperplan affine, non vectoriel. Les deux ont le même vecteur normal (2, −1, 1) et la même direction : ils sont donc parallèles et distincts.
Exercice 3 : équation d'un hyperplan médiateur
Déterminer l'hyperplan médiateur de A(1, 0, 2) et B(3, 4, 0) dans ℝ³.
Correction. Le vecteur normal est AB = (2, 4, −2). Le milieu est I(2, 2, 1). L'équation s'écrit 2(x − 2) + 4(y − 2) − 2(z − 1) = 0, soit après développement 2x + 4y − 2z − 10 = 0, c'est-à-dire x + 2y − z = 5. C'est bien un hyperplan affine (il ne passe pas par l'origine), perpendiculaire à (AB) et passant par I.
Exercice 4 : intersection de deux hyperplans
Dans ℝ³, que forme l'intersection des hyperplans x + y + z = 0 et x − z = 0 ?
Correction. Chaque équation retire une dimension. Comme les deux vecteurs normaux (1, 1, 1) et (1, 0, −1) ne sont pas colinéaires, les deux hyperplans ne sont pas parallèles : leur intersection est un sous-espace de dimension 3 − 2 = 1, c'est-à-dire une droite. On retrouve l'idée que « k équations indépendantes retirent k dimensions ».
Applications de la notion d'hyperplan
La notion d'hyperplan n'est pas un simple objet d'école : elle irrigue plusieurs domaines des mathématiques et de leurs applications.
En algèbre linéaire
Les hyperplans sont les briques élémentaires de la théorie des systèmes linéaires. Résoudre un système, c'est intersecter des hyperplans : chaque équation est un hyperplan, et l'ensemble des solutions est leur intersection. La théorie de la dualité (formes linéaires, espace dual) repose entièrement sur la correspondance entre hyperplans et formes linéaires.
En géométrie
Les hyperplans servent à définir les distances, les projections orthogonales et les symétries (une réflexion est une symétrie par rapport à un hyperplan). Ils permettent aussi de découper l'espace en régions : un hyperplan sépare l'espace en deux demi-espaces, ce qui est à la base de l'étude des polyèdres et de la programmation linéaire.
En apprentissage automatique
C'est peut-être l'application la plus spectaculaire. De nombreux algorithmes de classification cherchent un hyperplan séparateur : une frontière linéaire qui sépare deux catégories de données représentées comme des points dans un espace de grande dimension. Les machines à vecteurs de support (SVM) cherchent ainsi l'hyperplan qui maximise la marge entre les deux classes. L'idée d'« un hyperplan qui coupe l'espace en deux » devient alors un outil décisionnel très concret.
Le fil rouge De la résolution d'un système à la classification de données, la même idée revient : un hyperplan est une frontière de codimension 1 qui partage l'espace. Maîtriser sa définition, c'est disposer d'un outil commun à l'algèbre, à la géométrie et à l'intelligence artificielle. |
Erreurs classiques à éviter
Quelques confusions reviennent systématiquement dans les copies. Les repérer, c'est éviter de perdre des points faciles.
Confondre hyperplan vectoriel et hyperplan affine : seul le premier passe par l'origine (second membre nul). Un hyperplan affine avec b ≠ 0 n'est pas un sous-espace vectoriel.
Oublier l'hypothèse « forme linéaire non nulle » : si φ = 0, son noyau est E tout entier, pas un hyperplan.
Croire que l'équation d'un hyperplan est unique : elle ne l'est qu'à un facteur multiplicatif près. 2x + y = 4 et 4x + 2y = 8 décrivent le même hyperplan.
Penser que le vecteur normal appartient à l'hyperplan : au contraire, il lui est orthogonal, donc il n'y appartient pas (sauf le vecteur nul, exclu).
Compter mal les dimensions : k équations linéaires indépendantes retirent k dimensions ; un seul hyperplan est de dimension n − 1, pas n − k.
Conclusion
La notion d'hyperplan unifie sous un seul mot des objets que l'on croyait séparés : le point sur une droite, la droite dans le plan, le plan dans l'espace, et leurs analogues en dimension supérieure. Un hyperplan est un sous-espace de dimension n − 1, décrit par une unique équation linéaire, avec un vecteur normal donné par ses coefficients. La distinction entre hyperplan vectoriel (passant par l'origine) et hyperplan affine (translaté) structure toute la géométrie qui en découle.
En gardant en tête ce double visage — algébrique par l'équation, géométrique par la frontière —, on transforme un chapitre réputé abstrait en un réflexe solide. Des systèmes linéaires aux algorithmes de classification, l'hyperplan reste le même outil fidèle : la frontière de codimension 1 qui partage l'espace et permet d'y raisonner en toute dimension.
