一松信先生と統一教会

**１３２人目の素数さん** · 2022/09/07(水) 20:22:32.07

素晴らしき一松信京都大学名誉教授の業績や著書、数学検定や受験産業との関わり、その他各種活動について語り合いましょう

**１３２人目の素数さん** · 2023/06/19(月) 15:37:26.77

A=φ(x)<xとする

**１３２人目の素数さん** · 2023/06/19(月) 15:37:54.75

A≠∅と仮定する

**１３２人目の素数さん** · 2023/06/19(月) 15:39:41.39

A≠∅よりAには最小元が存在する

**１３２人目の素数さん** · 2023/06/19(月) 15:40:30.32

それをaとすると

**１３２人目の素数さん** · 2023/06/19(月) 15:42:53.05

a∈A、φ(a)<aである。

**１３２人目の素数さん** · 2023/06/19(月) 15:43:09.20

ここで

**１３２人目の素数さん** · 2023/06/19(月) 15:44:17.28

φ(φ(a))<φ(a)

**１３２人目の素数さん** · 2023/06/19(月) 15:44:47.63

φは順序を保つ単射なので

**１３２人目の素数さん** · 2023/06/19(月) 15:45:43.10

φ(a)はAの定義を満たすので

**１３２人目の素数さん** · 2023/06/19(月) 15:47:58.17

これはaの最小性に反する

**１３２人目の素数さん** · 2023/06/19(月) 15:49:15.66

a, φ(a)∈Aでaが最小の筈なのに

**１３２人目の素数さん** · 2023/06/19(月) 15:50:00.96

φ(a)<aとなっている

**１３２人目の素数さん** · 2023/06/19(月) 15:59:31.16

x〈a〉≃Y〈b〉

**１３２人目の素数さん** · 2023/06/19(月) 16:02:03.13

**１３２人目の素数さん** · 2023/06/19(月) 16:02:19.57

⇔

**１３２人目の素数さん** · 2023/06/19(月) 16:02:36.18

≈

**１３２人目の素数さん** · 2023/06/19(月) 16:03:39.00

≅

**１３２人目の素数さん** · 2023/06/19(月) 16:04:12.18

≈

**１３２人目の素数さん** · 2023/06/19(月) 16:06:28.70

a∈X₁に対して

**１３２人目の素数さん** · 2023/06/19(月) 16:06:54.93

順序同型写像φ

**１３２人目の素数さん** · 2023/06/19(月) 16:07:36.87

φ: X〈a〉→Y〈b〉を考える

**１３２人目の素数さん** · 2023/06/19(月) 16:08:56.79

φ: X〈a〉≃Y〈b〉を考える

**１３２人目の素数さん** · 2023/06/19(月) 16:09:08.15

**１３２人目の素数さん** · 2023/06/19(月) 16:09:30.23

≡

**１３２人目の素数さん** · 2023/06/19(月) 16:09:47.04

≅

**１３２人目の素数さん** · 2023/06/19(月) 16:10:05.95

⇔

**１３２人目の素数さん** · 2023/06/19(月) 16:10:18.44

**１３２人目の素数さん** · 2023/06/19(月) 16:10:34.66

≈

**１３２人目の素数さん** · 2023/06/19(月) 16:11:12.35

≃

**１３２人目の素数さん** · 2023/06/19(月) 17:38:54.05

x∈X<a>に対して
y=φ(x)とする

**１３２人目の素数さん** · 2023/06/19(月) 17:40:24.08

X<x>≃Y<y>となる

**１３２人目の素数さん** · 2023/06/19(月) 17:46:49.03

φ(a￮b)=φ(a)*φ(b)∧
逆写像が存在し∧
φ⁻¹(x*y)=φ⁻¹(x)￮φ⁻¹(y)
となる
a, b∈A、x, y∈B

**１３２人目の素数さん** · 2023/06/19(月) 17:47:26.74

順序を保つ写像

**１３２人目の素数さん** · 2023/06/19(月) 17:47:50.53

単射

**１３２人目の素数さん** · 2023/06/19(月) 17:48:38.03

a<b⇒φ(a)<φ(b)

**１３２人目の素数さん** · 2023/06/19(月) 17:48:57.22

単射なので

**１３２人目の素数さん** · 2023/06/19(月) 17:49:45.67

φ(a)<φ(b)⇒a<b
と言える

**１３２人目の素数さん** · 2023/06/19(月) 17:52:58.83

∀x∈X<a>→∃y∈Y<b>
かつ順序を保ち
かつ単射

**１３２人目の素数さん** · 2023/06/19(月) 18:09:46.36

x∈X、a∈X、
X<a>
x∈X<a>、x<a

**１３２人目の素数さん** · 2023/06/19(月) 18:10:10.21

元aによる切片

**１３２人目の素数さん** · 2023/06/19(月) 18:11:29.11

X=(3, 10)とすると
X<7>=(3, 7)

**１３２人目の素数さん** · 2023/06/19(月) 18:11:51.89

整列集合Xのうち

**１３２人目の素数さん** · 2023/06/19(月) 18:12:21.94

Xの、中のある元aに対して

**１３２人目の素数さん** · 2023/06/19(月) 18:12:53.21

x<a∧x∈X

**１３２人目の素数さん** · 2023/06/19(月) 18:13:12.74

となる元の集合

**１３２人目の素数さん** · 2023/06/19(月) 18:15:57.20

X<a>≃Y<b>となるbが存在するようなa全体の集合をX₁とする。

**１３２人目の素数さん** · 2023/06/19(月) 18:17:55.69

2つの整列集合(X, ≤)と(Y, ≤)がある

**１３２人目の素数さん** · 2023/06/19(月) 18:18:31.20

2つの集合, の、順序は同じものとする

**１３２人目の素数さん** · 2023/06/19(月) 18:19:50.53

a→bで
aはX<a>が存在するようなもの
bはY<b>が存在するようなもの

**1001** · Over 1000

このスレッドは１０００を超えました。
新しいスレッドを立ててください。
life time: 284日 21時間 57分 18秒

**1002** · Over 1000

5ちゃんねるの運営はプレミアム会員の皆さまに支えられています。
運営にご協力お願いいたします。

───────────────────
《プレミアム会員の主な特典》
★ 5ちゃんねる専用ブラウザからの広告除去
★ 5ちゃんねるの過去ログを取得
★ 書き込み規制の緩和
───────────────────

会員登録には個人情報は一切必要ありません。
月300円から匿名でご購入いただけます。

▼ プレミアム会員登録はこちら ▼
https://premium.5ch.net/

▼ 浪人ログインはこちら ▼
https://login.5ch.net/login.php