Intérieur relatif

En mathématiques et plus précisément en topologie, l'intérieur relatif d'une partie d'un espace vectoriel topologique est l'intérieur de cette partie dans son enveloppe affine. Cette notion est couramment utilisée en analyse convexe et s'applique le plus souvent à des parties convexes.

Intérieur relatif

L'intérieur relatif d'une partie non vide quelconque $P$ d'un espace affine topologique (en particulier, d'un espace vectoriel topologique) $E$ est l'intérieur de $P$ dans son enveloppe affine, munie de la topologie induite de celle de $E$.

On le note $\operatorname {ir} P$ ou $\operatorname {intr} P$ (ou $\operatorname {ri} P$, de l'anglais relative interior).

Par définition, on a donc :

$\operatorname {ir} P=\{x\in P\,\mid \,$il existe un voisinage $V$ de $x$ dans $E$ tel que $V\cap \operatorname {aff} P\subset P\}.$

Cette notion est souvent utile en analyse convexe, par exemple pour désigner l'intérieur relatif d'une face d'un polyèdre convexe, alors que l'intérieur d'une face est le plus souvent vide.

Frontière relative

La frontière relative de cette même partie $P$ est l'ensemble des points de son adhérence qui ne sont pas dans son intérieur relatif, c'est-à-dire l'ensemble ${\overline {P}}\setminus \operatorname {ir} P$.