一松信先生と統一教会

[過去ﾛｸﾞ] 一松信先生と統一教会 (1002ﾚｽ)
上下前次1-新
抽出解除必死ﾁｪｯｶｰ(本家) (べ) ﾚｽ栞あぼーん

このｽﾚｯﾄﾞは過去ﾛｸﾞ倉庫に格納されています｡
次ｽﾚ検索歴削→次ｽﾚ栞削→次ｽﾚ過去ﾛｸﾞﾒﾆｭｰ

981: 2023/06/19(月)17:38 ID:eAzAGLYL(1/20) AAS
x∈X<a>に対して
y=φ(x)とする

982: 2023/06/19(月)17:40 ID:eAzAGLYL(2/20) AAS
X<x>≃Y<y>となる

983: 2023/06/19(月)17:46 ID:eAzAGLYL(3/20) AAS
φ(a￮b)=φ(a)*φ(b)∧
逆写像が存在し∧
φ⁻¹(x*y)=φ⁻¹(x)￮φ⁻¹(y)
となる
a, b∈A、x, y∈B

984: 2023/06/19(月)17:47 ID:eAzAGLYL(4/20) AAS
順序を保つ写像

985: 2023/06/19(月)17:47 ID:eAzAGLYL(5/20) AAS
単射

986: 2023/06/19(月)17:48 ID:eAzAGLYL(6/20) AAS
a<b⇒φ(a)<φ(b)

987: 2023/06/19(月)17:48 ID:eAzAGLYL(7/20) AAS
単射なので

988: 2023/06/19(月)17:49 ID:eAzAGLYL(8/20) AAS
φ(a)<φ(b)⇒a<b
と言える

989: 2023/06/19(月)17:52 ID:eAzAGLYL(9/20) AAS
∀x∈X<a>→∃y∈Y<b>
かつ順序を保ち
かつ単射

990: 2023/06/19(月)18:09 ID:eAzAGLYL(10/20) AAS
x∈X、a∈X、
X<a>
x∈X<a>、x<a

991: 2023/06/19(月)18:10 ID:eAzAGLYL(11/20) AAS
元aによる切片

992: 2023/06/19(月)18:11 ID:eAzAGLYL(12/20) AAS
X=(3, 10)とすると
X<7>=(3, 7)

993: 2023/06/19(月)18:11 ID:eAzAGLYL(13/20) AAS
整列集合Xのうち

994: 2023/06/19(月)18:12 ID:eAzAGLYL(14/20) AAS
Xの、中のある元aに対して

995: 2023/06/19(月)18:12 ID:eAzAGLYL(15/20) AAS
x<a∧x∈X

996: 2023/06/19(月)18:13 ID:eAzAGLYL(16/20) AAS
となる元の集合

997: 2023/06/19(月)18:15 ID:eAzAGLYL(17/20) AAS
X<a>≃Y<b>となるbが存在するようなa全体の集合をX₁とする。

998: 2023/06/19(月)18:17 ID:eAzAGLYL(18/20) AAS
2つの整列集合(X, ≤)と(Y, ≤)がある

999: 2023/06/19(月)18:18 ID:eAzAGLYL(19/20) AAS
2つの集合, の、順序は同じものとする

1000: 2023/06/19(月)18:19 ID:eAzAGLYL(20/20) AAS
a→bで
aはX<a>が存在するようなもの
bはY<b>が存在するようなもの