一松信先生と統一教会

[過去ﾛｸﾞ] 一松信先生と統一教会 (1002ﾚｽ)
上下前次 1-新

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

973: 2023/06/19(月)16:08 ID:S6exEgkM(24/31) AAS
φ: X〈a〉≃Y〈b〉を考える

974: 2023/06/19(月)16:09 ID:S6exEgkM(25/31) AAS
=

975: 2023/06/19(月)16:09 ID:S6exEgkM(26/31) AAS
≡

976: 2023/06/19(月)16:09 ID:S6exEgkM(27/31) AAS
≅

977: 2023/06/19(月)16:10 ID:S6exEgkM(28/31) AAS
⇔

978: 2023/06/19(月)16:10 ID:S6exEgkM(29/31) AAS
~

979: 2023/06/19(月)16:10 ID:S6exEgkM(30/31) AAS
≈

980: 2023/06/19(月)16:11 ID:S6exEgkM(31/31) AAS
≃

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)