21/08/21 19:57:40.03 kvCTkQ4a.net
>>111
つづき
この場合の代表系は“具体的に”構成するのは 難しい(というより, 実 はできない).
にもかかわらず, 選択公理を仮定する ということは, その 存在を認めることに他ならず, 必ずしも明らかなこととは なっていないのである.
URLﾘﾝｸ(researchmap.jp)
山上 滋 Shigeru Yamagami 名古屋大学 大学院多元数理科学研究科 基幹数理 元教授 (名誉教授)
数学を教えて糊口をしのぎ、量子物理を背景にした数学的構造のユニタリー表現と作用素解析で遊んでいました。
URLﾘﾝｸ(www.math.nagoya-u.ac.jp) 名古屋大 Shigeru's Scratchy Shelf
URLﾘﾝｸ(konn-san.com)
圏の骨格と選択公理 konn-san.com
要旨
選択公理と同値な命題として，圏論における骨格の存在定理を採り上げる． そのため，まず必要となる圏の知識を概説し，それから定理と選択公理の同値性証明に入る． 定理の存在自体は英語版 Wikipedia [???] の記事から見付けてきた．
圏の骨格の定義は MacLane [1] および檜山 [???] に拠る． 骨格の存在証明は，nLab [???] および Awodey [2] を参考にし たが，これらの主眼は骨格ともとの圏の同値性であり，また nLab での骨格の定義 は我々の採用しているものと異なるので，ここで紹介する証明はこれらとは若干 異なるか簡略化されたものとなっている．逆に，骨格の存在定理から選択公理を 導く証明は nLab の方に載っていたものを，より詳細に厳密に書き直したものを 掲載してある1．
URLﾘﾝｸ(math.shinshu-u.ac.jp)
集合論 花木 章秀 信州大学理学部数学科 講義ノート 2020 年度後期 (2021/01/22)
(引用終り)
以上