What does vanishing at infinity mean for a topological space?

Click For Summary
SUMMARY

The discussion centers on the concept of "vanishing at infinity" in the context of locally compact Hausdorff spaces. It establishes that the space of continuous functions with compact support, denoted as C_c(X), is a normal vector space with the supremum norm, and its completion is the space C_0(X) of functions that vanish at infinity. The user seeks a more intuitive characterization of this concept and references a Wikipedia article for a practical definition. The conversation concludes with a focus on proving the equivalence between the definitions provided in the discussion and the Wikipedia article.

PREREQUISITES
  • Understanding of locally compact Hausdorff spaces
  • Familiarity with continuous functions and compact support
  • Knowledge of one-point compactification in topology
  • Basic concepts of vector spaces and supremum norms
NEXT STEPS
  • Study the properties of locally compact Hausdorff spaces
  • Research the concept of one-point compactification in topology
  • Explore the relationship between C_c(X) and C_0(X) in functional analysis
  • Examine proofs of equivalence for definitions in topology, particularly regarding vanishing at infinity
USEFUL FOR

Mathematicians, particularly those specializing in topology and functional analysis, as well as students seeking to deepen their understanding of the properties of continuous functions in relation to compactness and limits at infinity.

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?
 

Similar threads

  • · Replies 5 ·
Replies
5
Views
1K
  • · Replies 2 ·
Replies
2
Views
3K
  • · Replies 6 ·
Replies
6
Views
2K
  • · Replies 5 ·
Replies
5
Views
3K
  • · Replies 2 ·
Replies
2
Views
3K
  • · Replies 6 ·
Replies
6
Views
3K
  • · Replies 11 ·
Replies
11
Views
2K
  • · Replies 17 ·
Replies
17
Views
3K
  • · Replies 19 ·
Replies
19
Views
6K
Replies
2
Views
1K