Skorokhod's topologies on path space
Abstract
Skorokhod's J1 and M1 topologies are standard tools in proving limit theorems for stochastic processes. Motivated by applications, we extend these topologies so that they are capable of describing the convergence of a sequence of functions that are not all defined on the same domain. Traditionally, the J1 and M1 topologies are defined using time changes. Instead, we base our definitions on the point of view that the graph of a cadlag function can naturally be viewed as a compact set that is equipped with a total order. The distance between two graphs is then measured by matching points on one graph with points on the other graph in a way that respects the total order. We treat the J1 and M1 topologies in a unified framework and simplify the existing theory. We introduce a space of paths, elements of which are cadlag functions defined on an arbitrary closed subset of the real line. We show that this space is Polish and derive compactness criteria. Specialised to functions that are all defined on the same domain, this yields new proofs of known results.
Cite
@article{arxiv.2301.05637,
title = {Skorokhod's topologies on path space},
author = {Nic Freeman and Jan M. Swart},
journal= {arXiv preprint arXiv:2301.05637},
year = {2025}
}
Comments
50 pages. Rewritten to make the main results more accessible. The main intended applications are in probability theory but the paper itself is about metrics and topologies on spaces of functions