Topologie Faible

Une topologie sur un ensemble X définie comme la topologie la plus grossière qui rende continue une famille donnée de fonctions {f_i:X→Y_i} ; équivalente à la topologie initiale pour cette famille, elle se caractérise par le fait que la convergence se teste par les images sous ces fonctions.