Version du 15 janvier 2017 à 23:51 modifier Anne Bauval (discuter \| contributions) 80 938 modifications m →Topologie associée : détails remplacés par lien ← Modification précédente		Version du 15 janvier 2017 à 23:55 modifier annuler Anne Bauval (discuter \| contributions) 80 938 modifications m →Famille filtrante de semi-normes : Style Modification suivante →
Ligne 65 : ===Famille filtrante de semi-normes=== Une [[Famille (mathématiques)\|famille]] <math>(p_i)_{i \in I}</math> de semi-normes sur <math>E</math> est dite [[Ensemble ordonné filtrant\|filtrante]] si toute sous-famille ''finie'' <math> (~~p_i~~p_j)_{i j\in J}</math> est majorée par l'une des semi-normes <math>p_i</math>. Par exemple, la famille de semi-normes <math>(p_{\varphi})_{\varphi\in E^*}</math> définie dans l'exemple 2 [[#Exemples\|ci-dessus]] n'est ''pas'' filtrante.

« Semi-norme » : différence entre les versions