Complétude de $L^1$ pour $\Vert .\Vert_\infty$ ?
Bonjour,
tout est dans le titre, j'ai trouvé cette question dans une fiche de td et j'ai envie de répondre que non, mais je ne parviens pas à trouver de contre-exemple ... OU alors je suis complètement à coté et on a bien la complétude, dans ce cas je ne vois pas pourquoi
Merci.
tout est dans le titre, j'ai trouvé cette question dans une fiche de td et j'ai envie de répondre que non, mais je ne parviens pas à trouver de contre-exemple ... OU alors je suis complètement à coté et on a bien la complétude, dans ce cas je ne vois pas pourquoi

Merci.
Réponses
-
Une fonction de $L^1$ n’est pas bornée en général, donc la norme infinie n’est pas correctement définie sur $L^1$.
-
Parfois on précise l’ensemble, non ?
$L^1$ tout seul, est-ce par convention $L^1(\mathbb R)$ ? -
Je ne sais pas si c’est l’usage, mais j’avoue que sans précision, j’ai pensé qu’il s’agissait de $L^1(\R)$.
Il est vrai que l’énoncé aurait un sens avec l’espace analogue pour les suites. -
Oui ou bien le classique $L^1([0;1])$.Mais en regardant ici et là, sans précision, c’est bien $\mathbb R$ l’intervalle d’intégration.
-
Oui c’est bien sur R que la question est posée
merci -
Et pour l'espace des suites la réponse est non.
-
Y a-t-il un contre-exemple valable sur R et pas sur [0,1] ou vice versa ?
-
En fait j’ai confondu…
Je pensais à l’espace des fonctions continues (éventuellement continues par morceaux) sur [0;1] et intégrables. Oublions… oublions…Mais ici, même $L^1([0;1])$ contient des fonctions non bornées donc il n’est pas pertinent de parler de $||.||_{\infty}$ pour les fonctions de cet espace. -
Je pense qu'on parle ici de manière sous-entendu de la complétude de $L^1 \cap L^\infty$ pour $\|\cdot \|_\infty$.
-
Et du coup pour cet espace, comment démontrer ou non qu’il est complet ?
merci -
Tu peux par exemple considérer la suite de fonctions définie pour tout $n\in\N$ par\[\forall x\in\R,\quad f_n(x) = \dfrac{\chi_{[-n,n]}(x)}{1+|x|}.\]Il n'est pas difficile de montrer qu'il s'agit d'une suite de Cauchy dans $(L^1(\R)\cap L^{\infty}(\R),\|\cdot\|_\infty)$, mais qu'elle ne converge pas.L'idée est simple : tu prends une fonction dans $f\in L^\infty(\R) \setminus L_1(\R)$ et tu la tronques sur le segment $[-n,n]$ pour obtenir une fonction $f_n\in L^\infty(\R) \cap L^1(\R)$ pour tout $n\in\N$.
-
Merci pour votre exemple, mais je ne suis pas sûr de comprendre..
-
Qu'est ce que tu ne comprends pas ?
-
lorsque vous expliquez « l'idée simple"
Connectez-vous ou Inscrivez-vous pour répondre.
Bonjour!
Catégories
- 165.5K Toutes les catégories
- 64 Collège/Lycée
- 22.2K Algèbre
- 37.6K Analyse
- 6.3K Arithmétique
- 61 Catégories et structures
- 1.1K Combinatoire et Graphes
- 13 Sciences des données
- 5.1K Concours et Examens
- 26 CultureMath
- 51 Enseignement à distance
- 2.9K Fondements et Logique
- 10.8K Géométrie
- 85 Géométrie différentielle
- 1.1K Histoire des Mathématiques
- 79 Informatique théorique
- 3.9K LaTeX
- 39K Les-mathématiques
- 3.5K Livres, articles, revues, (...)
- 2.7K Logiciels pour les mathématiques
- 29 Mathématiques et finance
- 343 Mathématiques et Physique
- 5K Mathématiques et Société
- 3.4K Pédagogie, enseignement, orientation
- 10.1K Probabilités, théorie de la mesure
- 804 Shtam
- 4.2K Statistiques
- 3.8K Topologie
- 1.4K Vie du Forum et de ses membres