ガロア第一論文と乗数イデアル他関連資料スレ17

[過去ﾛｸﾞ] ガロア第一論文と乗数イデアル他関連資料スレ17 (1002ﾚｽ)
上下前次1-新
通常表示 512ﾊﾞｲﾄ分割ﾚｽ栞
抽出解除必死ﾁｪｯｶｰ(本家) (べ) 自ID ﾚｽ栞あぼーん

このｽﾚｯﾄﾞは過去ﾛｸﾞ倉庫に格納されています｡
次ｽﾚ検索歴削→次ｽﾚ栞削→次ｽﾚ過去ﾛｸﾞﾒﾆｭｰ

127: 現代数学の系譜 雑談 ◆yH25M02vWFhP  [] 2025/05/11(日) 20:30:37.80 ID:F7vNf+MQ

つづき

https://ja.wikipedia.org/wiki/%E3%83%A2%E3%83%8B%E3%83%83%E3%82%AF%E5%B0%84
圏論においてモニック射（英: monic morphism）、モノ射（monomorphism）あるいは単射[1]とは、左簡約可能（left cancelable）な射を言う。X から Y へのモニック射は X ↪ Y と表記される。
これは集合間の写像の意味での単射の抽象化であり、射が写像であり集合論的な意味での単射であれば圏論的な意味でのモニック射であるが、逆は必ずしも成り立たない。しかしながら、集合の圏や群の圏、環上の加群の圏、位相空間の圏などでは、モニック射は集合論の意味での単射である[2]。

モニック射の圏論的双対はエピ射であり、圏 C のモニック射は逆圏 Cop のエピ射に対応する。すべてのセクション（section）はモニック射であり、すべての制限射（retraction）はエピ射である。

用語
モノ射とエピ射の用語は元々はニコラ・ブルバキによって導入された。ブルバキはモノ射を入射関数（injective function）の省略系として使用した。初期の圏論論者は、入射性の圏論の文脈における正しい一般化は上記の簡約可能性（cancelable）にあると信じていたが、これはモニック射に対しては正確には一般に正しくないものの、非常に近いため、エピ射の場合とは異なり、問題はほとんど発生しない。ソーンダース・マックレーン は、彼がモノ射と呼ぶものを区別しようとした。彼は入射的な集合写像を基礎に持つ具体圏の射をモノ射と呼び、圏論的意味を持つ用語としてのモノ射をモニック射と呼ぼうとした。ただし、この区別は一般的には使用されなかった。

https://ja.wikipedia.org/wiki/%E3%82%A8%E3%83%94%E5%B0%84
圏論において、エピ射（epimorphism）、エピック射 (epic morphism)、あるいは全射[1] とは、右簡約可能（right cancelable）な射のことを言う。X から Y へのエピ射は X ↠ Y と表記される。

これは集合間の写像の意味での全射の抽象化であり、射が写像であり集合論的な意味で全射であれば圏論的な意味でエピ射であるが、逆は必ずしも成り立たない。例えば可換環の圏における整数環から有理数体への包含写像 Z → Q が反例となる[2]。しかしながら、集合の圏[3]や群の圏[4]、環上の加群の圏[5]などでは、圏論の意味での全射は集合論の意味での全射と一致する。
用語
ブルバキはエピ射を全射関数（surjective function）の省略形として使用した。初期の圏論家は、モノ射が入射の正確な類推に非常に近いのと同じように、任意の圏においてエピ射は全射の正しい類推であると信じた。不幸なことにこれは間違いであった。
(引用終り)
以上

http://rio2016.5ch.net/test/read.cgi/math/1746597368/127

136: 現代数学の系譜 雑談 ◆yH25M02vWFhP  [] 2025/05/11(日) 23:16:27.94 ID:F7vNf+MQ

>>129 補足
https://en.wikipedia.org/wiki/Cauchy_sequence
Cauchy sequence
In real numbers
A sequence
x1,x2,x3,… of real numbers is called a Cauchy sequence if for every positive real number
ε, there is a positive integer N such that for all natural numbers
m,n>N,
|xm−xn|<ε,
where the vertical bars denote the absolute value.
In a similar way one can define Cauchy sequences of rational or complex numbers.
Cauchy formulated such a condition by requiring
xm−xn to be infinitesimal for every pair of infinite m, n.
For any real number r, the sequence of truncated decimal expansions of r forms a Cauchy sequence.
For example, when r=π, this sequence is (3, 3.1, 3.14, 3.141, ...). The mth and nth terms differ by at most
10^(1−m) when m < n, and as m grows this becomes smaller than any fixed positive number ε.
(引用終り)

上記のような、無限小数展開との関係は、重要だ
有限小数は、有理数でもあるから
有限小数よるコーシー列は、有理コーシー列であるから
有理コーシー列の集合から、有限小数コーシー列の集合へ、全射が存在する

一方、有理コーシー列の同値類(定義は下記の原隆)において
同値類の中に、一つ単調増加列が存在することを認めると
（単調増加列は必須ではないが、説明の便法として使用）
その単調増加列の有理数を小数展開して 有限小数よるコーシー列に落とせる

例えば、ε＝10^k （kを十分大きく取る）とおくと
|xm−xn|<10^k であるから
小数の言葉に直すと
差 |xm−xn| は、小数k位以下の差しかないとなる
つまりは、xmとxnなどは 殆どが 小数k-1位までは一致しているということ
（ xmを小数展開して 小数k位までを求めて、それをもとに 1桁ずつ増える有限小数のコーシー列が構成できる。それを繰り返す）

但し、例外的に繰り上がりの問題が生じる
つまり、例えば 3.14159・・・という数で
xm＝3.14159,xm+1＝3.141599,xm+1＝3.1416001
のように
xm+1-xm＝0.0000101
となるような
つまり 数字9が連なると、繰り上がりで 5→6 に変わることが起きる
但し、無理数を考えると 無限循環 99999・・ は禁止され
必ず 9以外の数が 小数展開中に無限に出現するので
9の繰り上がりは、数学的に処理可能
よって、無理数の小数展開から作られる 一桁ずつ増える単調増加列と
有理コーシー列の同値類とは対応がついて 単射

よって、有理コーシー列の同値類の集合 ←→ 無理数の一桁ずつ増える有限小数コーシー列の集合
は 全単射
（これら 無理数の小数展開は 我々の日常であって、常識でもある）

つづく

http://rio2016.5ch.net/test/read.cgi/math/1746597368/136

上下前次1-新書関写板覧索設栞歴

ｽﾚ情報赤ﾚｽ抽出画像ﾚｽ抽出歴の未読ｽﾚ AAｻﾑﾈｲﾙ

ぬこの手ぬこTOP 2.222s*