One point compactification introduction

Part 1 Local Compactness definition, it is a topological property, every compact space is locally compact and defining a compact space containing the given space.