1.1.1 Cellules [01LC]
Original official author HTML, exact retained edition. Historical TeX conversion verdicts remain unchanged. Cited-edition alignment and mathematical self-containment are not assessed.
Complete original source context · Original author HTML
1.1.1 Cellules
Une cellule de est une partie non vide de qui est une intersection finie de demi-espaces affines fermés. Soit une cellule de ; la dimension de est par définition la dimension du sous-espace affine engendré par ; une -cellule est une cellule de dimension .
L’intérieur de est son intérieur topologique dans et sera noté ; son complémentaire dans est appelé son bord et est noté . Le bord est non vide si et seulement si est de dimension strictement positive.
Une partie de est un cellule ouverte si elle est égale à l’intérieur d’une cellule , qui est alors uniquement déterminée : on a nécessairement . La dimension d’une cellule ouverte est par définition la dimension de la cellule fermée correspondante ; une -cellule ouverte est une cellule ouverte de dimension .
Remarquons qu’une partie de est une -cellule si et seulement si c’est un point, et c’est alors également une -cellule ouverte, son bord étant vide.
Soit une cellule de et soit un sous-espace affine de qui rencontre , et qui ou bien contient , ou bien ne rencontre pas l’intérieur de . L’intersection est alors une cellule, ou bien égale à ou bien contenue dans . On dira d’une telle cellule qu’elle est une face de . L’intersection de deux faces de est ou bien vide, ou bien une face de ; le bord de est réunion de faces. Une -face de est une face de de dimension .