[過去ﾛｸﾞ] スレタイ 箱入り無数目を語る部屋3 (1002ﾚｽ)
上下前次1-新
抽出解除 ﾚｽ栞

---

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

---

306(1): 2022/09/18(日)19:02 ID:ldv25uGN(15/26) AAS
一般に、2つの実数列 x＝(x_1,x_2,x_3,…)∈R^N と y＝(y_1,y_2,y_3,…)∈R^N に対して、

x 〜 y ⇔ ∃n_0≧1, ∀n≧n_0 s.t. x_n＝y_n

として二項関係 〜 を定義すると、この 〜 は同値関係になるのだった。そこで、x∈R^N に対して、

C(x)：＝{ y∈R^N｜x〜y }

と定義する。この集合 C(x) のことを、x に関する同値類と呼ぶのだった。
次に、〜 に関する完全代表系を1つ取って T と置く。T の存在性は選択公理のもとで正常に保障される。
ただし、そのような T は1つではなく、無数にある。そこで、時枝記事では、
省4

---

316(7): 2022/09/18(日)20:36 ID:3YOagFMY(9/9) AAS
やれやれ

>>306
>そこで、時枝記事では、
>「完全代表系 T を1つ固定する」と明言している。

時枝記事では、”明言している”に該当する記述ないよ
いま、手元に時枝記事のPDFがある
もし、明言しているというならば、何ページの何行目だ？
省16

---

上下前次1-新書関写板覧索設栞歴

---

ｽﾚ情報 赤ﾚｽ抽出 画像ﾚｽ抽出 歴の未読ｽﾚ AAｻﾑﾈｲﾙ

---

ぬこの手 ぬこTOP 0.042s