Forum de mathématiques - Bibm@th.net

Bonjour à toute la communauté !

Je m'intéresse à la démonstration rigoureuse de l'indépendance linéaire des fonctions f_a qui à tout t réel associent |t-a|. Lorsque a décrit un ensemble dénombrable, un raisonnement par récurrence suffit, mais je ne vois pas comment procéder lorsque a décrit l'ensemble des réel.

J'ai pensé montrer que la seule combinaison linéaire nulle de ces fonctions est identiquement nulle, c'est à dire, notant g cette combinaison linéaire, que [pour tout t réel ∫(f_a(t)×g(a)×d(a))=0] => g est identiquement nulle, mais je pense que c'est faux de procéder ainsi car il faut que g soit au moins continue par morceaux pour que l'intégrale existe...

J'ai pensé alors à la stratégie suivante : trouver un endomorphisme opérant sur l'ensemble des fonctions pour lequel les fonctions f_a sont des vecteurs propres, de valeurs propres a, ou au moins dépendantes de a, et comme des espaces propres sont en somme directe, ce serait gagné. Mais je ne trouve pas d'endomorphisme convenable, et je ne suis pas sur que le théorème stipulant que des espaces propres sont en somme directe soit valable en dimension infinie...

C'est pourquoi j'en viens à vous. Je vous serai reconnaissant de m'éclairer.

Bien cordialement,

Bonne soirée !