summaryrefslogtreecommitdiffstats
diff options
context:
space:
mode:
authorDavid A. Madore <david+git@madore.org>2024-04-16 23:46:54 +0200
committerDavid A. Madore <david+git@madore.org>2024-04-16 23:46:54 +0200
commite46e844f8fc9c2928d0c1ad99c8203f496b278a5 (patch)
treecaa8bee9ac162cba571062500481ed2aa68bcb26
parente9b405c6c288268ff2c4c4c3bdaafe57f8623688 (diff)
downloadmitro206-e46e844f8fc9c2928d0c1ad99c8203f496b278a5.tar.gz
mitro206-e46e844f8fc9c2928d0c1ad99c8203f496b278a5.tar.bz2
mitro206-e46e844f8fc9c2928d0c1ad99c8203f496b278a5.zip
Clarification.HEADmaster
-rw-r--r--controle-20240422.tex13
1 files changed, 8 insertions, 5 deletions
diff --git a/controle-20240422.tex b/controle-20240422.tex
index 430adf5..8bab6a4 100644
--- a/controle-20240422.tex
+++ b/controle-20240422.tex
@@ -299,12 +299,15 @@ Montrer que si $\psi(\dblunderline{x}) = u$ et $\varepsilon > 0$,
alors il existe $\ell \in \mathbb{N}$ tel que toute suite
$\dblunderline{y}$ commençant par $x_0,\ldots,x_{\ell-1}$ vérifie
$|\psi(\dblunderline{y})-u| < \varepsilon$. Autrement dit, il existe
-$\ell$ tel que l'image du $\ell$-ième voisinage fondamental
-$V_\ell(\dblunderline{x})$ de $\dblunderline{x}$ par $\psi$ soit
-incluse dans la boule ouverte $B_\varepsilon(u) :=
+$\ell$ tel que l'image du $\ell$-ième voisinage
+fondamental\footnote{Rappel : $V_\ell(\dblunderline{x})$ est
+l'ensemble des suites commençant par les $\ell$ termes
+$x_0,\ldots,x_{\ell-1}$.} $V_\ell(\dblunderline{x})$ de
+$\dblunderline{x}$ par $\psi$ soit incluse dans la boule ouverte
+$B_\varepsilon(u) :=
\mathopen]u-\varepsilon,u+\varepsilon\mathclose[$.
-(\emph{Indication :} s'inspirer de la note en bas de
- page \ref{footnote-series-converges}.)
+ (\emph{Indication :} s'inspirer de la
+ note \ref{footnote-series-converges}.)
\begin{corrige}
Si $\dblunderline{x}$ et $\dblunderline{y}$ coïncident sur les