東京大学 情報理工学研究科 数理情報学 2018年8月実施 第1問
Author
hari64boli64
Description
次実正方行列 , は
を満たすものとする。
ただし、 は転置を表し、 は を満たす実数、 はすべての成分が であるベクトル とする。
また、 について とする。以下の設問に答えよ。
(1) 行列 の固有値の絶対値で最大となるものを求めよ。
(2) 各成分が非負のベクトル で、
となるものが存在することを示せ。なお、次の事実を用いてよい:
「 の非空なコンパクト凸集合からそれ自身への連続写像には不動点が存在する。」
(3) を満たすベクトル に対して、
となることを示せ。
(4) (2) の条件を満たすベクトル は、正の整数 に対して、
を満たすことを示せ。
Kai
(1)
一般に、転置行列の固有値は、固有方程式が同じになることから、元の行列と同じ固有値を取る。
は、 を固有ベクトルとして、 を固有値に持つ。
そして、 より絶対値が大きな固有値を持つことはない。
固有ベクトル の、絶対値に関する最大値を で取るとすると、
一方、
つまり、 が より大きな値を取ると、この不等式に反し矛盾。
よって、 の固有値の絶対値で最大となるものは である。
(2)
関数 を で定義する。
ただし、 である。
ここで、 を証明する。
という表式と、 の値域より、 は明らか。
を示す。
よって、 である。
が の非空なコンパクト集合であることは、 が の有界閉集合であることから、これはコンパクト。
以上より、ヒントで与えられているブラウワーの不動点定理より、
の条件を満たすような が存在する。
(3)
(4)
まず、 と定義される を用いると、題意は、
になる。
特に、 であるが、この性質は、以下に示すように、 を乗じても変わらない。
よって、 を満たす に関して、 であることを示せばよい。
これは、(3) で示したことから、
となり、直ちに従う。
Knowledge
コンパクト集合
において、有界閉集合がコンパクト集合であって、閉集合がコンパクト集合である訳では無いことに注意。
例として、 は閉集合であるが、当然コンパクト集合ではない。
ブラウワーの不動点定理
(2) のヒントは、ブラウワーの不動点定理と呼ばれている。