Chapitre 2.

M ethode danalyse dintervalles

36

2.9.1

Propri et es

la fonction dinclusion f est : Une fonction monotone si et seulement si [x] [y ] = [f ]([x]) [f ]([y ]) avec [x] et [y] sont deux pav es de Rn . Une fonction minimale x Rn , [f ]([x]) = [f ([x])] La fonction dinclusion minimale est unique pour chaque fonction vectorielle. Une fonction convergente si et seulement si pour toute suite de pav es [x]k ,nous avons
k

lim w([xk ]) = 0 = lim ([f ]([x]k )) = 0

k

ce qui entra ne, x Rn ,[f ](x) = f (x) Dans (Neumaier 1990) , il est d emontr e quil est toujours possible de trouver une fonction dinclusion convergente [f ] quand la fonction f est continue et d enie par une expression arithm etique. Notons quen, g en eral [f ([x])] est la boite envelopp ee de f ([x]) (la plus petite boite qui contient f ([x])).les inclusions suivantes sont v eri ees : f ([x]) [f ([x])] [f ]([x]) une illustration de ces inclusions est donn ee sur la Fig.2.2.

Fig. 1 Image dun pav e par les fonctions dinclusion [f ]([x]),[f ] ([x]) et f ([x]) .

2.9.2

Fonctions el ementaires

Consid erons E et F deux sous-ensembles de R. On appelle fonctions el ementaires toute fonction f d enie de E dans F pour laquelle, nous disposons dune fonction dinclusion minimale [f ] : R R ,telle que: