Traduction liminf et sup

[simplet]

Bonjour,
Je dois montrer une inclusion d'ensemble mais je pense que j'ai un petit probleme de traduction...

Soient Xn , n entier, des va (independantes, mais ca ne sert pas dans cette question , je crois), je dois montre que pour un A>0 on a liminf(Xn
Voila comment je traduis mes ensembles:

w est dans (supXnA(n)>0 tel que Xn(w)
w est dans liminf(Xn=n Xk(w)
Mais l'inclusion ne me semble pas évidente... et même fausse :hum:


qqun peut m'aider?? je crois que c'est dans la traduction de (supXn

[tize]

Soit donc seulment si les N premières valeurs de sont finis...

[alben]

Bonjour,
Je pense que tes traductions sont correctes
Soit w dans lim inf (Xn'=>Xk(w)n' il suffit de prendre A(n)=A
Sinon

PS Télescopage avec Tize Oui ça implique que les Xn soient bornées

[simplet]

Soit donc seulment si les N premières valeurs de sont finis...

oui oui c'est ce qui m'avait semblé... et justement la raison de ce post
avec ces seules données on ne peut donc pas affirmer l'inclusion... c'est bien ca?

[simplet]

cet exercice m'a prs la tête tte l'apres midi... je vais pouvoir dormir sur mes 2 oreilles :-)

mercii