- Intérieur relatif
-
En mathématiques et plus précisément en topologie, l'intérieur relatif est l'intérieur d'un ensemble, relativement à son enveloppe affine. Cette notion est couramment utilisée en analyse convexe et s'applique à des parties d'ensembles convexes, par exemple ses faces, qui n'ont pas nécessairement d'intérieur dans l'espace vectoriel ambiant.
Sommaire
Intérieur relatif
Dans un espace vectoriel topologique
, l'intérieur relatif d'une partie non vide P est son intérieur dans son enveloppe affine, munie de la topologie induite de celle de
. On le note
La notation « ri » vient de l'anglais relative interior. De manière plus précise, on a
il existe un voisinage V de x dans
tel que
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
Dans un espace vectoriel topologique
, la frontière relative d'une partie non vide P est l'ensemble des points de son adhérence qui ne sont pas dans son intérieur relatif, c'est-à-dire l'ensemble
Critère d'intériorité relative
Le lemme suivant est fondamental pour traiter les questions d'intériorité relative d'un ensemble convexe C d'un espace vectoriel de dimension finie
Lemme d'intériorité relative pour un convexe — Soient C un convexe d'un espace vectoriel de dimension finie
,
,
et
. Alors
On en déduit le critère d'intériorité relative suivant.
Critère d'intériorité relative pour un convexe — Soient C un convexe d'un espace vectoriel de dimension finie
et
. Alors, les propriétés suivantes sont équivalentes :
,
- pour tout
, il existe un t > 1 tel que
,
- pour tout
, il existe un t > 1 tel que
Propriétés
L'intérieur relatif d'un convexe non vide est un convexe non vide. En particulier, l'intérieur relatif d'un point est ce point lui-même (qui est bien un ouvert dans l'espace affine réduit à ce point).
Convexité de l'intérieur relatif d'un convexe — Soit C un convexe non vide d'un espace vectoriel de dimension finie. Alors
- son intérieur relatif
est un convexe non vide,
Voici quelques propriétés permettant de calculer des intérieurs relatifs.
Calcul d'intérieur relatif de convexes — Soient
,
,
et
des espaces vectoriels de dimension finie et
une application linéaire.
- Si
et
sont deux convexes, alors
- Si
est une famille de convexes de
telle que
, alors
avec égalité si I est fini. - Si
est convexe, alors
- Si
est convexe et si l'image réciproque
, alors
- Si
est convexe et
, alors
- Si
et
sont deux convexes, alors
Annexes
Article connexe
Bibliographie
- (en) J.-B. Hiriart-Urruty, C. Lemaréchal (2001). Fundamentals of convex analysis. Springer-Verlag, Berlin.
- (en) R.T. Rockafellar (1970). Convex Analysis. Princeton Mathematics Ser. 28. Princeton University Press, Princeton, New Jersey.
Wikimedia Foundation. 2010.