Sous-espace affine

Sous-espace affine

Espace affine

Historiquement, la notion d’espace affine est issue du choc dû à la découverte de nouvelles géométries parfaitement cohérentes, mais différant de celle d'Euclide par l'axiome des parallèles. Elles remettaient en cause les notions de longueur et d'angle, qui reposaient elles-mêmes sur celle de distance, et poussèrent à redéfinir l'espace euclidien, en excluant ces notions et tout ce qui s'y rapportait. Le résultat fut une géométrie affine, où l'espace apparait comme une structure algébrique, voisine de celle d'espace vectoriel qui en fut dégagée par la suite (donnant ainsi naissance à l'algèbre linéaire).

Sommaire

Définitions

Il existe de nombreuses manières de définir un espace affine (voir l'article « Structure affine »). Ici, nous supposons donnés :

  • un corps (  \mathbb K \,, + , x ) , noté «  \mathbb K \, » en abrégé, d'éléments neutres « 0 » pour la loi additive et « 1 » pour la loi multiplicative ;
les éléments du corps sont habituellement appelés « scalaires » et notés par des lettres grecques minuscules :  \lambda , \mu \, ,...
  • un espace vectoriel (  V \,, \ ^{\dot +} , · ) sur ce corps, noté «  V \, » en abrégé, d'élément neutre «  \vec 0 \, » ;
les éléments de l'espace vectoriel sont appelés « vecteurs » et notés par des lettres latines minuscules surmontées d'une flèche :  \vec u ,  \vec v ,...
  • et un ensemble  E \, non vide, à partir duquel nous allons construire notre espace affine ;
ses éléments seront appelés « points » et notés par des lettres latines majuscules :  A , B \, ,...
remarque : les couples d'éléments de  E \,, éléments de  E \times E \,, seront appelés « bipoints », conformément à la tradition. De même, le premier élément d'un tel couple sera appelé « origine » du bipoint, et le second élément « extrémité » du bipoint.


L'espace affine \mathcal E \ sur le corps  \mathbb K \,, associé à l'espace vectoriel  V \, est alors défini comme le quadruplet ( E , \mathbb K , V , \varphi ) \,, où  \varphi \, est une loi scalaire binaire, c'est-à-dire une application de  E \times E \, dans  V \, qui satisfait aux deux propriétés suivantes, appelées axiomes des espaces affines :

(A1) Pour tout couple de bipoints tels que l'origine du second coïncide avec l'extrémité du premier, la somme des images par  \varphi \, est égale à l'image, toujours par  \varphi \,, du bipoint formé par l'origine du premier et l'extrémité du second. En d'autres termes :
 \forall\ ( A , B , C ) \in E^3 ,\ \ \varphi ( A , B ) + \varphi ( B , C ) = \varphi ( A , C ) \,
(A2) Pour tout point et tout vecteur, il existe un unique bipoint dont l'origine est le point considéré et dont l'image par  \varphi \, est le vecteur considéré. En d'autres termes :
 \forall\ A \in E , \forall\ \vec v \in V , \exists!\ B \in E /\ \ \varphi ( A , B ) = \vec v \,

Lorsque le contexte n'est pas ambigu, la notation ( E , \mathbb K , V , \varphi ) \, peut être abrégée, par exemple par E ou par ( E , V , \varphi ) \,,...

Si l'on note «  \overrightarrow{AB} \, » le vecteur  \varphi ( A , B ) \,, la propriété (A1) s'écrit :

 \forall\ ( A , B , C ) \in E^3 ,\ \ \overrightarrow{AB} + \overrightarrow{BC} = \overrightarrow{AC}. \,

Cette propriété est souvent appelée Relation de Chasles.

La propriété (A2) dit tout simplement que lorsqu'on fixe un point  P \, dans  E \,, l'application  \varphi_P \,:

 \varphi_P : \ \begin{matrix} E & \longrightarrow & V \\ M & \longmapsto & \overrightarrow{PM} \end{matrix} \,

est une bijection. Elle permet aussi de définir une opération (qui est plus utilisée comme une notation) correspondant à l'addition d'un vecteur à un point :

\forall\ ( A , B ) \in E^2 , \forall\ \vec v \in V ,\ \ A + \vec v = B \Leftrightarrow \overrightarrow{AB} = \vec v .

La dimension d'un espace affine est la dimension de l'espace vectoriel qui lui est associé.

L'espace vectoriel  V \, est appelé direction de  E \,

Propriétés élémentaires

Les propriétés suivantes découlent directement de la définition d'espace affine (c'est-à-dire des axiomes (A1) et (A2)). Soient  A , B , C, D\, et  A_1,...,A_n \, des points quelconques dans un espace affine  \mathcal E \,. Nous avons alors :

  •  \overrightarrow{AB} = \vec 0 \Leftrightarrow A = B \, ;
  •  \overrightarrow{BA} = - \overrightarrow{AB} \, ;
  •  \overrightarrow{A_1A_n} = \sum_{i = 1}^{n-1}  \overrightarrow{A_iA_{i+1}} (relation de Chasles généralisée)
  •  \overrightarrow{AB} = \overrightarrow{DC} \Leftrightarrow \overrightarrow{AD} = \overrightarrow{BC} \, (relation du parallélogramme).

Exemples d'espaces affines

Plan affine

Regardons le plan  \mathbb R^2 comme un ensemble de points (sans structure particulière) mais aussi comme un  \mathbb R -espace vectoriel.

Le quadruplet  ( \mathbb R^2 , \mathbb R , \mathbb R^2 , \varphi_2 ) \, \varphi_2 \, est définie par :
 \varphi_2 : \begin{matrix} \mathbb R^2 \times \mathbb R^2 & \longrightarrow & { \mathbb R^2 \ \ \ } \\ ( ( x_1 , y_1 ) , ( x_2 , y_2 ) ) & \longmapsto & ( x_2 - x_1 , y_2 - y_1 ) \end{matrix} \,

est un  \mathbb R -espace affine de dimension 2 (c'est le plan affine).

Espace affine tridimensionnel

Le quadruplet  ( \mathbb R^3 , \mathbb R, \mathbb R^3 , \varphi_3 ) \, avec :

 \varphi_3 : \begin{matrix} \mathbb R^3 \times \mathbb R^3 & \longrightarrow & { \mathbb R^3 \ \ \ } \\ ( ( x_1 , y_1 , z_1 ) , ( x_2 , y_2 , z_2 ) ) & \longmapsto & ( x_2 - x_1 , y_2 - y_1 , z_2 - z_1 ) \end{matrix} \,

est un espace affine sur  \mathbb R de dimension 3.

Espace affine de dimension n

De façon plus générale, si  \mathbb K \, est un corps quelconque, l'espace affine canonique sur  \mathbb K \, de dimension n est le quadruplet :

 \mathcal A^n ( \mathbb K ) : = ( \mathbb K^n , \mathbb K , \mathbb K^n , \varphi ) \,

 \mathbb K^n \, est vu à la fois comme un espace de points et un  \mathbb K \,-espace vectoriel, et l'application  \varphi est définie par :

 \varphi : \begin{matrix} \mathbb K^n \times \mathbb K^n & \longrightarrow & { \mathbb K^n \ \ \ } \\ ( ( x_1 , x_2 , \dots , x_n ) , ( y_1 , y_2 , \dots , y_n ) ) & \longmapsto & ( y_1 - x_1 , y_2 - x_2 , \dots , y_n - x_n ) \end{matrix} \,

Généralisation : espace affine construit à partir d'un espace vectoriel

De façon encore plus générale, si V est un espace vectoriel sur un corps  \mathbb K \,, on définit l'espace affine canonique associé à l'espace vectoriel V par le quadruplet :

 \mathcal A ( V ) := ( V , \mathbb K , V , \varphi ) \,

V est vu à la fois comme un espace de points et un  \mathbb K \,-espace vectoriel, et l'application  \varphi est définie par :

  \varphi(x,y) = \overrightarrow{xy} := y-x

Sous-espaces affines

Un sous-espace affine d'un espace affine  \mathcal E = ( E , V , \varphi ) \, est un triplet  ( F , W , \varphi ) \, F \, est inclus dans  E \, et  W \, est un sous-espace vectoriel de  V \,, le tout satisfaisant aux deux propriétés suivantes :

  • (SA1)   Pour tout couple de points  A \, et  B \, de  F \,,   le vecteur  \overrightarrow{AB} \, appartient à  W \, ;


  • (SA2)   Pour tout point  A \, de  F \, et tout vecteur  \vec v\ \, de  W \,, le point  A + \vec v \, appartient à  F \,.


Le sous-espace vectoriel  W \, est appelé la direction du sous-espace affine. La dimension d'un sous-espace affine est tout simplement la dimension de sa direction.

On nomme Hyperplan affine un sous-espace affine dont la direction est un hyperplan de V.

Tout hyperplan affine peut se définir comme ensemble des points M\in \mathcal E vérifiant une équation f(M) = 0, où f est une forme affine, c'est-à-dire une application affine dont la partie linéaire est une forme linéaire.

Notion de parallélisme

Dans un espace affine  \mathcal E \,, deux sous-espaces affines  ( F , W , \varphi ) \, et  ( F' , W' , \varphi ) \, sont parallèles si l'un des sous-espaces vectoriels,  W \, ou  W' \,, est inclus dans l'autre.

Le célèbre cinquième postulat d'Euclide n'est alors qu'un résultat facile à démontrer à partir des définitions et des propriétés des espaces vectoriels :

Théorème (généralisation du cinquième Postulat D'Euclide) : Dans un espace affine  \mathcal E \,, étant donné un point quelconque  P \, et une direction  W \,, il existe un unique sous espace affine passant par  P \, et ayant  W \, comme direction.

A voir aussi...

  • Portail des mathématiques Portail des mathématiques
Ce document provient de « Espace affine ».

Wikimedia Foundation. 2010.

Contenu soumis à la licence CC-BY-SA. Source : Article Sous-espace affine de Wikipédia en français (auteurs)

Игры ⚽ Нужно сделать НИР?

Regardez d'autres dictionnaires:

  • Sous-espace affine engendre — Sous espace affine engendré Cet article court présente un sujet plus amplement développé ici : Barycentre (géométrie affine). Dans un espace affine E, le sous espace engendré par une partie non vide A, également dénommé enveloppe affine de A …   Wikipédia en Français

  • Sous-espace affine engendré — Cet article court présente un sujet plus développé dans : Barycentre (géométrie affine). Dans un espace affine , le sous espace affine engendré par une partie non vide A, également dénommé l enveloppe affine de A, est le plus petit sous… …   Wikipédia en Français

  • Direction d'un sous-espace affine — Espace affine Historiquement, la notion d’espace affine est issue du choc dû à la découverte de nouvelles géométries parfaitement cohérentes, mais différant de celle d Euclide par l axiome des parallèles. Elles remettaient en cause les notions de …   Wikipédia en Français

  • Espace Affine — Historiquement, la notion d’espace affine est issue du choc dû à la découverte de nouvelles géométries parfaitement cohérentes, mais différant de celle d Euclide par l axiome des parallèles. Elles remettaient en cause les notions de longueur et d …   Wikipédia en Français

  • Espace affine — En géométrie, un espace affine est un espace qui généralise la notion d espace vectoriel. Dans un espace affine on peut parler d alignement, de parallélisme, de rapport de proportionnalité. Sous la forme qui utilise des rapports de mesures… …   Wikipédia en Français

  • sous-espace — [ suzɛspas ] n. m. • v. 1968; de sous et espace ♦ Math. Ensemble de vecteurs qui, dans un espace vectoriel, possèdent également la structure d espace vectoriel. ● sous espace, sous espaces nom masculin Variété linéaire affine, pour un espace… …   Encyclopédie Universelle

  • Sous-espace projectif — En géométrie projective, un sous espace projectif est défini comme le projeté d un sous espace vectoriel de l espace vectoriel associé. Contrairement à ce qui se passe en géométrie affine, les propriétés sur les dimensions règlent de nombreux… …   Wikipédia en Français

  • Dimension d'un espace affine — Cet article court présente un sujet plus développé dans : Dimension d un espace vectoriel. La dimension d un espace affine est la dimension de l espace vectoriel sous jacent. Portail de la géométrie Catégorie  …   Wikipédia en Français

  • Espace vectoriel normé de dimension finie — Topologie d un espace vectoriel de dimension finie En mathématiques, la topologie d un espace vectoriel de dimension finie correspond à un cas particulier d espace vectoriel normé. Cette configuration se produit si la dimension est finie. Elle… …   Wikipédia en Français

  • affine — [ afin ] adj. • XXe; fém. de affin 1 ♦ Biol. Formes affines, présentant des ressemblances ne traduisant pas toujours des liens de parenté. Les sélaginelles sont affines aux lycopodes. 2 ♦ Math. Transformation affine : transformation dans le plan… …   Encyclopédie Universelle

Share the article and excerpts

Direct link
Do a right-click on the link above
and select “Copy Link”