Ultrametric spaces are totally disconnected #
In a metric space with an ultrametric, the space is totally disconnected.
Tags #
ultrametric, nonarchimedean, totally disconnected
instance
instTotallyDisconnectedSpaceOfIsUltrametricDist
{X : Type u_1}
[MetricSpace X]
[IsUltrametricDist X]
:
Equations
- ⋯ = ⋯