Definition talk:Cauchy Sequence

From ProofWiki
Jump to navigation Jump to search

This can be defined the same for a pseudometric space (most theorems about metric spaces hold for pseudometric spaces as well—Kelley works almost exclusively with pseudometric spaces when he deals with such). The most general version is for a uniform space, so we should probably consider adding that, but I don't know how much infrastructure we have for them. --Dfeuer (talk) 20:15, 7 January 2013 (UTC)

You are welcome to tack it onto your to-do list, but wouldn't it be better to properly finish the ordered group and comrades project first? --Lord_Farin (talk) 21:25, 7 January 2013 (UTC)
I would put uniform spaces pretty low on my list—lots of pain. Pseudometrics involve very little pain. But yes, I want to finish with the ordered groups and such, and also get back to applications and equivalents of BPI. --Dfeuer (talk) 21:49, 7 January 2013 (UTC)