Definition talk:Real Interval/Bounded

From ProofWiki
Jump to navigation Jump to search

Namespace change

As we already have a definition for Definition:Bounded Subset of Real Numbers, rather than make this a definition, it might be better to make this a (trivially proved) theorem, so as to make sure the concepts are linked. It may sound trivial to make such a thing a proof rather than a definition, but it would then be easier to link back to all the proofs about boundedness without having to reinvent them in the real context. --prime mover (talk) 08:43, 2 July 2016 (UTC)

My thought process was that the 'bounded real interval' is a notion so often referenced that it would be nice to have it as a definition, and maybe later quickly prove "bounded real intervals are bounded", but I understand your point. I'll take the definition down. --Keith.U (talk) 09:16, 2 July 2016 (UTC)
Second thoughts you may be right. Leave it up for the moment, I'll give it another think as to how we use this. --prime mover (talk) 10:19, 2 July 2016 (UTC)