Semi-norme - Définition

Source: Wikipédia sous licence CC-BY-SA 3.0.
La liste des auteurs de cet article est disponible ici.

Famille filtrante de semi-normes

Une famille  (p_i)_{i \in I} de semi-normes sur l'espace vectoriel E est dite filtrante si pour toute sous-famille finie  (p_i)_{i \in J}, J \subseteq I, J finie, il existe une semi-norme p de la famille majorant toutes les semi-normes de J.

Exemple 1: La famille de semi-normes définie précédemment n'est pas filtrante. Cependant on peut toujours définir une famille filtrante en effectuant une "complétion" comme montré ci-après.

Exemple 2 ("complétion" d'une famille quelconque): Soit une famille quelconque \mathcal P=(p_i)_{i \in I} de semi-normes sur E. On peut alors définir la famille \mathcal Q dont les éléments sont définis par \quad p_J= \sup_{j \in J} \quad p_j , J sous-famille finie de I.

On voit facilement alors que  \mathcal Q est une famille filtrante de semi-normes.

Page générée en 0.074 seconde(s) - site hébergé chez Contabo
Ce site fait l'objet d'une déclaration à la CNIL sous le numéro de dossier 1037632
A propos - Informations légales
Version anglaise | Version allemande | Version espagnole | Version portugaise