Definition talk:Compact Space

From ProofWiki
Jump to navigation Jump to search

Mind if I disambiguate this, as per Definition:Compact Convergence and Definition:Compact Linear Transformation? --barto (talk) 16:15, 8 September 2017 (EDT)

Definition:Compact Element --barto (talk) 16:29, 8 September 2017 (EDT)

Sounds like a good idea. Also because this page currently doesn't follow the "include a noun in the title" paradigm, from which all the problems seemingly stem. — Lord_Farin (talk) 05:42, 9 September 2017 (EDT)
For the name of the main page, "Compact Set"? --barto (talk) 12:54, 9 September 2017 (EDT)
I'd be happier with "compact space", as a "set", by definition is no more and no less than an aggregate of elements with no internal structure. In this context, "space" would be appropriate for both "topological space" and "metric space", and it could then be argued that linking to "compact space" relieves you of the necessity of specifying exactly which one you had in mind. --prime mover (talk) 14:21, 9 September 2017 (EDT)
If with main page you mean what is currently on this page, then Compact Space. But please include links to the subpages in the disambiguation, so as to limit the amount of clicks the reader needs. — Lord_Farin (talk) 14:46, 9 September 2017 (EDT)

What about moving the definitions for compact subsets in analysis to Definition:Compact Subset (or Definition:Compact Set)? Then Definition:Compact Space would only contain definitions for metric and topological spaces. Note the more accurate page titles. --barto (talk) 14:52, 10 September 2017 (EDT)