Buongiorno a tutti.
Mi sono incagliato in una dimostrazione che seppur potenzialmente semplice non riesco proprio a sciogliere.
Vorrei dimostrare che $(S')' \subseteq S'$ dove $S$ è un generico sottoinsieme di uno spazio topologico $(X,\mathcal{T})$.
Con $S'$ intendo ovviamente il derivato di $S$.
Io ragiono cosi:
Fisso $x \in (S')' \Rightarrow \forall U(x) \qquad U(x) \setminus \{x\} \cap S' \ne \emptyset$ dove $U(x)$ è un generico intorno di $x$.
Dunque mi verrebbe a questo punto da prendere $y \in U(x) \setminus \{x\} \cap S' \ne \emptyset$, il che implica che $\forall U(y) \qquad U(y) \setminus \{y\} \cap S \ne \emptyset$ essendo $y \in S'$.
Considero quindi $z \in U(y) \setminus \{y\} \cap S \ne \emptyset$ e SE dimostro che $z \in U(x) \setminus \{x\} \cap S$ allora ho ottenuto che per ogni $U(x)$ risulta $U(x) \setminus \{x\} \cap S \ne \emptyset$ da cui $x \in S'$ e quindi la tesi.
Il punto è che mentre nel caso di uno spazio metrico ho la disuguaglianza triangolare ad aiutarmi nella dimostrazione, in uno spazio topologico ho solo appunto la topologia.
Confido in qualche anima pia che mi aiuti nella dimostrazione o me ne proponga una alternativa? Grazie in anticipo!