Talk:Limit of Subsequence equals Limit of Sequence

As Hausdorffness can occur without metrizability, the entire proof needs to be done with open sets in the topology. I will see what I can do. --Lord Farin 08:18, 10 October 2011 (CDT)


 * Feel free, and welcome. --prime mover 13:19, 10 October 2011 (CDT)


 * There seems to be no 'limit of sequence in Hausdorff space is unique' theorem. This appears a valuable addition. --Lord Farin 18:00, 11 October 2011 (CDT)


 * There definitely is - let me go find ... --prime mover 00:15, 12 October 2011 (CDT)
 * ... how does Convergent Sequence in Hausdorff Space has Unique Limit work for you - or is there a sublety I've missed? --prime mover 00:18, 12 October 2011 (CDT)


 * Proof of that is fine; thanks for pointing to it. However, your proof for $\R$ works with the standard (Borel) topology arising from the metric. There are a lot of other topologies on $\R$. That's why I removed it in the first place --Lord Farin 01:01, 12 October 2011 (CDT)


 * Okay, so put a mention about that fact. Please don't just delete stuff, please try and enhance it for accuracy. --prime mover 02:00, 12 October 2011 (CDT)

... Actually, thinking about it, we need two separate theorems: one for real numbers (purely in the lingo of Analysis) and one for the general Hausdorff space. The theorem for real numbers should then refer to the Hausdorff Space theorem, linking to the proof that the real number line under the standard (Euclidean) metric is Hausdorff. All the results are there - they just need to be knitted together. I'll get to it when I'm capable of rational thought again (heavy day at work today). --prime mover 13:44, 12 October 2011 (CDT)
 * Then in my opinion a theorem for Metric spaces should be formulated. The only difference is that $|x_n-l|<\epsilon$ should be replaced by $d(x_n,l)<\epsilon$. So this will yield practically free generalization. --Lord Farin 13:59, 12 October 2011 (CDT)
 * I had a feeling that might have been the original plan all along ... probably best linked together with a transclusion page. --prime mover 14:31, 12 October 2011 (CDT)