>>351
＞そのテキストの書名を書けよ
＞「Bf :={x ∈ R ｜ lim sup y→x ｜（f(y) − f(x)）/（y − x）｜< +∞ }」の”< +∞”も含めて載っているんだろうな？

何で書名が必要なの？
いくら何でも、そのくらいは自分でキチンと勉強したことあるでしょ？
そのくらいの記述は、標準的なテキストでいくらでも見たことがあるでしょ？
スレ主が自分で勉強してきたテキストを見返せば済む話でしょ？
>>281-283 で書いたことは、スレ主が勉強してきたことの復習用だよ？
まさか、その程度の基礎的な内容すら全く勉強したことが無くて、

「俺は >>281-283 の定義なんぞ全く見たことが無いぞ！一体どんなテキストに載ってるんだ！」

などと憤慨しているのかね？
そんなに何も知らないド素人の状態で、お前は今まで例の定理にイチャモンをつけていたのか？
そんなゴミクズに、例の定理にイチャモンをつける権利は全くないよ。

しかも、標準的なテキストに載ってる内容は >>281-283 と全く同じだよ？
つまり、拡大実数の中で limsup を定義する、という定義だよ？
拡大実数を使った時点で、「 ＜＋∞ 」という記号列は拡大実数の中での普通の不等式を
意味するんだから、その時点で完全に well-defined に意味は定まってるよ？
スレ主はどうしても「 ＜＋∞ 」という記号列に不満を持っているようだけど、
その記号列は拡大実数の中における普通の不等式なんだから、完全に well-defined に意味は定まってるよ？
これ以上なんの説明が必要なの？お前がバカだから理解できないだけだろ？