Bonjour,

J'ai une question que je veux partager avec vous.

Soit un evt muni d'une famille de semi-normes .

Quelles sont les hypothèses minimales pour qu'un tel espace soit métrisable?

Bien sûr une hypothèse de séparation du type
, il existe une semi-norme telle que est nécessaire, mais est-ce suffisant?

Il y a t-il d'autres hypothèses équivalentes? Avez-vous des références sur le sujet?

Mercio par avance!!