On compactness and fixed point theorems in partial metric spaces

In this paper we examine two basic topological properties of partial metric spaces, namely compactness and completeness. Our main result claims that in these spaces compactness is equivalent to sequential compactness. We also show that Hausdorff compact partial metric spaces are metrizable. In the second part of this article we discuss the significance of bottom sets of partial metric spaces in fixed point theorems for mappings acting in these spaces.