Dans un espace topologique X irréductible, la dimension d'un fermé irréductible Z est la longueur m d'une chaîne de fermés irréductibles maximale (toutes les inclusions sont strictes)
et la codimension de Z est la longueur k d'une chaîne maximale
On a en particulier
Ma question est toute simple : A-t-on égalité pour tout Z si X est un espace projectif
Ce qui reviendrait à dire que tout irréductible Z s'insère dans une chaîne maximale de X (mais je ne vois pas ce qui permettrait de l'affirmer).
Merci par avance.