円周 ( と同一視する)上の写像
を考える。 が最小周期 の周期点であるとは、 かつ のすべての整数 について となることをいう( は の 回合成)。最小周期 の周期軌道(最小周期 の周期点 の軌道 )の本数を求めよ。
周期点の個数とメビウス反転
の不動点の個数 を求め(次数 ()の拡大的な円周写像、すなわち をみたす持ち上げ では など)、メビウス反転 で最小周期 の周期点の個数を、 で周期軌道の個数を求められる(例: 倍角写像 では 個、軌道は 本)
前提
- メビウス関数と反転公式 (大学数学 整数論)
この技能までの道筋(29 技能)
読み込み中…
右端(太枠)がこの技能です。左へドラッグすると、さらに前の前提をさかのぼれます。技能を押すと、そこまでの道筋が光ります。
一覧で見る(前提が先)
- 分数のたし算・ひき算 (算数 計算と数のきまり)
- 小数の四則計算 (算数 計算と数のきまり)
- 正負の数の加法・減法 (中学数学 数と式)
- 分数のかけ算・わり算 (算数 計算と数のきまり)
- 四則の混じった計算の順序 (算数 計算と数のきまり)
- 正負の数の乗除・累乗と四則混合 (中学数学 数と式)
- 分配法則を使った計算のくふう (算数 計算と数のきまり)
- 文字式の計算(同類項・分配法則) (中学数学 数と式)
- 乗法公式による展開 (中学数学 数と式)
- 因数分解 (中学数学 数と式)
- 約数の見つけ方 (算数 整数の性質)
- 文字式で表した整数の性質 (中学数学 数と式)
- 余りによる整数の分類 (数学A 整数の性質)
- 樹形図で数え上げる (算数 場合の数)
- 積の法則と和の法則 (算数 場合の数)
- 和の法則・積の法則と樹形図 (数学A 場合の数と確率)
- 合同式 (数学A 整数の性質)
- 最大公約数と最小公倍数 (算数 整数の性質)
- 素因数分解と約数の個数 (算数 整数の性質)
- 最大公約数と最小公倍数 (数学A 整数の性質)
- 互いに素な法への分解 (数学A 整数の性質)
- 順列・円順列・重複順列 (数学A 場合の数と確率)
- 組合せ (数学A 場合の数と確率)
- 確率の定義と和事象・余事象 (数学A 場合の数と確率)
- 包除原理 (数学A 場合の数と確率)
- オイラー関数の計算 (大学数学 整数論)
- 約数の個数と総和 (数学A 整数の性質)
- 乗法的関数と約数にわたる和 (大学数学 整数論)
- メビウス関数と反転公式 (大学数学 整数論)
説明
写像 を何回も繰り返したとき、ちょうど 回で初めて元に戻る点(最小周期 の周期点)や、そうした点がたどる軌道が何本あるかを数えます。直接数えにくい最小周期 の点の個数 を、数えやすい「 の不動点の個数」 からメビウス反転で取り出すのが要点です。倍角写像 のような円周上の拡大写像など、力学系の周期軌道を数える場面で使います。
なぜそうしてよいのか
をみたす点 の最小周期を とすると、 となるのは が の倍数のときに限ります(, と割ると となり、最小性から )。逆に なら です。したがって は「最小周期 の点全体」を について重なりなく合わせたもので、 が成り立ちます。これは反転公式の の形そのものなので、 と解けます。最小周期 の点は と相異なる 個ずつの軌道に分かれるので、軌道の本数は です。
の求め方の典型例として、( は整数, )を考えます。 なので、 が の不動点であることは が整数であることと同じで( より )、その解は ()の 個です。
一般の拡大的な次数 の円周写像 では、持ち上げ ()が をみたし、 は連続で です。( は整数)を繰り返し使うと、帰納的に となります。よって は をみたし、 が の不動点であることは が整数であることと同じです。次に単調性を確かめます。 は連続で にならないので符号が一定で、 からその符号は の符号です。連鎖律で なので、 で符号は の符号です。したがって なら で 、( かつ が奇数)なら で となり、どちらでも は狭義単調です。狭義単調で連続な は を、端点 と を結ぶ長さ の半開区間へ一対一に写し、長さが整数 の半開区間には整数がちょうど 個あるので、 です。
手順
各 について を求める( や次数 ()の拡大的な円周写像なら )
の約数 をすべて挙げ、各 について を求める( の項は落としてよい)
メビウス反転で最小周期 の周期点の個数を計算する:
周期軌道の本数を求めるときは で割る: (軌道の本数)。割り切れることを検算に使う
例題
円周 上の写像 について、最小周期がちょうど である周期軌道の本数を求めよ。
例題の解答
【手順 1】 なので、 の不動点は をみたす で、。
, , , 。
【手順 2】 の約数は で、。, , , 。
【手順 3】
(検算: , , で、。)
【手順 4】最小周期 の点は 個ずつ 1 本の軌道をなすので、軌道の本数は 。
答え:
答え:
よくある誤り
をそのまま最小周期 の点の個数としてしまう誤り(例: で最小周期 の点を 個とする)。 には最小周期 の点も含まれる。正しくは 。
の符号を誤り、 としてしまう誤り。 は相異なる素数 2 個の積なので で、正しくは 。
の の不動点を 個と数えてしまう誤り。 と は円周上で同じ点なので、正しくは の解 個。また では絶対値を忘れない(, なら )。
軌道の本数を求めるのに のまま答えたり、 を答えたりする誤り。正しくは最小周期 の点だけが 個ずつ軌道をなすので (例: )。
この説明は AI が書き、別の AI が例題を独立に解いて答えを確かめ、説明を一歩ずつ査読しました。
入口の問題
この技能を使う問題
2 次元トーラス 上の写像 を、行列
により ( は列ベクトル)で定める。点 が最小周期 ( は正の整数)をもつとは、 であり、かつ を満たすどの整数 についても であることとする。最小周期がちょうど である の点の個数を求めよ。区間 上のテント写像 を
で定める。点 が を満たし、かつ のどの整数 についても であるとき、 を の最小周期 の周期点という。ここで は の 回合成である。の最小周期 の周期点の個数を求めよ。
閉区間 上の写像 を
で定める。正の整数 に対し を の 回合成とする。点 が をみたし、かつ のどの整数 についても であるとき、 を最小周期 の周期点という。最小周期 の周期点からなる周期軌道 の個数を求めよ。3 次元トーラス 上の写像 を、行列
を用いて で定める。点 の最小周期とは、 をみたす最小の正の整数 のことである。 をみたす整数 のうち、最小周期がちょうど である点が 上に存在するようなものをすべて求めよ。3 次元トーラス 上の写像 を、行列
を用いて で定める。正の整数 に対し を の 回合成とする。点 が をみたし、かつ のどの整数 に対しても であるとき、 を最小周期 の周期点という。最小周期 の周期点がなす の軌道 の個数を求めよ。トーラスを とし、整数行列
が誘導する連続写像 ( は列ベクトル)を考える。正の整数 に対し、 を の 回合成とし、
とおく(ちょうど周期 の周期点の個数)。各 のレフシェッツ数 と不動点の個数の関係を用いて、 を求めよ。トーラス 上の写像 を、行列
を用いて で定める。ここで は の における像である。 を の 回合成とするとき、
を満たす点 の個数を求めよ。円周 上の写像 を、実数 に対して
で定める( なので は well-defined である)。点 が の最小周期 の周期点であるとは、 かつ に対して が成り立つことをいう。ここで は の 回合成である。の最小周期 の周期軌道(最小周期 の周期点の による軌道 )の個数を求めよ。
2 次元トーラス 上の写像 を、行列 により ( は列ベクトル)で定める。正の整数 に対し を の 回合成とする。点 が を満たし、かつ を満たすどの整数 についても であるとき、 を最小周期 の周期点という。最小周期 の周期点の個数を求めよ。
この技能の次に学べること
- トーラス自己同型の周期点 (大学院数学 力学系・エルゴード理論)
- 有限型シフトの位相エントロピー (大学院数学 力学系・エルゴード理論)
- 円周同相写像の回転数 (大学院数学 力学系・エルゴード理論)