# Thread: Subnet convergence

1. ## Subnet convergence

Let $X$ be a topological space.
Show that if a net $x_{i\ i \in I}$ in $X$ has an accumulation point $p$, then there is a subnet of $x_{i\ i \in I}$ that converge to $p$.

I assume this is the equivalent of subsequence convergence in a metric space.. i'm having hard time applying the net convergence definitions.

2. Originally Posted by aharonidan
Let $X$ be a topological space.
Show that if a net $x_{i\ i \in I}$ in $X$ has an accumulation point $p$, then there is a subnet of $x_{i\ i \in I}$ that converge to $p$.

I assume this is the equivalent of subsequence convergence in a metric space.. i'm having hard time applying the net convergence definitions.
And what precisely are you having difficulties with? This follows directly from the definition, so perhaps if you could narrow down which part of that definition troubles you we could help you better.

3. Originally Posted by Drexel28
And what precisely are you having difficulties with? This follows directly from the definition, so perhaps if you could narrow down which part of that definition troubles you we could help you better.
since $p$ is an accumulation point. the set $I_U$={ $i \in I$: $x_i \in U$ , $U$ is open } is co-final in $I$. therefore I can take the set $J$={ $I_U$ : $p \in U$, $U$ is open } with the reverse inclusion.
The net $x_{j\ j \in J}$ clearly converge to $p$.
is this a subnet? if so how can show that? did i mess up the definitions?