Produit scalaire, espace préhilbertien
Bonjour,
Je travaille sur les espaces préhilbertiens réels et deux questions se posent :
1) Est-ce que le terme "forme" est synonyme d' "application" ?
2) Connaissez-vous une démonstration qui n'utilise pas un raisonnement par l'absurde de la proposition suivante :
Si $f$ est une fonction continue et positive sur $[a,b]$ telle que $\int_a^b f(t)dt=0$, alors $f(t)=0$ pour tout $t\in [a,b]$
D'avance merci !
Je travaille sur les espaces préhilbertiens réels et deux questions se posent :
1) Est-ce que le terme "forme" est synonyme d' "application" ?
2) Connaissez-vous une démonstration qui n'utilise pas un raisonnement par l'absurde de la proposition suivante :
Si $f$ est une fonction continue et positive sur $[a,b]$ telle que $\int_a^b f(t)dt=0$, alors $f(t)=0$ pour tout $t\in [a,b]$
D'avance merci !
Réponses
-
1) J'ai l'impression qu'on parle de forme surtout pour une application d'un espace vectoriel dans son corps de base.
2) Oui, il suffit d'utiliser la définition de l'intégrale de Riemann avec les sommes de Darboux. -
@Gisé
Soit une subdivision $\{x_0=a,x_1,\cdots,x_n=b\}\subset [a,b]$, on applique la formule de la moyenne pour $f$ sur chaque intervalle $[x_i,x_{i+1}]$, on trouve qu'il existe $c_i\in[x_i,x_{i+1}]$ pour tout $i\in\{0,1,\cdots,n-1\}$ tel que
$$
0\le f(c_i)(x_{i+1}-x_i)=\int_{x_i}^{x_{i+1}}f(t)dt \le \int_a^b f(t)dt =0 \implies f(c_i)=0
$$
et en faisant tendre $n\to+\infty$ on touve, pour tout $c\in [a,b]:f(c)=0$.
Méthode récurrente. -
Merci à vous deux pour vos réponses.
Zerminov, as-tu un exemple d'application linéaire qui n'est pas une forme linéaire ? -
L'identité, en général, n'est pas une forme linéaire.
-
Bonjour Gisé.
Tu n'imagines pas que toute application linéaire a une image dans $\mathbb R$ ? Il suffit de prendre l'application identique d'un espace $E$ de dimension strictement supérieure à $1$ :-D.
Bruno
P.S. Grillé par Jer anonyme qui a été moins prolixe que moi ! -
Soit $f$ une fonction continue à valeurs réelles positives ou nulles sur $[a,b]$, $a<b$, telle que : $\int_{a}^{b}f(t)dt=0$. Pour tout $x\in [a,b]$, soit $F(x)=\int_{a}^{x}f(t)dt$. Cette fonction $F$ est croissante sur $[a,b]$. Il en résulte, pour tout $x\in [a,b]$ : $F(a)\leq F(x)\leq F(b)$, d'où : $F(x)=0$. Par suite: $f(x)=F^{\prime }(x)=0$.
Connectez-vous ou Inscrivez-vous pour répondre.
Bonjour!
Catégories
- 163.2K Toutes les catégories
- 9 Collège/Lycée
- 21.9K Algèbre
- 37.1K Analyse
- 6.2K Arithmétique
- 53 Catégories et structures
- 1K Combinatoire et Graphes
- 11 Sciences des données
- 5K Concours et Examens
- 11 CultureMath
- 47 Enseignement à distance
- 2.9K Fondements et Logique
- 10.3K Géométrie
- 65 Géométrie différentielle
- 1.1K Histoire des Mathématiques
- 69 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
- 314 Mathématiques et Physique
- 4.9K Mathématiques et Société
- 3.3K Pédagogie, enseignement, orientation
- 10K Probabilités, théorie de la mesure
- 773 Shtam
- 4.2K Statistiques
- 3.7K Topologie
- 1.4K Vie du Forum et de ses membres