Talk:Heine-Borel Theorem

Reorganization
This was a worse mess than I realized. The result for Euclidean spaces started out as a subpage of the one about the real line, so we had pages named peculiar things like Heine-Borel Theorem/Special Case/General Result. I flattened the hierarchy, put the versions in order by fame and simplicity, and gave each a name reflecting is realm of applicability. I know a certain person will be angry about this as a matter of principle, but please look at the end result as a whole before going and undoing things. --Dfeuer (talk) 03:36, 12 February 2013 (UTC)


 * Unfortunately I have been forbidden to express my feelings towards your existence. --prime mover (talk) 06:08, 12 February 2013 (UTC)


 * Maintenance note: Heine-Borel Theorem/Special Case/General Result has been deleted. &mdash; Lord_Farin (talk) 17:05, 18 September 2013 (UTC)

Heine-Borel Theorem vs Property
What is the exact statement of Heine-Borel theorem? I understand that the original involves only Euclidean space. For more abstract spaces not all spaces have closed bounded subsets that are compact. Is this simply a way to avoid having "Heine-Borrel Theorem" and "Heine-Borrel Property" as separate pages because their content is in essence the same? --Julius (talk) 20:46, 12 November 2020 (UTC)


 * The Heine-Borel Theorem states: a subset of a space (? whatever properties) is closed and bounded iff it is compact. The problems arise when you ask the questions: what does closed mean? What does bounded mean? What does compact mean? And of course "boundedness" is relevant only when you have a space on which the concept of "distance" is defined, however that is.


 * The motivation for this was in early topology where the brains were thinking: what aspects of the real numbers can be extracted, generalised and relaxed? That is, what is it about the real numbers that makes them special? What actually are their properties?


 * Hence all these "generalisations" of certain properties of subsets of the real numbers (boundedness, closedness, compactness) were found to be applicable in these more generalised spaces. What *is* the most "generalised" version of the real numbers that can sustain the structures with these definable properties such that the Heine-Borel Theorem actually makes sense? As it is established that H-BT holds for a "normed vector space", it guarantees that it will hold in *any* of the more specialised spaces which are also "normed vector spaces", that is, metric spaces, real numbers, cartesian spaces of real numbers, the whole bit.


 * The challenge, which needs to be stressed, is to define "closedness", "compactness" and "boundedness" in all these spaces which are "normed vector spaces" -- or rather, to demonstrate that the more-or-less intuitively defined instances of these concepts in, say, the Real Numbers, are precisely equivalent to these concepts as they are defined in a "normed vector space".


 * This is on a par with how we proved the "open" and "closed" as defined on $\R$ is "the same" as is defined on a metric space, and again "the same" as how defined in a general topological space -- and hence the definition of continuity. This is just another (more complicated to grasp) instance of that process. We need to show that all these instances of the H-BT are not "this is the H-BT for the reals, this is the H-BT for the cartesian space, this is the H-BT for metric spaces, ..." They are all the same thing. Whatever we do with this, we cannot lose that nugget. --prime mover (talk) 21:28, 12 November 2020 (UTC)


 * Ok, that makes sense. Just note that metric space is not a specialised case of normed vector space. It is the other way around. All norms induce a metric, not all metrics are induced by a norm, e.g. discrete metric does not satisfy the positive homogeneity property.--Julius (talk) 08:49, 13 November 2020 (UTC)


 * However it works. I haven't studied it. We have the proof for metric spaces, we show that boundedness, compactness and closure are equivalent to their metric space definitions in a NVS and the job is done. --prime mover (talk) 12:25, 13 November 2020 (UTC)