Par suite, comme la borne inférieure est le plus grand des majorants, on a .
ça, est-ce que c'est clair ?
Kaiser
Juste un détail.
On prend un espace vectoriel normé.
ou est une suite d'élément de qui converge vers .
Il faut montrer que est un compact.
Faut il passer par la caractérisation des compacts (fermé borné) ?
E est un espace vectoriel quelconque, donc pas forcément de dimension finie.
Dans ce cas, un fermé borné n'est pas forcément compact.
Sinon, à part la définition même des compacts (K est compact si et seulement si toute suite d'éléments de K admet une sous-suite convergente dans K), as-tu vu une autre caractérisation ?
Kaiser
exercice interressant, je passerais par la définition d'un compact avec les ous-suites convergentes...
Soit yn appartenant à A alors yn=x ou yn=xn...si yn=x<=> y(phi)(n)->x appartenant à A,meme chose avec xn=yn...est que c'est bon Kaiser??
donc si on est en dimension finie :
on prend .
il s'agit de trouver une sous suite convergente dans .
?
robby3> ta suite peut-être un peu plus compliqué.
On a pas forcément .
La seule chose que l'on sait c'est soit ça vaut x, (ça tu l'as dit), soit où k(n) est entier qui dépend de n.
H_aldnoer> Ce raisonnement marche aussi en dimension finie. C'est la caractérisation "fermé borné" qui ne marche plus.
Kaiser
La suite que tu choisis peut très bien n'admettre aucun sous-suite qui converge vers x.
par exemple, prenons , alors
Posons alors qui vaut 1 si n est pair et 1/2 si n est impair.
cette suite admet bien des sous-suite convergentes mais aucune d'entre elle ne converge vers 0.
Il faut en fait distinguer plusieurs cas, enfin il me semble.
Kaiser
Je pense qu'il faut distinguer les cas selon que la suite prend un nombre fini de valeurs ou nombre infini de valeurs.
Dans le premier cas, c'est assez simple (car alors la suite en question prend une valeur une infinité de fois), dans l'autre cas, il me semble que la suite converge vers 0 (enfin, je crois).
Kaiser
Vous devez être membre accéder à ce service...
Pas encore inscrit ?
1 compte par personne, multi-compte interdit !
Ou identifiez-vous :