Talk:Totally Bounded Metric Space is Separable

Wasn't $S$ supposed to be define as $S := \{x_{k,n} \mid k,n \in \N, \, 1 \leq n \leq n_k \}$? --tomjgg 12:44, 22 May 2012 (EDT)

But that's what it says. --prime mover 01:08, 22 May 2012 (EDT)

It says $S := \{x_{k,n} \mid k,n \in \N, \, 1 \leq k \leq n_k \}$ not $S := \{x_{k,n} \mid k,n \in \N, \, 1 \leq n \leq n_k \}$ with a $k$ in place of the $n$. Am I wrong on this correction? --tomjgg 14:01, 22 May 2012 (EDT)

Oh yeah, I see it now.

Your guess is as good as mine, this whole proof makes no sense to me. :-) --prime mover 14:39, 22 May 2012 (EDT)