118:
107:
2708:
2557:
2568:
1754:
1182:
2040:
1285:
1457:
2853:
1018:
1353:
2441:
2905:
402:
326:
1578:
2703:{\displaystyle \lim _{\delta \to 0}\limsup _{n\to \infty }\mu _{n}{\big (}\{f\in \mathbb {D} \;|\;\varpi '_{f}(\delta )\geq \varepsilon \}{\big )}=0{\text{ for all }}\varepsilon >0.}
891:
2403:
187:
1859:
2957:
845:
731:
622:
1821:
1654:
2738:
2429:
2325:
2248:
2172:
2122:
1932:
1646:
1047:
917:
753:
587:
548:
2303:
2226:
1789:
1480:
219:
2779:
2276:
2196:
1906:
1886:
1624:
1059:
249:
155:
431:
1943:
810:
2142:
2096:
2076:
1601:
1508:
1393:
1373:
694:
674:
645:
511:
491:
455:
3044:
1194:
3030:
98:" (continuous on one side, limit on the other side), for a function which at each point of the domain is either càdlàg or càglàd.
1401:
2784:
117:
2552:{\displaystyle \lim _{a\to \infty }\limsup _{n\to \infty }\mu _{n}{\big (}\{f\in \mathbb {D} \;|\;\|f\|\geq a\}{\big )}=0,}
925:
1290:
3109:
3086:
110:
2858:
470:
337:
261:
2199:
1516:
2350:
3133:
760:
164:
1826:
857:
2344:
2910:
815:
1749:{\displaystyle \sigma (f,g):=\inf _{\lambda \in \Lambda }\max\{\|\lambda -I\|,\|f-g\circ \lambda \|\},}
699:
595:
1794:
2045:
was introduced independently and utilized in control theory for the analysis of switching systems.
2721:
2412:
2308:
2231:
2155:
2105:
1915:
1629:
1026:
896:
770:
that, intuitively allows us to "wiggle space and time a bit" (whereas the traditional topology of
736:
557:
516:
2281:
2204:
106:
3128:
2968:
1177:{\displaystyle \varpi '_{f}(\delta ):=\inf _{\Pi }\max _{1\leq i\leq k}w_{f}([t_{i-1},t_{i})),}
551:
1762:
1465:
192:
121:
Example of a cumulative distribution function with a countably infinite set of discontinuities
3038:
2746:
2432:
2261:
2181:
1891:
1871:
1609:
851:
466:
All functions continuous on a subset of the real numbers are càdlàg functions on that subset.
228:
2035:{\displaystyle d(f,g):=\inf _{\lambda \in \Lambda }(\|\lambda -I\|+\|f-g\circ \lambda \|),}
1865:
128:
68:
60:
407:
8:
2406:
1483:
771:
56:
43:("continuous on (the) right, limit on (the) left") function is a function defined on the
777:
3098:
2127:
2081:
2061:
1586:
1493:
1378:
1358:
763:
679:
659:
630:
496:
476:
440:
3105:
3082:
2099:
3026:
1375:(just as the usual modulus of continuity makes sense for discontinuous functions).
67:, which has continuous sample paths. The collection of càdlàg functions on a given
52:
2988:
2328:
625:
64:
28:
3017:
Georgiou, T.T. and Smith, M.C. (2000). "Robustness of a relaxation oscillator".
2175:
1396:
3122:
3031:
10.1002/1099-1239(200009/10)10:11/12<1005::AID-RNC536>3.0.CO;2-Q
2332:
158:
332:
44:
20:
1280:{\displaystyle \Pi =\{0=t_{0}<t_{1}<\dots <t_{k}=T\},\;k\in E}
256:
2740:
is not a topological group, as can be seen by the following example:
1487:
2855:
to be a sequence of characteristic functions. Despite the fact that
767:
2718:
Under the
Skorokhod topology and pointwise addition of functions,
1188:
48:
3016:
1791:
is the identity function. In terms of the "wiggle" intuition,
774:
only allows us to "wiggle space a bit"). For simplicity, take
647:
defined on an open interval, is an increasing cadlag function.
1452:{\displaystyle \lim _{\delta \to 0}\varpi '_{f}(\delta )=0}
493:
correspond to the probability of being lower or equal than
473:
are càdlàg functions. For instance the cumulative at point
59:
everywhere. Càdlàg functions are important in the study of
2053:
2848:{\displaystyle f_{n}=\chi _{[1-1/n,2)}\in \mathbb {D} }
2713:
2435:
if and only if both the following conditions are met:
3019:
International
Journal of Robust and Nonlinear Control
2913:
2861:
2787:
2749:
2724:
2571:
2444:
2415:
2353:
2311:
2284:
2264:
2234:
2207:
2184:
2158:
2130:
2108:
2084:
2064:
1946:
1918:
1894:
1874:
1829:
1797:
1765:
1657:
1632:
1612:
1589:
1519:
1496:
1468:
1404:
1381:
1361:
1293:
1197:
1062:
1029:
1013:{\displaystyle w_{f}(F):=\sup _{s,t\in F}|f(s)-f(t)|}
928:
899:
860:
818:
780:
739:
702:
682:
662:
633:
598:
560:
519:
499:
479:
443:
410:
340:
264:
231:
195:
167:
131:
1348:{\displaystyle \min _{i}(t_{i}-t_{i+1})>\delta }
847:— see Billingsley for a more general construction.
3097:
2951:
2899:
2847:
2773:
2732:
2702:
2551:
2423:
2397:
2319:
2297:
2270:
2242:
2220:
2190:
2166:
2136:
2116:
2090:
2070:
2034:
1926:
1900:
1880:
1853:
1815:
1783:
1748:
1640:
1618:
1595:
1572:
1502:
1474:
1451:
1387:
1367:
1347:
1279:
1176:
1041:
1012:
911:
885:
839:
804:
747:
725:
688:
668:
639:
616:
581:
542:
505:
485:
449:
425:
396:
320:
243:
213:
181:
149:
3120:
2589:
2573:
2462:
2446:
2048:
1969:
1695:
1680:
1533:
1406:
1295:
1099:
1089:
952:
360:
284:
2989:"Skorokhod space - Encyclopedia of Mathematics"
2338:
1823:measures the size of the "wiggle in time", and
2900:{\displaystyle f_{n}\rightarrow \chi _{[1,2)}}
2675:
2616:
2535:
2489:
1510:to itself (these are "wiggles in time"). Let
1355:. This definition makes sense for non-càdlàg
397:{\displaystyle f(t+):=\lim _{s\to t^{+}}f(s)}
321:{\displaystyle f(t-):=\lim _{s\to t^{-}}f(s)}
3104:. New York, NY: John Wiley & Sons, Inc.
3081:. New York, NY: John Wiley & Sons, Inc.
3043:: CS1 maint: multiple names: authors list (
3010:
2670:
2621:
2530:
2521:
2515:
2494:
2023:
2005:
1999:
1987:
1861:measures the size of the "wiggle in space".
1848:
1830:
1810:
1798:
1740:
1737:
1719:
1713:
1701:
1698:
1526:
1520:
1261:
1204:
93:
83:
2144:coincides with the uniform topology there.
1573:{\displaystyle \|f\|:=\sup _{t\in E}|f(t)|}
63:that admit (or even require) jumps, unlike
2641:
2635:
2514:
2508:
1267:
469:As a consequence of their definition, all
88:", the left-right reversal of càdlàg, and
39:("right continuous with left limits"), or
16:Right continuous function with left limits
2841:
2726:
2631:
2504:
2417:
2398:{\displaystyle (\mu _{n})_{n=1,2,\dots }}
2313:
2236:
2160:
2110:
1920:
1634:
827:
741:
704:
554:of concern for a two-tailed distribution
521:
175:
2907:in the Skorokhod topology, the sequence
2124:. The Skorokhod topology relativized to
1583:denote the uniform norm on functions on
850:We must first define an analogue of the
116:
105:
3057:
3001:
182:{\displaystyle E\subseteq \mathbb {R} }
3121:
2054:Generalization of the uniform topology
457:is right-continuous with left limits.
2178:with respect to the Skorokhod metric
1854:{\displaystyle \|f-g\circ \lambda \|}
886:{\displaystyle \varpi '_{f}(\delta )}
656:The set of all càdlàg functions from
766:. Skorokhod space can be assigned a
3100:Convergence of Probability Measures
3060:Convergence of Probability Measures
3004:Convergence of Probability Measures
2952:{\displaystyle f_{n}-\chi _{[1,2)}}
2714:Algebraic and topological structure
13:
3070:
2599:
2472:
2456:
1979:
1875:
1690:
1469:
1198:
1093:
840:{\displaystyle M=\mathbb {R} ^{n}}
651:
609:
567:
85:continue à gauche, limite à droite
33:continue à droite, limite à gauche
14:
3145:
2781:be a half-open interval and take
1868:is indeed a metric. The topology
726:{\displaystyle \mathbb {D} (E:M)}
471:cumulative distribution functions
113:are examples of càdlàg functions.
111:Cumulative distribution functions
95:continue à l'un, limite à l’autre
550:. In other words, the semi-open
2347:, one can show that a sequence
2253:
2200:topologically equivalent metric
2147:
617:{\displaystyle f_{+}^{\prime }}
3051:
2995:
2981:
2944:
2932:
2892:
2880:
2872:
2832:
2806:
2768:
2756:
2661:
2655:
2637:
2596:
2580:
2510:
2469:
2453:
2368:
2354:
2026:
1984:
1962:
1950:
1816:{\displaystyle \|\lambda -I\|}
1775:
1673:
1661:
1566:
1562:
1556:
1549:
1440:
1434:
1413:
1336:
1304:
1168:
1165:
1133:
1130:
1082:
1076:
1006:
1002:
996:
987:
981:
974:
945:
939:
880:
874:
799:
787:
720:
708:
576:
561:
537:
525:
420:
414:
391:
385:
367:
353:
344:
315:
309:
291:
277:
268:
205:
144:
132:
1:
3096:Billingsley, Patrick (1999).
3077:Billingsley, Patrick (1995).
2974:
2331:. Thus, Skorokhod space is a
2049:Properties of Skorokhod space
101:
2733:{\displaystyle \mathbb {D} }
2424:{\displaystyle \mathbb {D} }
2339:Tightness in Skorokhod space
2320:{\displaystyle \mathbb {D} }
2243:{\displaystyle \mathbb {D} }
2167:{\displaystyle \mathbb {D} }
2117:{\displaystyle \mathbb {D} }
1927:{\displaystyle \mathbb {D} }
1641:{\displaystyle \mathbb {D} }
1042:{\displaystyle \delta >0}
912:{\displaystyle F\subseteq E}
748:{\displaystyle \mathbb {D} }
582:{\displaystyle (-\infty ,r]}
543:{\displaystyle \mathbb {P} }
51:of them) that is everywhere
7:
2962:
2298:{\displaystyle \sigma _{0}}
2221:{\displaystyle \sigma _{0}}
2078:of continuous functions on
460:
10:
3150:
2343:By an application of the
1191:runs over all partitions
2959:does not converge to 0.
1784:{\displaystyle I:E\to E}
1475:{\displaystyle \Lambda }
214:{\displaystyle f:E\to M}
3079:Probability and Measure
2774:{\displaystyle E=[0,2)}
2271:{\displaystyle \sigma }
2258:With respect to either
2191:{\displaystyle \sigma }
1901:{\displaystyle \sigma }
1881:{\displaystyle \Sigma }
1619:{\displaystyle \sigma }
761:Ukrainian mathematician
2969:Classical Wiener space
2953:
2901:
2849:
2775:
2734:
2704:
2553:
2425:
2399:
2321:
2299:
2272:
2244:
2228:with respect to which
2222:
2192:
2168:
2138:
2118:
2092:
2072:
2036:
1937:An equivalent metric,
1928:
1902:
1882:
1855:
1817:
1785:
1750:
1642:
1620:
1597:
1574:
1504:
1482:denote the set of all
1476:
1453:
1389:
1369:
1349:
1281:
1178:
1043:
1014:
913:
887:
841:
806:
749:
727:
690:
670:
641:
618:
583:
544:
507:
487:
451:
427:
398:
322:
245:
244:{\displaystyle t\in E}
215:
183:
151:
122:
114:
94:
84:
78:Two related terms are
32:
2954:
2902:
2850:
2776:
2735:
2705:
2554:
2426:
2400:
2345:Arzelà–Ascoli theorem
2322:
2300:
2273:
2245:
2223:
2193:
2169:
2139:
2119:
2093:
2073:
2037:
1929:
1903:
1883:
1856:
1818:
1786:
1751:
1643:
1621:
1598:
1575:
1505:
1477:
1454:
1390:
1370:
1350:
1282:
1179:
1044:
1015:
914:
888:
852:modulus of continuity
842:
807:
750:
728:
691:
671:
642:
619:
592:The right derivative
584:
545:
508:
488:
452:
428:
399:
323:
246:
216:
184:
152:
150:{\displaystyle (M,d)}
120:
109:
3134:Stochastic processes
3025:(11–12): 1005–1024.
2911:
2859:
2785:
2747:
2722:
2569:
2442:
2413:
2407:probability measures
2351:
2309:
2282:
2262:
2232:
2205:
2182:
2156:
2128:
2106:
2082:
2062:
1944:
1916:
1892:
1872:
1827:
1795:
1763:
1655:
1630:
1610:
1587:
1517:
1494:
1466:
1402:
1379:
1359:
1291:
1195:
1060:
1027:
926:
897:
858:
816:
778:
737:
700:
696:is often denoted by
680:
660:
631:
596:
558:
517:
497:
477:
441:
426:{\displaystyle f(t)}
408:
338:
262:
229:
193:
165:
129:
61:stochastic processes
2688: for all
2654:
2409:on Skorokhod space
1484:strictly increasing
1433:
1075:
873:
772:uniform convergence
613:
3062:. New York: Wiley.
3006:. New York: Wiley.
2949:
2897:
2845:
2771:
2730:
2700:
2642:
2603:
2587:
2549:
2476:
2460:
2421:
2395:
2317:
2295:
2268:
2240:
2218:
2188:
2164:
2134:
2114:
2088:
2068:
2032:
1983:
1924:
1910:Skorokhod topology
1898:
1878:
1851:
1813:
1781:
1746:
1694:
1638:
1616:
1593:
1570:
1547:
1500:
1472:
1449:
1421:
1420:
1385:
1365:
1345:
1303:
1277:
1174:
1119:
1097:
1063:
1039:
1010:
972:
909:
883:
861:
837:
805:{\displaystyle E=}
802:
764:Anatoliy Skorokhod
745:
723:
686:
666:
637:
614:
599:
579:
540:
503:
483:
447:
423:
404:exists and equals
394:
381:
318:
305:
241:
211:
179:
147:
123:
115:
2689:
2588:
2572:
2461:
2445:
2137:{\displaystyle C}
2091:{\displaystyle E}
2071:{\displaystyle C}
1968:
1679:
1596:{\displaystyle E}
1532:
1503:{\displaystyle E}
1405:
1388:{\displaystyle f}
1368:{\displaystyle f}
1294:
1098:
1088:
951:
689:{\displaystyle M}
669:{\displaystyle E}
640:{\displaystyle f}
506:{\displaystyle r}
486:{\displaystyle r}
450:{\displaystyle f}
359:
283:
3141:
3115:
3103:
3092:
3064:
3063:
3058:Billingsley, P.
3055:
3049:
3048:
3042:
3034:
3014:
3008:
3007:
3002:Billingsley, P.
2999:
2993:
2992:
2985:
2958:
2956:
2955:
2950:
2948:
2947:
2923:
2922:
2906:
2904:
2903:
2898:
2896:
2895:
2871:
2870:
2854:
2852:
2851:
2846:
2844:
2836:
2835:
2822:
2797:
2796:
2780:
2778:
2777:
2772:
2739:
2737:
2736:
2731:
2729:
2709:
2707:
2706:
2701:
2690:
2687:
2679:
2678:
2650:
2640:
2634:
2620:
2619:
2613:
2612:
2602:
2586:
2558:
2556:
2555:
2550:
2539:
2538:
2513:
2507:
2493:
2492:
2486:
2485:
2475:
2459:
2430:
2428:
2427:
2422:
2420:
2404:
2402:
2401:
2396:
2394:
2393:
2366:
2365:
2326:
2324:
2323:
2318:
2316:
2304:
2302:
2301:
2296:
2294:
2293:
2277:
2275:
2274:
2269:
2249:
2247:
2246:
2241:
2239:
2227:
2225:
2224:
2219:
2217:
2216:
2197:
2195:
2194:
2189:
2173:
2171:
2170:
2165:
2163:
2143:
2141:
2140:
2135:
2123:
2121:
2120:
2115:
2113:
2097:
2095:
2094:
2089:
2077:
2075:
2074:
2069:
2041:
2039:
2038:
2033:
1982:
1933:
1931:
1930:
1925:
1923:
1907:
1905:
1904:
1899:
1887:
1885:
1884:
1879:
1860:
1858:
1857:
1852:
1822:
1820:
1819:
1814:
1790:
1788:
1787:
1782:
1755:
1753:
1752:
1747:
1693:
1647:
1645:
1644:
1639:
1637:
1625:
1623:
1622:
1617:
1605:Skorokhod metric
1602:
1600:
1599:
1594:
1579:
1577:
1576:
1571:
1569:
1552:
1546:
1509:
1507:
1506:
1501:
1481:
1479:
1478:
1473:
1458:
1456:
1455:
1450:
1429:
1419:
1394:
1392:
1391:
1386:
1374:
1372:
1371:
1366:
1354:
1352:
1351:
1346:
1335:
1334:
1316:
1315:
1302:
1286:
1284:
1283:
1278:
1254:
1253:
1235:
1234:
1222:
1221:
1183:
1181:
1180:
1175:
1164:
1163:
1151:
1150:
1129:
1128:
1118:
1096:
1071:
1048:
1046:
1045:
1040:
1019:
1017:
1016:
1011:
1009:
977:
971:
938:
937:
918:
916:
915:
910:
892:
890:
889:
884:
869:
846:
844:
843:
838:
836:
835:
830:
811:
809:
808:
803:
755:) and is called
754:
752:
751:
746:
744:
732:
730:
729:
724:
707:
695:
693:
692:
687:
675:
673:
672:
667:
646:
644:
643:
638:
623:
621:
620:
615:
612:
607:
589:is right-closed.
588:
586:
585:
580:
549:
547:
546:
541:
524:
512:
510:
509:
504:
492:
490:
489:
484:
456:
454:
453:
448:
432:
430:
429:
424:
403:
401:
400:
395:
380:
379:
378:
327:
325:
324:
319:
304:
303:
302:
250:
248:
247:
242:
220:
218:
217:
212:
188:
186:
185:
180:
178:
156:
154:
153:
148:
97:
87:
82:, standing for "
53:right-continuous
3149:
3148:
3144:
3143:
3142:
3140:
3139:
3138:
3119:
3118:
3112:
3095:
3089:
3076:
3073:
3071:Further reading
3068:
3067:
3056:
3052:
3036:
3035:
3015:
3011:
3000:
2996:
2987:
2986:
2982:
2977:
2965:
2931:
2927:
2918:
2914:
2912:
2909:
2908:
2879:
2875:
2866:
2862:
2860:
2857:
2856:
2840:
2818:
2805:
2801:
2792:
2788:
2786:
2783:
2782:
2748:
2745:
2744:
2725:
2723:
2720:
2719:
2716:
2686:
2674:
2673:
2646:
2636:
2630:
2615:
2614:
2608:
2604:
2592:
2576:
2570:
2567:
2566:
2534:
2533:
2509:
2503:
2488:
2487:
2481:
2477:
2465:
2449:
2443:
2440:
2439:
2416:
2414:
2411:
2410:
2371:
2367:
2361:
2357:
2352:
2349:
2348:
2341:
2329:separable space
2312:
2310:
2307:
2306:
2289:
2285:
2283:
2280:
2279:
2263:
2260:
2259:
2256:
2235:
2233:
2230:
2229:
2212:
2208:
2206:
2203:
2202:
2183:
2180:
2179:
2159:
2157:
2154:
2153:
2150:
2129:
2126:
2125:
2109:
2107:
2104:
2103:
2083:
2080:
2079:
2063:
2060:
2059:
2056:
2051:
1972:
1945:
1942:
1941:
1919:
1917:
1914:
1913:
1893:
1890:
1889:
1873:
1870:
1869:
1828:
1825:
1824:
1796:
1793:
1792:
1764:
1761:
1760:
1683:
1656:
1653:
1652:
1633:
1631:
1628:
1627:
1611:
1608:
1607:
1588:
1585:
1584:
1565:
1548:
1536:
1518:
1515:
1514:
1495:
1492:
1491:
1467:
1464:
1463:
1425:
1409:
1403:
1400:
1399:
1380:
1377:
1376:
1360:
1357:
1356:
1324:
1320:
1311:
1307:
1298:
1292:
1289:
1288:
1249:
1245:
1230:
1226:
1217:
1213:
1196:
1193:
1192:
1159:
1155:
1140:
1136:
1124:
1120:
1102:
1092:
1067:
1061:
1058:
1057:
1028:
1025:
1024:
1005:
973:
955:
933:
929:
927:
924:
923:
898:
895:
894:
865:
859:
856:
855:
831:
826:
825:
817:
814:
813:
779:
776:
775:
757:Skorokhod space
740:
738:
735:
734:
703:
701:
698:
697:
681:
678:
677:
661:
658:
657:
654:
652:Skorokhod space
632:
629:
628:
626:convex function
608:
603:
597:
594:
593:
559:
556:
555:
520:
518:
515:
514:
498:
495:
494:
478:
475:
474:
463:
442:
439:
438:
409:
406:
405:
374:
370:
363:
339:
336:
335:
298:
294:
287:
263:
260:
259:
230:
227:
226:
223:càdlàg function
194:
191:
190:
174:
166:
163:
162:
130:
127:
126:
104:
73:Skorokhod space
65:Brownian motion
17:
12:
11:
5:
3147:
3137:
3136:
3131:
3117:
3116:
3110:
3093:
3087:
3072:
3069:
3066:
3065:
3050:
3009:
2994:
2979:
2978:
2976:
2973:
2972:
2971:
2964:
2961:
2946:
2943:
2940:
2937:
2934:
2930:
2926:
2921:
2917:
2894:
2891:
2888:
2885:
2882:
2878:
2874:
2869:
2865:
2843:
2839:
2834:
2831:
2828:
2825:
2821:
2817:
2814:
2811:
2808:
2804:
2800:
2795:
2791:
2770:
2767:
2764:
2761:
2758:
2755:
2752:
2728:
2715:
2712:
2711:
2710:
2699:
2696:
2693:
2685:
2682:
2677:
2672:
2669:
2666:
2663:
2660:
2657:
2653:
2649:
2645:
2639:
2633:
2629:
2626:
2623:
2618:
2611:
2607:
2601:
2598:
2595:
2591:
2590:lim sup
2585:
2582:
2579:
2575:
2560:
2559:
2548:
2545:
2542:
2537:
2532:
2529:
2526:
2523:
2520:
2517:
2512:
2506:
2502:
2499:
2496:
2491:
2484:
2480:
2474:
2471:
2468:
2464:
2463:lim sup
2458:
2455:
2452:
2448:
2419:
2392:
2389:
2386:
2383:
2380:
2377:
2374:
2370:
2364:
2360:
2356:
2340:
2337:
2315:
2292:
2288:
2267:
2255:
2252:
2238:
2215:
2211:
2187:
2176:complete space
2162:
2149:
2146:
2133:
2112:
2087:
2067:
2055:
2052:
2050:
2047:
2043:
2042:
2031:
2028:
2025:
2022:
2019:
2016:
2013:
2010:
2007:
2004:
2001:
1998:
1995:
1992:
1989:
1986:
1981:
1978:
1975:
1971:
1967:
1964:
1961:
1958:
1955:
1952:
1949:
1922:
1908:is called the
1897:
1877:
1864:The Skorokhod
1850:
1847:
1844:
1841:
1838:
1835:
1832:
1812:
1809:
1806:
1803:
1800:
1780:
1777:
1774:
1771:
1768:
1757:
1756:
1745:
1742:
1739:
1736:
1733:
1730:
1727:
1724:
1721:
1718:
1715:
1712:
1709:
1706:
1703:
1700:
1697:
1692:
1689:
1686:
1682:
1678:
1675:
1672:
1669:
1666:
1663:
1660:
1636:
1615:
1592:
1581:
1580:
1568:
1564:
1561:
1558:
1555:
1551:
1545:
1542:
1539:
1535:
1531:
1528:
1525:
1522:
1499:
1471:
1448:
1445:
1442:
1439:
1436:
1432:
1428:
1424:
1418:
1415:
1412:
1408:
1397:if and only if
1384:
1364:
1344:
1341:
1338:
1333:
1330:
1327:
1323:
1319:
1314:
1310:
1306:
1301:
1297:
1276:
1273:
1270:
1266:
1263:
1260:
1257:
1252:
1248:
1244:
1241:
1238:
1233:
1229:
1225:
1220:
1216:
1212:
1209:
1206:
1203:
1200:
1185:
1184:
1173:
1170:
1167:
1162:
1158:
1154:
1149:
1146:
1143:
1139:
1135:
1132:
1127:
1123:
1117:
1114:
1111:
1108:
1105:
1101:
1095:
1091:
1087:
1084:
1081:
1078:
1074:
1070:
1066:
1051:càdlàg modulus
1038:
1035:
1032:
1021:
1020:
1008:
1004:
1001:
998:
995:
992:
989:
986:
983:
980:
976:
970:
967:
964:
961:
958:
954:
950:
947:
944:
941:
936:
932:
908:
905:
902:
882:
879:
876:
872:
868:
864:
834:
829:
824:
821:
801:
798:
795:
792:
789:
786:
783:
743:
722:
719:
716:
713:
710:
706:
685:
665:
653:
650:
649:
648:
636:
611:
606:
602:
590:
578:
575:
572:
569:
566:
563:
539:
536:
533:
530:
527:
523:
502:
482:
467:
462:
459:
446:
435:
434:
422:
419:
416:
413:
393:
390:
387:
384:
377:
373:
369:
366:
362:
358:
355:
352:
349:
346:
343:
329:
317:
314:
311:
308:
301:
297:
293:
290:
286:
282:
279:
276:
273:
270:
267:
240:
237:
234:
225:if, for every
210:
207:
204:
201:
198:
177:
173:
170:
146:
143:
140:
137:
134:
103:
100:
15:
9:
6:
4:
3:
2:
3146:
3135:
3132:
3130:
3129:Real analysis
3127:
3126:
3124:
3113:
3111:0-471-19745-9
3107:
3102:
3101:
3094:
3090:
3088:0-471-00710-2
3084:
3080:
3075:
3074:
3061:
3054:
3046:
3040:
3032:
3028:
3024:
3020:
3013:
3005:
2998:
2990:
2984:
2980:
2970:
2967:
2966:
2960:
2941:
2938:
2935:
2928:
2924:
2919:
2915:
2889:
2886:
2883:
2876:
2867:
2863:
2837:
2829:
2826:
2823:
2819:
2815:
2812:
2809:
2802:
2798:
2793:
2789:
2765:
2762:
2759:
2753:
2750:
2741:
2697:
2694:
2691:
2683:
2680:
2667:
2664:
2658:
2651:
2647:
2643:
2627:
2624:
2609:
2605:
2593:
2583:
2577:
2565:
2564:
2563:
2546:
2543:
2540:
2527:
2524:
2518:
2500:
2497:
2482:
2478:
2466:
2450:
2438:
2437:
2436:
2434:
2408:
2390:
2387:
2384:
2381:
2378:
2375:
2372:
2362:
2358:
2346:
2336:
2334:
2330:
2290:
2286:
2265:
2251:
2250:is complete.
2213:
2209:
2201:
2198:, there is a
2185:
2177:
2145:
2131:
2101:
2085:
2065:
2046:
2029:
2020:
2017:
2014:
2011:
2008:
2002:
1996:
1993:
1990:
1976:
1973:
1965:
1959:
1956:
1953:
1947:
1940:
1939:
1938:
1935:
1911:
1895:
1888:generated by
1867:
1862:
1845:
1842:
1839:
1836:
1833:
1807:
1804:
1801:
1778:
1772:
1769:
1766:
1743:
1734:
1731:
1728:
1725:
1722:
1716:
1710:
1707:
1704:
1687:
1684:
1676:
1670:
1667:
1664:
1658:
1651:
1650:
1649:
1613:
1606:
1603:. Define the
1590:
1559:
1553:
1543:
1540:
1537:
1529:
1523:
1513:
1512:
1511:
1497:
1489:
1486:, continuous
1485:
1460:
1446:
1443:
1437:
1430:
1426:
1422:
1416:
1410:
1398:
1382:
1362:
1342:
1339:
1331:
1328:
1325:
1321:
1317:
1312:
1308:
1299:
1274:
1271:
1268:
1264:
1258:
1255:
1250:
1246:
1242:
1239:
1236:
1231:
1227:
1223:
1218:
1214:
1210:
1207:
1201:
1190:
1171:
1160:
1156:
1152:
1147:
1144:
1141:
1137:
1125:
1121:
1115:
1112:
1109:
1106:
1103:
1085:
1079:
1072:
1068:
1064:
1056:
1055:
1054:
1052:
1049:, define the
1036:
1033:
1030:
999:
993:
990:
984:
978:
968:
965:
962:
959:
956:
948:
942:
934:
930:
922:
921:
920:
906:
903:
900:
877:
870:
866:
862:
853:
848:
832:
822:
819:
796:
793:
790:
784:
781:
773:
769:
765:
762:
758:
717:
714:
711:
683:
663:
634:
627:
604:
600:
591:
573:
570:
564:
553:
534:
531:
528:
500:
480:
472:
468:
465:
464:
458:
444:
417:
411:
388:
382:
375:
371:
364:
356:
350:
347:
341:
334:
330:
312:
306:
299:
295:
288:
280:
274:
271:
265:
258:
254:
253:
252:
238:
235:
232:
224:
208:
202:
199:
196:
189:. A function
171:
168:
160:
141:
138:
135:
119:
112:
108:
99:
96:
91:
86:
81:
76:
74:
70:
66:
62:
58:
55:and has left
54:
50:
46:
42:
38:
34:
30:
26:
22:
3099:
3078:
3059:
3053:
3039:cite journal
3022:
3018:
3012:
3003:
2997:
2983:
2742:
2717:
2561:
2342:
2333:Polish space
2257:
2254:Separability
2151:
2148:Completeness
2057:
2044:
1936:
1909:
1863:
1758:
1604:
1582:
1461:
1186:
1050:
1022:
849:
756:
655:
436:
222:
221:is called a
159:metric space
124:
89:
79:
77:
72:
71:is known as
45:real numbers
40:
36:
24:
18:
733:(or simply
333:right limit
328:exists; and
21:mathematics
3123:Categories
2975:References
2058:The space
1488:bijections
1395:is càdlàg
1187:where the
893:. For any
759:after the
257:left limit
161:, and let
102:Definition
2929:χ
2925:−
2877:χ
2873:→
2838:∈
2813:−
2803:χ
2692:ε
2668:ε
2665:≥
2659:δ
2644:ϖ
2628:∈
2606:μ
2600:∞
2597:→
2581:→
2578:δ
2525:≥
2522:‖
2516:‖
2501:∈
2479:μ
2473:∞
2470:→
2457:∞
2454:→
2391:…
2359:μ
2287:σ
2266:σ
2210:σ
2186:σ
2174:is not a
2152:Although
2024:‖
2021:λ
2018:∘
2012:−
2006:‖
2000:‖
1994:−
1991:λ
1988:‖
1980:Λ
1977:∈
1974:λ
1896:σ
1876:Σ
1849:‖
1846:λ
1843:∘
1837:−
1831:‖
1811:‖
1805:−
1802:λ
1799:‖
1776:→
1738:‖
1735:λ
1732:∘
1726:−
1720:‖
1714:‖
1708:−
1705:λ
1702:‖
1691:Λ
1688:∈
1685:λ
1659:σ
1614:σ
1541:∈
1527:‖
1521:‖
1470:Λ
1438:δ
1423:ϖ
1414:→
1411:δ
1343:δ
1318:−
1272:∈
1240:⋯
1199:Π
1145:−
1113:≤
1107:≤
1094:Π
1080:δ
1065:ϖ
1031:δ
1023:and, for
991:−
966:∈
904:⊆
878:δ
863:ϖ
610:′
568:∞
565:−
532:≤
513:, namely
437:That is,
368:→
300:−
292:→
275:−
236:∈
206:→
172:⊆
2963:See also
2652:′
2100:subspace
1462:Now let
1431:′
1073:′
871:′
768:topology
552:interval
461:Examples
1287:, with
1189:infimum
624:of any
3108:
3085:
1866:metric
1759:where
1053:to be
919:, set
90:càllàl
80:càglàd
69:domain
57:limits
49:subset
47:(or a
41:corlol
29:French
25:càdlàg
2433:tight
2327:is a
2098:is a
1490:from
157:be a
92:for "
3106:ISBN
3083:ISBN
3045:link
2743:Let
2695:>
2562:and
1340:>
1243:<
1237:<
1224:<
1034:>
812:and
331:the
255:the
125:Let
37:RCLL
23:, a
3027:doi
2574:lim
2447:lim
2431:is
2405:of
2278:or
2102:of
1970:inf
1934:.
1912:on
1696:max
1681:inf
1648:by
1626:on
1534:sup
1407:lim
1296:min
1100:max
1090:inf
953:sup
676:to
361:lim
285:lim
35:),
19:In
3125::
3041:}}
3037:{{
3023:10
3021:.
2698:0.
2335:.
2305:,
1966::=
1677::=
1530::=
1459:.
1086::=
949::=
854:,
357::=
281::=
251:,
75:.
31::
3114:.
3091:.
3047:)
3033:.
3029::
2991:.
2945:)
2942:2
2939:,
2936:1
2933:[
2920:n
2916:f
2893:)
2890:2
2887:,
2884:1
2881:[
2868:n
2864:f
2842:D
2833:)
2830:2
2827:,
2824:n
2820:/
2816:1
2810:1
2807:[
2799:=
2794:n
2790:f
2769:)
2766:2
2763:,
2760:0
2757:[
2754:=
2751:E
2727:D
2684:0
2681:=
2676:)
2671:}
2662:)
2656:(
2648:f
2638:|
2632:D
2625:f
2622:{
2617:(
2610:n
2594:n
2584:0
2547:,
2544:0
2541:=
2536:)
2531:}
2528:a
2519:f
2511:|
2505:D
2498:f
2495:{
2490:(
2483:n
2467:n
2451:a
2418:D
2388:,
2385:2
2382:,
2379:1
2376:=
2373:n
2369:)
2363:n
2355:(
2314:D
2291:0
2237:D
2214:0
2161:D
2132:C
2111:D
2086:E
2066:C
2030:,
2027:)
2015:g
2009:f
2003:+
1997:I
1985:(
1963:)
1960:g
1957:,
1954:f
1951:(
1948:d
1921:D
1840:g
1834:f
1808:I
1779:E
1773:E
1770::
1767:I
1744:,
1741:}
1729:g
1723:f
1717:,
1711:I
1699:{
1674:)
1671:g
1668:,
1665:f
1662:(
1635:D
1591:E
1567:|
1563:)
1560:t
1557:(
1554:f
1550:|
1544:E
1538:t
1524:f
1498:E
1447:0
1444:=
1441:)
1435:(
1427:f
1417:0
1383:f
1363:f
1337:)
1332:1
1329:+
1326:i
1322:t
1313:i
1309:t
1305:(
1300:i
1275:E
1269:k
1265:,
1262:}
1259:T
1256:=
1251:k
1247:t
1232:1
1228:t
1219:0
1215:t
1211:=
1208:0
1205:{
1202:=
1172:,
1169:)
1166:)
1161:i
1157:t
1153:,
1148:1
1142:i
1138:t
1134:[
1131:(
1126:f
1122:w
1116:k
1110:i
1104:1
1083:)
1077:(
1069:f
1037:0
1007:|
1003:)
1000:t
997:(
994:f
988:)
985:s
982:(
979:f
975:|
969:F
963:t
960:,
957:s
946:)
943:F
940:(
935:f
931:w
907:E
901:F
881:)
875:(
867:f
833:n
828:R
823:=
820:M
800:]
797:T
794:,
791:0
788:[
785:=
782:E
742:D
721:)
718:M
715::
712:E
709:(
705:D
684:M
664:E
635:f
605:+
601:f
577:]
574:r
571:,
562:(
538:]
535:r
529:X
526:[
522:P
501:r
481:r
445:f
433:.
421:)
418:t
415:(
412:f
392:)
389:s
386:(
383:f
376:+
372:t
365:s
354:)
351:+
348:t
345:(
342:f
316:)
313:s
310:(
307:f
296:t
289:s
278:)
272:t
269:(
266:f
239:E
233:t
209:M
203:E
200::
197:f
176:R
169:E
145:)
142:d
139:,
136:M
133:(
27:(
Text is available under the Creative Commons Attribution-ShareAlike License. Additional terms may apply.