Talk:Continuous Image of Compact Space is Compact/Corollary 3/Proof 2

To abcxyz: The "why?" that you appended to this proof in a "Questionable" template is in relation to a proof which you posted up yourself. This dates from the (pre-refactor) edit of the Continuous Image of Compact Space is Compact page on 19th March 2012. --prime mover (talk) 06:23, 28 November 2012 (UTC)


 * Unrelated question: Is this distinct from the Extreme Value Theorem in some way that I'm missing (other than one being defined on a general normed vector space and the other on $\R$)? Either way, should there be a merge/link here?  --Alec  (talk) 03:33, 29 November 2012 (UTC)


 * I hadn't noticed the similarity before, but the fact that one of them is on a normed vector space is a significant difference in scope, IMO. So we won't want to merge, but what we probably do want to do is to add a further proof to this result based on that Extreme Value Theorem. --prime mover (talk) 06:08, 29 November 2012 (UTC)