1 Definition
A right-continuous function is one whose value at a point matches the limit obtained by approaching that point from larger inputs. This property is formulated using one-sided limits and is especially useful on intervals and at boundary points where values to the left may be unavailable or irrelevant.
1.1 Right-hand limit
For a function defined on a subset of the real numbers, the right-hand limit at a point captures the behavior of the function as the input decreases toward that point from values greater than it. When this limit exists, it summarizes the function’s immediate future behavior at the point.
1.2 Formal definition
A function f is right-continuous at a point a if the limit of f(x) as x approaches a from the right exists and equals f(a). In symbols, this is written as lim x→a+ f(x) = f(a). If this holds at every point of the domain where a right-hand approach makes sense, the function is called right-continuous.
1.3 Continuity at a point
Ordinary continuity requires agreement with limits from both sides. Right-continuity is weaker, demanding only agreement with the right-hand limit. A function may fail to be continuous in the usual sense yet still be right-continuous if its value matches its behavior from the right.
2 Basic properties
Right-continuity behaves well under many standard operations. In practice, this makes it easy to build new right-continuous functions from old ones and to preserve the property in common analytic settings.
2.1 Relationship to ordinary continuity
Every continuous function is right-continuous at each interior point of its domain, and at endpoints where the right-hand limit is defined. The converse is false: a right-continuous function need not be left-continuous or fully continuous.
2.2 Stability under algebraic operations
If two functions are right-continuous at a point, then many combinations of them are also right-continuous there. This is one reason the property is convenient in analysis and probability.
2.2.1 Addition and subtraction
The sum and difference of right-continuous functions are right-continuous wherever both are defined. This follows from the corresponding limit laws for one-sided limits.
2.2.2 Multiplication and division
The product of right-continuous functions is right-continuous. A quotient is right-continuous at points where the denominator is right-continuous and nonzero, since the reciprocal operation is stable under nonvanishing limits.
2.3 Composition with other functions
If f is right-continuous at a point and g is continuous at f(a), then the composition g∘f is right-continuous at a. This mirrors the standard composition rule for ordinary continuity, with the one-sided limit replacing the two-sided limit.
3 Examples and non-examples
Right-continuous functions include many common formulas and simple piecewise definitions. Non-examples are often functions that have a mismatch between their value at a point and the limit from the right.
3.1 Constant and polynomial functions
Constant functions are right-continuous everywhere. Polynomials are also right-continuous, since they are continuous at every real point and therefore satisfy the one-sided condition automatically.
3.2 Step functions
Many step functions are right-continuous when each step takes the value assigned to the interval beginning at that point. Such functions are common in counting processes and in examples involving jumps.
3.3 Functions with jump discontinuities
A function with a jump discontinuity may still be right-continuous if the defined value equals the value approached from the right. A common example is a piecewise constant function that changes value at isolated points but is assigned the post-jump value at each jump location.
4 Equivalent formulations
Right-continuity can be expressed in several equivalent ways. These formulations are useful in proofs, especially when working with sequences or local neighborhoods.
4.1 Sequential characterization
A function f is right-continuous at a if, for every sequence xn decreasing to a with xn > a, the values f(xn) converge to f(a). This version is often convenient in real analysis because it replaces limits by sequences.
4.2 Neighborhood-based characterization
Right-continuity at a can also be stated in terms of neighborhoods: for every tolerance around f(a), there is a small interval to the right of a on which f(x) stays within that tolerance. This is the ε-δ form adapted to one-sided approach.
4.3 One-sided limit notation
The notation lim x→a+ f(x) is standard for the right-hand limit. When this equals f(a), the function is right-continuous at a. The plus sign indicates approach from values greater than a.
5 Classes of right-continuous functions
Right-continuity appears in several important families of functions. The exact meaning may depend slightly on whether the domain is an interval, the whole real line, or a broader function space.
5.1 Right-continuous functions on intervals
On intervals, right-continuity is typically required at every interior point and at the left endpoint when a right-hand approach exists. At a right endpoint, the property may be irrelevant if no points lie to the right.
5.2 Right-continuous functions on the real line
For functions defined on all real numbers, right-continuity can be imposed at every real point. Such functions may still have left limits, jumps, or other irregularities without violating the one-sided condition.
5.3 Càdlàg functions
Càdlàg functions are right-continuous functions that also have left limits everywhere. They play a central role in stochastic process theory because they can represent paths with sudden jumps while still having controlled local behavior.
6 Right-continuity in measure theory
In measure-theoretic contexts, right-continuity is often tied to monotonicity and limiting behavior of set functions or distribution functions. It helps encode cumulative information in a stable way.
6.1 Measurability considerations
Right-continuity by itself does not guarantee measurability, but many right-continuous functions used in analysis are measurable because they arise from monotone or piecewise defined constructions. When combined with standard regularity hypotheses, right-continuity is compatible with measure-theoretic techniques.
6.2 Distribution functions
A distribution function in probability is typically nondecreasing, right-continuous, and has limits 0 and 1 at the extremes in the usual normalization. Right-continuity ensures that the probability assigned up to a threshold includes the mass at that threshold.
6.3 Right-continuous modifications
In probability and stochastic analysis, one often replaces a function or process by a right-continuous modification that agrees with the original object almost everywhere or at relevant times. This allows the use of stronger structural results without changing the essential probabilistic content.
7 Applications
Right-continuity is used wherever the value at an instant should reflect the state immediately after that instant. It is especially natural in cumulative processes, time evolution, and limit-based constructions.
7.1 Probability theory
In probability, right-continuous distribution functions describe cumulative probabilities cleanly and make inverse-transform methods and limit arguments more manageable. Right-continuity also appears in filtrations and sample paths of stochastic processes.
7.2 Real analysis
In real analysis, right-continuity is useful for studying monotone functions, interval-based definitions, and functions with jumps. It provides a controlled form of local behavior that often suffices for integration and limiting arguments.
7.3 Differential equations
Some differential equations and evolution problems are formulated with solutions that may jump or change regime at discrete times. Right-continuity is a natural condition for such solutions, since it records the post-event state immediately after a change.
8 Related concepts
Several nearby notions differ from right-continuity by direction of approach or by the presence of jumps. These concepts are frequently compared in analysis and probability.
8.1 Left-continuous functions
Left-continuous functions match the limit from smaller inputs rather than larger ones. They are the mirror image of right-continuous functions and often arise in complementary conventions.
8.2 Continuous functions
Continuous functions are both left-continuous and right-continuous at interior points. They represent the strongest standard form of pointwise limit agreement in elementary analysis.
8.3 Jump discontinuity
A jump discontinuity occurs when the left and right limits exist but are different. A function may still be right-continuous at such a point if its value equals the right-hand limit.
8.4 Càglàd functions
Càglàd functions are left-continuous functions with right limits. They are the counterpart to càdlàg functions and are used when a left-continuous convention is preferable.
</INTERNAL_LINK_CANDIDATES> Right-hand limit (the limit taken as inputs approach a point from larger values) Continuity (agreement of a function with its limit from both sides) One-sided limit (a limit taken from only one direction) Step function (a piecewise constant function with abrupt changes) Jump discontinuity (a discontinuity where left and right limits differ) Polynomial function (a function given by a polynomial expression) Composition of functions (forming a new function by applying one function to another) Monotone function (a function that is entirely nondecreasing or nonincreasing) Distribution function (a cumulative function used in probability) Càdlàg function (a function that is right-continuous with left limits) Measure theory (the study of measurable sets and functions) Measurable function (a function compatible with a measure structure) Stochastic process (a family of random variables indexed by time) Filtration (an increasing family of information sets in probability) Differential equation (an equation involving derivatives of unknown functions) Left-continuous function (a function matching its left-hand limit) Càglàd function (a function that is left-continuous with right limits) Limit (the value approached by a function or sequence) Real analysis (the branch of mathematics studying real-valued limits and functions) Interval (a connected subset of the real line)