18/02/24 11:24:19.95 Q5nVtg0b.net
>>347
>A_f(x)の定義は再度 >>343 に書いたので、きちんと参照せよ。
>というか、お前は既に A_f(x) の定義を知っていたはずである。
>なぜ今さら「知らないふり」をするのか理解に苦しむ。
それはすまんかった
A_f(x)の定義を検索したが、見つからなかったのでね
えーと、下記だったね（細かいが、A_f(x)とAf(x)の違いで検索ヒットしなかったかも）
あと、３スレ前で2017/12/22付けだし、もう一度定義を確認しておく意義はあったろう
スレ48 ｽﾚﾘﾝｸ(math板:404番)
404 名前：１３２人目の素数さん[sage] 投稿日：2017/12/22(金) 16:34:32.09 ID:bIg1uYPK
(抜粋)
[記法の整備 その１]
さて、せっかくディニ微分が出てきたので、ここからはディニ微分の「Ｄ記法」を拝借して
Af(x)：＝ limsup[y→x]｜(f(y)－f(x))/(y－x)｜
とでも書くことにする。「Ａ記法」とでも呼ぶべきか。このとき、集合 B_f は
B_f ＝ { x∈R｜ Af(x) ＜ ＋∞ }
と表現できることに注意する。もちろん、
R－B_f ＝ { x∈R｜ Af(x) ＝ ＋∞ }
という等式が成り立つ。
(引用終り)
以上