3
$\begingroup$

I would like to consult with anyone who is reading this post on how do you explain the distinction between compact spaces and locally compact spaces to students who had just completed topology course and is now in functional analysis class. In topology, the syllabus cover only Compact spaces and in Functional analysis class, the students were being approach to locally compact spaces.

I can't explain very well and I just say that for locally compact spaces, it is like a subset of a set where the set is a compact spaces. In other words it is a more specific as compared to compact spaces and I don't feel my response is quite clear. Hope to seek some help on the explanation. Thank You.

  • 3
    @Samdra Here's a good example to consider: $\Bbb{R}$ with the Euclidean topology is not compact but locally compact. On the other hand a space like $[0,1]$ that is compact is also locally compact. While $\Bbb{Q}$ with the euclidean topology cannot be locally compact because it is not a Baire Space.2012-08-03

1 Answers 1

2

You also need to be careful, as there are two possible and used definitions of locally compact: (1) every point has a compact neighbourhood; (2) every point has a base of compact neighbourhoods. The advantages of the second definition are: (i) it is in the spirit of definitions of local properties, and (ii) it is very often this property which is used in practice. The two definitions agree for Hausdorff spaces.

Of course the previous comments are on the ball.