[過去ﾛｸﾞ] 現代数学の系譜 工学物理雑談 古典ガロア理論も読む48 (625ﾚｽ)
上下前次1-新
抽出解除 ﾚｽ栞
このｽﾚｯﾄﾞは過去ﾛｸﾞ倉庫に格納されています｡
次ｽﾚ検索 歴削→次ｽﾚ 栞削→次ｽﾚ 過去ﾛｸﾞﾒﾆｭｰ
ﾘﾛｰﾄﾞ規制です｡10分ほどで解除するので､他のﾌﾞﾗｳｻﾞへ避難してください｡
362(7): １３２人目の素数さん [sage] 2017/12/20(水) 21:12:41.47 ID:LeJ8GKPP(10/11) AAS
[続き]
他には
https://books.google.co.jp/books?id=MzQ6JA6SiHYC&pg=PA215&lpg=PA215&dq=%22liminf+of+functions%22
&source=bl&ots=fQgmSNxSiV&sig=GbK_ENnoXVFjLvnxGtH_1N3xygI&hl=ja&sa=X&ved=0ahUKEwiO4P2Pt5jYAhUK5
LwKHZQuApUQ6AEIPzAC#v=onepage&q=limsup%20&f=false
(ページ215, 216, 217)
これも挙げておく(※リンクが長すぎて投稿不可と出たので、リンクは改行してある。コピペするときは手作業で改行をなくすこと)。
書き方が抽象的だが、やっていることは同じ。こちらも、「 ＜＋∞ 」という記号が途中で使わている。
拡大実数の中における普通の不等式なのだから、使われるのは当たり前である。
ちなみに、スレ主が大好きな wikipedia でも、拡大実数の中で limsup を定義している。
https://en.wikipedia.org/wiki/Limit_superior_and_limit_inferior
何度も言うが、いったん拡大実数の中で limsup を定義したならば、「 ＜＋∞ 」という記号は
拡大実数の中における普通の不等式なので、well-defined に意味が定まる。
これで満足か？俺の独自定義ではなくて残念だったな。
(そもそも、独自定義か否かで何かを批判しようとしている時点でズレているのだが。)
365: １３２人目の素数さん [] 2017/12/20(水) 22:15:48.41 ID:Hc3Gxn9Q(2/2) AAS
>>362、>>360、>>357スレ主
生理中の生娘でもあるまいし、カリカリし過ぎ！！
ステーキ🥩、寿司🍣、スパゲティ🍝、ハンバーガー🍔などなどモリモリ食べて、まずは落ち着こうや。
生理中の生娘が何故、カリカリしてるのか？
この疑問の答えはココに無いので、ネット検索か、妙齢の女性に聞いてみて。
369(2): 現代数学の系譜 雑談 古典ガロア理論も読む ◆e.a0E5TtKE [sage] 2017/12/20(水) 23:48:51.84 ID:xU4ZeBje(7/8) AAS
>>361-362
ご苦労さん
見た。必死で検索したわけね（＾＾
おれまた、手元の書籍の書名を出すと思ってたんだが・・・（＾＾
そこには無かったと
で、リンクは全部見ました（＾＾
（>>303より）「Bf :={x ∈ R ｜ lim sup y→x ｜（f(y) − f(x)）/（y − x）｜< +∞ 」は、あなたの手作り定義なわけだ（＾＾
よく分りました（＾＾
まあ、細かい点は、追々やりましょう
あなたは、面白いわ（＾＾
ピエロや、High level peopleより、遙かにレベル高いね（特に応答のレベルが）
時枝は終わったし、このリプシッツの方が時枝より面白いね
だけど、あんた、数学の相談できる友達おらんのやね〜（＾＾
390(4): 現代数学の系譜 雑談 古典ガロア理論も読む ◆e.a0E5TtKE [sage] 2017/12/21(木) 23:57:56.73 ID:deCNDqL9(1/2) AAS
>>376
”定理1.7 (422 に書いた定理)
f : R → R とする．
Bf :={x ∈ R ｜ lim sup y→x ｜（f(y) − f(x)）/（y − x）｜< +∞ }
これ、おっさん>>362引用の下記書籍にある、”the Dini derivates”（ディニ微分）やね
おれも、勉強不足だね。知らなかったな・・（＾＾
で、おっさん重箱の隅だが、拡張実数をいうなら
下記の本のように、”Let B ⊂ R, f : B →R￣”(注：R￣は、拡張実数でRの上付きバーの簡易表現)としとくべきだぜ
https://www.amazon.co.jp/Fundamentals-Analysis-Universitext-Sterling-Berberian/dp/0387984801
Fundamentals of Real Analysis (Universitext) (英語) ペーパーバック ? 2008/6/13 Sterling K. Berberian (著) 出版社: Springer; Softcover reprint of the original 1st ed. 1999版 (1998/11/1)
https://books.google.co.jp/books?id=MzQ6JA6SiHYC&pg=PA215&lpg=PA215&dq=%22liminf+of+functions%22
Fundamentals of Real Analysis 著者: Sterling K. Berberian
(抜粋)（アスキー表現の文字化けがあるので、元リンクご参照）（検索すると、無料PDFのサイトがあったが、怪しそうだったので、アクセスせず（＾＾； ）
(P220)
5.3.6. Theorem. Let B ⊂ R, f : B →R￣, c ∈ R, and suppose that
B⊃(c - r,c)∪(c,c +r) for some r >O. In order that
(注：R￣は、拡張実数でRの上付きバーの簡易表現)
lim x→c, x≠c f(x)
exist (in the sense of 3.5.5), it is necessary and sufficient that the four numbers,
lim sup x→c+ f(x), lim inf x→c+ f(x),
lim sup x→c- f(x), lim inf x→c- f(x),
be equal, in which case all five number are equal.
5.3.7. Definition. Let g: [a ,b] → R, a < b, and let c ∈ [a ,b] . Write
B = [a, b] - {c} and define f: B →R￣ by the formula
f(x) = g(x) - g(c)/(x - c).
つづく
393(2): 現代数学の系譜 雑談 古典ガロア理論も読む ◆e.a0E5TtKE [sage] 2017/12/22(金) 00:02:58.26 ID:UIwpFvOX(2/14) AAS
>>362
ご苦労さん
あとの都合上、下記を引用しておく（＾＾
https://en.wikipedia.org/wiki/Limit_superior_and_limit_inferior
Limit superior and limit inferior
(抜粋)（アスキー表現の文字化けがあるので、元リンクご参照）
Functions from metric spaces to metric spaces
There is a notion of lim sup and lim inf for functions defined on a metric space whose relationship to limits of real-valued functions mirrors that of the relation between the lim sup, lim inf, and the limit of a real sequence.
Take metric spaces X and Y, a subspace E contained in X, and a function f : E → Y. The space Y should also be an ordered set, so that the notions of supremum and infimum make sense. Define, for any limit point a of E,
lim sup _{x→ a}f(x)＝lim _{ε → 0}( sup {f(x):x ∈ E∩ B(a;ε )＼{a}})
and
lim inf _{x→ a}f(x)＝lim _{ε → 0}( ∈f {f(x):x ∈ E∩ B(a;ε )＼{a}})
where B(a;ε) denotes the metric ball of radius ε about a.
つづく
403(1): １３２人目の素数さん [sage] 2017/12/22(金) 16:29:57.94 ID:bIg1uYPK(2/8) AAS
>>397
＞上記 Limit superior and limit inferiorのFunctions from metric spaces to metric spaces の定義をよく読ん下さいね
スレ主自身が「定義をよく読んで下さいね」と言っているように、そこに書いてあるのは単なる「定義」の話である。
より具体的に言うと、そこに書いてあるのは、limsup を一般の距離空間の上で定義している話である。
例の pdf で対応する箇所を探してみると、１ページ目の一番最初の
「 定義1.1 」
の limsup[y→x] g(y) の話に対応しているだけである。今まで limsup の定義にケチをつけていたスレ主にとっては、
もはや定義そのものにはケチをつけられなくなったという話に過ぎない。つまり、スレ主は自分の首を絞めているだけである。
そもそも、スレ主が挙げているそのリンク先は、俺が最初に >>362 で挙げたリンクである。
>>362 はどういう状況だったかというと、「 limsup の定義にケチをつけていたスレ主に対して、いくつか文献を提示していた」
という状況である。そのようなリンクを、後になってスレ主の方から持ち出しても、
「わたくしスレ主は limsup の定義にケチをつけていましたが、もはや定義そのものにはケチをつけられません」
と言っているのと同じことである。
419(2): 現代数学の系譜 雑談 古典ガロア理論も読む ◆e.a0E5TtKE [sage] 2017/12/22(金) 22:30:28.07 ID:UIwpFvOX(11/14) AAS
>>403-404 >>406-407
おっさん、ほんま”ただの基地外”やね
・（おっさん）標準的なテキストに載っている標準的な定義であり、俺独自の定義ではない。（>>350）
↓
・（私スレ主）そのテキストの書名を書けよ（>>351）
↓
・（おっさん）well-defined に意味が定まっている。かわいそうなので、何冊か提示してやろう。（>>361-362）
↓
・（私スレ主）これ、おっさん>>362引用の下記書籍にある、”the Dini derivates”（ディニ微分）やね（>>390）
↓
・（おっさん）B_f で扱っている量は R 上のディニ微分の類似品ではあるが、R 上のディニ微分そのものではない。（>>395）
(引用終り)
おっさん、面白いわ
面白すぎるけどな〜（＾＾
425: １３２人目の素数さん [age] 2017/12/22(金) 23:42:39.66 ID:bIg1uYPK(8/8) AAS
>>423
＞そのテキストの書名を書けよ
＞「Bf :={x ∈ R ｜ lim sup y→x ｜（f(y) − f(x)）/（y − x）｜< +∞ }」の”< +∞”も含めて載っているんだろうな？」
＞だったよね
＞おっさんのウソは、ヘタだな。すぐばれる〜（＾＾
お前は何を言ってるんだ？「 ＜＋∞ 」を含めて載ってる例は
その >>361-362 で既に出してるだろ？ちゃんと目を通したのか？
上下前次1-新書関写板覧索設栞歴
ｽﾚ情報 赤ﾚｽ抽出 画像ﾚｽ抽出 歴の未読ｽﾚ AAｻﾑﾈｲﾙ
ぬこの手 ぬこTOP 0.027s