Không_gian_mêtric_hóa_được

Trong lĩnh vực tôpô của toán học, một không gian mêtric hóa được là một không gian tôpô đồng phôi với một không gian mêtric. Như thế, một không gian tôpô ( X , τ ) {\displaystyle (X,\tau )} được gọi là mêtric hóa được nếu có một mêtric d : X × X → [ 0 , ∞ ) {\displaystyle d\colon X\times X\to [0,\infty )} sao cho tôpô cảm sinh bởi d {\displaystyle d} là τ {\displaystyle \tau } .