next up previous
: ����ʸ��ˤĤ���...

���������II ���� No.5

�����Υơ���:

\fbox{¹ÔÎó¤Î¥¸¥ç¥ë¥À¥óɸ½à·¿(¤Þ¤È¤á)}

$ n$ ���������� $ A \in M_n({\mathbb{C}})$ ��Ϳ�����Ƥ���Ȥ��롣$ A$ ��

$\displaystyle V={\mathbb{C}}^n ={\mathbb{C}}e_1+{\mathbb{C}}e_2 + {\mathbb{C}}e_3+\dots {\mathbb{C}}e_n
$

�˺��Ѥ��� $ {\mathbb{C}}[X]$ �� $ V$ �ؤκ��Ѥ�

% latex2html id marker 861
$\displaystyle X.v=A v \quad (p(X).v=p(A).v)
$

��������뤳�Ȥ��Ǥ��롣 �¤ȥ����顼�ܤ�ʻ���ơ�$ X$ �ˤ����Ѥ�ͤ���ȡ� (ñ���Ҥιͤ������Ѥ���) $ V$ ���������� �ط������ñ�����뤳�Ȥ��Ǥ��롣

���� 5.1 (����4.1 ��Ʒ�)   $ V$ �� $ {\mathbb{C}}[X]$-�÷��Ȥ��� $ {\mathbb{C}}[X]/d(X){\mathbb{C}}[X]$ �η��β÷��� ľ�¤�Ʊ���Ǥ��롣

�Ȥ��ˡ����������ɽ�����֤ϡ� $ {\mathbb{C}}[X]/X^k {\mathbb{C}}[X]$ �η��β÷��� ľ�¤�ʬ�򤵤�롣

ñ���Ҥη׻�ˡ�ϡ���3��˽Ҥ٤��������λ��ˤ����Ūñ��� ���󤷤���˵󤲤ʤ��ä��������ϻ���Ϥ⤦����ʣ���Ǥ��롣 (�桼����åɤθ߽�ˡ��ɬ�פˤʤ롣) ��ݡ�������򻲾ȤΤ��ȡ�

$ {\mathbb{C}}[X]/d(X){\mathbb{C}}[X]$ ����ʬ�����ˤʤ뤫���Τ�ʤ��� ������ʬ��(�轵�δؿ����߷פΤȤ����ˤ�񤤤�) $ d(X)$ �� ���ˤ��ؿ���ʬ��򤦤ޤ��Ѥ��롣

̿�� 5.2   $ d_1(X),d_2(X)$ �ϸߤ����Ǥ� $ {\mathbb{C}}$ ���¿�༰�Ǥ���Ȥ��롣 ���ΤȤ��� $ {\mathbb{C}}[X]$-�÷��Ȥ��Ƥ�Ʊ��

$\displaystyle {\mathbb{C}}[X]/d_1(X)d_2(X) \cong {\mathbb{C}}[X]/d_1(X) \oplus {\mathbb{C}}[X]/d_2(X)
$

��¸�ߤ��롣(â�����դؤ� $ {\mathbb{C}}[X]$ �κ��Ѥ��гѷ�

$\displaystyle f. (g,h)=(f.g, f.h)
$

����ޤäƤ����ΤȤ��롣)

���� 5.3 (����Υ��������ɸ�෿)   Ǥ�դι��� $ A \in M_n({\mathbb{C}})$ ���Ф��ơ�������§���� $ P\in M_n({\mathbb{C}})$ �����äơ� $ B=P A P^{-1} $ �� ���Τ褦�ʷ��ι���(��������֥��å��ȸƤФ��)�� ľ��(�гѤ��¤����)���������ʤ롣

$\displaystyle J_s(a)=
\begin{pmatrix}
a& 1 & \\
& a & 1 \\
& & \ddots & \ddots \\
& & & a & 1 \\
& & & & a
\end{pmatrix}$

�����ˡ�$ s$ �� $ n$ �ʲ���������$ a$ ��ʣ�ǿ�($ A$ �θ�ͭ�ͤΰ��)�Ǥ��롣 $ B$ �� $ A$ �Υ��������ɸ�෿�Ȥ��� $ J_1(a)=a$ �Ǥ��뤳�Ȥˤ����դ��Ƥ�������$ A$ ���гѲ���ǽ�ʤ�С� $ A$ ���гѲ�������Τ� $ A$ �Υ��������ɸ�෿�Ǥ��롣

��������֥��å��η��ι���� $ J_s(a)=a E + N_s$ ($ N_s$ �϶�������)�� ���򤷤Ƥ��뤳�Ȥˤ⡢�ä����դ��Ƥ������� �Ȥ��ˡ�Ǥ�դ�¿�༰ $ p(X)$ �ˤ������ơ�

$\displaystyle p(J_s(a))=\sum_{j=0}^s \frac{1}{j!}p^{(j)}(a)N_s^j
$

���ʤꤿ�ġ��Ȥ��ˡ�$ p(J_s(a)) $ �� $ p$ �� $ a$ �Ǥ�$ s$ ���ޤǤ���ʬ���� �ˤ�괰���˷�ޤ롣 $ A$ �Τۤ��Ǹ����С�$ A$ �θ�ͭ�����Τν���� $ S$ �Ȥ����С� $ p(A)$ �� $ p$ �� $ S$ �Ǥ�(¿�����Ѥ�äƤ�$ n$ ���ޤǤ�)�Ƴ���Ƴ�ؿ����� �ˤ�äƴ����˷�ޤäƤ��ޤ���

����Ϲ���� $ \exp(X)$ �� $ \sin(X)$ �ʤɤ����ؿ� (��ʣ��ʿ�̤���§�ʴؿ�)�� ��äȰ��̤�$ A$ �θ�ͭ�ͤζ�˵����§�ʴؿ�����������Ȥ��Υҥ�Ȥˤʤ롣

���� 5.1   $ f=X^3-8X^2+21X-18$, $ g=X^2-2X$ �ΤȤ���

$\displaystyle B=
\begin{pmatrix}
f & 0 \\
g & 0
\end{pmatrix}$

�ˤ�������̿�� 3.1 �������� $ P,Q$ ����� $ PBQ$ ����ʤ�����



ʿ��15ǯ11��4��