- Thread starter
- #1
$A$ is dense in $\bar{A}$, by definition, if and only if any point $\bar{a}\in\bar{A}$ belongs either to $A$ or is a limit point of $A$. Is that true?I'm just working on a problem and wanted some clariciation.
Let $X$ be a metric space and $A$ a non-empty subset of $X$. Is it true that $A$ is dense in $\bar{A}$? Its just that I am assuming this in my proof.
Well, I can appreciate that this is one step in a different proof, but you haven't answered my question in Post # 2. What is the closure of $A$?Well I am trying to show that if $f:{X}\rightarrow{Y}$ and $g:{X}\rightarrow{Y}$ are continuous functions such that $f(x)=g(x)$ for all $x\in{A}$ then $f(x)=g(x)$ for every $x\in{\bar{A}}$.
So I have started by assuming that $A$ is dense in $\bar{A}$ so that for any $x\in{\bar{A}}$ we can construct a sequence of points $(x_n)$ that converge to $x$, where each $x_n\in{A}$.
I don't know, since all we are told is that $A$ is a subset of a metric space $X$. Hence my initial question.Well, I can appreciate that this is one step in a different proof, but you haven't answered my question in Post # 2. What is the closure of $A$?
Here's the closure definition. With that information, can you answer the question in post # 2?I don't know, since all we are told is that $A$ is a subset of a metric space $X$. Hence my initial question.
Great! So your answer is...Answer to your post would be "yes".
Right. A slightly more standard notation would be curly braces: $\bar{A}=\{x\in{X}:d(x,A)=0\}.$Thanks.
I've just realised that $\bar{A}=({x\in{X}:d(x,A)=0})$, which would have answered my original question.
Brain fried!
Ahhh....I needed to include \ before the {. I'm a $LaTeX$ novice.Right. A slightly more standard notation would be curly braces: $\bar{A}=\{x\in{X}:d(x,A)=0\}.$
Understood. Actually, you would write it as $\LaTeX$.Ahhh....I needed to include \ before the {. I'm a $LaTeX$ novice.