[過去ﾛｸﾞ] 現代数学の系譜 カントル 超限集合論 (1002ﾚｽ)
上下前次1-新
抽出解除 ﾚｽ栞
このｽﾚｯﾄﾞは過去ﾛｸﾞ倉庫に格納されています｡
次ｽﾚ検索 歴削→次ｽﾚ 栞削→次ｽﾚ 過去ﾛｸﾞﾒﾆｭｰ
ﾘﾛｰﾄﾞ規制です｡10分ほどで解除するので､他のﾌﾞﾗｳｻﾞへ避難してください｡
421(2): 現代数学の系譜 雑談 ◆e.a0E5TtKE 2019/10/14(月)10:47 ID:w6tqRMw5(6/8)調 AAS
>>418
＞ 2のすぐ下の元がないから、そもそも降下列にならないｗ
おまえの「降下列」の定義は？
おれは、上昇列の双対の意味で、「降下列」を使っている
だから、
降下列があれば、その双対で上昇列があり
上昇列があれば、その双対で降下列が存在する
424: 現代数学の系譜 雑談 ◆e.a0E5TtKE 2019/10/14(月)10:53 ID:w6tqRMw5(7/8)調 AAS
>>421
補足
下記、
反対圏（=双対圏）の
例 ”半順序”な（＾＾
（参考）
https://ja.wikipedia.org/wiki/%E5%8F%8D%E5%AF%BE%E5%9C%8F
反対圏
(抜粋)
圏論という数学の分野において，与えられた圏 C の反対圏（はんたいけん，英: opposite category），逆圏（ぎゃくけん）あるいは双対圏（そうついけん，英: dual category）Cop は射を逆にする，つまり，各射の始域と終域を交換することによって作られる．
逆にする操作を2回やるともとの圏になるので，逆圏の逆圏はもとの圏自身である．
記号で書けば， (C^op)^op=C である．
例
例の1つは半順序の不等式の向きを逆にして得られる．つまり X が集合で <= が半順序関係のとき，新しい半順序関係 <=new を
x <=new y ⇔ y <= x
によって定義できる．例えば，子と親，あるいは子孫と先祖という逆のペアがある．
426: Mara Papiyas ◆y7fKJ8VsjM 2019/10/14(月)10:54 ID:llLaGKvq(5/8)調 AAS
>>421
＞おれは、上昇列の双対の意味で、「降下列」を使っている
降下列を定義するのは馬鹿の貴様ではないｗ
数学者がすでに定義している
理解できずに嘘定義をデッチあげる貴様が馬鹿ｗ
貴様、正規部分群の定義でやらかした
自分の恥ずかしい間違いから何も学んでないのか？ｗｗｗ
上下前次1-新書関写板覧索設栞歴
ｽﾚ情報 赤ﾚｽ抽出 画像ﾚｽ抽出 歴の未読ｽﾚ AAｻﾑﾈｲﾙ
ぬこの手 ぬこTOP 0.042s