Limite supérieure d'un filet dans R
Bonjour,
Soit ${(x_\lambda)}_{\lambda \in \Lambda}$ un filet dans $\mathbb{R}$. Soient $x \in \mathbb{R}$ et $\epsilon > 0$. Si $\limsup_{\lambda} x_\lambda \leqslant x$, a-t-on l'existence de $\lambda_0 \in \Lambda$ tel que $x_\lambda < x + \epsilon$ pour tout $\lambda \succeq \lambda_0$ ?
Soit ${(x_\lambda)}_{\lambda \in \Lambda}$ un filet dans $\mathbb{R}$. Soient $x \in \mathbb{R}$ et $\epsilon > 0$. Si $\limsup_{\lambda} x_\lambda \leqslant x$, a-t-on l'existence de $\lambda_0 \in \Lambda$ tel que $x_\lambda < x + \epsilon$ pour tout $\lambda \succeq \lambda_0$ ?
Réponses
-
Il faut que je dorme mais ça m'a l'air bon :
$\limsup_\lambda x_\lambda = \inf \{u_{\lambda_0} \mid \lambda_0 \in \Lambda\}$ où $u_{\lambda_0} = \sup\{x_\lambda \mid \lambda \succeq \lambda_0\}$. Donc $\limsup_\lambda x_\lambda \leqslant x$ $\implies$ $\exists \lambda_0$ tel que $u_{\lambda_0} < x + \epsilon$ $\implies$ $\forall \lambda \succeq \lambda_0$, $x_\lambda < x + \epsilon$. -
Autre question sur la limite supérieure d'un filet de nombres réels.
Soient ${(x_\lambda)}_{\lambda \in \Lambda}$ et ${(y_\lambda)}_{\lambda \in \Lambda}$ deux filets de nombres réels indexés par le même ensemble dirigé $\Lambda$. S'il existe $\lambda_0 \in \Lambda$ tel que $x_\lambda \preceq y_\lambda$ pour tout $\lambda \succeq \lambda_0$, a-t-on $\limsup x_\lambda \leqslant \limsup y_\lambda$ ? -
oui
-
Hmm ok, mais comment le démontre-t-on ?
-
exercice...
-
Hmm ok. Voici un essai, mais je vais encore le relire.
Notons $\overline{x}_\lambda = \sup\{x_{\lambda'} \mid \lambda' \succeq \lambda\}$.
Soit $\lambda_1 \in \Lambda$. Pour tout $\lambda \succeq \max\{\lambda_0,\lambda_1\}$, on a $x_\lambda \leqslant y_\lambda \leqslant \overline{y}_{\lambda_1}$, donc $\overline{x}_{\lambda_1} \leqslant \overline{y}_{\lambda_1}$. On a alors $\limsup_\lambda x_\lambda \leqslant \overline{y}_{\lambda_1}$, puis $\limsup_\lambda x_\lambda \leqslant \limsup_\lambda y_\lambda$. -
Non ce n'est pas correct il me semble. Je vais voir si j'y arrive maintenant que j'ai mangé.
-
Je recommence...
Soit $\lambda_1 \in \Lambda$. Pour tout $\lambda \succeq \max\{\lambda_0,\lambda_1\}$, on a $x_\lambda \leqslant y_\lambda \leqslant \overline{y}_{\lambda_1}$, donc $\overline{x}_{\max\{\lambda_0,\lambda_1\}} \leqslant \overline{y}_{\lambda_1}$. On a alors $\limsup_\lambda x_\lambda \leqslant \overline{y}_{\lambda_1}$, puis $\limsup_\lambda x_\lambda \leqslant \limsup_\lambda y_\lambda$. -
(tu)
Connectez-vous ou Inscrivez-vous pour répondre.
Bonjour!
Catégories
- 163.2K Toutes les catégories
- 9 Collège/Lycée
- 21.9K Algèbre
- 37.1K Analyse
- 6.2K Arithmétique
- 53 Catégories et structures
- 1K Combinatoire et Graphes
- 11 Sciences des données
- 5K Concours et Examens
- 11 CultureMath
- 47 Enseignement à distance
- 2.9K Fondements et Logique
- 10.3K Géométrie
- 65 Géométrie différentielle
- 1.1K Histoire des Mathématiques
- 68 Informatique théorique
- 3.8K LaTeX
- 39K Les-mathématiques
- 3.5K Livres, articles, revues, (...)
- 2.7K Logiciels pour les mathématiques
- 24 Mathématiques et finance
- 314 Mathématiques et Physique
- 4.9K Mathématiques et Société
- 3.3K Pédagogie, enseignement, orientation
- 10K Probabilités, théorie de la mesure
- 773 Shtam
- 4.2K Statistiques
- 3.7K Topologie
- 1.4K Vie du Forum et de ses membres