Definition talk:Strongly Locally Compact Space

Source of second definition

I added the definition found in Breuckmann, Kudri, Aygün, About Weakly Locally Compact Spaces where this is called differently. --barto (talk) (contribs) 18:27, 12 January 2018 (EST)

Or almost, they don't require closedness. Topospaces in its turn defines this as locally compact, hence the also defined as. --barto (talk) (contribs) 18:32, 12 January 2018 (EST)

Both definitions are (near as a whisker) exactly the same thing. The closure of an open set is just a closed set containing that open set. Is the distinction worth making the distinction over? --prime mover (talk) 18:39, 12 January 2018 (EST)

And the other implication is a litte less obvious, but again not so hard. But I do think it's useful to have the alternative formulation, if only to help to tell all those notions apart. --barto (talk) (contribs) 18:43, 12 January 2018 (EST)

I will leave it up to you to write that equivalence proof. --prime mover (talk) 18:59, 12 January 2018 (EST)

Done --barto (talk) (contribs) 04:55, 13 January 2018 (EST)

They actually do define it as our weakly l.c. The extra definitions help to clarify the relation. --barto (talk) (contribs) 04:55, 13 January 2018 (EST)