ScalingStacks

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 VV est une partie non vide de VV qui est une intersection finie de demi-espaces affines fermés. Soit CC une cellule de VV ; la dimension de CC est par définition la dimension du sous-espace affine ⟨C⟩\langle C\rangle engendré par CC  ; une pp-cellule est une cellule de dimension pp.

L’intérieur de CC est son intérieur topologique dans ⟨C⟩\langle C\rangle et sera noté C̊\mathring{C} ; son complémentaire dans CC est appelé son bord et est noté ∂C\partial C. Le bord ∂C\partial C est non vide si et seulement si CC est de dimension strictement positive.

Une partie DD de VV est un cellule ouverte si elle est égale à l’intérieur d’une cellule CC, qui est alors uniquement déterminée : on a nécessairement C=D¯C=\overline{D}. La dimension d’une cellule ouverte est par définition la dimension de la cellule fermée correspondante  ; une pp-cellule ouverte est une cellule ouverte de dimension pp.

Remarquons qu’une partie CC de VV est une 00-cellule si et seulement si c’est un point, et c’est alors également une 00-cellule ouverte, son bord étant vide.

Soit CC une cellule de VV et soit HH un sous-espace affine de VV qui rencontre CC, et qui ou bien contient CC, ou bien ne rencontre pas l’intérieur de CC. L’intersection C∩HC\cap H est alors une cellule, ou bien égale à CC ou bien contenue dans ∂C\partial C. On dira d’une telle cellule qu’elle est une face de CC. L’intersection de deux faces de CC est ou bien vide, ou bien une face de CC  ; le bord de CC est réunion de faces. Une pp-face de CC est une face de CC de dimension pp.

Original mathematics by the credited authors. Source-backed reader collection; mathematical self-containment is not assessed.