Inter-universal geometry と ABC予想 (応援スレ) 73 (712ﾚｽ)
上下前次1-新
抽出解除 ﾚｽ栞
18: １３２人目の素数さん [] 07/21(月)08:01:32.92 ID:XGKMtihH(1)
2chｽﾚ:math
118: 死狂幻調教大師S.A.D.@月と六ベンツ [] 07/31(木)20:35:37.92 ID:zfdZw6/s(7/34)
集合の中にも。
163: 死狂幻調教大師S.A.D.@月と六ベンツ [] 08/01(金)00:26:29.92 ID:1t6/xN+D(3/28)
数学は正義ではないよ。悪だ。
240: １３２人目の素数さん [] 08/02(土)14:33:18.92 ID:E5xLBw1U(16/23)
>>233
>つまり前者の式は、後者の式の無限集合Aの部分集合 を意図*)していると思うのだが
無限公理が存在を主張してるのは帰納的集合。帰納的集合は無限集合だが一般に逆は偽だからきちんと区別しろ馬鹿。
Aは任意の帰納的集合と定義されている。
x⊂AなんだからxはAの部分集合なのは当たり前。
意図は関係無い。誰が書いたかも関係無い。馬鹿かおまえは。
>(注*)ある無限集合Aにおける 帰納的の部分を含むなにか無限である部分を意図している らしい)
だからｗ
任意の帰納的集合Ａの部分集合で帰納的集合であるもの全体の集合。
これ初歩の初歩の初歩やぞ。おまえはそこから分かってない。論外。数学板で語るな馬鹿。
297(1): １３２人目の素数さん [] 08/04(月)00:33:04.92 ID:iR8wXkhe(2/24)
>>271
分からないなら黙ってればいいのになんでわざわざ赤っ恥かきたがるの？ 変態？
516(1): １３２人目の素数さん [] 08/11(月)21:21:17.92 ID:MtMWibfm(11/18)
>>515
> オレがスレ主だよ！！ （＾＾
バカはスレ立て禁止。バカにも人権があると思った？ 無いよ
>下記を百回音読してねｗｗ
どこを音読しても実数の整列順序は書いてなくて草
君、言葉が分からないの？ 言語障害？ 病院行きなよ
638(1): 現代数学の系譜 雑談 ◆yH25M02vWFhP [] 08/14(木)10:54:05.92 ID:1dI79/KQ(2/8)
つづき
U-small vs. U-large:
In this context, a set is considered "U-small" if it belongs to the universe U, and "U-large" otherwise.
Foundation for Category Theory:
This approach allows for the construction of categories with large collections of objects and morphisms, which are essential for certain areas of category theory, without encountering Russell's paradox or other foundational issues.
Alternative to ZFC:
While ZFC (Zermelo-Fraenkel set theory with the axiom of choice) is a common foundation for mathematics, MacLane's proposal provides an alternative by using the concept of a Grothendieck universe.
Key Concepts:
The use of a Grothendieck universe allows for the development of concepts like small limits and colimits within the category of U-small sets, which are fundamental in category theory.
(引用終り)
https://handwiki.org/wiki/Conglomerate_(set_theory)
Conglomerate (set theory)
From HandWiki
In mathematics, a conglomerate is a collection of classes, just as a class is a collection of sets.[1] A quasi-category is like a category except that its objects and morphisms form conglomerates instead of classes.[1] The subclasses of any class, and in particular, the collection of all classes (every class is a subclass of the class of all sets), form a conglomerate.
References
1. Adamek, Jiri; Herrlich, Horst; Strecker, George (1990). Abstract and Concrete Categories: The Joy of Cats. Dover Publications. ISBN 978-0-486-46934-8.
https://en.wikipedia.org/wiki/Conglomerate_(mathematics)
Conglomerate (mathematics)
In mathematics, in the framework of one-universe foundation for category theory,[1][2] the term conglomerate is applied to arbitrary sets as a contraposition to the distinguished sets that are elements of a Grothendieck universe.[3][4][5][6][7][8]
Definition
The most popular axiomatic set theories, Zermelo–Fraenkel set theory (ZFC), von Neumann–Bernays–Gödel set theory (NBG), and Morse–Kelley set theory (MK), admit non-conservative extensions that arise after adding a supplementary axiom of existence of a Grothendieck universe
U. An example of such an extension is the Tarski–Grothendieck set theory, where an infinite hierarchy of Grothendieck universes is postulated.
つづく
661(1): 死狂幻調教大師S.A.D.@月と六ベンツ [] 08/14(木)18:57:13.92 ID:Y0x74hvt(10/10)
女性と距離を取るというのは有利かもな。
上下前次1-新書関写板覧索設栞歴
ｽﾚ情報 赤ﾚｽ抽出 画像ﾚｽ抽出 歴の未読ｽﾚ AAｻﾑﾈｲﾙ
ぬこの手 ぬこTOP 0.025s