Talk:Closed Real Interval is Compact

Sorry, but if you want to put a proof forward that uses Normed Vector Spaces, then you are free to do so -- but the proof as given here, and as cited in the McCarty work, operated on $\R$ being a metric space.

I have reverted it, because that's what the McCarty citation gave. If you want a Normed Vector Space version, you need to write it as a separate proof and then you can add your appropriate citation to that proof. --prime mover (talk) 20:07, 8 November 2020 (UTC)