Point processes in a metric space

As a useful and elegant tool of extreme value theory, the study of point processes on a metric space is important and necessary for the analyses of heavy-tailed functional data. This paper focuses on the definition and properties of such point processes. A complete convergence result for a regularly varying iid sequence in a metric space is proved as an example of the application in extreme value theory.