2

無理数角を単位円周上でぐるぐる回したら単位円を隙間なく埋め尽くすのか?

391
0

次のような定理を証明してみました.

θを,2πの無理数倍であるような角とする.
また,座標平面上の点(1,0)p0と名付ける.
p0を,原点Oを中心に角度nθ(nZ)だけ回転させた点をpnとする.このとき,集合
A={...,p1,p0,p1,p2,...}
は単位円周上において稠密である.
言い換えれば,Aの点を含まないような単位円周上の区間は存在しない.

今,円周上で距離lだけ離れたAの2点pn,pn+k(n,kZ)を考える.pn+kは,pnを原点中心に角度kθだけ回転させた点である.また,pn+2kという点を考えると,これはpn+kをさらに原点中心にkθだけ回転させた点である.従って,pn+2kpn+kからpnとは反対の方向に距離lだけ進んだ点である.pn+3k,pn+4k,...についても同様である.

こうして,集合
B={pn,pn+k,pn+2k,...,pn+mk}
で,Bの全ての隣り合う点の間隔がl以下となるものが取れる.BAの部分集合だから,このとき単位円周上でAの点を含まない区間の長さは(もしそのような区間があればだが)常にl以下である.従って,このようなlの下限が0,つまりlをいくらでも0に近く取ることができるのであれば,そのような区間は存在しないことが言えるのである.

仮に,上のようなlが常にある正の定数ϵ以上だとしよう.つまり,Aの異なる2点を取ったとき,それらの円周上での距離が常にϵ以上であるとする(このような状況を,「Aは離散集合である」と表現する).このとき正の偏角をもつAの点の中で偏角最小なる点をpsとする(これは離散性の仮定があるから存在するのである).然らばp0psの間の距離lが,Aの異なる2点間の距離の最小値である.

よってAのとなりあう2点間の距離は全てlであり,Aの点は円周上で等間隔に並ぶ.このとき明らかにθのある整数倍が2πの整数倍になっており,従ってθ2πの有理数倍となり仮定に反する.よってAが離散集合であるという仮定が誤りであり,Aの異なる2点間の距離の下限は0である.故に,単位円周上でAの点を含まないような区間は存在しない,すなわちAは単位円周上において稠密である.

投稿日:202131
OptHub AI Competition

この記事を高評価した人

高評価したユーザはいません

この記事に送られたバッジ

バッジはありません。
バッチを贈って投稿者を応援しよう

バッチを贈ると投稿者に現金やAmazonのギフトカードが還元されます。

投稿者

コメント

他の人のコメント

コメントはありません。
読み込み中...
読み込み中