Segment (mathématiques)

Sauter à la navigationSauter à la recherche

Pour les articles homonymes, voir segment.

Le segment [AB].

En géométrie, un segment de droite (souvent abrégé en « segment ») est une portion

de droite délimitée par deux points, appelés extrémités du segment. Un segment reliant deux

points et est noté 1

ou 2
et représente la partie de la droite qui se situe

« entre » les points et . Intuitivement, un segment correspond à un fil tendu entre deux
points, en négligeant l’épaisseur du fil et la déformation due à son poids.

Sommaire

 1Formalisation dans le cadre de la géométrie affine

 2Segments en géométrie euclidienne
 3Segments en géométrie hyperbolique
 4Segments dans le contexte des ensembles ordonnés
o 4.1Notion de segment initial
o 4.2Généralisation dans un corps ordonné quelconque
o 4.3Généralisation dans un espace affine sur un corps ordonné
quelconque
 5Références

Formalisation dans le cadre de la géométrie affine[modifier | modifier

le code]

Dans le cadre de la géométrie affine sur le corps des nombres réels, le segment peut
recevoir une définition précise3 :

Définition — Le segment est l’ensemble des barycentres à coefficients positifs ou nuls

de et .

Dans cette définition, on suppose que et sont éléments d’un même espace affine (de

dimension finie ou infinie, et qui peut être par ailleurs un espace vectoriel) sur le corps des
nombres réels.
Le barycentre ne changeant pas lorsque tous les coefficients sont multipliés par une même
constante non nulle, on déduit immédiatement de cette remarque l’énoncé suivant4 :
Proposition — Le segment est aussi l’ensemble des barycentres de muni du

poids et muni du poids , lorsque parcourt .

Lorsque l’on travaille dans un espace vectoriel, cette remarque fournit une description utile du

segment , à savoir :

Si l’espace affine est topologique et séparé (au sens de

Hausdorff), alors un segment est compact, comme image du

compact par l’application continue .

On pourrait inverser les bornes des segments ; ainsi il est tout à

fait licite d’écrire par exemple pour . Cependant, il y a

une ambiguïté dans le cas de : si les

segments et sont égaux au sens affine, ils ne le sont

pas en tant qu’intervalles puisque est l’intervalle

vide (car ).

Segments en géométrie
euclidienne[modifier | modifier le code]
En géométrie euclidienne, le segment est placé dans un espace

euclidien — ce peut être notamment un plan ou

l’espace à trois dimensions muni de la distance familière
entre points.

Soit et points quelconques de . Le

segment est alors l’ensemble des points où l’inégalité

triangulaire devient une égalité, ce qu’on peut écrire5 :

Proposition — Dans un espace euclidien , .

Segments en géométrie
hyperbolique[modifier | modifier le code]
En géométrie hyperbolique, on peut de la même façon disposer
du même concept intuitif de « segment »

entre et représentant la portion de la droite

hyperbolique située « entre » ces deux points, situé dans

le plan hyperbolique (ou d’ailleurs dans un espace
hyperbolique de n’importe quelle dimension).
En revanche, au moment d’écrire une définition plus précise, on
ne dispose pas d’une notion similaire aux barycentres, et on est
contraint de choisir une autre voie. Il existe bien sûr plusieurs
manières de le faire, selon qu’on ait choisi de privilégier la
structure topologique de l’espace hyperbolique, ou sa structure
d’espace métrique, ou le concept de géodésique. En voici une6 :

Définition — Pour et deux points d’un espace

hyperbolique, le segment s’obtient en

adjoignant et à celle des composantes

connexes de qui est relativement compacte dans

l’espace hyperbolique.

La caractérisation métrique donnée ci-dessus en géométrie

euclidienne est également valide en géométrie hyperbolique7.

Segments dans le contexte des ensembles

ordonnés[modifier | modifier le code]
Notion de segment initial[modifier | modifier le code]
Article détaillé : Segment initial.

On peut définir un segment initial, parfois abrégé en segment8,

comme le « début » d’un ensemble ordonné. Cette notion est
utile pour traiter des ordinaux ou pour construire le corps des
réels ℝ et la droite réelle achevée ℝ par les coupures de
Dedekind, ou plus généralement tout complété (pour la relation
d’ordre) d’un ensemble totalement9 ordonné.
Généralisation dans un corps ordonné
quelconque[modifier | modifier le code]
En théorie des ordres, on remplace la notion de segment par
celle d’intervalle fermé borné dans la définition d’ensemble
convexe10. Cette définition est cependant incompatible avec un
certain nombre de théorèmes « classiques » sur les ensembles
convexes : par exemple, la convexité n’implique pas la connexité
(ℚ est convexe mais non connexe).
Généralisation dans un espace affine sur un corps
ordonné quelconque[modifier | modifier le code]
On peut également généraliser la notion de d’espace affine réel
à celle d’espace affine sur un corps ordonné quelconque11. Dans

ce cas, le segment est encore l’ensemble des barycentres

de et à coefficients positifs ou nuls.

Cependant, de même que dans un corps ordonné quelconque,
des théorèmes classiques de topologie ou de géométrie peuvent
 ne pas s’appliquer : ainsi un ensemble convexe n’est pas
nécessairement connexe (on peut penser à ℚn pour
un n quelconque).

Références[modifier | modifier le code]

1. ↑ Marc Troyanov [archive], Cours de
géométrie, PPUR, coll. « Polycopiés de l’EPFL », 2009 (ISBN 978-
2-88074-817-3, lire en ligne [archive]), p. 5.
2. ↑ Dany-Jack Mercier, Cours de géométrie : préparation au Capes
et à l’agrégation, Publibook, 2005 (ISBN 978-2-74830556-2, lire en
ligne [archive]), p. 41.
3. ↑ Claude Delode, dans Géométrie affine et euclidienne, Dunod,
2002,(ISBN 2100046438), p. 7 utilise cette définition.
4. ↑ Claude Delode, op. cit. énonce cette proposition sous la forme
d’une autre définition, p. 223.
5. ↑ Cet énoncé est par exemple disponible sur le site
Homeomath [archive] (pour le plan euclidien familier).
6. ↑ C’est celle choisie par (en) Alan F. Beardon, The Geometry of
Discrete Groups, Springer-Verlag, coll. « GTM »
(no 91), 2012 (1re éd. 1983) (ISBN 978-1-46121146-4,lire en
ligne [archive]), p. 135 (elle y est donnée dans le contexte de la
géométrie plane).
7. ↑ C’est le théorème 7.3.2 de Beardon 2012, p. 135.
8. ↑ Aviva Szpirglas, Mathématiques L3
Algèbre, Pearson, 2009 [détail des éditions] (lire en
ligne [archive]), chap. 1 (« Ensembles »), p. 9, II.4. Segments.
9. ↑ ou partiellement, mais on préfèrera dans ce cas le complété de
Dedekind–MacNeille (en)
10. ↑ M. Eytan, « Convexité dans les ensembles
ordonnés », Mathématiques et sciences
humaines, t. 30, 1970, p. 35-42 (lire en ligne [archive]).
11. ↑ Bernard Le Stum, « Compléments d’algèbre et de géométrie
pour l’agrégation » [archive], 7 février 2003.

 Portail de la géométrie
Catégories :
 Analyse convexe
 Géométrie affine
 Géométrie hyperbolique
 Géométrie convexe
 Ligne droite
[+]
Menu de navigation
 Non connecté
 Discussion
 Contributions
 Créer un compte
 Se connecter
 Article
 Discussion
 Lire
 Modifier
 Modifier le code
 Voir l’historique
Rechercher
Continuer

 Accueil
 Portails thématiques
 Article au hasard
 Contact
Contribuer
 Débuter sur Wikipédia
 Aide
 Communauté
 Modifications récentes
 Faire un don
Outils
 Pages liées
 Suivi des pages liées
 Téléverser un fichier
 Pages spéciales
 Lien permanent
 Informations sur la page
 Élément Wikidata
 Citer cette page
Dans d’autres projets
 Wikimedia Commons
Imprimer / exporter
 Créer un livre
 Télécharger comme PDF
 Version imprimable
Dans d’autres langues
 ‫العربية‬
 Deutsch
 English
 Español
 Bahasa Indonesia
 Bahasa Melayu
 Português
 Русский
 中文
61 de plus
Modifier les liens
 La dernière modification de cette page a été faite le 22 septembre 2019 à 11:41.
 Droit d'auteur : les textes sont disponibles sous licence Creative Commons
attribution, partage dans les mêmes conditions ; d’autres conditions peuvent
s’appliquer. Voyez les conditions d’utilisation pour plus de détails, ainsi que
les crédits graphiques. En cas de réutilisation des textes de cette page,
voyez comment citer les auteurs et mentionner la licence.
Wikipedia® est une marque déposée de la Wikimedia Foundation, Inc.,
organisation de bienfaisance régie par le paragraphe 501(c)(3) du code fiscal
des États-Unis.
 Politique de confidentialité
 À propos de Wikipédia

 Avertissements

 Contact

 Développeurs

 Statistiques

 Déclaration sur les témoins (cookies)

 Version mobile