Bonjour, je voulais prendre votre avis sur une démonstration que j'ai fait .
tout d'abord on a par définition l'épigraphe d'une fct f: X dans R est donné par :: epi(f)= {(x,r): f(x)<=r}
ce que je veux montrer c'est pour une famille {f_i}_(i dans I} on a epi( sup_{i ds I} {f_i}) = l'intersection epi (f_i). l'intersection sur les i dans I bien sur)
ce que je fait est ::
soit (x,r) dans epi(sup f_i) donc par définition sup_{i ds I}f_i(x) <= r
ce qui implique que pour tout i dans I on a sup {f_i}(x)<= r donc pour tout i dans I on a f_i(x) <= r d'ou on a x dans intersection epi(f_i)
Maintenant on montre l'inclusion inverse soit (x,r) dans intersection f_i alors
f_i(x)<=r pour tout i dans I et donc sup_{i ds I} f_i(x) <= r c à d (x,r) dans epi(sup f_i)
est ce que c'est juste ma démonstration??
Merci
-----