Espaces normés

Réponses à toutes vos questions après le Bac (Fac, Prépa, etc.)
legeniedesalpages
Membre Irrationnel
Messages: 1512
Enregistré le: 17 Mai 2007, 00:40

espaces normés

par legeniedesalpages » 27 Aoû 2008, 12:26

Bonjour,

On considère un l'evn avec , .

Je bloque pour montrer qu'il existe tel que pour tout , on ait .

Merci pour votre aide.



yos
Membre Transcendant
Messages: 4858
Enregistré le: 10 Nov 2005, 22:20

par yos » 27 Aoû 2008, 13:11

Salut.
En minorant par 2xy, tu arrives à avec a et b quelconques dans [0,1].
Puis . Ensuite tu choisis a et b réalisant l'inf et le sup de f respectivement. Enfin tu trouves un C tel que (il existe dés que f est non constante; si f est constante c'est trivial).
Je crois que ça marche.

totom
Membre Naturel
Messages: 33
Enregistré le: 24 Oct 2007, 13:50

par totom » 27 Aoû 2008, 13:19

Salut,
bonne idée mais ton C final dépend de f.
Il suffit de voir que f(b)-f(a) est supérieur à la norme sup, et c'est fini. A plus

Doraki
Habitué(e)
Messages: 5021
Enregistré le: 20 Aoû 2008, 13:07

par Doraki » 27 Aoû 2008, 14:05

yos, ton C dépend pas mal de ta fonction f...
Il faut que a et b réalisent l'inf et le sup de f² respectivement.
Comme l'a dit yos, en minorant f²+f'² par +- 2ff' (choisir le signe selon le signe de a-b) sur [a,b] et 0 ailleurs, tu peux bien dire que N²(f) >= f²(b) - f²(a).
Ensuite tu minores f²+f'² par f²(a) pour dire que N²(f) >= f²(a).
Et de là tu peux conclure que 2.N²(f) >= f²(b) et donc t'obtiens ce que tu veux avec C = racine de 2.

yos
Membre Transcendant
Messages: 4858
Enregistré le: 10 Nov 2005, 22:20

par yos » 27 Aoû 2008, 17:34

Doraki a écrit:yos, ton C dépend pas mal de ta fonction f...

En effet, j'ai été un peu vite.
Ton truc a l'air bien.

legeniedesalpages
Membre Irrationnel
Messages: 1512
Enregistré le: 17 Mai 2007, 00:40

par legeniedesalpages » 28 Aoû 2008, 02:25

Merci c'est beaucoup plus clair.

legeniedesalpages
Membre Irrationnel
Messages: 1512
Enregistré le: 17 Mai 2007, 00:40

par legeniedesalpages » 28 Aoû 2008, 13:20

Un peu plus loin j'ai un souci aussi:

On considère le sous-espace fermé . Il faut montrer que
est une norme sur équivalente à .

Bon pour montrer que c'est une norme pas de problème, et on a .

Ensuite j'ai du mal à trouver tel que .

Edit: j'ai corrigé la définition de N'

Avatar de l’utilisateur
leon1789
Membre Transcendant
Messages: 5475
Enregistré le: 27 Nov 2007, 17:25

par leon1789 » 28 Aoû 2008, 13:23

Pardon, mais quelle est la définition de N' ?

legeniedesalpages
Membre Irrationnel
Messages: 1512
Enregistré le: 17 Mai 2007, 00:40

par legeniedesalpages » 28 Aoû 2008, 13:29

oups désolé j'ai rogné un bout:


yos
Membre Transcendant
Messages: 4858
Enregistré le: 10 Nov 2005, 22:20

par yos » 28 Aoû 2008, 15:05

Peut-être Cauchy-Schwarz appliqué à f' et 1 pour montrer que .

legeniedesalpages
Membre Irrationnel
Messages: 1512
Enregistré le: 17 Mai 2007, 00:40

par legeniedesalpages » 28 Aoû 2008, 20:27

yos a écrit:Peut-être Cauchy-Schwarz appliqué à f' et 1 pour montrer que .


En utilisant CS, j'ai



donc

ie

ie

et de là je ne vois pas comment en déduire que ? Pourquoi faire intervenir la norme sup?

Doraki
Habitué(e)
Messages: 5021
Enregistré le: 20 Aoû 2008, 13:07

par Doraki » 28 Aoû 2008, 20:35

tu n'es pas obligé de faire l'intégrale sur le segment [0,1], tu peux t'arrêter à n'importe quel x entre [0,1] :
pour tout x,

legeniedesalpages
Membre Irrationnel
Messages: 1512
Enregistré le: 17 Mai 2007, 00:40

par legeniedesalpages » 28 Aoû 2008, 20:39

ah oui effectivement, merci Doraki.

legeniedesalpages
Membre Irrationnel
Messages: 1512
Enregistré le: 17 Mai 2007, 00:40

par legeniedesalpages » 28 Aoû 2008, 21:44

je ne saisis pas le lien qu'il y a entre et .

Doraki
Habitué(e)
Messages: 5021
Enregistré le: 20 Aoû 2008, 13:07

par Doraki » 28 Aoû 2008, 21:48

Ben ça sert si tu réussis à montrer qu'il existe C tel que C * N(f) <= || f || ?

yos
Membre Transcendant
Messages: 4858
Enregistré le: 10 Nov 2005, 22:20

par yos » 28 Aoû 2008, 22:11

C'est pas N(f') mais N'(f). Ensuite tu utilises la relation de la question précédente.

legeniedesalpages
Membre Irrationnel
Messages: 1512
Enregistré le: 17 Mai 2007, 00:40

par legeniedesalpages » 29 Aoû 2008, 13:46

ok, on a et de la relation précédente on sait qu'il existe tel que
pour toute , ,

et de ces deux inégalités, je dois en déduire qu'il existe tel que ? :hein:

Doraki
Habitué(e)
Messages: 5021
Enregistré le: 20 Aoû 2008, 13:07

par Doraki » 29 Aoû 2008, 14:01

En fait nan la minoration de N(f) de la première question est inutile puisqu'on est en train de faire l'inverse.

T'as remarqué que ?
Tu peux montrer qu'il existe C > 0 tel que ?

legeniedesalpages
Membre Irrationnel
Messages: 1512
Enregistré le: 17 Mai 2007, 00:40

par legeniedesalpages » 29 Aoû 2008, 14:06

ah oui d'accord avec, , merci.

Il y a encore un autre point qui me perturbe, c'est pour voir si et sont équivalentes.

Je pense que non, et je pensais avoir trouvé un contre-exemple, mais je me suis trompé. :mur:

Doraki
Habitué(e)
Messages: 5021
Enregistré le: 20 Aoû 2008, 13:07

par Doraki » 29 Aoû 2008, 14:29

Pour ça, regarde

Sinon, tu peux détailler ta preuve avec C=2 ?

 

Retourner vers ✯✎ Supérieur

Qui est en ligne

Utilisateurs parcourant ce forum : Aucun utilisateur enregistré et 36 invités

Tu pars déja ?



Fais toi aider gratuitement sur Maths-forum !

Créé un compte en 1 minute et pose ta question dans le forum ;-)
Inscription gratuite

Identification

Pas encore inscrit ?

Ou identifiez-vous :

Inscription gratuite