Soit E l'espace vectoriel R^n, soit <x,y> le produit scalaire canonique. Soit q un réel >0.
Comment montré que cet ensemble est fermé borné ?
-----
12/08/2017, 20h13
#2
geometrodynamics_of_QFT
Date d'inscription
décembre 2014
Messages
1 217
Re : Compact
La norme q est-elle définie canoniquement aussi?
D'ailleurs je ne comprends pas pourquoi elle dépend de q, la norme de z...
Et ce ne serait pas '<=1' au lieu de '=1' ?
A moins que je soit complètement à l'Ouest...
Dernière modification par geometrodynamics_of_QFT ; 12/08/2017 à 20h15.
12/08/2017, 22h16
#3
mehdi_128
Date d'inscription
août 2005
Localisation
Paris
Âge
37
Messages
2 127
Re : Compact
Non c'est pas une norme canonique c'est comme la norme p ... En remplaçant p par q je pense .
Avec :
C'est bien égal à 1 ...
12/08/2017, 23h09
#4
gg0
Animateur Mathématiques
Date d'inscription
avril 2012
Âge
75
Messages
30 856
Re : Compact
Bonsoir.
L'énoncé complet serait préférable !!
Si c'est bien la norme-q sur R^n qui est en cause, alors ton ensemble (*) est l'image réciproque d'un fermé ({1}} par une fonction continue. donc est fermé. Pour borné, il l'est pas définition pour "borné au sens norme-q", et comme toutes les normes sont équivalents sur un ev de dimension finie, pour toute autre norme aussi.
Cordialement.
Aujourd'hui
A voir en vidéo sur Futura
13/08/2017, 13h32
#5
mehdi_128
Date d'inscription
août 2005
Localisation
Paris
Âge
37
Messages
2 127
Re : Compact
D'accord je vois qu'elle application considérez vous quand vous parlez d'image réciproque ?
Comment montrer que la valeur absolue du produit scalaire est continu sur la sphère unité ?
13/08/2017, 13h48
#7
minushabens
Date d'inscription
juillet 2014
Messages
6 220
Re : Compact
il suffit de regarder la fonction y -> <x,y> puisque la fonction valeur absolue est continue sur R et que la composée de deux fonctions continues est continue. Ensuite il faut se souvenir de l'inégalité de Cauchy-Schwartz et de la bilinéarité du produit scalaire.
13/08/2017, 14h12
#8
mehdi_128
Date d'inscription
août 2005
Localisation
Paris
Âge
37
Messages
2 127
Re : Compact
Envoyé par minushabens
il suffit de regarder la fonction y -> <x,y> puisque la fonction valeur absolue est continue sur R et que la composée de deux fonctions continues est continue. Ensuite il faut se souvenir de l'inégalité de Cauchy-Schwartz et de la bilinéarité du produit scalaire.
On a : et le produit scalaire est bilinéaire en effet.
Ca apporte quoi pour la continuité ?
13/08/2017, 16h45
#9
mehdi_128
Date d'inscription
août 2005
Localisation
Paris
Âge
37
Messages
2 127
Re : Compact
Comment montrer que :
Comment montrer que la fonction f est continue ?
Sinon j'ai vu ce théorème : Si E et F sont de dimensions finies alors toute application bilinéaire au départ de E×F est continue.
14/08/2017, 09h22
#10
minushabens
Date d'inscription
juillet 2014
Messages
6 220
Re : Compact
Envoyé par mehdi_128
Sinon j'ai vu ce théorème : Si E et F sont de dimensions finies alors toute application bilinéaire au départ de E×F est continue.
sauf qu'ici tu as x fixé et l'application qui t'intéresse c'est y -> <x,y> qui est une forme linéaire (c'est ça la bilinéarité) et donc tu peux t'appuyer sur le théorème qui dit qu'une forme linéaire sur un espace vectoriel de dimension finie est continue.
mais tu peux aussi démontrer directement que ton application est continue, ce n'est pas difficile et c'est instructif (enfin quand on accepte de faire quelque effort, ce dont je commence à douter...)