This operator can be called with three or four arguments.
RightLimit(f(x), For(x, a)), rendered as limx→a+f(x), is equivalent to Limit(f(x), For(x, a), Element(x, OpenInterval(a, Infinity))).
RightLimit(f(x), For(x, a), P(x)), rendered as limx→a+,P(x)f(x), is equivalent to Limit(f(x), For(x, a), And(Element(x, OpenInterval(a, Infinity)), P(x))).
The expression For(x, a) declares x as a locally bound variable within the scope of the arguments to this operator.
Definitions:
| Fungrim symbol | Notation | Short description |
|---|---|---|
| RightLimit | limx→a+f(x) | Limiting value, from the right |
| Limit | limx→af(x) | Limiting value |
| OpenInterval | (a,b) | Open interval |
| Infinity | ∞ | Positive infinity |
Source code for this entry:
Entry(ID("afd5ca"),
SymbolDefinition(RightLimit, RightLimit(f(x), For(x, a)), "Limiting value, from the right"),
Description("This operator can be called with three or four arguments."),
Description(SourceForm(RightLimit(f(x), For(x, a))), ", rendered as", RightLimit(f(x), For(x, a)), ", is equivalent to", SourceForm(Limit(f(x), For(x, a), Element(x, OpenInterval(a, Infinity)))), "."),
Description(SourceForm(RightLimit(f(x), For(x, a), P(x))), ", rendered as", RightLimit(f(x), For(x, a), P(x)), ", is equivalent to", SourceForm(Limit(f(x), For(x, a), And(Element(x, OpenInterval(a, Infinity)), P(x)))), "."),
Description("The expression", SourceForm(For(x, a)), "declares", SourceForm(x), "as a locally bound variable within the scope of the arguments to this operator."))