現代数学の系譜 工学物理雑談 古典ガロア理論も読む74
■ このスレッドは過去ログ倉庫に格納されています
この伝統あるガロアすれは、皆さまのご尽力で、 過去、数学板での勢いランキングで、常に上位です。 このスレは、現代数学のもとになった物理・工学の雑談スレとします。たまに、“古典ガロア理論も読む”とします。 それで宜しければ、どうぞ。 後でも触れますが、基本は私スレ主のコピペ・・、まあ、言い換えれば、スクラップ帳ですな〜(^^ 最近、AIと数学の関係が気になって、その関係の記事を集めています〜(^^ いま、大学数学科卒でコンピュータサイエンスもできる人が、求められていると思うんですよね。 スレ主の趣味で上記以外にも脱線しています。ネタにスレ主も理解できていないページのURLも貼ります。関連のアーカイブの役も期待して。 話題は、散らしながらです。時枝記事は、気が向いたら、たまに触れますが、それは私スレ主の気ままです。 スレ46から始まった、病的関数のリプシッツ連続の話は、なかなか面白かったです。 興味のある方は、過去ログを(^^ なお、 小学レベルとバカプロ固定 サイコパスのピエロ(不遇な「一石」https://textream.yahoo.co.jp/personal/history/comment?user=_SrJKWB8rTGHnA91umexH77XaNbpRq00WqwI62dl 表示名:ムダグチ博士 Yahoo! ID/ニックネーム:hyperboloid_of_two_sheets (Yahoo!でのあだ名が、「一石」) (参考)http://blog.goo.ne.jp/grzt9u2b/e/c1f41fcec7cbc02fea03e12cf3f6a00e サイコパスの特徴、嘘を平気でつき、人をだまし、邪悪な支配ゲームに引きずり込む 2007年04月06日 (なお、サイコの発言集「実際に人を真っ二つに斬れたら 爽快極まりないだろう」、「狂犬」、「イヌコロ」、「君子豹変」については後述(^^; ) High level people 低脳幼稚園児のAAお絵かき 上記は、お断り!! 小学生がいますので、18金(禁)よろしくね!(^^ (旧スレが1000オーバー(又は間近)で、新スレを立てた) >>477 ええ、2点コンパクト化もありますw(^^; 「(アフィン)拡張実数全体の成す集合 R ∪ {±∞}」 意味分りますか〜?w (参考) https://ja.wikipedia.org/wiki/%E6%8B%A1%E5%A4%A7%E5%AE%9F%E6%95%B0 拡大実数 (抜粋) 数学における拡張実数(かくちょうじっすう、英: extended real number; 拡大実数)あるいはより精確にアフィン拡張実数 (affinely extended real number) は、通常の実数に正の無限大 +∞ と負の無限大 -∞ の二つを加えた体系を言う。 新しく付け加えられた元(無限大、無限遠点)は(通常の)実数ではないが、文脈によってはこれらを含めた全ての拡張実数を指して便宜的に「実数」と呼ぶこともあり、その場合通常の実数は有限実数と呼んで区別する[1]。拡張実数の概念は、微分積分学や解析学(特に測度論と積分法)において種々の函数の極限についての記述を簡素化するのに有効である。 (アフィン)拡張実数全体の成す集合 R ∪ {±∞} は、その上の適当な順序構造や位相構造などを持つものとして補完数直線(ほかんすうちょくせん、英: extended real line; 拡張実数直線)と呼ばれ、R や [-∞, +∞] と書かれる。 文脈から意味が明らかな場合には、正の無限大の記号 +∞ はしばしば単に ∞ と書かれる。 意義 極限 函数 f において、引数 x や函数値 f(x) がある意味で「非常に大きく」なるときのふるまいを記述したい場面というのはよくある。例えば函数 f(x)=x^-2 を考えると、グラフは g(x) = 0 を水平漸近線に持つ。幾何学的に、x-軸を右へどんどん辿って行けば、1/x2 の値は 0 へ近づく。 この極限的な振る舞いというのは、x が何らかの実数へ近づくときの函数の極限と、x が近づく実数がないことを除けば同じである。 仮に、実数の集合 R に二つの元 +∞ と -∞ を添加するとすれば、「無限遠における極限」を R におけると同様の位相的性質を以って定式化することができる。 事を完全に厳密にするには、R の有理コーシー列による定義において、さらに任意の K > 0 に対して十分大きな番号の項で K を超えるものが取れるような有理コーシー列全体の成す集合として +∞ を、同様の仕方で -∞ を、それぞれ定義することにすればよい。 つづく >>482 つづき 測度論および積分 測度論において、測度無限大の集合や値が無限大になる積分の存在を許すことが有効であることがよくある。 このような測度は微分積分学でも自然に表れてくる。 無限積分を考えるとき、値は「無限大」になる。 他にも、 函数列の極限を考えることも有用であることは多く、函数値が無限大となることを許容しない場合には単調収束定理や優収束定理のような本質的な結果が意味を成さない。 順序構造および位相的性質 任意の(有限)実数 a に対して -∞ ? a ? +∞ と置くことにより、実数直線 R における順序の拡張として、補完数直線 R は全順序集合になる。この順序に関して R は「任意の部分集合が上限と下限を持つ」(完備束を成す)という良い性質を持つ。 この順序から導かれる R 上の順序位相(英語版)では、集合 U が正の無限大 +∞ の近傍となる必要十分条件は U が適当な実数 a に対する集合 {x : x > a} を含むことであり、負の無限大 -∞ についても同様のことが言える。 補完数直線 R は、単位閉区間 [0, 1] に同相なコンパクトハウスドルフ空間であるから、単位閉区間の通常の距離から同相を通じて距離化可能であるが、しかし R 上の通常の距離の延長となるような距離を入れることはできない。 この位相に関して、実変数 x が +∞ や -∞ へ近づく極限や、函数の値が +∞ や -∞ へ近づく極限を、一般的な極限の位相的定義を簡略化して定義することができる。 代数的性質 今までの定義に従えば、拡張実数の全体 R は体にも環にもならない。それでも以下のような十分扱いやすい性質が成立する: その他の性質 実函数の中には極限をとることで R まで連続的に延長することができるものもある。例えば指数函数 exp や自然対数 ln は exp(-∞) = 0, exp(+∞) = +∞ や ln(0) = -∞, ln(+∞) = +∞ として連続的に延長できる。 関連項目 ・実射影直線 ・リーマン球面: 拡張複素数平面 C ・広義積分 (引用終り) 以上 >>479 (引用開始) 一点コンパクト馬鹿のゴキブリのいうことこそ支離滅裂 >自然数→整数→有理数 ここまでは有限集合によるコード化で実現可能 >→実数→複素数 ここから先は無限集合が必要 これ、落ちこぼれのゴキブリ以外には常識w (引用終り) おいおい ギャグかw(^^; おまえは、吉本かw >>482 >ええ、2点コンパクト化もありますw 正真正銘の馬鹿だな コイツ wwwwwwwwwwwww >>484 実数は有限集合でコード化できないことを 知らないスレ主は正真正銘の大馬鹿w >>486 おれが問題視しているのは 前半の方 (引用開始) 一点コンパクト馬鹿のゴキブリのいうことこそ支離滅裂 >自然数→整数→有理数 ここまでは有限集合によるコード化で実現可能 (引用終り) ここ意味不明w(^^; 思うに、 ・デデキント無限 ・デデキントの切断による実数の構成 この2つが頭の中で混線しているのかもねw(^^; >>487 >ここ意味不明 スレ主が無知なだけw 自然数は有限集合でコード化できる 0={} 1={0}={{}} 2={0,1}={{}、{{}}} ・・・ 整数は自然数に正負の符号をつけるだけだし 有理数も整数の対で表せるから どちらも有限集合でコード化できる 知らんスレ主はコピペした文章すら読まない不勉強の馬鹿w >>488 >デデキントの切断による実数の構成 上記の実数の構成には「有理数の無限集合」が必要 すべての実数を有限集合でコード化することは不可能 >>488 めんどくせーやつだなw(^^; https://www2.tsuda.ac.jp/suukeiken/math/suugakushi/sympo21/ 第21回数学史シンポジウム https://www2.tsuda.ac.jp/suukeiken/math/suugakushi/sympo21/21_3adachi.pdf 足立恒雄 フレーゲ算術について(2010.)所報2011 (抜粋) P39 2.2 『数とは伺か』の欠陥 『数とは何か』に見られる欠陥として、しばしば次の事柄が挙げられる: 1.デデキントの無限集合の作在「証明」は説明とは認められない。 (たとえば、河野伊三郎訳記おける脚註〉 2.性質Pを満たす要素Z の全体はつねに「集会」をなすという、素朴 な「内信原理」 を認めている。 3;デデキント無限と通常の無限の定義との同値性の「証明」には選択公理を要することが見過ごされている。 4.α と{α}の区別をしていない。 第1項および第2項について: デデキントが「無限集合の存在説明」 としているものは 1, 2 (1の次の数), 3 (2の次の数),・・・ の全体は集合をなし、しかもこれは無限集合であるというのと同じことである。 言い換えれば、「証明とは認められない」という主張の意味をはっきりさせる必要がある。 デデキントが考えていたような、現象世界や思考世界まで 含めた事物の集まりとしての集合(物の集まり)という概念の範囲では、 「証明」 というのもまた素朴なものであるはずで、 この「無限集合の存在証明」だけを取り上げて証明と認められないというような 歴史を無視した評価の妥当性が問われねばならない。 すなわち形式化されたとまでは言わなくとも ある程度公理化が意識ざれた形に整理されていない時期としては 「証明ではない」とは言えないだろう 第3項について: 選択関数について最初に言及したのはペアノかと思われ るが、それもかなりあいまいな議論であって、当時としては仕方がなかったと見られる。 第4項について: デデキントは(またペアノも)自然数を1から始めている。 0を自然数に含める考え方はフレーゲが最初かもしれない。 またαと{α}の違いを明確にしたのもブレーゲが最初で、 デデキントはこれを混同している。 そのために「数とは何か」で空集合を集合と 「認められなかった」のではないかと指摘する人もいる。 (引用終り) >>490 スレ主わけもわからず見当違いなコピペの発狂行為w 馬鹿は思考能力が欠如しているwww スレ主の何が見当違いか ・デデキント無限の話など誰もしていない (スレ主には幻聴が聞こえるらしいw) ・選択公理の話など誰もしていない (スレ主には幻聴が聞こえるらしいw) >>490 タイポ訂正 1.デデキントの無限集合の作在「証明」は説明とは認められない。 ↓ 1.デデキントの無限集合の存在「証明」は証明とは認められない。 分ると思うが これOCRの誤読な(^^; <補足> (引用開始) 2.2 『数とは伺か』の欠陥 『数とは何か』に見られる欠陥として、しばしば次の事柄が挙げられる: 1.デデキントの無限集合の存在「証明」は証明とは認められない。 (たとえば、河野伊三郎訳記おける脚註〉 (引用終り) サルは学習能力がない 以前に指摘したはず(例えば>>161 な(^^; ) ”デデキントの無限集合の存在「証明」は証明とは認められない”は、 現代数学の常識で、かつ教養ですよ〜!w(^^; >>493 >デデキントの無限集合の存在「証明」 そもそもあれが証明だと思うヤツが馬鹿w >性質Pを満たす要素Z の全体はつねに「集会」をなすという、素朴な「内信原理」 スレ主は正真正銘の白痴wwwwwww 集会→集合 内信原理→内包原理 理解もせずにウソ用語書くのは白痴の決定的証拠wwwwwww 自然数論・整数論・有理数論には無限集合は必要ない しかし実数論・複素数論には無限集合が必要 なぜなら個々の実数、複素数を表すのに無限集合が必要だから これこそ常識 知らんスレ主は落ちこぼれの白痴www >>493 ほんと、ピエロはお笑いだね ギャグかw(^^; おまえは、吉本かw (>>216 より) (>>161 より) 161 自分:現代数学の系譜 雑談 古典ガロア理論も読む ◆e.a0E5TtKE [] 投稿日:2019/08/04(日) 12:21:46.08 ID:wYXDzdNx [8/32] こらこら 幼稚園児が、「無限公理が偽であることを一度も証明できていない」とか、デデキントかお前は!w(^^ (参考) http://abrahamcow.hatena blog.com/entry/2014/10/03/111455 廿TT 2014-10-03 デデキントによる無限集合の存在証明のあやまり (抜粋) あらゆる集合の集まりは、「クラス」と呼ばれ、これは集合とは考えない。 なので、デデキントの議論は今日では証明として認められない。 (>>199 より) 199 返信:132人目の素数さん[] 投稿日:2019/08/04(日) 16:53:28.60 ID:P7bSsHJN [13/14] >デデキント氏が証明に失敗して、無限公理になったということよ こいつ、論理が理解できない白痴だなw デデキントが無限公理を証明しようとしたと思ってる 日本語も読めない白痴なんだなwww (>>206 より) 206 自分:現代数学の系譜 雑談 古典ガロア理論も読む ◆e.a0E5TtKE [] 投稿日:2019/08/04(日) 21:51:39.73 ID:wYXDzdNx [27/32] >>199 >デデキントが無限公理を証明しようとしたと思ってる ええ、思っていますがなにか?w(^^ (下記ご参照) (参考) http://www.kurims.kyoto-u.ac.jp/ ~kyodo/kokyuroku/contents/pdf/1739-16.pdf R. Dedekind の数学の基礎付けと集合論の公理化 - RIMS, Kyoto University 数理解析研究所講究録 第 1739 巻 2011 年 168-179 神戸大学大学院・システム情報学研究科 渕野 昌 (Sakae Fuchino) https://repository.kulib.kyoto-u.ac.jp/dspace/handle/2433/232885 http://www.kurims.kyoto-u.ac.jp/ ~kenkyubu/bessatsu/open/B50/pdf/B50_016.pdf デデキントの数学思想 (数学史の研究) 数理解析研究所講究録別冊 Jun-2014 Mathematical Thoughts of Richard Dedekind 足立恒雄 (早稲田大学) (引用終り) 以上 >>495 >>性質Pを満たす要素Z の全体はつねに「集会」をなすという、素朴な「内信原理」 >集会→集合 >内信原理→内包原理 訂正ありがとう 原文PDFの質が悪いので。OCRで文字化けするんだ 一応、ワードのスペルチェックかけたけど、バグが取り切れなかっただけ 原文嫁めの一言で終りだけどねw >>496 >自然数論・整数論・有理数論には無限集合は必要ない >しかし実数論・複素数論には無限集合が必要 まだ、言っているな サルが >なぜなら個々の実数、複素数を表すのに無限集合が必要だから 意味不明の妄言 >>497 何言ってるのか意味不明w なんでこの馬鹿デデキントに固執してんだ? デデキントにケツの穴でも掘られたんかwwwwwww デデキントは、別の無限の定義を出してきただけのこと そしてそれが無限公理と同値になるのは 選択公理が前提されてる場合だと 明らかになっただけのこと 論理が分からんスレ主は何言いたいのか分からん どうせ「ボクちゃん天才!」っていいたいだけだろ 三歳児かよwwwwwww >>498 >>個々の実数、複素数を表すのに無限集合が必要だから >意味不明の妄言 「意味不明」な時点で、スレ主は実数も複素数も理解できてないとバレバレw デデキントの切断でも、カントールの基本列でも、無限集合を用いる そこを回避することは不可能 延々と続くアホ同士の死闘(笑 ID:2crO5E4V この男は少しましなような気もするが、 サル石の自演かも知れない(笑 いすせれにせよ >分かってる、が同意はしない と書いているから、ただのアホ(笑 479132人目の素数さん2019/08/11(日) 15:45:05.03ID:aa8277WX>>484 >>471 >ここから先は無限集合が必要 真性のクルクルパー(笑 これがサル石という、スレ主と同じで、知識自慢のドアホ(笑 >デデキントは、別の無限の定義を出してきただけのこと どこをどう読めばそんな解釈ができるのか(笑 >>502 あんた、ここのスレ主を連れて帰ってくれ この板で執拗に荒らし行為を繰り返して困るからな こいつは自分が荒らしだという自覚もない 池沼の上に精神障害だから、どっか山の中の病院にでもブチ込んでくれ サル石の投稿を読むと、この男がいつも、 具体的な説明はちっともせず、 数学用語の定義とか概念のことばかり書いていることが分る(笑 それはスレ主も同じだ(笑 だからこの二人は、お互いに、 どちらが間違っているかを理解しない(笑 今夕はここまで(笑 >>503 それはお前のことだろが(笑 ここはスレ主の立てたスレだから、 嫌ならお前が去ればいいのだ(笑 スレ主が下らぬスレを立てること自体が荒らし スレ主に対するスレ立て規制をしないから 数学板は馬鹿が跳梁跋扈する地獄になった この板で執拗に荒らし行為を繰り返している 自分が荒らしだという自覚もない 池沼の上に精神障害 全部お前のことだ(笑 誰が見てもそう思う(笑 >数学板は馬鹿が跳梁跋扈する地獄になった その跳梁跋扈している馬鹿がお前(笑 >>507 荒らしは数学が分からんくせに トンチンカンなことを書き散らかす 白痴のスレ主 さっさと白痴を連れて帰れ 国文馬鹿w >スレ主が下らぬスレを立てること自体が荒らし その通り スレ主は何も分かってないのにさも分かってるふりしてコピペを大量投下 さらに時枝は不成立などの嘘デタラメを平気で垂れ流し、間違いを指摘されても認めようとしない これらの行為を荒らしと呼ばず何と呼べばよいのか? >>510-511 ・なにをおっしゃるウサギさん(^^ ・便所の落書き5CHのスレに何を期待しているんだね ・5CHの数学板で、このスレ以上の質のスレがあれば、数え上げてみなw いま、ざっと見ると、725スレあるけど 上位ベスト10に入れば、偏差値で75はあるだろうね ・で、あなたは、なんの資格で評論しているの? あなたは運営さんですかね? 単なる名無しさん? エラそーにいうなら、コテでも付けたらどう?w(^^ あるいは、削除依頼出せ!!w ・笑えるよね、あなたのそのエラそーな行為ねw(^^; >>499 >>>497 >何言ってるのか意味不明w わからんの? それとも、わからんふりかいw? 結構致命的な、間違いなんだよね 「無限集合たる自然数の構成には、無限公理が必須」 これがわからんとね〜(^^; 笑えるわw(^^ 結構致命的な、間違いなんだよね 「無限集合たる自然数の構成には、無限公理が必須」 これがわからんとね〜(^^; >>512 誰も便所の落書きで分かったふりをしようと思わない 誰も便所の落書きで嘘デタラメを垂れ流そうと思わない つまりおまえの害悪は便所の落書きを凌駕している >>515 ・なにをおっしゃるウサギさん(^^ ・便所の落書きを定義して、このスレを評価してみなよw ・そうすれば、5CH数学板自身の否定に至るだろうよ ・そして、この5CH数学板のガロアスレに粘着している自分のバカさ加減に思い至れ ・なんのために、長期にわたって、この5CH数学板のガロアスレに粘着しているんだ? 自分の身を振り返って、自分のバカさ加減を思い知れよw(^^; >>516 >・便所の落書きを定義して、このスレを評価してみなよw 便所の落書きに価値は無いが害悪も無い。それに比べおまえは害悪の塊。 >・そして、この5CH数学板のガロアスレに粘着している自分のバカさ加減に思い至れ 数学板に粘着しているのはおまえ。いい加減に数学板から出て行け。 >・なんのために、長期にわたって、この5CH数学板のガロアスレに粘着しているんだ? 害悪を撒き散らすアホを野放しにしないためだが? >無限集合たる自然数 致命的な誤り {}のどこが無限集合?(嘲) {{}}のどこが無限集合?(嘲) {{}、{{}}}のどこが無限集合?(嘲) いくらでもつづけられるが どこにも無限集合はでてこない(嘲) スレ主は最低最悪のウソツキ 死ね!死ね!!死ね!!! >>517 なにを、低脳が、ほざいているのかね? 間違っているのは、テメーだろ?w(^^; 下記は依然として有効だ。大学の恩師にでも電話してみろ。そうして、自分の過ちを悟れよ、おい(^^; スレ55 https://rio2016.5ch.net/test/read.cgi/math/1543319499/484 484 自分:現代数学の系譜 雑談 古典ガロア理論も読む ◆e.a0E5TtKE [] 投稿日:2018/12/08(土) 22:50:48.10 ID:bIDCQoJi [42/43] >>481 はいはい >スレ主が以下のものを出すようになったら敗北宣言 じゃ、もっと敗北宣言を、させて下さい 1)全国の数学科生に告ぐ **) どうぞ、大学の数学科教員に頼んで ”数学セミナー 2015年11月号 箱入り無数目 時枝 正の記事は正しい”ということ 及び、その理由を簡単に書いて(理由は、「正しいから正しい」でも可) その方のサイトに、その方の実名で、アップしてもらえませんか? (文案はどなたが書いても可です。その方が承認してアップするならね) 2)どうぞ、このスレ主に敗北宣言を出させて下さい 私は、大学の数学科プロ教員には、とても敵いませんので、すぐ敗北宣言を出します 赤っ恥で結構です。 私は、このスレを閉じますよ。 (まあ、彼らは、落ちこぼれのピエロとは実力が違いますからね。私の実力では抵抗は無駄でしょうね) 3)それが出るまでは、私の勝利*です( 注*:これ定義です(^^; ) 注**):どうぞ、このスレを見たどなたでも、貴方が直接教員に頼んでも良いし、知り合いの学生を通じての依頼でも可です 上記1)について、よろしくお願いします。(^^; (つまらん、低レベル(落ちこぼれレベル)の議論を、延々続けても仕方ないですからね) それまでは、上記3)の定義の通り、私の勝ちです(^^ >>518 ほんとにお前はサイコパス(一句) >どこにも無限集合はでてこない(嘲) だから、”無限公理がないと、無限集合としの自然数が構成できない”よと 分っているじゃんか 無限集合としの自然数の構成には、無限公理必須だとw(^^; >>520 間違ってる 0となる{}と+1となる操作であるX∪{X}があればいい 個々の自然数を生むだけなら無限集合も無限公理も必要ない スレ主はこんな簡単なことも理解できない正真正銘の白痴! 今日も、Ω星人の呟きが幻聴として 聴こえた。 全ての自然数を含めれちゃう集合A そんな、集合Aが存在するなんて、 地球人の戯言に過ぎない。 しかし、自然数は無限個あり、 ある無限より、大きい自然数は、 存在し、何が何でも無限個存在させる。 地球の無限公理は、偽の命題である。 無限大や、無限小は、便利ポィし、 怪しいだけで否定するのは非科学的 以上 幻聴は主張内容がコロコロ変わる >>520 下記”(無限公理によって存在が保証されるところの)自然数全体の成す集合というのは有限集合ではない” と書いてありますが、なにか? この記述、否定できますか? ピエロちゃんw(^^; https://ja.wikipedia.org/wiki/%E6%9C%89%E9%99%90%E9%9B%86%E5%90%88 有限集合 (抜粋) どんな真部分集合との間にも全単射が存在しないような集合は、デデキント有限集合と呼ばれる。可算選択公理(弱い形の選択公理)が成り立つなら、集合が有限であることとデデキント有限であることは同値である。そうでない場合には(奇異なことに)無限かつデデキント有限な集合が存在しうる。 (無限公理によって存在が保証されるところの)自然数全体の成す集合というのは有限集合ではない 基礎付け問題 ゲオルク・カントールは、無限集合を数学的に扱える集合論を構築しようとした。従って、有限集合と無限集合の区別が理論の中核に存在することとなった。基礎付け主義者(foundationalist)の中でも特に有限主義者は無限集合の存在を認めず、有限集合にのみ基づいた数学を提唱した。 無限集合を擁護する数学者にとっても、ある重要な文脈では、有限集合と無限集合の形式的区別は微妙な問題として残った。 どちらの理論にもいわゆる非標準モデルの過剰が存在する。 より一般化すると、集合や有限集合といった非形式的観念は、様々な形式体系の公理的機構と論理的機構によって解釈される。 よく知られた公理的集合論としてツェルメロ=フレンケルの公理的集合論 (ZF) 、ZF に選択公理を加えたもの (ZFC)、NBG集合論(ノイマン=ベルナイス=ゲーデル)、非有基的集合論、バートランド・ラッセルの型理論、および各種モデルの理論がある。場合によっては、古典的な一階述語論理、各種高階論理、直観論理などを選択する場合もある。 自然数の概念が論理的に集合の前に前提としてある場合、集合 S が有限であることを {x | x < n} となる自然数の集まりとの全単射として定義できる。数の概念を集合論に基づいて定義するため、例えば有限の整列集合の順序型によって自然数をモデル化する。その場合、有限性について自然数に基づかない構造的定義が必要となる。 よく知られている有限性の定義として、リヒャルト・デーデキントの定義とカジミェシュ・クラトフスキの定義がある。 >>522 Ω星人さん、どうも。スレ主です。 >しかし、自然数は無限個あり、 そうそう 古代ギリシャのユークリッドが、素数は無限だと証明した だったら、素数の入れ物としての自然数の集合も、無限でなければならない ところが、公理主義を出発点にしたとたん 無限公理の独立性からも、 無限公理なしでは、無限集合たる自然数が構成できないことになってしまうのだったw(^^ >無限大や、無限小は、便利ポィし、 >怪しいだけで否定するのは非科学的 そうそう その通り >>523 の通りです(^^; >>523 自然数論に自然数全体の集合は必要ない スレ主、正真正銘の馬鹿じゃね? 決定番号=∞ ∞に近い巨大数 無限集合を扱うには選択公理が必要 無限を理解しない白痴、それがスレ主 <サル石を叩くための記録-その2-> −おさるさん、”∞を整数に添加する意味はない”編− 468 自分:現代数学の系譜 雑談 古典ガロア理論も読む ◆e.a0E5TtKE [] 投稿日:2019/08/11(日) >>455 >w=1/zでzが0以外の整数としても、wは整数ではない >したがって∞を整数に添加する意味はないw 意味不明だな(^^ サルは学習能力ゼロかよw(^^; 下記より「自然数全体(離散位相)N の一点コンパクト化は Nに最大元 ω を付け加えた順序集合 N ∪ {ω} の順序位相と同相になる。」 (参考) https://ja.wikipedia.org/wiki/%E3%82%B3%E3%83%B3%E3%83%91%E3%82%AF%E3%83%88%E5%8C%96 コンパクト化 (抜粋) ・自然数全体(離散位相)N の一点コンパクト化は Nに最大元 ω を付け加えた順序集合 N ∪ {ω} の順序位相と同相になる。 https://ja.wikipedia.org/wiki/%E5%AE%9F%E5%B0%84%E5%BD%B1%E7%9B%B4%E7%B7%9A 実射影直線 実射影直線のモデルとして射影補完実数直線(英語版)がある。 位相幾何学的には、実射影直線は円周に同相(位相的円周)である。 実射影直線の複素数版は複素射影直線、いわゆるリーマン球面である。 https://upload.wikimedia.org/wikipedia/commons/thumb/4/4c/Real_projective_line.svg/220px-Real_projective_line.svg.png 実射影直線は射影的補完実数直線(英語版)(実数直線にただひとつの無限遠点を付け加えた、R の一点コンパクト化)でモデル付けできる <サル石を叩くための記録-その3-> −おさるさん、”自然数論・整数論・有理数論には無限集合は必要ない”編−w(^^; 496 名前:132人目の素数さん[] 投稿日:2019/08/11(日) 17:24:39.57 ID:aa8277WX [25/33] 自然数論・整数論・有理数論には無限集合は必要ない しかし実数論・複素数論には無限集合が必要 >>528 補足(^^; 518 名前:132人目の素数さん[] 投稿日:2019/08/11(日) 20:13:44.17 ID:aa8277WX [31/33] >無限集合たる自然数 致命的な誤り {}のどこが無限集合?(嘲) {{}}のどこが無限集合?(嘲) {{}、{{}}}のどこが無限集合?(嘲) いくらでもつづけられるが どこにも無限集合はでてこない(嘲) 520 自分:現代数学の系譜 雑談 古典ガロア理論も読む ◆e.a0E5TtKE [] 投稿日:2019/08/11(日) 20:21:56.09 ID:D5VJA43k [28/32] >>518 ほんとにお前はサイコパス(一句) >どこにも無限集合はでてこない(嘲) だから、”無限公理がないと、無限集合としての自然数が構成できない”よと 分っているじゃんか 無限集合としての自然数の構成には、無限公理必須だとw(^^; 521 返信:132人目の素数さん[] 投稿日:2019/08/11(日) 20:34:48.00 ID:aa8277WX [32/33] >>520 間違ってる 0となる{}と+1となる操作であるX∪{X}があればいい 個々の自然数を生むだけなら無限集合も無限公理も必要ない >>528 補足 >自然数論・整数論・有理数論には無限集合は必要ない 1)素数が無限にあるのに、自然数は有限集合だと?w 2)整数 代数構造 ”Z は 1 の生成する無限巡回群”らしいけど、有限集合なん?(^^ 3)有理数は、”体”らしいけど、有限集合なん?(^^ 4)有理数は、稠密順序集合で二つの有理数の間には(それがいくら近い値だとしても)少なくとも一つ(従って無数の)有理数が存在するらしいけど、有限集合なん?(^^ 「無限集合は必要ない」か、常識ないんか? (参考) https://mathtrain.jp/prime 素数が無限にあることの美しい証明 | 高校数学の美しい物語 2016/10/05 https://ja.wikipedia.org/wiki/%E6%95%B4%E6%95%B0 整数 (抜粋) 代数構造 整数の全体 Z が加法に対してアーベル群となる Z は 1 の生成する無限巡回群 ?1? になる。特に Z は同型の違いを除いて唯一の無限巡回群である。 零因子の非存在以外の全ての性質を合わせれば、整数の全体 Z は単位的可換環であることがわかる。 整数全体の成す環は整数環と呼ばれる。 https://ja.wikipedia.org/wiki/%E6%9C%89%E7%90%86%E6%95%B0 有理数 (抜粋) 基本性質 有理数体と呼ばれる体を成す。また、有理整数環 Z の商体である。加えて、有理数体 Q は標数 0 の体の中で最小のもので、標数 0 の素体と呼ばれる(すなわち、標数が 0 であるような任意の体は、必ず Q に同型な部分体を含む)。 Q は可算無限集合である(これはたとえば、分母と分子の組を二次元平面上の格子点と考え、うずまき状に辿って自然数と対応付ければよい)。 Q は通常の大小関係を順序として全順序集合であり、特に稠密順序集合となる。 すなわち、二つの有理数の間には(それがいくら近い値だとしても)少なくとも一つ(従って無数の)有理数が存在する。 オストロフスキーの定理によれば、Q 上の非自明な絶対値は同値の違いを除いて通常の絶対値か p-進絶対値で尽くされる。 <サル石を叩くための記録-その4-> −リーマン球面の∞とか射影平面の無限遠直線を考えるのに、無限公理は必要ない”編−w(^^; 436 自分返信:現代数学の系譜 雑談 古典ガロア理論も読む ◆e.a0E5TtKE [] 投稿日:2019/08/11(日) 08:23:48.38 ID:D5VJA43k [4/34] >>430 >スレ主 ←実無限と可能無限の区別さえ知らず、 スレ主 ←実無限と可能無限の区別は、数学では不要だという(>>429 ) >無限公理と無限集合を自然数の集合のことだと思っていた馬鹿(笑 無限公理より以前に、リーマンは拡張複素数として∞を数として扱いました(>>434 ) 無限公理は、リーマンらの19世紀数学の成果を、公理の体系としてまとめ上げるために、必須とされる公理です これが、無限公理の位置付けです 無限公理があって、無限集合が生じ、拡張された数としての∞が生じる 但し、それは公理体系の中でです 歴史的には、∞が先で、無限公理が後です(^^; 443 返信:132人目の素数さん[] 投稿日:2019/08/11(日) 09:04:41.49 ID:aa8277WX [2/33] >>436 >∞が先で、無限公理が後 リーマン球面の∞とか射影平面の無限遠直線を考えるのに、無限公理は必要ない 471 自分:現代数学の系譜 雑談 古典ガロア理論も読む ◆e.a0E5TtKE [] 投稿日:2019/08/11(日) 10:38:08.59 ID:D5VJA43k [9/34] >>443 >>∞が先で、無限公理が後 >リーマン球面の∞とか射影平面の無限遠直線を考えるのに、無限公理は必要ない サルの言っていることは意味不明だな 現代数学は、公理体系の元で成立っている ZFC公理系を採用すると、 ZFC公理系のもとで、いろんな集合が構成できる 例えば 自然数→整数→有理数→実数→複素数などが順に構成できる その先に、集合論の中で、複素関数とそのベースたるリーマン球面が構成できる 全く、サルの言っていることは意味不明だな(^^ 歴史的には、∞が先で、無限公理が後です(^^; 決定番号=∞ ∞に近い巨大数 無限集合を扱うには選択公理が必要 無限を理解できない白痴スレ主 飽きもせず二大馬鹿の死闘が続いているが、 全ての自然数を含めれちゃう集合A そんな、集合Aが存在するなんて、 地球人の戯言に過ぎない。 しかし、自然数は無限個あり、 ある無限より、大きい自然数は、 存在し、何が何でも無限個存在させる。 地球の無限公理は、偽の命題である。 このΩ星人の考えが正解(笑 スレ主は誤読しているようだが、 >しかし、自然数は無限個あり、 >ある無限より、大きい自然数は、 >存在し、何が何でも無限個存在させる。 この「自然数は無限個ある」 という考えが無限公理であり、 Ω星人は無限公理を否定しているのである(笑 いや、Ω星人がどういう意味で書いているかは不明だが、 そういう意味で書いていると信じたい(笑 おそらくΩ星人は、市川氏のサイトを読んで、 市川氏が正しいことが分ったのだろう。 ところがサル石は、市川氏と何年も論争していながら、 ついに市川氏の正しさが理解できなかったアホである(笑 スレ主もおそらく市川氏を理解できないだろう(笑 というのはサル石とスレ主は、 現代数学は絶対に正しいと思っており、 大学で教えられ、教科書に書かれている数学が、 絶対に間違いであるはずがない、と信じているからだ(笑 Ω星人はいつも変なことを書いている男だが、 頭が柔らかく、自由な発想ができる男だ。 サル石やスレ主のような頭が凝り固まった男でもなく、 数学知識があると高慢になっている男でもない。 だから市川氏の説を読んで、それが理解できる。 ところがサル石やスレ主のような男は、 知識があるとうぬぼれており、 しかも世の中の権威というものを無条件に崇拝するアホだから、 市川氏がどんなに正しいことを説いても聞く耳を持たない。 数学の権威が言うことは全部正しい、 wikipediaの数学記事は全部正しいと思っているアホである(笑 >>522 自然数論では、個々の自然数(もちろん有限集合)は必要だが 自然数全体の集合(もちろん無限集合)は必要ない スレ主はこの根本が分からない白痴 >>530 >1)素数が無限にあるのに、自然数は有限集合だと?w 個々の自然数は有限集合 0(={})は有限集合 スレ主には反論不能 はいスレ主1敗 1(={{}})は有限集合 スレ主には反論不能 はいスレ主2敗 2(={{}、{{}}}は有限集合 スレ主には反論不能 はいスレ主3敗 ・・・ どこまでつづけても、ステ主は反論不能、はいスレ主1つも勝てずw 自然数論では個々の自然数が存在すればよく、 自然数全体の集合が存在する必要はない スレ主はこの簡単な事実が分からん白痴w それでもスレ主は、時枝は一流の学者だが、 しかし時枝は間違っていると思っただけましだ(笑 スレ主の時枝不成立の理由は間違いだらけだが、 それでも時枝不成立と判断しただけましだ(笑 ところがサル石は未だに時枝成立と思っている(笑 その理由は、時枝は一流の学者だから、 時枝が間違いであるはずがない、と思っているからだ(笑 サル石という男は異常なほど権威が好きな男で、 だからパリ高等師範学校卒だとか、東大卒と見栄を張る(笑 東京生まれであることさえ自慢している(笑 こんな男が市川氏のような数学の素人ということに 耳を貸すはずがない(笑 >2)整数 代数構造 ”Z は 1 の生成する無限巡回群”らしいけど、有限集合なん? 整数の理論では、個々の整数が存在すればよく、 整数全体の集合Zが存在する必要はない スレ主はこの簡単な事実が分からん白痴w >3)有理数は、”体”らしいけど、有限集合なん? 有理数の理論では、個々の有理数が存在すればよく、 有理数全体の集合が存在する必要はない スレ主はこの簡単な事実が分からん白痴w >>532-533 >決定番号=∞ >∞に近い巨大数 >無限集合を扱うには選択公理が必要 >無限を理解できない白痴スレ主 それ、まさに下記のジー校長とノブ教頭の会話そっくりw(^^ ID:2crO5E4V氏の脳内、市川秀志氏=ジー校長にそっくり 多分、おれ、ノブ教頭に近い 但し、”無限集合を構成するには無限公理が必要”ってこと 無限集合が構成できた後、”∞”が使える 「1/2+1/4+1/8+1/16+…=1」が成立するってことになる ID:2crO5E4V氏の脳内、市川秀志氏=ジー校長にそっくりw(^^ http://park20.wakwak.com/ ~ichikawa-clinic/2-nn.htm ◆ 自然数 市川秀志 (抜粋) ジー校長は怒って言いました。 「では、自然数は数えられるか?」 話の脈絡がわからないノブ教頭は、戸惑いながらも答えました。 「数えられます」 「・・・、6,7,8,9,10,11」 「まだ、12を数えていないぞ」 「きりがないです」 「これは終わりがないということだ。自然数を数え続けることができるけれども、数え終わることはできない。その理由は、自然数が無限にあるからだ」 「任意の自然数は1から順番に作られます。しかし、この方法ですべての自然数を作り上げることはできない、ということをおっしゃりたいのでしょうか?」 「さっきから、そう言っておるではないか」 「でも…」 つづく >>542 つづき ノブ教頭は以前に聞いたことのあるマシンを思い出しました。それは、自然数をすべて数えることができるマシンです。 「ジー校長、すべての自然数をカウントできるマシンがあります」 校長はびっくりして聞きました。 「なんだ、それは?どこにあるんだ」 「私の頭の中です。このマシンは、最初の1/2秒で1をカウントします。次の1/4秒で2をカウントします。次の1/8秒で3をカウントします。このマシンを使えば、1秒後にすべての自然数をカウントできます。だから、自然数はすべて数えられます」 ノブ教頭は、校長室の白板に次のような無限級数の和を書きました。 1/2+1/4+1/8+1/16+…=1 「では、1秒後にカウントした自然数は何だ?」 「最後の自然数です」 「だから、それは何だ?」 「たぶん、無限大でしょう」 「無限大は自然数ではない」 ジー校長とノブ教頭がやり合っている最中に、なにやら変な声が聞こえ始めました。 (引用終り) >4)有理数は、稠密順序集合で二つの有理数の間には >(それがいくら近い値だとしても)少なくとも一つ >(従って無数の)有理数が存在するらしいけど、 >有限集合なん? 個々の有理数は有限集合 スレ主はこんな基本的なことすら知らん白痴w サル石というアホは 自然数全体の集合 整数全体の集合 有理数全体の集合 が存在すると思っている(笑 Ω星人はそんな集合は存在しないと気付いたのだが、 サル石というアホは気付かない(笑 >「では、1秒後にカウントした自然数は何だ?」 >「最後の自然数です」 スレ主はトンデモw 1秒後には自然数はカウントしない 最後の自然数は存在しないから ∞は自然数ではない サル石というアホは、 自然数と個々の自然数は別だ、と思っているらしい(笑 こういうアホ丸出しの区別をしたがるのが サル石というアホである(笑 自然数とは個々の自然数を指すのである(笑 >>540-541 (引用開始) 整数の理論では、個々の整数が存在すればよく、 整数全体の集合Zが存在する必要はない 有理数の理論では、個々の有理数が存在すればよく、 有理数全体の集合が存在する必要はない (引用終り) 出ました!! サイコパスの論”めためた”の屁理屈が!ww(^^; それ正確には 小学校算数の 整数の理論では、個々の整数が存在すればよく、 整数全体の集合Zが存在する必要はない 小学校算数の 有理数の理論では、個々の有理数が存在すればよく、 有理数全体の集合が存在する必要はない ってことな おまえのギャグ笑えるわ(^^ 吉本へいけ!w(^^ >>545 哀れな素人は国文科卒のくせに日本語が読めないらしい 自然数論・整数論(解析学を使用しない場合)・有理数論・代数的数論 は、それぞれの全体の集合を考える必要がない したがって「無限集合」は必要ない そんなことも知らんのか バカチンが >>547 スレ主が「自然数」を「自然数の全体の集まり」と誤用しているから その間違いを示すために「自然数」を「個々の自然数」と強調した 文句は馬鹿スレ主のみに云えw >>548 小学校も大学も違わない ∀x (すべてのx) で、xの範囲が自然数全体だとしても、 それが集合を為す必要はない 現に集合論で ∀x (すべてのx) のxの範囲は集合全体だが、 それは集合ではなくクラスだw >>549 日本語が読めないのはお前(笑 自然数論・整数論・有理数論・代数的数論で 全体の集合を考える必要がある、 などと僕がどこに書いた(笑 お前、レスも読めないのか朝鮮人(笑 現に集合論で ∀x (すべてのx) のxの範囲は集合全体だが、 それは集合ではなくクラスだw ↑クラスなどというインチキ概念を正しいと思っているアホ(笑 お前には数学は無理(笑 教科書を丸暗記することだけがお前の能力(笑 >>549-551 (引用開始) 小学校も大学も違わない ∀x (すべてのx) で、xの範囲が自然数全体だとしても、 それが集合を為す必要はない 現に集合論で ∀x (すべてのx) のxの範囲は集合全体だが、 それは集合ではなくクラスだw (引用終り) 出ました!! サイコパスの論理”めためた”の屁理屈がww(^^; おまえのギャグ笑えるわ 吉本へいけw(^^ >>553 哀れな素人さん、どうも。スレ主です。 >お前には数学は無理(笑 同意。サルに数学は無理w(^^; >教科書を丸暗記することだけがお前の能力(笑 いや、多分サイコパスなので、論理破綻を気にせず その場しのぎの屁理屈こね回しに走りがちだ この性格では、自己の論理貫徹に厳しく徹する数学は無理でしょうね(^^; >>542 補足 >無限集合が構成できた後、”∞”が使える >「1/2+1/4+1/8+1/16+…=1」が成立するってことになる この話、>>18-19 で書いた 「0.33333……=1/3」を、コンパクト化して、N ∪ ωとかを考えると (あるいはリーマン球面内に埋め込まれた自然数の集合Nを考えても同じだが) すっきり理解できるだろうってこと 2進表現で書けば 0.1111・・・=1/2+1/4+1/8+1/16+・・・ ってこと これ 10進表現の 0.9999・・・=9/10+9/10^2+9/10^3+9/10^4+・・・ と同じ コンパクト化した、N ∪ ω (あるいはリーマン球面中の自然数の集合N)を考えれば ”1に等しい”ってことが、容易に納得できるだろうってこと 時枝でも同じことを言ったが コンパクト化の思想が分らない低脳がいるな(>>532 な)(^^ >>121 補足 <時枝記事について> 1.時枝記事は、可算無限長の数列を、例えば100列に並べ変えて ある列のD番目の箱が、確率99/100(列数を増やすと確率1−ε)で的中できるという 2.しかしながら、100列をビデオの逆回しのように、もとの1列に戻すと ある列のD番目の箱が、1列ではD’番目になったとして D’番目の中の数が、他の箱と独立なら、他の箱の数をいくら覗いたところで D’番目の中の数の的中確率は変わらない(下記”独立”の定義ご参照) 3.つまり、D’番目の中の数として、サイコロの目を入れれば、確率1/6 コイントスの{0,1}を入れれば、確率1/2 独立の定義から、他の箱がどうであれ、確率1/6や確率1/2は不変 4.ところで、時枝記事で可算無限長の数列→有限長のの数列にすれば、不成立は全員同意している (∵ 時枝記事の数列しっぽの同値類は、最後尾の箱で決まってしまうので、決定番号の大小比較の確率が無意味になるから) 5.また、可算無限長の数列→N ∪ ωでコンパクト化した可算無限長の数列を考えても同様 (∵ 有限と同様に、時枝記事の数列しっぽの同値類は、最後尾の箱で決まってしまうので、決定番号の大小比較の確率が無意味になるから) 6.こう考えると、上記3の”独立の定義から、他の箱がどうであれ、確率1/6や確率1/2は不変”が納得しやすいだろうと説明した (時枝の可算無限長の数列では、しっぽの同値類の決定番号のトリックを見破ることが難しくなっているだけで、”数学としては不成立”が納得しやすいだろうということ) この説明と証明を混同するサルがいる(>>532 な(^^; )(数学的な証明は3で終わっている) (参考) https://ja.wikipedia.org/wiki/%E7%8B%AC%E7%AB%8B_ (%E7%A2%BA%E7%8E%87%E8%AB%96) 独立 (確率論) (抜粋) 2つの事象が独立といった場合は、片方の事象が起きたことが分かっても、もう片方の事象の起きる確率が変化しないことを意味する。 2つの確率変数が独立といった場合は、片方の変数の値が分かっても、もう片方の変数の確率分布が変化しないことを意味する[1]。 >>536 逆だよ。 直観で理解し辛いからといって、自然数は無限個存在しているという現実を無視して 無限集合を認めない方こそ頭が固い。 国文バカは頭が固いのでいつまで経っても数学を理解できない。 >>558 >自然数は無限個存在しているという現実 そんな現実がどこにあるのか(笑 少しは現実的にものを考えろ馬鹿(笑 >>556 を見るとスレ主は 1/2+1/4+1/8+1/16+…=1 0.33333……=1/3 と考えているようだ(笑 嗚呼、スレ主とサル石というアホが常連のスレ(笑 >>539 時枝記事に言及するなら大学2年程度の数学は勉強してこいよ 勉強もしない甘ったれが勝手なこと抜かしてんじゃねーよバカ 時枝成立派は全員時枝記事前半は認め、時枝記事後半は認めていない つまり時枝は一流の学者うんぬんはおまえの邪推 そのような邪推をしているおまえの方こそ権威に捕らわれている 勉強しない甘ったれは権威に捕らわれる、おまえやスレ主のように >>561 勉強もしない甘ったれとはお前のことではないか(笑 僕はお前らから同値とか同値類の意味を教えてもらって、 すぐに時枝のいう同値類は存在しないことを証明した(笑 それなのにお前はアホだから分っていない(笑 働かない甘ったれが何をエラソーに(笑 少しは世間に出て働いてみろ、甘ったれニート(笑 >>542 このバカ何言ってんだ?w 暑さで脳みそイカれたか?w >決定番号=∞ >∞に近い巨大数 >無限集合を扱うには選択公理が必要 はおまえの発言なんだがw >>562 話にならんなこのバカはw いいからおまえ失せろ 目障り >>561 サルがw(^^ >時枝成立派は全員時枝記事前半は認め、時枝記事後半は認めていない 時枝成立派って、二人か あるいはひょっとすると一人w(^^ >>564 こらこら サルが仕切るんじゃない! お前が、去る(ギャグ)だよ、ちゃんちゃんw(^^ >>563 >決定番号=∞ >∞に近い巨大数 >無限集合を扱うには選択公理が必要 あのなー もし、決定番号の集合が、可算無限集合だとすれば 決定番号の集合を扱う場合に限っては、可算選択公理で済む可能性が高い なお、同値類と代表を、R^N全てで実行せず、実際に使う100列に限定すれば、100個の同値類と100個の代表で済むんだぜ https://ja.wikipedia.org/wiki/%E9%81%B8%E6%8A%9E%E5%85%AC%E7%90%86 選択公理 (抜粋) 4 歴史 5 バナッハ=タルスキーのパラドックスと選択公理 6 代わりとなる公理 7 選択公理の変種 7.1 可算選択公理 7.2 有限集合の族に対する選択公理 https://ja.wikipedia.org/wiki/%E5%8F%AF%E7%AE%97%E9%81%B8%E6%8A%9E%E5%85%AC%E7%90%86 可算選択公理 (抜粋) 応用 ZF に ACωを付け加えた公理系では、可算集合の可算和が可算であることや、任意の無限集合がデデキント無限であることなどが証明できる[1]。 実数論においては選択公理ではなく可算選択公理で事足りる場合が多い[1]。例えば集積点が極限点であること、 すなわち「xが実数 Rの部分集合 Sの集積点ならば、xに収束するS\{x}の数列が存在する」 という命題を証明したい場合にはACωを用いれば十分である。 また、距離空間論において、可分距離空間の任意の部分集合が可分であることを示す際にも用いられる[1]。 >>567-568 わしがガロアすれの、スレ主であーる!!w(^^; https://dic.pixiv.net/a/%E6%B1%9F%E7%94%B0%E5%B3%B6%E5%B9%B3%E5%85%AB 江田島平八 えだじまへいはち わしが男塾塾長、江田島平八であーる!!(訳:週刊少年ジャンプの連載作品「魁!!男塾」の登場キャラクターで、この台詞に彼の全てが集約されている。) >>569 追加 あんまし関係ないけど、貼る(^^ http://samidare.halfmoon.jp/mathematics/AxiomOfChoice/index.html 1+2+3+・・・・ = -1/12な部屋 数学界に大論争を呼んだ選択公理(1/2) 2015/01/12 (抜粋) 「・・・・もしかしたら選択公理は矛盾を含むかも(しれない)。危ないからしばらく選択公理の使用は禁止」 との疑惑が勃発し、 「選択公理は採用するべきだ/しないべきだ」と 過去の数学界を真っ二つにするほどの大論争を呼びました。 Cだけ最後にちょこーっと付け加えられてるのは この争いに争って、 「ZFが基本だから。使いたい人だけオプションで選択公理を使えばいいよ」って事になったからです。^^; 「選択公理」とは 「与えられた集合の族に対し、各集合から適当な要素一つを選択し、新しい集合を構成する事」です。 もっと正確に言えば、「選択関数の存在」、 および「選択関数からは矛盾が引き起こされない事を数学的に保証する」 事を言います。 選択公理のヤバい所は・・・縦↓じゃなくて横→の方なんですね。^^; 「選択」と言うのは1つの動作であるわけです。 入力Sは無限の要素を持っていますから、 それに入力S→出力Dを作るには 「選択」を無限回行わなければいけない。 それは果たして可能であるのか? 以前にも紹介した 「面積の測れない不思議な図形」や 「バナッハ=タルスキーのパラドックス」など 「数学的にパラドキシカル(に見える)な結果を含む 研究と言うのは、 まずほとんど選択公理が使わてる」んです。 つづく >>572 つづき 数学界の問題児。 何かきな臭い、異常に見える事件が起こった時は確実に選択公理が使われてます。 実は 「選択公理とは『無限回を超える回数の選択を行う』行為」 を許してしまう事だと気づく。 選択公理は その気になれば到達不可能基数回数に対してだって選択を行ってしまいます。 ・・・あああ。これはヤバい。 人間は到達不可能基数に到達できません。(名前の通り) その未知の対象、人間の能力を超える基数を相手に 選択公理は到達不可能基数回数でも選んでみせると豪語しておるわけで。 http://samidare.halfmoon.jp/mathematics/AxiomOfChoice/index2.html 数学界に大論争を呼んだ選択公理(2/2) 2015/01/12 (抜粋) http://samidare.halfmoon.jp/mathematics/AxiomOfChoice/W1.png Wは数学の完全体。数学の学問としての全ての研究対象はこの中に詰まっています。 逆に言えば、Wに属さない構造を持った集合は矛盾を孕む可能性があるので (例:ラッセルの集合。 R = {x:R?x}) 数学としては研究の対象になりません。 http://samidare.halfmoon.jp/mathematics/AxiomOfChoice/W2.png 例え宇宙が無限に広いと言っても、人間の目で観測できる範囲にしか 人間には知る術はなく、 手の届かない範囲は学術的に全くタッチできないんです。 http://samidare.halfmoon.jp/mathematics/AxiomOfChoice/W3.png ゲーデルはそれを厳密に考察して 「構成可能集合L」を構築しました。 LはWのサブセットで、 Wの中から「人間が有限の文章で記述できる範囲」に絞った物と考える事ができます。 つづく >>572 つづき ちなみに・・・はい。 到達不可能基数サイズを持つモデルの中には 選択公理の否定、すなわち選択公理からパラドックスを導くモデルもあります。 (コーエン1960年の論文) まとめると: ・選択公理は完全無矛盾ではない。適用すると矛盾の発生するモデルもある。 ・が、そのモデルはL以上の複雑さを持っており、人間には記述不可能。 ・人間の記述できる数学、構築可能集合Lの中では選択公理は無矛盾 ・よって実質的には選択公理を「(通常の環境下では)矛盾を含まない」、 絶対的な真理、 公理として採用することには問題はない。 ってな事がその後の研究でわかり、 晴れて選択公理は無矛盾。常に真として成立する絶対的な真理。 集合論の公理の1つとして採用する至りとなったわけです。 ご拝聴ありがとうございました。 (引用終り) 以上 >>569 >もし、決定番号の集合が、可算無限集合だとすれば >決定番号の集合を扱う場合に限っては、可算選択公理で済む可能性が高い これは酷い スレ主は時枝記事も選択公理もまったく分かってない 分かってないのに不成立だ不成立だと喚いている これを荒らしと言わず何と言えばよいのか? >>564 話にならない目障りなバカはお前(笑 依然として時枝成立と思っているアホ(笑 それだけならまだしも、 Ω星人が理解したことも理解していない(笑 つまりお前はΩ星人以下のアホ(笑 >>576 分かってないのに成立だ成立だと喚いているのがお前(笑 >>577 時枝記事に言及したいなら大学2年までの教程を履修せよ、話はそれからだ ど素人が口から出まかせに発言しても無意味だ つまりこのスレが延々と時枝問題で続いているのは、 サル石というアホ猿が一匹混じっているせいである(笑 このアホはフツーの人がフツーに 理解できることが理解できないアホ猿だから、 このアホを納得させるのは永遠に無理(笑 >>578 お前は大学2年までの教程を履修しても理解できないのか(笑 だからお前には数学は無理なのだ(笑 いや、その前に時枝記事含め現代数学は無限公理を認める立場だから、無限公理を認めないお前は現代数学に言及する資格が無い。 だからここから失せろ。 なにしろこのサル石というアホは ケーキを食べ尽くすことはできない、 ということすら理解できないアホなのである(笑 世間の利口な人がこのスレを読んでいたら、 世の中にこんなアホがいることに驚くだろう(笑 そしてこんなアホが数学をやっていることに呆れるだろう(笑 ■ このスレッドは過去ログ倉庫に格納されています
read.cgi ver 07.5.5 2024/06/08 Walang Kapalit ★ | Donguri System Team 5ちゃんねる