424 名前:eing consistent with the foregoing notations; some of the numbers we are about to associate with f may be infinite. If c ∈ [a, b) then c is approachable from the right by x ∈ B and we define (D^+g)(c) = lim sup x→c+ f(x) = lim sup x→c+ {g(x) - g(c)/(x - c)} , (D +g)(c) = lim inf x→c+ f(x) = lim inf x→c+ {g(x) - g(c)/(x - c)} , Similarly, if c ∈ (a, b] we define (D^-g)(c) = lim sup x→c- f(x) = lim sup x→c- {g(x) - g(c)/(x - c)} , (D -g)(c) = lim inf x→c- f(x) = lim inf x→c- {g(x) - g(c)/(x - c)} , These four numbers are called the Dini derivates of g at c; more precisely (for example), (D +g)(c) is the lower right-hand derivate of g at c. ((引用終り)) つづく [] [ここ壊れてます]