What does vanishing at infinity mean for a topological space?

Join the discussion
Ask a follow-up here, or get your own question answered by working scientists, mathematicians and engineers — people, not an autocomplete.
Real named experts · corrections over time · the nuance an AI answer skips
1 reply · 4K views
lugita15
Messages
1,553
Reaction score
15
If X is a locally compact Haussorff space, then the set of continuous functions of compact support form a normal vector space C_c(X) with the supremum norm, and the completion of this space is the space C_0(X) of functions vanishing at infinity, i.e. the space of functions f such that f can be contintuous extended to a function g on the one point compactification of X and g(∞) = 0.

However, this definition is rather abstract, and requires investigating continuous extensions on the one-point compactification, something that you wouldn't expect for a notion as simple as a limit at infinity. So is there a more practical characterization of vanishing at infinity, something that is directly in terms of X?

Any help would be greatly appreciated.

Thank You in Advance.

EDIT: I found exactly the characterization I was looking for in "en.wikipedia.org/wiki/Vanish_at_infinity" . So now the question becomes, how would you prove that the definition given in the Wikipedia article is equivalent to the one I gave above?
 
Last edited by a moderator:
Physics news on Phys.org
lugita15 said:
So now the question becomes, how would you prove that the definition given in the Wikipedia article is equivalent to the one I gave above?
This follows easily if we consider the topology for the one point compactification. What does a neigbourhood of the point at infinity look like?