[過去ﾛｸﾞ] 現代数学の系譜 工学物理雑談 古典ガロア理論も読む49 (658ﾚｽ)
上下前次1-新
抽出解除 ﾚｽ栞
このｽﾚｯﾄﾞは過去ﾛｸﾞ倉庫に格納されています｡
次ｽﾚ検索 歴削→次ｽﾚ 栞削→次ｽﾚ 過去ﾛｸﾞﾒﾆｭｰ
549(4): １３２人目の素数さん [sage] 2018/01/17(水) 09:50:07.07 ID:tAuiMZtD(1) AAS
>>547
おっちゃんです。
あのスレでリトルウッドの予想の話をしたのは私だが、コピペしているサイトが滅茶苦茶。
ハーディー・リトルウッド予想とは全然違う。リトルウッドの予想は無理数の有理近似から生じた。
任意の無理数αに対して、q|qα−p|＜1/√5 を満たす有理数 p/q は可算無限個存在する。
そこで、直線R上で実数xに最も近い整数を ||x|| で表す。
そうすると、上の不等式 q|qα−p|＜1/√5 は q||qα||＜1/√5 で表せる。
任意の無理数α、βに対して、liminf_{q→+∞}(q||qα||・||qβ||)＝0 であろうという予想がリトルウッドの予想。
あのスレには、名前の由来が分からんが jin といかいうのがいるんだな。
550(6): 現代数学の系譜 雑談 古典ガロア理論も読む ◆e.a0E5TtKE [sage] 2018/01/17(水) 11:30:24.69 ID:RtU9EWnx(1/5) AAS
>>549
おっちゃん、どうも、スレ主です。
おっちゃんの知識は偏っているが、その分野ではえらく博識やね〜（＾＾
おっちゃんのいう”リトルウッドの予想は無理数の有理近似 1/√5 で表せる”は、検索ヒットなしだが、
下記に、ヒットした関連情報を貼っておくよ（＾＾
https://ja.wikipedia.org/wiki/%E3%83%8F%E3%83%BC%E3%83%87%E3%82%A3%E3%83%BB%E3%83%AA%E3%83%88%E3%83%AB%E3%82%A6%E3%83%83%E3%83%89%E4%BA%88%E6%83%B3
ハーディ・リトルウッド予想
(抜粋)
加法的整数論に大きな進歩をもたらした1920年代の一連の論文“Some problems of partitio numerorum”（「分割の諸問題」）の中のゴールドバッハの問題を扱った第三論文の付録に15個もの予想が載せられているが、
それらを総称してハーディ・リトルウッド予想と呼ぶ。その一つである双子素数の分布公式もまだ証明されていない。またそれらの分布公式中の特別な定数たちはすべてひっくるめてハーディ・リトルウッド定数と呼ばれることが多い。
彼らはこの予想について発見的な議論といくつかの数値的な証拠しか与えなかったが、現在までに得られている数値的証拠とも非常によく一致している。
この予想は最初は解析的に導かれたものだったが、今では初等的に導くことができるいくつかの発見的議論が知られている。しかし、リーマン予想などの素数分布の他の大予想との関連もまだ十分には明かされていない。
(引用終わり)
つづく
565(2): １３２人目の素数さん [sage] 2018/01/18(木) 10:55:12.45 ID:SyERiWTG(2/3) AAS
スレ主はボケで>>550のようなことを書いたのか本当にコピペ出来なかったのかが分からないが、
代わりにリトルウッドの予想のサイトをコピペする。
https://en.wikipedia.org/wiki/Littlewood_conjecture
まあ、wikiの References や Further reading には基本的なテキストが挙げられていないようですな。
あと、>>549の一番下の行の「といかいう」の部分は「とかいう」に訂正。
569(2): １３２人目の素数さん [sage] 2018/01/18(木) 17:14:25.19 ID:SyERiWTG(3/3) AAS
>>566
本気で>>550を書いていたのか。
>>550のwikiのサイトからリトルウッドについてのwikiに移って、そのリトルウッドの英語版を見ると、
リトルウッドの予想にリンク出来るようになっていて、それをコピペすれば済むようになっていた。
あとは、それをコピペすればよかっただけ。
>>549の liminf_{q→+∞} の記号が分からないということは、
上極限や下極限が分からないということになる。
定理1.7の記号 lim sup y→x の意味も分からないということになる。
571(2): 現代数学の系譜 雑談 古典ガロア理論も読む ◆e.a0E5TtKE [sage] 2018/01/18(木) 19:55:54.42 ID:gGT+ehE7(3/7) AAS
>>569
おっちゃん、どうも、スレ主です。
>>>549の liminf_{q→+∞} の記号が分からないということは、
>上極限や下極限が分からないということになる。
>定理1.7の記号 lim sup y→x の意味も分からないということになる。
まあ、そう攻めるな（＾＾
そこも、おいおい突っつくからよ〜
ところで、その前に、おっちゃん、稠密（下記）を理解しているかい？
R中のQは稠密だから、無理数のみの開区間や有理数のみの開区間は取れないことを！（＾＾
https://ja.wikipedia.org/wiki/%E7%A8%A0%E5%AF%86%E9%96%A2%E4%BF%82
稠密関係
(抜粋)
数学における稠密関係（ちゅうみつかんけい、英: dense relation）とは、集合 X 上の二項関係 R であって、X の R-関係にある任意の二元 x, y に対し、X の元 z で x とも y とも R-関係にあるようなものが存在するものをいう。
記号で書けば、
∀ x ∀ y xRy → ( ∃ z xRz ∧ zRy)
となる。
任意の反射関係は稠密である。
例えば、二項関係として狭義の半順序 < はそれが関係として稠密であるとき、稠密順序(dense order)であるという。すなわち、集合 X 上の半順序 ? が（あるいは順序集合 (X, ?) が）稠密であるとは、X の任意の二元 x, y で x < y を満たすものに対し、X の元 z で x < z < y を満たすものが必ず存在することを言う。
有理数の全体に通常の大小関係による順序を入れたものは、この意味で稠密である（実数全体のなす順序集合も同様）。他方、整数全体の成す集合に通常の順序を入れたものは稠密でない。
関連項目[編集]
クリプキ意味論
自己稠密
稠密集合
参考文献[編集]
David Harel, Dexter Kozen, Jerzy Tiuryn, Dynamic logic, MIT Press, 2000, ISBN 0262082896, p. 6ff
(引用終り)
なんで、クリプキ意味論とか、「Jerzy Tiuryn, ”Dynamic logic”, MIT Press」に関連しているのかね？（＾＾
上下前次1-新書関写板覧索設栞歴
ｽﾚ情報 赤ﾚｽ抽出 画像ﾚｽ抽出 歴の未読ｽﾚ AAｻﾑﾈｲﾙ
ぬこの手 ぬこTOP 0.032s