[過去ログ] 純粋・応用数学(含むガロア理論)8 (942レス)
1-

このスレッドは過去ログ倉庫に格納されています。
次スレ検索 歴削→次スレ 栞削→次スレ 過去ログメニュー
407
(1): 2021/05/24(月)20:42 ID:Ub/vcOIa(1/2) AAS
>>392は、数学ワカランチンのくせして、高度なことを語りたがる
おっちゃんの特徴があらわれてるね。
408: 2021/05/24(月)20:45 ID:c5+UcT3Y(28/35) AAS
>>407
なるほど、あのウリナラマンセー感は・・・
www.nicovideo.jp/watch/sm15308759
409
(1): 2021/05/24(月)20:45 ID:Ub/vcOIa(2/2) AAS
セタが時枝を理解できないのは、「無限個の箱」が理解できないから。
「無限」を「無限に近い巨大数」で近似できると思ってるバカ野郎だからww
410: 2021/05/24(月)20:48 ID:c5+UcT3Y(29/35) AAS
>>409
確かにチャット(雑談)=チョソン君=おサル1号は
ωが後続順序数だと思ってる時点でアウトだねwww
411: 2021/05/24(月)20:49 ID:c5+UcT3Y(30/35) AAS
で、乙=ハングク君=おサル2号 とw
412: 2021/05/24(月)20:51 ID:c5+UcT3Y(31/35) AAS
おサル1号と2号は、コリョが産んだ二大変態www
413: 2021/05/24(月)20:55 ID:c5+UcT3Y(32/35) AAS
終わったな 二匹とも
414: 2021/05/24(月)20:55 ID:c5+UcT3Y(33/35) AAS
というか、始まってすらいないかw
415: 2021/05/24(月)20:55 ID:c5+UcT3Y(34/35) AAS
長文コピペには一行レス
416: 2021/05/24(月)20:56 ID:c5+UcT3Y(35/35) AAS
理解してない文章をコピぺするのは正真正銘の🐎🦌www
417
(4): 現代数学の系譜 雑談 ◆yH25M02vWFhP 2021/05/24(月)21:14 ID:q0Et9dwF(11/11) AAS
>>403
悪いが、結論を先に書いてしまうと

1.時枝記事でやろうとしていることは
 可算無限長の数列で、数列のしっぽの同値類(ある先から箱の数が一致する)を使って、
 同値類の決定番号(同値類の代表列と問題の列とが、dから先がずっと一致する番号)
 を使う
2.簡単に2列x列、y列で考えると
省25
418: 2021/05/24(月)21:20 ID:IGDHr0Dw(2/3) AAS
>>351
>よくそれだけ
>アホ面できるね
と、ωの前者が答えられず逃げ続けてるサルが申しております。
419: 2021/05/24(月)21:22 ID:IGDHr0Dw(3/3) AAS
>>352
>結局、数学科でε-δ法の記号丸暗記に流れてしまって、”無限”の真の理解が疎かになったんだろうね
と、無限列にも最後の項があると妄想するサルが申しております。
420: 2021/05/25(火)00:47 ID:5xzE+8bZ(1/15) AAS
>>364
>どなたか知らないが、レスありがとう!
知らないことないでしょ
あなたですよ
421: 2021/05/25(火)01:10 ID:5xzE+8bZ(2/15) AAS
>>366
>本来の確率論では、IID(独立同分布)を使う
本来の確率論とは?
誰が本来と決めたの?
サルの妄想でないなら文献の提示よろしく。

>箱がIIDだとすれば、
>どの箱も、本来の確率論の通り
省6
422: 2021/05/25(火)01:32 ID:5xzE+8bZ(3/15) AAS
>>371
>時枝記事で使う「決定番号」は、下記の非正則分布と同様
時枝戦略は決定番号が自然数でありさえすれば分布に関係無く成立します。
決定番号が自然数であることはその定義により保証されています。

>積分が無限大に発散するので、コルモゴロフの確率の公理
>「全事象の確率は1」を満たさない
いいえ、全事象の確率は1です。
省4
423: 2021/05/25(火)01:39 ID:5xzE+8bZ(4/15) AAS
>>378
>下記「どんな実数を入れるかはまったく自由,
>もちろんでたらめだって構わない」だから
>IID(独立同分布)だって、構わないよ(^^
「可算無限個の箱に実数を入れ蓋をする」とは「実数列をひとつ固定する」ということ。
IIDは実数列ではない。
サルはIIDが分かってない。当然か、サルだもんね。
424
(1): 2021/05/25(火)01:41 ID:5xzE+8bZ(5/15) AAS
>>380
サルは自演が下手だな
425
(1): 2021/05/25(火)01:42 ID:5xzE+8bZ(6/15) AAS
>>381
自分に感謝したり同意したり、気でもふれたの?
426: 2021/05/25(火)01:50 ID:5xzE+8bZ(7/15) AAS
>>398
>何かを選ぶ?
>そんな必要は全くない!
だから当てずっぽうというおバカな戦略にしかならないんだよ。
時枝戦略は違う。100列のいずれかをランダムに選ぶ。この選択行為が勝つ確率の源。
サルはなーんにも分かってない。
427
(1): 2021/05/25(火)01:58 ID:5xzE+8bZ(8/15) AAS
>>406
>3.まあ、お気楽な、おとぎ話とまでは言ってないとしても、その類いの話として紹介しているのだった
サルの妄想ですね。
実際、時枝戦略が成立することはPrussでさえ認めました。大学教授のSergiu Hartも認めています。
いまだに認められないのはサル一匹(自演ザルは名寄せさせて頂きました)。
428: 2021/05/25(火)02:08 ID:5xzE+8bZ(9/15) AAS
>>417
> 「dx<dyになる確率は1/2」・・(1)
大間違い。
時枝先生はそんなアホなこと言ってません。
dx,dyのいずれかをランダムに選択したものをa、他方をbとしたとき、a<bになる確率は1/2
と言ってます。(正確にはdx=dyの場合もあるので少し修正が要る。)
そしてこれはランダムの定義から自明に正しい。
省1
429: 2021/05/25(火)02:11 ID:5xzE+8bZ(10/15) AAS
>>417
>2)そもそも、任意の実数の的中なんて、これも尋常ではない。0以外になるとおかしい
という直観に反するから数学雑誌の記事になるんだよw
人間の知性を持たない直感ザルに数学は無理なので諦めて下さい。
430: 2021/05/25(火)07:05 ID:g37cfrz0(1/9) AAS
>>417
前半と後半がかみ合ってないね

オカシイのは、チョソン君、君だよキ・ミ
431
(1): 2021/05/25(火)07:10 ID:g37cfrz0(2/9) AAS
>>366
>箱がIIDだとすれば、どの箱も、本来の確率論の通り

毎回選ぶ箱が違うなら、ある一つの箱の確率分布だけで考えるのは誤り
毎回予測値が違うなら、ある一つの箱の確率分布だけで考えるのは誤り

ある一つの箱の確率分布だけで考えていいのは
・毎回選ぶ箱が同じ
・毎回予測値が同じ
省3
432: 2021/05/25(火)07:13 ID:g37cfrz0(3/9) AAS
>>371
チョソン君は何が不可能だといってるのかわからんが
そもそも、決定番号なんてものが存在することが不可能だといってるのか?
つまり、代表元を取ることが不可能だといってるのか?
それは、選択公理が間違ってるといってるのか?

なんかチョソンも安達弘志みたいなこといいだしたな
安達弘志は「無限公理は間違ってる!」といってるわけだが
433
(1): 2021/05/25(火)07:15 ID:g37cfrz0(4/9) AAS
>>378
IID自体は否定してない
IIDだけを根拠に
「箱の中身の確率分布において、
 箱の中身がある値のときの確率が
 的中確率だ これが確率論による答えだ」
とドヤ顔で語るチョソンが🐎🦌だといってるw
434: 2021/05/25(火)07:17 ID:g37cfrz0(5/9) AAS
>>424-425
おサル1号と2号は別人かもしれんがオツムの程度は同レベルだろう
要するに人間失格の🐒 二匹とも半島に帰れwww
435: 2021/05/25(火)07:19 ID:g37cfrz0(6/9) AAS
>>398
チョソンのシロウト考えの誤りは
>>431および>>433で指摘したから

分からん?🐎🦌だねぇwwwwwww
436: 2021/05/25(火)07:23 ID:g37cfrz0(7/9) AAS
>>427
>実際、時枝戦略が成立することはPrussでさえ認めました。
箱の中身を入れ替えない、という前提でね

毎回、箱の中身を入れ替えるなら、当然Prussの指摘が当てはまる
時枝が「箱の中身を入れ替えても同じことが成り立つ」と思ってるなら
Prussの指摘する通り誤解である

一方、Prussの主張を認めるなら、
省6
437: 2021/05/25(火)07:28 ID:g37cfrz0(8/9) AAS
ま、チョソンは時枝記事に逃げたりせずに

「いかなる順序数も∈降下列の長さは有限」

という定理の正しさを理解しようね

ω∋・・・∋n∋・・・∋1∈0
とかいうイカサマ反例の誤りに気づこうねwwwwwww
438
(3): 2021/05/25(火)11:37 ID:oq3pxi1r(1) AAS
時枝先生ほど高名な方が、引っかかったんだ
サル二匹には、理解が難しいだろうね
実際何年も理解できずに来たんだ
もう一人の方が、サルたちにもわかる説明をしてくれると、ありがたい(^^
439
(1): 2021/05/25(火)11:45 ID:g37cfrz0(9/9) AAS
>>438
>サル二匹には、理解が難しいだろうね

ああ、1号と2号がねw

>実際何年も理解できずに来たんだ

ああ、大学1年以来ずっとねw

>もう一人の方が、サルたちにもわかる説明をしてくれると、ありがたい
省3
440
(5): 2021/05/25(火)12:49 ID:y+00S4aR(1) AAS
>>439
おサル一号は検索出来ないようだね (^^
モンテカルロ法や乱数、疑似乱数でググってみるといいよ(^^
おサル一号にピッタリの記事がみつかるよ(^^
441: 2021/05/25(火)15:57 ID:5xzE+8bZ(11/15) AAS
>>438
>もう一人の方が、サルたちにもわかる説明をしてくれると、ありがたい(^^
サルの説明って「当てずっぽうでは当たらない」ってだけなんですけどw
そんなの人間なら誰でも分ってますよ?w
442
(1): 2021/05/25(火)16:03 ID:5xzE+8bZ(12/15) AAS
>>438
>時枝先生ほど高名な方が、引っかかったんだ
いや、時枝成立を明言しているハイレベルピープルは何人かいるよ。
時枝教授、Hart教授、Pruss博士
逆に時枝不成立を明言しているのは落ちこぼれザルくらいだね。

別にだから成立と言ってる訳じゃないけどね。
時枝先生の証明に非の打ちどころが無いと自分で判断してるからだよ。
省1
443: 2021/05/25(火)16:09 ID:5xzE+8bZ(13/15) AAS
>>440
そんな話はまったく関係無いよ。
「一様分布で選ぶ」と言えばいいだけ、数学ではね。
それが現実世界で実装できるか、どう実装するかは全然別の問題。
444
(1): 2021/05/25(火)19:12 ID:TlLFvj6B(1/3) AAS
>>440はセタの自演だな。
乙はセタレベルのバカで時枝を理解してるとは到底思えないが
空気を読んでか、なぜか成立派。
「ランダムな実数を入れたら当てられない」
というのはセタのかねてからの主張。
だから、それは箱が有限個の場合の話なんだよ。
Hartの論文にも書いてある。しかしセタは
省4
445: 2021/05/25(火)19:26 ID:TlLFvj6B(2/3) AAS
セタは大学一年で落ちこぼれたときからずっと
「無限を有限でシミュレートする」
という理解でやってきたんだろうね。
収束級数とか、工学部で必要な計算は
大抵それでも大きな問題は生じなかったんだろう。
それがセタの無限理解の限界。
446: 2021/05/25(火)19:45 ID:TlLFvj6B(3/3) AAS
収束級数でも、一様収束でない場合
無限級数を有限個の項で切ったとき
いくら項を増やしてもノイズが消えないことがある(ギブズの現象)
外部リンク:ja.wikipedia.org
があることをこの工学部は知ってるのだろうか?
(いや、知ってるはずがないw)
447: 現代数学の系譜 雑談 ◆yH25M02vWFhP 2021/05/25(火)20:35 ID:s43rMVig(1/2) AAS
かの人はどうしたのかな?
おサルの調教を、してくれると思ったが(^^;

ところで
>>442
>いや、時枝成立を明言しているハイレベルピープルは何人かいるよ。
>時枝教授、Hart教授、Pruss博士

こらこら逆だろう
省6
448
(2): 現代数学の系譜 雑談 ◆yH25M02vWFhP 2021/05/25(火)20:57 ID:s43rMVig(2/2) AAS
>>417 補足
>  このような正当化できない 発散する分布を使って、確率の誤魔化しをしているのです

一様分布のような減衰しない分布で、
その範囲が+∞まで広がると
非正則分布ですが(>>371

宝くじに例えると、一等一億円の当たりくじ1枚
1万枚に1枚なら、確率1/1万ですが
省18
449: 2021/05/25(火)22:28 ID:5xzE+8bZ(14/15) AAS
>>448
>一様分布のような減衰しない分布で、
>その範囲が+∞まで広がると
>非正則分布ですが(>>371
サルは何の話をしてるの?
時枝戦略を否定したいなら時枝戦略を語って下さいね。
時枝戦略で使われる一様分布とは {1,2,…,100} 上の離散一様分布であって、+∞だの非正則分布だのまったく当てはまりません。
450: 2021/05/25(火)22:31 ID:5xzE+8bZ(15/15) AAS
こちらがそのエビデンス
妄想を数学板で語るのは遠慮してもらえませんか?

>さて, 1〜100 のいずれかをランダムに選ぶ.
>例えばkが選ばれたとせよ.
>s^kの決定番号が他の列の決定番号どれよりも大きい確率は1/100に過ぎない.
451
(2): 現代数学の系譜 雑談 ◆yH25M02vWFhP 2021/05/26(水)00:09 ID:VMEh8nPz(1/7) AAS
>>448 補足

決定番号のトリックについて補足
(決定番号については>>402ご参照)

1)まず、有限長を考える
 つまり、実数列の集合 R^nを考える.
 s = (s1,s2,s3 ,・・・,sn-1,sn )
2)今の場合、同値類は、最後のsnが一致すれば良い
省12
452: 2021/05/26(水)00:41 ID:rP5+L5xQ(1/9) AAS
出た! 決定番号∞ サル阿呆過ぎw
453
(2): 現代数学の系譜 雑談 ◆yH25M02vWFhP 2021/05/26(水)07:33 ID:VMEh8nPz(2/7) AAS
>>451 補足

頭が悪いのは、サル二匹の方だろ?

1)自然数の有限列 1,2,・・・n がある
2)自然数の集合N全体を尽くすことができる
 自然数による無限列 1,2,・・・ ・・・ ができる
3)自然数による無限列は、有限列の極限n→∞と考えることができる(下記の超限順序数ωご参照)
4)同様に、有限長の実数列 s = (s1,s2,s3 ,・・・,sn-1,sn )のn→∞の極限として
省15
454
(1): 現代数学の系譜 雑談 ◆yH25M02vWFhP 2021/05/26(水)07:49 ID:VMEh8nPz(3/7) AAS
AA省
455
(1): 2021/05/26(水)09:12 ID:rP5+L5xQ(2/9) AAS
>>453
>3)自然数による無限列は、有限列の極限n→∞と考えることができる(下記の超限順序数ωご参照)
できません。
有限列列(s0), (s0,s1), (s0,s1,s2), … はコーシー列ではないので極限を持ちません。
極限の定義を書いてごらんなさい。あなたそこから分かってないでしょ。サルには無理?
456: 2021/05/26(水)09:15 ID:rP5+L5xQ(3/9) AAS
>>454
>1)ここらは、無限小数 0.999・・と同じ構造だよ
まったく違います。
一桁ずつ増える有限小数列 0.9, 0.99, 0.999, … はコーシー列なので極限を持ちます。
やはり極限の定義から分かってない。阿呆晒すの楽しい?
457
(4): 2021/05/26(水)09:56 ID:+9R/Dp4l(1/3) AAS
>>444
>>440はセタの自演だな。
おっちゃんです。

>乙はセタレベルのバカで時枝を理解してるとは到底思えないが
>空気を読んでか、なぜか成立派。
なぜか成立派じゃなくて、おサルに他の件でバカといわれて内容を否定されたからだ。
瀬田君が工学部卒でないことは判明している。
458
(3): 現代数学の系譜 雑談 ◆yH25M02vWFhP 2021/05/26(水)10:53 ID:O4eZsu7n(1/8) AAS
>>457
おっちゃんだったか(^^
どうも、スレ主です
お久しぶりです

>おサルに他の件でバカといわれて内容を否定されたからだ。

「オイラー定数γが有理数」という証明の件だね
悪かった、謝るよ。ごめん
省5
459
(1): 2021/05/26(水)10:57 ID:+9R/Dp4l(2/3) AAS
>>458
>「オイラー定数γが有理数」という証明の件だね
その件ではない。
460
(2): 現代数学の系譜 雑談 ◆yH25M02vWFhP 2021/05/26(水)11:07 ID:O4eZsu7n(2/8) AAS
>>455
>有限列列(s0), (s0,s1), (s0,s1,s2), … はコーシー列ではないので極限を持ちません。

こらこら、おサル(^^
極限は、コーシー列に限らないよ
バカなおサルだねw(^^;

外部リンク:ja.wikipedia.org
極限
省5
461: 現代数学の系譜 雑談 ◆yH25M02vWFhP 2021/05/26(水)11:08 ID:O4eZsu7n(3/8) AAS
つづき

圏論
詳細は「極限 (圏論)」を参照
圏 C における図式を「添字圏」 J から C への関手と見なすことにする。特定の図式に対応する関手が与えられたとき、C の対象 X と射の族 (φi: X → Fi)i∈Obj(J) に対して次のような条件を考えることができる:

このような条件を満たす X(と族 φi)のことを F が表す図式の極限(あるいは射影極限、逆極限)と呼ぶ。極限の満たす普遍性により、それぞれの図式に対する極限は(あったとして)自然な同型をのぞき一意に定まる。
この双対概念は余極限(あるいは帰納極限や順極限)と呼ばれる。
省6
462: 現代数学の系譜 雑談 ◆yH25M02vWFhP 2021/05/26(水)11:11 ID:O4eZsu7n(4/8) AAS
>>459
>>「オイラー定数γが有理数」という証明の件だね
>その件ではない。

おっちゃん、どうも
スレ主です
おや? どの件だっけ?
ともかく、失礼があったなら
省3
463: 2021/05/26(水)11:20 ID:+9R/Dp4l(3/3) AAS
>>458
>>工学部卒でないことは判明している。

>ただの工学部卒ではないってことね
>工学部卒は、なんでも勉強なんだよ
>数学、物理、化学、法律・・なんでもね
ただの工学部卒とはどういう意味だ?
省4
464
(1): 2021/05/26(水)11:54 ID:rP5+L5xQ(4/9) AAS
>>460
サルの妄想を聞いてもしかたないので、有限列列(s0), (s0,s1), (s0,s1,s2), … が収束することを証明せよ
465
(1): 2021/05/26(水)12:18 ID:rP5+L5xQ(5/9) AAS
決定番号=∞は決定番号の定義と矛盾。
人間の知能を持たないサルに数学は無理。
466
(3): 2021/05/26(水)14:57 ID:O4eZsu7n(5/8) AAS
>>460 補足
>>有限列列(s0), (s0,s1), (s0,s1,s2), … はコーシー列ではないので極限を持ちません。

1.まず、極限 外部リンク:ja.wikipedia.org
 「収束せず正の無限大、負の無限大、振動することを発散するという。」
2.なので、
 極限は、時枝の(>>402より)「s = (s1,s2,s3 ,・・・)∈R^N だな」
3.つまり下記だな
省27
467
(2): 2021/05/26(水)15:49 ID:O4eZsu7n(6/8) AAS
>>466
> 外部リンク:ja.wikipedia.org
>極限 (圏論)

和文より下記の原英文を読む方が
分かり易いな
(参考)
外部リンク:en.wikipedia.org
省10
468: 2021/05/26(水)16:29 ID:xPs0RSD9(1/25) AAS
>>466
>つまり下記だな
> 1;(s1)∈R^1
> 2;(s1,s2)∈R^2
> 3;(s1,s2,s3)∈R^3
>  ・
>  ・
省8
469: 2021/05/26(水)16:32 ID:xPs0RSD9(2/25) AAS
>>467
>和文より下記の原英文を読む方が分かり易いな

日本語も読めんチョソンが英語読んでも誤解するだけ
●違い野郎は迷惑wwwwwww
470: 2021/05/26(水)16:34 ID:xPs0RSD9(3/25) AAS
>>458
>ただの工学部卒ではないってことね
>工学部卒は、なんでも勉強なんだよ
>数学、物理、化学、法律・・なんでもね

チョソンはどれ一つものにならず
そもそも大学入れない朝鮮高級学校卒
もうピョンヤンに帰れよwwwwwww
471: 2021/05/26(水)16:36 ID:xPs0RSD9(4/25) AAS
チョソンは、数学ダメ、英語ダメ、日本語ダメ
さすが大阪朝鮮高級学校卒のヤンキーwwwwwww
472: 2021/05/26(水)16:37 ID:xPs0RSD9(5/25) AAS
>>457
>瀬田君が工学部卒でないことは判明している。
そもそもチョソンは大卒じゃねえし
大阪朝鮮高級学校卒wwwwwww
473: 2021/05/26(水)16:39 ID:xPs0RSD9(6/25) AAS
チョソンは群も誤解した🐎🦌だから
圏は全く無理wwwwwww
474: 2021/05/26(水)16:41 ID:xPs0RSD9(7/25) AAS
チョソンは学歴詐称の犯罪者
高射砲で処刑なwwwwwww
475: 2021/05/26(水)16:44 ID:xPs0RSD9(8/25) AAS
>>465
>決定番号=∞は決定番号の定義と矛盾。

しかし🐎🦌のチョソンには
その矛盾が全く理解できないwww
476: 2021/05/26(水)16:46 ID:xPs0RSD9(9/25) AAS
チョソンは安達以下、乙以下www
477: 2021/05/26(水)16:47 ID:xPs0RSD9(10/25) AAS
チョソンよ、安らかに眠れ

R.I.P.
478
(3): 2021/05/26(水)16:55 ID:O4eZsu7n(7/8) AAS
>>467

<追加参考>
圏論の極限と位相の極限の関係(下記)
(これ読むと、ε-δはもう古いというのが、よく分かるね(^^ 
 ε-δの一般化が、ε近傍系(可算)で、さらに一般化が”filter”(可算に限らない)で、さらなる一般化が”Limit (category theory)”ですね
 ”filter”が分からないと、下記の”Example”が分からんわけですね(^^; )

外部リンク:en.wikipedia.org
省10
479
(1): 2021/05/26(水)17:24 ID:O4eZsu7n(8/8) AAS
>>478
>これ読むと、ε-δはもう古いというのが、よく分かるね

追加
「ε-δはもう古い」のもう一つの例が、超準解析の視点
下記の渕野先生のPDFが面白い
(下記の2018年9月 数学セミナー記事に追加してある部分が特にw(^^; )

外部リンク:researchmap.jp
省32
480: 2021/05/26(水)17:42 ID:xPs0RSD9(11/25) AAS
>>478-479
🐎🦌がまた圏を誤解してウソ800の変態数学を語ってますねwww

朝鮮高等学校卒のヤンキーに数学は無理
さっさとピョンヤンに帰れってwww
481: 2021/05/26(水)18:01 ID:rP5+L5xQ(6/9) AAS
>>466
何の証明にもなってなくて草
やはりサルに数学は無理
482
(1): 2021/05/26(水)18:14 ID:xPs0RSD9(12/25) AAS
>>482
チョソンは論理が分かってないからな
所詮、朝鮮高級学校卒のヤンキーwww
483: 2021/05/26(水)18:17 ID:xPs0RSD9(13/25) AAS
チョソンは学歴詐称、国籍詐称の犯罪者
さっさとピョンヤンに帰れwwwwwww
484
(1): 現代数学の系譜 雑談 ◆yH25M02vWFhP 2021/05/26(水)19:09 ID:VMEh8nPz(4/7) AAS
言っちゃ悪いが
力の差が、
歴然かな
www(^^
485
(3): 現代数学の系譜 雑談 ◆yH25M02vWFhP 2021/05/26(水)20:25 ID:VMEh8nPz(5/7) AAS
>>478
余談ですが
足立先生『ガロア理論講義』(下記)
無限次ガロア拡大で、射有限なガロア群があったね
(離散有限群の成す射影系(逆系)の射影極限(逆極限))

(参考)
外部リンク[html]:tosuu.web.fc2.com
省13
486
(2): 現代数学の系譜 雑談 ◆yH25M02vWFhP 2021/05/26(水)20:29 ID:VMEh8nPz(6/7) AAS
>>485
ついでに、双対の帰納極限(順極限(余極限))(^^

外部リンク:ja.wikipedia.org
帰納極限

順極限(じゅんきょくげん)または直極限(ちょくきょくげん、英: direct limit)もしくは帰納極限(きのうきょくげん、英: inductive limit)は、「対象の向き付けられた族」の余極限である。本項ではまず群や加群などの代数系に対する帰納極限の定義から始めて、あらためて任意の圏において通用する一般的な定義を与える。

厳密な定義
代数系の帰納極限
省11
487
(1): 現代数学の系譜 雑談 ◆yH25M02vWFhP 2021/05/26(水)20:29 ID:VMEh8nPz(7/7) AAS
>>486
つづき

一般の定義
I と C を圏とする。C の固定された対象 X に対して cX: I → C を定値函手とする。任意の函手 F: I → C に対して、函手


F を位相空間 X 上の C-値層とする。X の点 x を固定して、x の開近傍の全体は包含関係を逆にする順序によって(つまり U ≦ V ⇔ U ⊇ V とおいて)有向半順序集合を成す。このとき、r を制限写像とする直系 (F(U), rU,V) が得られ、この系の直極限は x における F の茎 Fx と呼ばれる。x の各近傍 U に対して標準射 F(U) → Fx は F の U 上の切断 s を茎 Fx の元 sx へ対応させる。元 sx は切断 s の x における芽と呼ばれる。
省9
1-
あと 455 レスあります
スレ情報 赤レス抽出 画像レス抽出 歴の未読スレ AAサムネイル

ぬこの手 ぬこTOP 0.027s