Want to take part in these discussions? Sign in if you have an account, or apply for one below
Vanilla 1.1.10 is a product of Lussumo. More Information: Documentation, Community Support.
I added to the statement under Properties; it’s a lot clearer I think to state it first for the one-point compactification.
The article seemed strangely limited in scope, so I generalised it somewhat. Also an Idea section, which motivates the definition.
Actually, in some ways it was too general, since originally was not required to be locally compact. So if is the space of rational numbers (as a subspace of the real line), then a function like (taking values in the real line with basepoint ) should vanish at infinity, but there are too few compact subspaces of to see this. The article currently doesn't have a definition that includes this, but at least it doesn't exclude this either.
ETA: Actually, the comment about the Stone–Čech compactification seems to cover this, but I'm not sure how generally this can be made to work.
1 to 4 of 4