Intereting Posts

Composition of two reflections is a rotation
Why did mathematicians take Russell's paradox seriously?
Are groups with all the same Hom sets already isomorphic?
Product of three consecutive positive integers is never a perfect power
Alternative Expected Value Proof
How to find all positive integer solutions of a Diophantine equation?
Do harmonic numbers have a “closed-form” expression?
Inner Products on Exterior Powers
The cone is not immersed in $\mathbb{R}^3$
How can I prove $\lim_{n \to \infty} \int_{0}^{\pi/2} f(x) \sin ((2n+1) x) dx =0 $?
Groups of order $56$
Prove the Radical of an Ideal is an Ideal
derivative bounded by a constant multiple of the function
A question about the proof that $(\mathbb{Z}/p\mathbb{Z})^\times$ is cyclic
Notation for infinite product in reverse order

Let $X$ be a Hausdorff space and $A\subset X$. Define $A’=\{x\in X\mid x\text{ is a limit point of }A\}$. Prove that $A’$ is closed in $X$.

Relevant information:

(1.) Every neighborhood of a point $x\in A’$ contains a point $y\in A’$ distinct from $x$ (in fact, in a Hausdorff space, every neighborhood of $x$ contains $\infty$-many points of $A$ distinct from $x$)

(2.) In a Hausdorff space, every sequence has a unique limit.

- Topology of the ring of formal power series
- Continuous functions on a compact set
- A fiber bundle over Euclidean space is trivial.
- Which spheres are fiber bundles?
- Cauchy sequence is convergent iff it has a convergent subsequence
- Rationals are not locally compact and compactness

On first glance, it should be an easy proof, but I’ve made little progress. I was planning on showing $\overline{A’}=A’$. Firstly, $A’\subset \overline{A’}$ trivially. To show $\overline{A’}\subset A’$, proceed by contradiction. Assume there exists $x\in\overline{A’}$ such that $x\not\in A’$. This should yield an easy contradiction but I don’t see it. In particular, I’m unsure if the fact that $x\in\overline{A’}$ implies that there actually exists a sequence in $A’$ converging to $x$. By (2) we know all sequences have unique limits, but do we know that elements in the closure are limits of sequences? If this is true, it should yield an easy contradiction. Any help?

- Examples of hyperstonean space
- Show that any non-empty, non-compact convex subset of $\mathbb{R}^n$ lacks the fixed point property
- Applications of algebra and/or topology to stochastic (or Markov) processes
- Is the boundary of a connected set connected?
- Non-Metrizable Topological Spaces
- Union of a countable collection of open balls
- Finding an example of nonhomeomorphic closed connected sets
- Why $Z_p$ is closed.
- Given a pair of continuous functions from a topological space to an ordered set, how to prove that this set is closed?
- Prove that the projection $p_i$ from the product space $X_I S_i \tau$ into $S_i \tau_i$ is open for each $i \in I$

It is easier to show that $X \setminus A^\prime$ is open. If $x \in X \setminus A^\prime$, then $x$ is not a limit point of $A$, so there is an open neighbourhood $U$ of $x$ such that $U \cap A \subseteq \{ x \}$. It suffices to show that no other point of $U$ (*i.e.*, no point of $U \setminus \{ x \}$) is a limit point of $A$. Since $X$ is Hausdorff,^{1} it follows that $U \setminus \{ x \} = U \cap ( X \setminus \{ x \} )$ is open. By choice of $U$ we know that $( U \setminus \{ x \} ) \cap A = \varnothing$. Thus $U \setminus \{ x \}$ witnesses that none of *its* points are limit points of $A$. So $x \in U \subseteq X \setminus A^\prime$.

^{1} _{The separation axiom T}_{1} suffices.

Show that the complement is open. Let $x \in X \setminus A’$. Then there is an open neighborhood $U$ of $x$ such that $U \cap A$ is either empty or is $\{x\}$. If $U$ contained any members of $A’$, then $U$ would intersect $A$ at infinitely many points since $X$ is Hausdorff, so $U \subseteq X \setminus A’$.

If $x\in\overline{A’}$ then every open neighborhood $U$ of $x$ contains a point $y\in A’$. Since $U$ is also a neighborhood of $y$, the T$_1$ property ensures that $U$ contains infinitely many points of $A-\{y\}$. This proves that $x$ is an accumulation point of $A$, i.e. $x\in A’$. Note that Hausdorffness is not necessary for this to work.

Regarding your question about sequences: In general you can not assume that there exists a sequence in $S$ which converges to $x$ if $x\in\overline S$. In first-countable spaces, however, this is true.

- Do probability measures have to be the same if they agree on a generator of Borel $\sigma$–algebra $\mathcal{B}(\mathbb{R})$?
- Tricks. If $\{x_n\}$ converges, then Cesaro Mean converges (S.A. pp 50 2.3.11)
- Showing inequality for harmonic series.
- How to prove that given set is a connected subset of the space of matrices?
- Prove that prime ideals of a finite ring are maximal
- Let A $\subset C(X)$ is an algebra of continuous functions then prove that the closure of A is also an algebra.
- Constructing an example s.t. $\operatorname{Hom}_R(M,N)$ is not finitely generated
- Euler's $\phi(n)$ function
- Different definitions for submanifolds
- Set Theoretic Definition of Numbers
- Determinant game – winning strategy
- Character table of the non-abelian group of order 21
- Is the Nested Radical Constant rational or irrational?
- Lie derivative of a vectorfield in components
- Let $G$ be a group of order 35. Show that $G \cong Z_{35}$