Study of separable metric spaces in mathematics related to topology and functional analysis, focusing on definition of metric spaces, topological properties, and infinite-dimensional spaces