Convergence simple/uniforme
Voici un exercice sur lequel je sèche.
Soit $(a,b) \in \mathbb{R}^2$ avec $a<b$.
1) Soit $f_1,\ldots,f_n \in \mathbb{R}^{[a,b]}$. Montrer que $(f_1,\ldots,f_n)$ est libre si et seulement s'il existe $x_1,\ldots,x_n \in [a,b]$ tels que la matrice $(f_i(x_j))_{1\le i,j\le n}$ soit inversible.
2) Soit $E=\mathrm{vect}(f_1,\ldots,f_n)$. Montrer que la limite simple de fonctions de $E$ est encore dans $E$.
3) La convergence est-elle uniforme ?
1) J'arrive à montrer l'implication << $(f_1,\ldots,f_n)$ est liée $\Rightarrow \forall x_1,\ldots,x_n \in [a,b]$, la matrice $(f_i(x_j))_{1\le i,j\le n}$ n'est pas inversible >> c'est-à-dire l'implication << S'il existe $x_1,\ldots,x_n \in [a,b]$ tels que la matrice $(f_i(x_j))_{1\le i,j\le n}$ soit inversible alors $(f_1,\ldots,f_n)$ est libre>>. Mais je n'arrive pas à montrer l'autre sens.
2) Quitte à réduire la famille, on peut toujours supposer que les $f_1,f_2,\ldots,f_n$ forment une famille libre de $E$ donc une base de $E$. D'après la question précédente, on dispose de $n$ réels $x_1,\ldots,x_n$ de $[a,b]$ tels que la matrice $M:=(f_i(x_j))_{1\le i,j\le n}$ soit inversible. Soit $(g^{(k)})_{k\ge0}$ une suite de fonctions de $E$ qui converge simplement vers une fonction $g$. Pour tout entier $k$, il existe $(a_{i}^{(k)})_{1\le i \le n} \in \mathbb{R}^n$ tel que
$g^{(k)} = \sum_{i=1}^n a_{i}^{(k)} f_i \quad (\star)$. En particulier, on a pour tout $j \in \llbracket 1,n \rrbracket$, $g^{(k)}(x_j) = \sum_{i=1}^n a_{i}^{(k)} f_i(x_j)$. Cela s'écrit matriciellement par $\begin{pmatrix} g^{(k)}(x_1)\\ \vdots \\ g^{(k)}(x_n) \end{pmatrix} = M \begin{pmatrix} a_{1}^{(k)}\\ \vdots \\ a_n^{(k)} \end{pmatrix}$. Comme $M$ est inversible, on obtient $ \begin{pmatrix} a_{1}^{(k)}\\ \vdots \\ a_n^{(k)} \end{pmatrix} = M^{-1} \begin{pmatrix} g^{(k)}(x_1)\\ \vdots \\ g^{(k)}(x_n) \end{pmatrix}$. Ce qui montre que les suites $(a_i^{(k)})_{k \ge 0}$ converge vers disons une limite $a_i$. En passant à la limite dans $(\star)$, on a donc $g = \sum_{i=1}^n a_i f_i $ ce qui montre que $g \in E$.
3) Supposons que les fonctions $f_i$ soient bornées sur $[a,b]$. Alors elles sont bornée par une borne commune disons $m$.
On a alors pour tout $x \in [a,b]$, $\left|g(x) - g^{(k)}(x) \right| \le \sum_{i=1}^n |a_i-a_i^{(k)}| |f_i(x)| \le m \sum_{i=1}^n |a_i-a_i^{(k)}|$ donc $\|g-g^{(k)}\|_{\infty}^{[a,b]} \stackrel{k \to +\infty}{\longrightarrow }0$.
Mais si les $f_i$ ne sont pas bornées, la convergence est-elle uniforme ?
Réponses
-
Pour ta question 1), tu as quelques éléments de réponse ici
-
Pour la 3. tu peux par exemple considérer $E:=\mathrm{vect}(f)$ où $f:[0,1]\to \R$ est définie par $f(x):=1/x$ si $x\neq 0$ et $f(0):=0$. Alors la suite $(f/n)$ converge ponctuellement vers la fonction nulle mais pas uniformément.
-
Merci pour votre aidePS : dans ma preuve de la question 2 il s'agit plutôt de la transposée de la matrice $M$
Connectez-vous ou Inscrivez-vous pour répondre.
Bonjour!
Catégories
- 164.5K Toutes les catégories
- 42 Collège/Lycée
- 22.1K Algèbre
- 37.4K Analyse
- 6.3K Arithmétique
- 56 Catégories et structures
- 1.1K Combinatoire et Graphes
- 13 Sciences des données
- 5.1K Concours et Examens
- 16 CultureMath
- 49 Enseignement à distance
- 2.9K Fondements et Logique
- 10.6K Géométrie
- 79 Géométrie différentielle
- 1.1K Histoire des Mathématiques
- 73 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
- 329 Mathématiques et Physique
- 4.9K Mathématiques et Société
- 3.3K Pédagogie, enseignement, orientation
- 10.1K Probabilités, théorie de la mesure
- 787 Shtam
- 4.2K Statistiques
- 3.8K Topologie
- 1.4K Vie du Forum et de ses membres