When is the closure of an intersection equal to the intersection of closures?

We know ¯Aα¯Aα, but when is the reverse inclusion true? Can you give some properties of the underlying space that would guarantee this?

Answer

This extends the answers of hardmath and Brian M. Scott, but completely answers the question.

Spaces satisfying the (seemingly) weaker condition that ¯AB=¯A¯B for all A,BX are discrete.

If AX is a non-closed set, pick x¯AA. Note, then, that x¯{x}¯A=¯{x}A=¯=, which is absurd! Therefore all subsets are closed.

As hardmath noted, all discrete spaces satisfy the stronger condition in the OP, and so we have an equivalence of all three notions.

Given a topological space X, the following are equivalent:

  1. ¯iIAi=iI¯Ai for all families {Ai}iI of subsets of X.
  2. ¯AB=¯A¯B for all A,BX.
  3. X is discrete.

Attribution
Source : Link , Question Author : Forever Mozart , Answer Author : user642796

Leave a Comment