Inscription / Connexion Nouveau Sujet
Niveau exercices
Partager :

Exo défi > Forme bilinéaire séparément continue

Posté par
Nightmare
31-12-08 à 14:22

Bonjour

Encore un exercice issu de mon TD plutôt intéressant.

Citation :
On considère deux espaces vectoriels normés E et F et une forme bilinéaire 3$\rm f : E\times F\to \mathbb{R} séparément continue.

1) Montrer que si E et F sont des Banach, alors 3$\rm f est continue.

2) Trouver un contre exemple lorsqu'on perd la complétude.




Jord

Posté par
1 Schumi 1
re : Exo défi > Forme bilinéaire séparément continue 31-12-08 à 16:32

Salut

Question bête: Par "séparemment continue", tu veux bien dire que les fonctions partielles sont continues, right? Ca me semble assez cohérent, mais vu que j'ai jamais vu cette appellation auparavant je préfère demander.

Posté par
Nightmare
re : Exo défi > Forme bilinéaire séparément continue 31-12-08 à 16:43

Oui c'est bien ça

Posté par
Nightmare
re : Exo défi > Forme bilinéaire séparément continue 02-01-09 à 00:00

Une idée?

Posté par
carpediem
forme bilinéaire séparément continue 02-01-09 à 18:28

salut et bonne année

en notant x.y la forme bilinéaire alors:

x.y-a.b=(x-a).(y-b)+(x-a).b+a.(y-b)

donc si x tend vers a et y tend vers b alors chaque terme du second membre tend vers 0 (en passant au norme et avec l'inégalité triangulaire)

||x.y-a.b|| =< ||x-a|| ||y-b|| + ||x-a|| ||b|| + ||a|| ||y-b||

par contre je ne vois pas (encore !!??) pour le 2)

Posté par
Nightmare
re : Exo défi > Forme bilinéaire séparément continue 02-01-09 à 19:37

Salut carpediem , question piège : où utilises-tu la complétude?

Posté par
carpediem
forme bilinéaire séparément continue 02-01-09 à 20:12

nulle part et c'est bien là mon pb pour la 2

mais ce que j'ai écrit marche car il n'y a aucun pb

avec la non complétude je ne peux plus parler de a et b

mais si je prends une suite de Cauchy et que je suppose la complétude alors je peux introduire a et b et écrire ce que j'ai écrit

ce me semble-t-il...

il me semble qu'il faut (dans le cas de la non complétude) regarder xn.yn-xm.ym et prouver que ça ne converge pas vers 0...

Posté par
carpediem
forme bilinéaire séparément continue 02-01-09 à 20:14

si tu mettais les réponse aux autres topic (en particulier pour la distance à un fermé

Posté par
Nightmare
re : Exo défi > Forme bilinéaire séparément continue 03-01-09 à 02:56

Au passage, ta première égalité est fausse non? Ton découpage n'est pas bon !

Posté par
Nightmare
re : Exo défi > Forme bilinéaire séparément continue 04-01-09 à 20:31

Up !

Posté par
carpediem
forme bilinéaire séparément continue 04-01-09 à 23:23

je pense que t'auras vu l'autre topic quand j'aurai fini d'écrire
alors idem

mais il ne me semble pas m'être trompé dans mon découpage

désolé mais ça fait un bout de temps que j'ai + fait ce genre de truc (commel'autre topic)
donc je "bricole" (et je révise!!) un peu grace à toi
donc merci (et c'est pourquoi les soluces m'intéressent)

Posté par
Nightmare
re : Exo défi > Forme bilinéaire séparément continue 04-01-09 à 23:45

Non il y a un truc qui ne va pas, quand bien même on aurait ton découpage, je ne comprends pas le passage au norme ! Tu n'aurais pas dû noter la forme bilinéaire comme un produit scalaire, du coup tu as fait comme si s'en était un !

Posté par
Camélia Correcteur
re : Exo défi > Forme bilinéaire séparément continue 06-01-09 à 15:11

Bonjour

Voici un contrexemple:

 Cliquez pour afficher

Posté par
Nightmare
re : Exo défi > Forme bilinéaire séparément continue 06-01-09 à 15:15

Salut Camélia

 Cliquez pour afficher

Posté par
Camélia Correcteur
re : Exo défi > Forme bilinéaire séparément continue 06-01-09 à 15:23

Salut Jord

 Cliquez pour afficher

Posté par
Nightmare
re : Exo défi > Forme bilinéaire séparément continue 06-01-09 à 15:40

 Cliquez pour afficher

Posté par
Camélia Correcteur
re : Exo défi > Forme bilinéaire séparément continue 06-01-09 à 15:47

 Cliquez pour afficher

Posté par
carpediem
forme bilinéaire séparément continue 06-01-09 à 17:55

salut à vous 2

...je suis encore à la rue
je comprends maintenant ce que tu veux dire (psot de 23h45) en trichant j'ai regardé la solution de Camélia (dont les posts sont toujours riches d'enseignement )
effectivement ma notation produit ne signifie rien et ne "montre" pas la dimension des Banach

merci à vous 2

Posté par
Nightmare
re : Exo défi > Forme bilinéaire séparément continue 06-01-09 à 18:11

En fait pour démontrer ce résultat on peut utiliser un théorème puissant, le théorème de Banach-Steinhaus, peut être y arriveras-tu avec cet indice !



Vous devez être membre accéder à ce service...

Pas encore inscrit ?

1 compte par personne, multi-compte interdit !

Ou identifiez-vous :


Rester sur la page

Désolé, votre version d'Internet Explorer est plus que périmée ! Merci de le mettre à jour ou de télécharger Firefox ou Google Chrome pour utiliser le site. Votre ordinateur vous remerciera !