under what conditions on a topology we have: $cl(U_1 \cap U_2)=cl(U_1) \cap cl(U_2)$ if $U_1,U_2$ is open
2026-04-26 07:15:28.1777187728
general topology, intersection of open sets
74 Views Asked by Bumbble Comm https://math.techqa.club/user/bumbble-comm/detail At
2
This condition implies that disjoint open sets have disjoint closures, which in turn implies that the closure of an open set is open. This property is called "$X$ is extremally disconnected". It is well known that a metric space that is extremally disconnected is discrete (i.e. all subsets are open). I'm not sure whether any extremally disconnected space will obey the asked for identity, but it's pretty closely related condition anyway. So not too many spaces will satisfy it, though there are classical non-metrisable examples.