Mathematics Stack Exchange is a question and answer site for people studying math at any level and professionals in related fields. Join them; it only takes a minute:

Sign up
Here's how it works:
  1. Anybody can ask a question
  2. Anybody can answer
  3. The best answers are voted up and rise to the top

In Munkres's Topology (section 17 Closed Sets and Limit Points, 2nd edition), Theorem 17.4 shows that (below, $\bar{A}$ is the closure of $A$):

Theorem 17.4: Let $Y$ be a subspace of $X$; let $A$ be a subset of $Y$; let $\bar{A}$ denote the closure of $A$ in $X$. Then the closure of $A$ in $Y$ equals $\bar{A} \cap Y$.

Let $B$ denote the closure of $A$ in $Y$. The proof is to show that both $B \subset (\bar{A} \cap Y)$ and $(\bar{A} \cap Y) \subset B$ are satisfied. I can follow the first part; however, I am confused about the proof of $(\bar{A} \cap Y) \subset B$:

$B$ is the closure of $A$ in $Y$, so $B$ is closed in $Y$. By Theorem 17.2, $B = C \cap Y$ for some set $C$ closed in $X$. Then $C$ is a closed set of $X$ containing $A$; because $\bar{A}$ is the intersection of all such closed sets, we conclude that $\bar{A} \subset C$. Then $(\bar{A} \cap Y) \subset (C \cap Y) = B$.

My problem is that (as indicated in bold) why $C$ here is a closed set of $X$ containing $A$, especially why is $A \subset C$?

share|cite|improve this question
up vote 4 down vote accepted

Since $B$ is the closure of $A$ (in $Y$), $A\subset B=C\cap Y\subset C$, so $A\subset C$.

share|cite|improve this answer

Your Answer


By posting your answer, you agree to the privacy policy and terms of service.

Not the answer you're looking for? Browse other questions tagged or ask your own question.