- 1 名前：１３２人目の素数さん [2025/01/01(水) 09:57:08.60 ID:2b7XvZNh.net]
- 前スレが1000近く又は1000超えになったので、新スレを立てる
https://rio2016.5ch.net/test/read.cgi/math/1724969804/
前スレ ガロア第一論文と乗数イデアル他関連資料スレ11
このスレは、ガロア第一論文と乗数イデアル他関連資料スレです
関連は、だいたい何でもありです（現代ガロア理論＆乗数イデアル関連他文学論・囲碁将棋まであります）
資料としては、まずはこれ
https://sites.google.com/site/galois1811to1832/
ガロアの第一論文を読む
渡部 一己 著 （2018.1.28）
PDF
https://sites.google.com/site/galois1811to1832/galois-1.pdf?attredirects=0
＜乗数イデアル関連＞
ガロア第一論文及びその関連の資料スレ
https://rio2016.5ch.net/test/read.cgi/math/1615510393/785 以降ご参照
https://en.wikipedia.org/wiki/Multiplier_ideal Multiplier ideal
https://mathoverflow.net/questions/142937/motivation-for-multiplier-ideal-sheaves motivation for multiplier ideal sheaves asked Sep 23, 2013 Koushik
＜層について＞
https://ja.wikipedia.org/wiki/%E5%B1%A4_(%E6%95%B0%E5%AD%A6)
層 (数学)
https://en.wikipedia.org/wiki/Sheaf_(mathematics)
Sheaf (mathematics)
https://fr.wikipedia.org/wiki/Faisceau_(math%C3%A9matiques)
Faisceau (mathématiques)
あと、テンプレ順次
つづく
- 99 名前：１３２人目の素数さん [2025/01/10(金) 14:50:26.86 ID:PaB4QEGJ.net]
- テスト
- 100 名前：１３２人目の素数さん [2025/01/10(金) 15:02:47.51 ID:PaB4QEGJ.net]
- >>82
>"the Axiom of Choice for countable collections of subsets of R."を否定してしまうと
> ”実数”の連続性（実数の完備性）どころか、Lindelofさえいえない。
はい、大間違いです。
【実数の定義】
wikipedia「実数」
「実数体とは順序体であって空でない上に有界な部分集合が上限を持つようなものをいう[注 1]。実数体の元（＝要素）を実数という。」
【実数の構成】
wikipedia「コーシー列」
この中で実数体Rが完備であることが選択公理を用いること無く示されている。
以上の通り実数の定義・構成に選択公理は不要。よって実数はZFで定義・構成可能。
尚、以下の通り、問いはあくまで実数の定義可能性に限定しており、諸性質の証明可能性は含んでいないことを断っておく。
（ここを曖昧にすると答えがブレてしまうのは当然のこと）
>>23 2025/01/06(月) 10:03:27.06ID:mU+v9SoN
>定義可能性と
>基本的諸性質の証明可能性は別
>>24 2025/01/06(月) 10:21:59.96ID:bgJiiwgI
>誰も同じと言ってないけどね
- 101 名前：１３２人目の素数さん [2025/01/10(金) 15:03:46.43 ID:PaB4QEGJ.net]
- やっと書き込めた
５ちゃんクソだな
|
 |
