[過去ログ] 数学の本 第98巻 (1002レス)
前次1-
抽出解除 レス栞

このスレッドは過去ログ倉庫に格納されています。
次スレ検索 歴削→次スレ 栞削→次スレ 過去ログメニュー
697
(1): 132人目の素数さん [] 2024/07/18(木) 11:59:38.14 ID:sfEUFWyP(2/2) AAS
田中一之・鈴木登志雄著『数学のロジックと集合論』

q_0, q_1, … を有理数列とする。

任意の自然数 n および i に対して |q_n - q_{n+i}| ≦ 1/2^n が成り立つような有理数列全体の集合 S を考える。

S 上に以下の関係 〜 を定義する。

(p_n) 〜 (q_n) ⇔ 任意の自然数 n に対して、 |p_n - q_n| ≦ 2 * (1/2^n) が成り立つ

S/〜 を実数の集合と定義しています。

有理数列を使うところがカントールの定義と似ていますが、変わっていますね。
この田中さんらの定義って有名なんですか?
698: 132人目の素数さん [sage] 2024/07/18(木) 13:25:17.96 ID:5xzSJK9u(1) AAS
>>697
キチガイ
前次1-
スレ情報 赤レス抽出 画像レス抽出 歴の未読スレ AAサムネイル

ぬこの手 ぬこTOP 0.027s