In
mathematics
Mathematics is an area of knowledge that includes the topics of numbers, formulas and related structures, shapes and the spaces in which they are contained, and quantities and their changes. These topics are represented in modern mathematics ...
, a càdlàg (French: "''continue à droite, limite à gauche''"), RCLL ("right continuous with left limits"), or corlol ("continuous on (the) right, limit on (the) left") function is a function defined on the
real number
In mathematics, a real number is a number that can be used to measure a ''continuous'' one-dimensional quantity such as a distance, duration or temperature. Here, ''continuous'' means that values can have arbitrarily small variations. Every ...
s (or a
subset
In mathematics, set ''A'' is a subset of a set ''B'' if all elements of ''A'' are also elements of ''B''; ''B'' is then a superset of ''A''. It is possible for ''A'' and ''B'' to be equal; if they are unequal, then ''A'' is a proper subset of ...
of them) that is everywhere
right-continuous and has left
limit
Limit or Limits may refer to:
Arts and media
* ''Limit'' (manga), a manga by Keiko Suenobu
* ''Limit'' (film), a South Korean film
* Limit (music), a way to characterize harmony
* "Limit" (song), a 2016 single by Luna Sea
* "Limits", a 2019 ...
s everywhere. Càdlàg functions are important in the study of
stochastic processes
In probability theory and related fields, a stochastic () or random process is a mathematical object usually defined as a family of random variables. Stochastic processes are widely used as mathematical models of systems and phenomena that ap ...
that admit (or even require) jumps, unlike
Brownian motion
Brownian motion, or pedesis (from grc, πήδησις "leaping"), is the random motion of particles suspended in a medium (a liquid or a gas).
This pattern of motion typically consists of random fluctuations in a particle's position insi ...
, which has continuous sample paths. The collection of càdlàg functions on a given
domain
Domain may refer to:
Mathematics
*Domain of a function, the set of input values for which the (total) function is defined
** Domain of definition of a partial function
** Natural domain of a partial function
**Domain of holomorphy of a function
* ...
is known as Skorokhod space.
Two related terms are càglàd, standing for "continue à gauche, limite à droite", the left-right reversal of càdlàg, and càllàl for "continue à l'un, limite à l’autre" (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.
Definition
Let be a
metric space
In mathematics, a metric space is a set together with a notion of '' distance'' between its elements, usually called points. The distance is measured by a function called a metric or distance function. Metric spaces are the most general setti ...
, and let . A function is called a càdlàg function if, for every ,
* the
left limit exists; and
* the
right limit exists and equals ''f''(''t'').
That is, ''f'' is right-continuous with left limits.
Examples
* All functions continuous on a subset of the real numbers are càdlàg functions on that subset.
* As a consequence of their definition, all
cumulative distribution function
In probability theory and statistics, the cumulative distribution function (CDF) of a real-valued random variable X, or just distribution function of X, evaluated at x, is the probability that X will take a value less than or equal to x.
Eve ...
s are càdlàg functions. For instance the cumulative at point
correspond to the probability of being lower or equal than
, namely