I am considering the set of nondecreasing functions defined on $[0,1]$. These functions are bounded by known constant $M$. Is this set of functions compact in any metric?
I am interested if there are some well known results in the corresponding literature on this on how to choose a metric (or topology) to obtain compactness of this set. I don't know infinite-dimensional analysis that well, I would not know where to look.