P-topologie

[invite769a1844]

Bonjour,

Soit un espace vectoriel, et soit une famille, finie ou infinie de semi-normes sur . Désignons par la -boule ouverte de centre et de rayon .

On appellera -boule ouverte de centre toute intersection finie de -boules ouvertes de centre .

La considération du cas particulier où les éléments de sont les multiples (où ) d'une semi-norme montre qu'on ne peut pas parler du rayon d'une -boule.

J'ai du mal à comprendre la dernière phrase, pourquoi la notion de rayon est hors de propos pour les -boules à cause de cette famille.

Merci pour vos réponses.
-----

[invitea07f6506]

Dans ce cas particulier (famille de semi normes linéairement liées) : il existe x non nul, p(x)=0.
Alors x appartient à toute p_i-boule ouverte de centre 0 quelque soit i. x appartient donc à toute p-boule.
De même pour k*x, k réel. Donc vect(x) est inclu dans toute p-boule non vide de centre 0. Dans un espace de dimension finie, des points arbitrairement éloignés de 0 pour la norme usuelle seraient dans toute boule...

Comment définis-tu le rayon d'une boule, dans ce cas ?

[invite769a1844]

Dans ce cas particulier (famille de semi normes linéairement liées) : il existe x non nul, p(x)=0.
Alors x appartient à toute p_i-boule ouverte de centre 0 quelque soit i. x appartient donc à toute p-boule.
De même pour k*x, k réel. Donc vect(x) est inclu dans toute p-boule non vide de centre 0. Dans un espace de dimension finie, des points arbitrairement éloignés de 0 pour la norme usuelle seraient dans toute boule...

Comment définis-tu le rayon d'une boule, dans ce cas ?

ok je saisis un peu mieux, merci Garf.

[invite769a1844]

Bonsoir,

je reprends les -topologies (apparemment ça s'appelle aussi espace localement convexe) et il y a un point qui me pose problème:

On a auparavant montré cette proposition:

Proposition: Soit une base de filtre sur un espace vectoriel muni d'un -topologie. Dire que converge vers un point de équivaut à dire que,
pour tout , on a .

Ensuite on définit la convergence uniforme compacte:

Soit un espace topologique séparé; pour tout compact , toute est bornée sur ; donc si l'on pose:

,

est une semi-norme sur . La -topologie définie sur par la famille des s'appelle topologie de la convergence uniforme sur tout compact. Pour toute , il existe un compact tel que , donc cette topologie est séparée..

D'après la proposition précédente, si est une famille d'éléments de et si est une base de filtre sur , dire que pour cette topologie les convergent vers suivant signifie que, pour tout compact , les convergent uniformément vers sur .

Là je ne vois pas du tout le lien avec la proposition.

Dans la proposition, c'est la base de filtre qui converge, et elle est définie sur l'espace vectoriel.

Tandis qu'ici c'est une famille de fonctions qui convergent suivant la base de filtre, et la base de filtre est définie sur l'ensemble d'indices.

Merci pour vos réponses.

[A voir en vidéo sur Futura]