雑談はここに書け！【６７】 (511ﾚｽ)
上下前次1-新
抽出解除 ﾚｽ栞

---

495(2): 10/10(金)16:21 ID:tI5DsBLW(7/10) AAS
(続き)
aは正の無理数であって、aと1は有理数体Q上一次独立であるから、
A(μ) の定義から、|a−p/q|＞0 である
また、正の無理数aの無理数度 μ(a) の定義に着目すれば、2＜μ≦+∞ である
よって、|a−p/q|＜1/q^μ を満たす有理数 p/q の分母qについて、
0＜|a−p/q|＜1/q^μ なることに注意すれば、
確かに q≦0 なることはあり得ず q≧1 である
省16

---

497: 10/10(金)17:22 ID:tI5DsBLW(9/10) AAS
>>495の下から3行目と4行目の間に，次の文を挿入：
p/q∈A(μ) なる有理数 p/q は任意であるから、A(μ) は可算集合である

---

498: 10/10(金)17:22 ID:tI5DsBLW(10/10) AAS
>>495の下から3行目と4行目の間に，次の文を挿入：
p/q∈A(μ) なる有理数 p/q は任意であるから、A(μ) は可算集合である

---

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

---

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

---

ぬこの手 ぬこTOP 0.047s