Borne sup

[geofnich]

Bonjour,

Est ce que pour une suite de fonctions fn(x) on peut écrire:
sup(fn(x))=+inifini equivaut "Quelquesoit A dans N, il existe un No dans N tq: fn(x)>A quelque soit n>No"

Merci

[Purrace]

Sup(fn(x))=+ inf n'a aucun sens puisqu'elle n'est pas majoree.

[bitonio]

Sup(fn(x))=+ inf n'a aucun sens puisqu'elle n'est pas majoree.

En considérant la droite numérique achevée cela a un sens...

[ThSQ]

Geofnich ça dépend si tu fais le sup sur n ou sur x non ?

Si c'est sur n (ce qui semble être le cas) :


En français dans le texte ça veut dire que peut être trouvé aussi grand que l'on veut.


Et c'est tout à fait légal de dire qu'un sup peut valoir

[Purrace]

J'ai jamais vu d'etude de fonction dans R(barre).

[geofnich]

Oui c'est bien le sup sur n

En fait,j'ai une suite d'application mesurable fn (n dans N) de X dans Rbar=R U{+infini;-infini}
Et on dois montrer que le sup(fn(x)) est mesurable
Dc je pensais décomposé {sup fn(x)<=q, q dans Q}= {supfn(x)

Et je voulais écrire {sup fn(x)=+inifini} comme intersection et réunion dénombrable de fn^-1(ouvert)??

[ThSQ]

(démo du génialissime poly de Gallouet et Herbin)

[geofnich]

(démo du génialissime poly de Gallouet et Herbin)

Ok merci beaucoup.