pi-base
Nowhere compact property
I wasn't sure were to post my suggestion, so it ends up here. I noticed that pi-base lacks the property 'nowhere compact' (each compact subset has empty interior) and I was wondering where to suggest creating it. I came up with some theorems about nowhere compact spaces: weakly locally compact + non-empty -> ~nowhere compact has an isolated point -> ~nowhere compact ~weakly locally compact + homogeneous -> nowhere compact They are more or less trivial but thanks to them you can mark many spaces straight away.
More generally, how to become a contributor with mathematical content (theorems, properties, spaces) ?
Originally posted by @kulamateusz in https://github.com/pi-base/data/discussions/324#discussioncomment-8470166
There was a request for references for this property; here are some links with example usage: https://mathoverflow.net/questions/346368/nowhere-compact-subsets-of-the-plane, referencing http://at.yorku.ca/p/a/c/a/25.pdf https://projecteuclid.org/journals/real-analysis-exchange/volume-25/issue-1/Algebraic-Properties-of-Some-Compact-Spaces/rae/1231187606.full https://topology.nipissingu.ca/tp/reprints/v17/tp17022.pdf This article uses a narrower definition by assuming that compact sets are closed, but this can probably be attributed to scope. This page mentions some examples of nowhere compact spaces: the rationals, irrationals, and Sorgenfrey line http://at.yorku.ca/b/ask-a-topologist/2010/1142.htm
