Question a propos des sous suites

[Chuck Nurris]

bonsoir, j'ai une petite question a propos des suites extraites :

est-ce que pour que (Vn) soit une sous suite extraite d'une suite (Un), il faut obligatoirement que Vn=Uf(n) (ou f:N--->N strictement croissante)?
ou bien cela serait-il possible en choisissant des termes de la suite (Un) verifiants de certaines conditions? si c'est le cas vous etes priez d'inclure les conditions dans vos reponses.

merci d'avance !!

[legeniedesalpages]

Salut,

est-ce que pour que (Vn) soit une sous suite extraite d'une suite (Un), il faut obligatoirement que Vn=Uf(n) (ou f:N--->N strictement croissante)?

Oui c'est nécessaire (et suffisant), c'est en fait la définition d'une suite extraite.

ou bien cela serait-il possible en choisissant des termes de la suite (Un) verifiants de certaines conditions?

ton choix sera fait par une fonction f:IN-->IN strictement croissante.
Dans tous les cas pour que ce soit une sous-suite, il faut que la définition d'une sous-suite soit vérifiée.

[legeniedesalpages]

Bonsoir Rain, désolé, je n'avais pas vu ton intervention. :)

[ThSQ]

Il faut que f soit strictement croissante et quelconque. On a eu en TD l'exo amusant :

Trouver une suite non convergente telle que converge pour tout k > 1 :doh:

[SimonB]

Autre problème sur les suites extraites :

Si est une suite définie par une récurrence ( avec f définie sur et continue) et possède exactement p valeurs d'adhérence et est bornée (dans un e.v.n.), montrer que chaque suite , k variant entre 0 et (n-1), converge vers une valeur d'adhérence de la suite.

(Spécial pour ThSQ :lol2: )

[ThSQ]

Autre problème sur les suites extraites :

Je pense que c'est faux sans ajouter d'hypothèses (dimension finie par exemple pour l'evn). Je construis un contrex-badoit et je reviens

Sinon déjà avec cette hypothèse, il est clair que l'ensemble des va est stable (et de manière "bijective") par f.

(Spécial pour ThSQ :lol2: )

C'est trop d'honneur :biere:

[SimonB]

Je pense que c'est faux sans ajouter d'hypothèses (dimension finie par exemple pour l'evn). Je construis un contrex-badoit et je reviens

Ouais, il faut bien entendu lire "de dimension finie" (*se rattrape*)...

[prody-G]

Il faut que f soit strictement croissante et quelconque. On a eu en TD l'exo amusant :

Trouver une suite non convergente telle que converge pour tout k > 1 :doh:

Est-ce que ça avance à quelquechose de dire (sous réserve que ce soit vrai mais ça reste une impression) que toutes les sous-suites de cette forme convergent vers une même limite ?

Si converge vers alors
Et si pour q impair converge vers L' alors et donc L=L'.

On pourrait ajouter que ne converge pas sinon serait convergente.

[leon1789]

Il faut que f soit strictement croissante et quelconque. On a eu en TD l'exo amusant :

Trouver une suite non convergente telle que converge pour tout k > 1 :doh:

La suite caractéristique des nombres premiers ? (u_n = 0 sauf si n est premier)
On a alors v_2=v_3=...=0

[ThSQ]

bien entendu

:++:

Bon je range mon contrex :briques: (l'était pas bien bô en plus ...).



V = { } les v.a.

Quelques faits triviaux :
i on peut se ramener à une suite dans un compact de IR^n
ii une suite y converge ssi elle a une seule va
iii une suite y a au moins une va

iv V est stable par f, et plus encore f permute les éléments de V (sinon on ne pourrait pas en avoir 'p')
v on peut prendre
vi ou bien toutes les convergent ou bien aucune ne converge
vii ou les ont toutes le même nombre de v.a. (en rebouclant au bout de 'p' tours)

On peut entourer chaque par des boules disjointes de (même) diamètre arbitrairement petit.
En utilisant la C° uniforme et les boules uniformes et le fait iii, quitte à réduire le diamètre, on montre que reste dans ces boules à partir d'un certain rang.

Maintenant qu'on a planté le décor on peut attaquer !


Supposons que les aient > 1 va et donc se répartissent dans (au moins) deux des boules précédentes chacune.
Alors (faire un dessin avec des boules (et un sapin et une guirlande au besoin)) il y a deux suites extraites de deux (avec des k différentes) dans la même boule.
Et là blème car en itérant une des suites extraites elle saute d'une boule à l'autre et retombe dans même boule exactement tous les 'p'. Elle ne peut ex aucun cas rencontrer l'autre suite extraite.



Quelle est l'origine de ce superbe exo Simon ?

[ThSQ]

Quelle est l'origine de ce superbe exo Simon ?

Un 'tit up si jamais Simon passe par là

[SimonB]

Oh ! On me laisse fêter mon nouvel an à Barcelone ! ;)

En dehors de ça...
C'est ça, modulo la rédaction :D L'origine, c'est un sujet d'agrégation des années 70, puis indépendamment, un sujet de DM de mon prof cette année (une généralisation d'une question que je lui avais posée plus précisément...).

[ThSQ]

Oh ! On me laisse fêter mon nouvel an à Barcelone !

En dehors de ça...
C'est ça, modulo la rédaction L'origine, c'est un sujet d'agrégation des années 70, puis indépendamment, un sujet de DM de mon prof cette année (une généralisation d'une question que je lui avais posée plus précisément...).

Ok merci. La rédaction .... oui il faut sans aucun doute plusieurs pages pour rédiger proprement (avec des dessins pour expliquer comment la suite tourne autour des v.a..). Le point le plus délicat est l'utilisation de la C° unif pour montrer que les va sont entourées par des boules de même diamétre je pense.