ATLAS Ouvrir dans l'atlas →

ExerciceMaths Sup – MPSI, chapitre 14 — Espaces vectoriels et applications linéaires · Familles de vecteurs

Exercice 22

Démonstration

1. Montrer que la famille (x↦eαx)α∈ℝ(x \mapsto \mathrm{e}^{\alpha x})_{\alpha \in \mathbb{R}} est libre dans ℱ(ℝ,ℝ)\mathcal{F}(\mathbb{R}, \mathbb{R}).

2. Montrer que la famille (x↦∣x−α∣)α∈ℝ(x \mapsto |x - \alpha|)_{\alpha \in \mathbb{R}} est libre dans ℱ(ℝ,ℝ)\mathcal{F}(\mathbb{R}, \mathbb{R}).

Corrigé

1. Une famille infinie est libre si toutes ses sous-familles finies le sont. Pour α1<⋯<αn\alpha_{1} < \cdots < \alpha_{n}, la liberté de (x↦eαkx)(x \mapsto \mathrm{e}^{\alpha_{k}x}) est l'exemple du cours, démontré en divisant par eαnx\mathrm{e}^{\alpha_{n}x} et en faisant tendre xx vers +∞+\infty.

2. Soit α1,…,αn\alpha_{1}, \dots, \alpha_{n} distincts et ∑λk∣x−αk∣=0\sum \lambda_{k}|x - \alpha_{k}| = 0 pour tout xx. Si λj≠0\lambda_{j} \neq 0, on aurait ∣x−αj∣=−1λj∑k≠jλk∣x−αk∣,|x - \alpha_{j}| = -\frac{1}{\lambda_{j}}\sum_{k \neq j} \lambda_{k}|x - \alpha_{k}|, et le membre de droite est dérivable en αj\alpha_{j}, puisque chaque x↦∣x−αk∣x \mapsto |x - \alpha_{k}| l'est hors de αk\alpha_{k}, alors que le membre de gauche ne l'est pas. Donc tous les λj\lambda_{j} sont nuls. Les deux familles sont libres.\boxed{\text{Les deux familles sont libres.}} À retenir. Pour une famille de fonctions, on cherche une propriété qui distingue chaque fonction des autres : une croissance plus rapide, ou un point de non-dérivabilité qui lui est propre.

Dans l'édifice

Thèmes

familles de vecteurs, familles libres

Notions

famille libre

Ouvrir dans l'atlas interactif →