nLab difference quotient




Given a Heyting field FF and a subtype SFS \subseteq F, let us define the subtype Δ #(S)S×S\Delta_{\#}(S) \subseteq S \times S of pairs of elements apart from the diagonal as

Δ #(S) (x,y):S×Sx#y\Delta_{\#}(S) \coloneqq \sum_{(x,y):S \times S} x \# y

In a field

Given a function f:SFf:S \to F, the difference quotient q:Δ #(S)Fq:\Delta_{\#}(S) \to F is the partial binary function

q(x,y):=f(x)f(y)xyq(x, y) := \frac{f(x) - f(y)}{x - y}

In a vector space

Given a FF-vector space VV and a function f:SVf:S \to V, the difference quotient q:Δ #(S)Vq:\Delta_{\#}(S) \to V is the partial binary function

q(x,y):=1xy(f(x)f(y))q(x, y) := \frac{1}{x - y} (f(x) - f(y))

See also

Last revised on May 4, 2022 at 15:26:08. See the history of this page for a list of all contributions to it.