Nous allons corriger à la suite plusieurs exercices classiques de familles libres dans les espaces vectoriels. Si vous souhaitez juste des énoncés, allez plutôt ici. Connaitre ces exercices aide à bien comprendre cette partie du cours de dérivation
Exercice 1 : Une famille de valeurs absolues
Commençons par ce premier exercice

Nous n’allons pas faire de récurrence, mais montrer directement le résultat. Il faut donc montrer que pour tout sous ensemble fini (a1,…, an), la famille des |x – ai| est libre. On va donc supposer qu’il existe des scalaires
\lambda_1, \ldots,\lambda_n
tels que :
\forall x \in \mathbb{R}, \sum_{i=1}^n \lambda_i |x-a_i|
On va ensuite montrer que pour un k arbitraire, λk est nul. Pour cela, on va l’isoler et supposer qu’il est non nul :
\lambda_k |x-a_k|=-\sum_{i=1, i\neq k}^n \lambda_i |x-a_i|
Intéressons nous maintenant au point x = ak :
- Le terme de gauche n’est pas dérivable en ce point
- Le terme de droite est dérivable en ce point
Ce qui aboutit à une contradiction. On obtient donc que λk = 0. Comme λk a été choisi arbitrairement, tous les λi sont nuls. La famille est donc libre.
Ce qui conclut notre premier exercice
Exercice 2 : Liberté de la famille du logarithme des nombres premiers

Nous pouvons faire là aussi une preuve directe. Prenons une sous-famille finie (p1, …, pn) de nombres premiers et montrons qu’elle est libre.
\exists \lambda_1,\ldots,\lambda_n \in \mathbb{Q}, \sum_{i=1}^n \lambda_i\ln(p_i) = 0
Chaque λi peut s’écrire :
\exists q_i \in \mathbb{Z}, r_i \in \mathbb{N}^*, \text{pgcd}(q_i,r_i)=1, \lambda_i =\dfrac{q_i}{r_i}
On pose ensuite
C = \text{ppcm} (\lambda_1, \ldots, \lambda_n)
On multiplie tout par C et on pose :
\mu_i = C \lambda_i \in \mathbb{Z}
Ce qui fait qu’on a maintenant l’égalité suivante :
\sum_{i=1}^n \mu_i\ln(p_i) = 0
On peut transformer cette égalité en :
\ln\left( \prod_{i=1}^n p_i^{\mu_i}\right) = 0
Puis on prend l’exponentielle :
\prod_{i=1}^n p_i^{\mu_i} = 1
Maintenant, on sépare les puissances négatives à droite :
\prod_{i=1, \mu_i \geq 0}^n p_i^{\mu_i} = \prod_{i=1, \mu_i <0}^n p_i^{-\mu_i }
Et on va conclure grâce au théorème des nombres premiers. En effet, le nombre
A=\prod_{i=1, \mu_i \geq 0}^n p_i^{\mu_i} = \prod_{i=1, \mu_i <0}^n p_i^{-\mu_i }
a une écriture unique et comme les nombres premiers de gauche et de droite sont tous distincts 2 à 2, on en déduit que chaque puissance est nulle. Donc,
\mu_1=\ldots=\mu_n =0
D’où on tire
\lambda_1=\ldots=\lambda_n=0
Ce qui conclut notre démonstration
Ces exercices vous ont plu ?