Timeline for Characterization of pretty compact spaces
Current License: CC BY-SA 4.0
6 events
| when toggle format | what | by | license | comment | |
|---|---|---|---|---|---|
| Feb 11, 2021 at 10:05 | vote | accept | Norbert | ||
| Feb 5, 2021 at 12:56 | answer | added | KP Hart | timeline score: 10 | |
| Feb 3, 2021 at 12:07 | comment | added | Henno Brandsma | @TimCampion It's nevertheless pretty standard and already used by Gillman and Jerrison (almost compact I mean). Pretty compact is indeed a bit weird. That $\Bbb R$ feels almost compact is due to its completeness/connectedness and linear structure, I think: in a connected ordered space we can always compactfity with at most two points. | |
| Feb 2, 2021 at 21:56 | comment | added | Tim Campion | From the discussion at MSE, I think I'm not alone in finding the terminology very distracting. For example (let's see if I've got this straight) $\mathbb R$ is not almost compact, so $S^1$ is not pretty compact, so compact does not imply pretty compact. But I think the terminology strongly suggests it should. Already, the fact that $\mathbb R$ is not almost compact makes the terminology feel wrong to me. | |
| Feb 2, 2021 at 19:46 | history | edited | LSpice | CC BY-SA 4.0 |
Name of paper
|
| Feb 2, 2021 at 17:52 | history | asked | Norbert | CC BY-SA 4.0 |