Does ayone know the definition of topology generated by a family of complete metrics ? I have tried to look in the bibliography for some definition but I found nowhere. Is it just the union of the topologies given by each one of the metrics ?
Thanks in advance.
If I understand well what you mean, I think that you refer to locally convex topological vector space and the way to define those from seminorms. See the specific paragraph in the referred Wikipedia article.