7
$\begingroup$

I know that if I have a sequence $ x_n $$ \to x $ where $ $$ x_n \in A $

then x is limit point of A.

But the converse is not always true, at least in the case of a first countable space, if so.

The question is: Is this condition of being first countable necessary? or it´s possible to relax even more this condition?

  • 6
    Here is a relevant reference: http://en.wikipedia.org/wiki/Sequential_space2011-07-02
  • 1
    More precisely, scroll down to Fréchet–Urysohn spaces... @Jonas: Could you post your comment as an answer?2011-07-02
  • 0
    although if there is a relationship between these spaces and what they seek, and I appreciate it because it looks very interesting, these are the places where the conditions are necessary, because here comes to the point in question ever converging is actually in the set. But at least I am not necessarily in these areas whenever we have a limit point x of set A, there exists a sequence contained in A, such that converges to x If so would appreciate the help2011-07-02
  • 0
    sorry i read yet, the uryson spaces, haha thanks !!!2011-07-02
  • 0
    @François: I'd rather not at the moment, but anyone who would like to include that link in an answer should feel free.2011-07-02
  • 0
    In my opinion this http://arxiv.org/abs/math/0412558 is a nice introduciton to sequential spaces and related topics, if you want to turn that way.2011-07-03

1 Answers 1

6

As Jonas and François pointed out, a space $X$ with the desired property (that for every $A \subseteq X$ and $x \in X$, $x \in \text{cl }A$ iff there is a sequence $\langle x_n:n \in \omega \rangle$ of points of $A$ converging to $x$) is called a Fréchet space. An important related concept is that of a a sequential space. Let $X$ be a space. A set $A \subseteq X$ is sequentially closed if whenever $\langle x_n:n \in \omega \rangle$ is a sequence of points of $A$ and $\langle x_n:n \in \omega \rangle \to x$ in $X$, then $x \in A$. $X$ is sequential if every sequentially closed subset of $X$ is closed. A set $A \subseteq X$ is sequentially closed if whenever $\langle x_n:n \in \omega \rangle$ is a sequence of points of $A$ and $\langle x_n:n \in \omega \rangle \to x$ in $X$, then $x \in A$.

The Fréchet property is strictly weaker than first countability and strictly stronger than the property of being a sequential space. In fact, a space is Fréchet iff it is hereditarily sequential. Within the class of sequential spaces, Fréchet spaces can be characterized as those that do not contain a copy of the space $Y$ described here in Dan Ma's Topology Blog. In fact Dan Ma's Topology Blog discusses these properties in considerable detail. Start here for another description of $Y$ and related discussion and follow the links to older posts on sequential spaces.