Talk:Cousin's theorem

Latest comment: 5 years ago by 173.228.123.166 in topic Proof

Proof

edit

I removed this section from the article, because it didn't make any sense. I'm assuming that someone was starting to write it and never finished it.


Proof

edit

At first, only   as a proper subset of   will be studied.

Asmeurer (talkcontribs) 21:46, 7 March 2010 (UTC)Reply

There is a formalized proof here. There's also an informal proof here that resembles the traditional proof of the Bolzano-Weierstrass theorem. But, Cousin's theorem supposedly requires more powerful axioms than B-W (or Heine-Borel),[1] and I haven't spotted the part of the proof where they enter. I believe the article should get a proof of the theorem and a discussion of the metamathematics. User:CBM hasn't been around in a while: can User:CommyMath help? Thanks. 173.228.123.166 (talk) 10:02, 30 December 2018 (UTC)Reply

User:CommyMath here! I will take a stab at said proof in the New Year. This should be easy as a new (Normann-Sanders) proof , based solely on the least upper bound property of bounded subsets of the reals, has in the meantime appeared on the arxiv. —Preceding undated comment added 18:27, 30 December 2018 (UTC)