208 -- Espaces vectoriels normés, applications linéaires continues. Exemples. : Différence entre versions

De AgregmathKL
Aller à : navigation, rechercher
(11 révisions intermédiaires par 7 utilisateurs non affichées)
Ligne 1 : Ligne 1 :
 +
= Plans =
 +
 +
[[Fichier:Pdf.png|alt=Pdf|link=Média:208_2012-2013.pdf|24px]] [[Média:208_2012-2013.pdf | Plan scanné de l'année 2012-2013]]
 +
 +
[[Fichier:Pdf.png|alt=Pdf|link=Média:208_2013-2014.pdf|24px]] [[Média:208_2013-2014.pdf | Plan scanné de l'année 2013-2014]]
 +
 +
[[Fichier:Pdf.png|alt=Pdf|link=Média:208_2014-2015.pdf|24px]] [[Média:208_2014-2015.pdf | Plan scanné de l'année 2014-2015]]
 +
 +
[[Fichier:Pdf.png|alt=Pdf|link=Média:208_2016-2017.pdf|24px]] [[Média:208_2016-2017.pdf | Plan scanné de l'année 2016-2017]]
 +
 +
[[Fichier:Pdf.png|alt=Pdf|link=Média:208_2017-2018.pdf|24px]] [[Média:208_2017-2018.pdf | Plan scanné de l'année 2017-2018]]
 +
 +
[[Fichier:Pdf.png|alt=Pdf|link=Média:208_2018-2019.pdf|24px]] [[Média:208_2018-2019.pdf | Plan scanné de l'année 2018-2019]]
 +
 +
[[Fichier:Pdf.png|alt=Pdf|link=Média:208_2019-2020.pdf|24px]] [[Média:208_2019-2020.pdf | Plan scanné de l'année 2019-2020]]
 +
 +
[[Fichier:Pdf.png|alt=Pdf|link=Média:208_2020-2021.pdf|24px]] [[Média:208_2020-2021.pdf | Plan scanné de l'année 2020-2021]]
 +
 +
 +
= Développements =
 +
<DynamicPageList>
 +
category            = Développement de la leçon 208
 +
</DynamicPageList>
 +
 +
 +
= Exercices posés lors de la présentation =
 +
 +
[[Fichier:Pdf.png|alt=Pdf|link=Média:Q208-2013.pdf|24px]] [[Fichier:Tex.png|alt=Pdf|link=Média:Q208-2013.tex|24px]] [[Média:Q208-2013.pdf | Exercices proposés en 2013]]
 +
 +
 +
= Divers =
 
Quelques remarques qui me paraissent pertinentes : (Nil)
 
Quelques remarques qui me paraissent pertinentes : (Nil)
  
====Définir un espace vectoriel normé ?====
+
=== Définir un espace vectoriel normé ? ===
 
Dans [N. Bourbaki, Topologie Générale, IX, p. 29] on apprend qu'il suffit que l'espace vectoriel soit sur un corps muni d'une valeur absolue pour définir une norme. C'est donc une notion qui s'étend au delà des <math>(\mathbb{C}</math> ou <math>\mathbb{R}</math>)-espaces vectoriels. Par exemple, on peut définir des <math>\mathbb Q</math>-espaces vectoriels normés, mais aussi des <math>\mathbb{Q}_p</math>-espaces vectoriels normés, où les <math>\mathbb{Q}_p</math> désignent les corps p-adiques : définir les EVN avec cette généralité me paraît donc tout à fait dangereux. En revanche, parler de <math>\mathbb Q</math>-espaces vectoriels normés permet d'éclairer certains résultats, qui sont vrais sur <math>\mathbb{C}</math> ou <math>\mathbb{R}</math> mais pas sur <math>\mathbb Q</math>, parce que la complétude interviens dans la preuve. (En dimension finie : La complétude bien sûr, mais aussi l'équivalence de toutes les normes, et probablement également la continuité automatique des applications linéaires (à vérifier)).
 
Dans [N. Bourbaki, Topologie Générale, IX, p. 29] on apprend qu'il suffit que l'espace vectoriel soit sur un corps muni d'une valeur absolue pour définir une norme. C'est donc une notion qui s'étend au delà des <math>(\mathbb{C}</math> ou <math>\mathbb{R}</math>)-espaces vectoriels. Par exemple, on peut définir des <math>\mathbb Q</math>-espaces vectoriels normés, mais aussi des <math>\mathbb{Q}_p</math>-espaces vectoriels normés, où les <math>\mathbb{Q}_p</math> désignent les corps p-adiques : définir les EVN avec cette généralité me paraît donc tout à fait dangereux. En revanche, parler de <math>\mathbb Q</math>-espaces vectoriels normés permet d'éclairer certains résultats, qui sont vrais sur <math>\mathbb{C}</math> ou <math>\mathbb{R}</math> mais pas sur <math>\mathbb Q</math>, parce que la complétude interviens dans la preuve. (En dimension finie : La complétude bien sûr, mais aussi l'équivalence de toutes les normes, et probablement également la continuité automatique des applications linéaires (à vérifier)).
  
====Situer les EVN dans le paysage topologique====
+
=== Situer les EVN dans le paysage topologique ===
 
La norme est une manière simple de répondre à la question : "Comment fabriquer une topologie sur un EV qui rende continues les opérations ?". Tout Espace vectoriel sur un corps muni d'une valeur absolu peut être muni d'une norme (Voici une idée de preuve donnée par Christophe Cheverry : Tout Espace vectoriel <math>E</math> admet une base algébrique <math>(b_i)_{i \in I}</math>, d'où <math>\forall x \in E, \exists J \subset I</math> fini tel que  <math> x=\sum_{i \in J}x_i b_i </math>. On pose alors <math>\|x\|=max(|x_i|)</math> ). Noter quand même que l'existence d'une base algébrique est une conséquence de l'axiome du choix). Pour autant, toute topologie d'espace vectoriel n'est pas issue d'une norme. En contre-exemple, on peut penser, par décroissance de risque à mon avis, à de la topologie faible et à de la topologie d'espace vectoriel localement convexe (Issue d'une famille de semi-normes, en particulier pas forcément séparée : c'est peut être pas mal puisque les distributions sont au programme maintenant.) L'exemple le moins dangereux qu'on ait trouvé est <math>\mathcal L^p</math> muni de sa semi-norme, qui n'est pas séparé. (1)
 
La norme est une manière simple de répondre à la question : "Comment fabriquer une topologie sur un EV qui rende continues les opérations ?". Tout Espace vectoriel sur un corps muni d'une valeur absolu peut être muni d'une norme (Voici une idée de preuve donnée par Christophe Cheverry : Tout Espace vectoriel <math>E</math> admet une base algébrique <math>(b_i)_{i \in I}</math>, d'où <math>\forall x \in E, \exists J \subset I</math> fini tel que  <math> x=\sum_{i \in J}x_i b_i </math>. On pose alors <math>\|x\|=max(|x_i|)</math> ). Noter quand même que l'existence d'une base algébrique est une conséquence de l'axiome du choix). Pour autant, toute topologie d'espace vectoriel n'est pas issue d'une norme. En contre-exemple, on peut penser, par décroissance de risque à mon avis, à de la topologie faible et à de la topologie d'espace vectoriel localement convexe (Issue d'une famille de semi-normes, en particulier pas forcément séparée : c'est peut être pas mal puisque les distributions sont au programme maintenant.) L'exemple le moins dangereux qu'on ait trouvé est <math>\mathcal L^p</math> muni de sa semi-norme, qui n'est pas séparé. (1)
  
Ligne 13 : Ligne 44 :
 
Et mes remarques (toujours SB) : franchement les Q_p-normes c'est pipô (aucun jury ne viendra nous ennuyer dessus) et je pense aussi que la question de la normabilité d'un e.v. est un peu pathologique. Ou alors ils sont bizarres dans les jurys, il y a quand même des maths qui "font sens" (c'est un anglicisme, je sais) un peu plus...
 
Et mes remarques (toujours SB) : franchement les Q_p-normes c'est pipô (aucun jury ne viendra nous ennuyer dessus) et je pense aussi que la question de la normabilité d'un e.v. est un peu pathologique. Ou alors ils sont bizarres dans les jurys, il y a quand même des maths qui "font sens" (c'est un anglicisme, je sais) un peu plus...
  
== Plans ==
 
 
[[Fichier:Pdf.png|alt=Pdf|link=|24px]] [[Média:208_2012-2013.pdf | Plan scanné de l'année 2012-2013]]
 
 
[[Fichier:Pdf.png|alt=Pdf|link=|24px]] [[Média:208_2013-2014.pdf | Plan scanné de l'année 2013-2014]]
 
 
== Exercices posés lors de la présentation ==
 
 
[[Fichier:Pdf.png|alt=Pdf|link=Média:Q208-2013.pdf|24px]] [[Fichier:Tex.png|alt=Pdf|link=Média:Q208-2013.tex|24px]]
 
  
[[Category: Leçon de l'option D]]
 
 
[[Category: Leçon d'analyse]]
 
[[Category: Leçon d'analyse]]
 +
[[Category:Leçon de maths pour l'option D]]

Version du 28 août 2021 à 11:34

Plans

Pdf Plan scanné de l'année 2012-2013

Pdf Plan scanné de l'année 2013-2014

Pdf Plan scanné de l'année 2014-2015

Pdf Plan scanné de l'année 2016-2017

Pdf Plan scanné de l'année 2017-2018

Pdf Plan scanné de l'année 2018-2019

Pdf Plan scanné de l'année 2019-2020

Pdf Plan scanné de l'année 2020-2021


Développements


Exercices posés lors de la présentation

Pdf Pdf Exercices proposés en 2013


Divers

Quelques remarques qui me paraissent pertinentes : (Nil)

Définir un espace vectoriel normé ?

Dans [N. Bourbaki, Topologie Générale, IX, p. 29] on apprend qu'il suffit que l'espace vectoriel soit sur un corps muni d'une valeur absolue pour définir une norme. C'est donc une notion qui s'étend au delà des ({\mathbb  {C}} ou {\mathbb  {R}})-espaces vectoriels. Par exemple, on peut définir des {\mathbb  Q}-espaces vectoriels normés, mais aussi des {\mathbb  {Q}}_{p}-espaces vectoriels normés, où les {\mathbb  {Q}}_{p} désignent les corps p-adiques : définir les EVN avec cette généralité me paraît donc tout à fait dangereux. En revanche, parler de {\mathbb  Q}-espaces vectoriels normés permet d'éclairer certains résultats, qui sont vrais sur {\mathbb  {C}} ou {\mathbb  {R}} mais pas sur {\mathbb  Q}, parce que la complétude interviens dans la preuve. (En dimension finie : La complétude bien sûr, mais aussi l'équivalence de toutes les normes, et probablement également la continuité automatique des applications linéaires (à vérifier)).

Situer les EVN dans le paysage topologique

La norme est une manière simple de répondre à la question : "Comment fabriquer une topologie sur un EV qui rende continues les opérations ?". Tout Espace vectoriel sur un corps muni d'une valeur absolu peut être muni d'une norme (Voici une idée de preuve donnée par Christophe Cheverry : Tout Espace vectoriel E admet une base algébrique (b_{i})_{{i\in I}}, d'où \forall x\in E,\exists J\subset I fini tel que x=\sum _{{i\in J}}x_{i}b_{i}. On pose alors \|x\|=max(|x_{i}|) ). Noter quand même que l'existence d'une base algébrique est une conséquence de l'axiome du choix). Pour autant, toute topologie d'espace vectoriel n'est pas issue d'une norme. En contre-exemple, on peut penser, par décroissance de risque à mon avis, à de la topologie faible et à de la topologie d'espace vectoriel localement convexe (Issue d'une famille de semi-normes, en particulier pas forcément séparée : c'est peut être pas mal puisque les distributions sont au programme maintenant.) L'exemple le moins dangereux qu'on ait trouvé est {\mathcal  L}^{p} muni de sa semi-norme, qui n'est pas séparé. (1)


(1) note de SB : je suppose qu'il s'agit de l'exemple "consistant" le moins dangereux. Parce que sinon la topologie grossière convient : elle rend continue tout le monde, donc munit bien n'importe quel e.v. d'une structure d'e.v.t. Je retourne tout de suite voir LMB. :-)

Et mes remarques (toujours SB) : franchement les Q_p-normes c'est pipô (aucun jury ne viendra nous ennuyer dessus) et je pense aussi que la question de la normabilité d'un e.v. est un peu pathologique. Ou alors ils sont bizarres dans les jurys, il y a quand même des maths qui "font sens" (c'est un anglicisme, je sais) un peu plus...