next up previous
Next: About this document ...

    

��������� I No.14

\fbox{»î¸³²òÅúÎã}

���� 14.1   ���̤ˡ��Ĵ��� $R$ �� $R$-�÷� $M$ �Ȥ��Ф��� $\underbrace{M\oplus M\oplus \dots \oplus M}_{\text{$n$\space ¸Ä}}$ �ؤ� $A=(a_{ij})\in M_n(R)$ �Ρֱ����ѡפ�

\begin{displaymath}(m_1,\dots,m_n).A=
(\sum_{j=1}^n a_{j1}.m_j,\ \sum_{j=1}^n a_{j2}.m_j,
\dots,\ \sum_{j=1}^n a_{jn}m_{j})
\end{displaymath}

��������롣(�㤨�� $n=3$ �ʤ��

\begin{displaymath}(u,v,w).
\begin{pmatrix}
a & b & c\\
d & e & f \\
g & h & i
\end{pmatrix}=
(a.u+d.v+g.w,b.u+e.v+h.w,c.u+f.v+i.w)
\tag{¡ú}
\end{displaymath}

�Ȥ������Ǥ��롣) ���ΤȤ���

\begin{displaymath}(((m_1,\dots,m_n).A).B)=(m_1,\dots,m_n).(AB)
\end{displaymath}

��Ǥ�դ� $m_1,\dots,m_n \in M$ ����� Ǥ�դ� $A,B\in M_n(R)$ �� �Ф�������Ω�Ĥ��Ȥ򼨤��ʤ�����

(����): $(m_1,m_2,\dots,m_n)$ �Τ��Ȥ�ά����$(m_i)$ �Ȥ����� $i$ �� $1$ ���� $n$ �ޤ�ư����äƤ���櫓�Ǥ��뤬�� ���Τ褦��ά�����Ͻ����Ͽ����ʳرѸ쥼�ߥʡ���Ǥ��ʤ��ߤʤϤ��Ǥ��롣 �ʲ��Τ��줾��μ��Ǥɤ��ѿ���ư����뤫�ˤϤȤ������դ��פ��롣 ����Ǥ�ʬ����ˤ����Ȼפ��ͤ� $(m_1,m_2,\dots,m_n)$ �� $...$ ��Ȥ�������Ӥ��Ƥ�褤�������ʤ��˻��ˤʤ뤳�Ȥ� �и礻�ͤФʤ�ʤ��� �¤ε��� $\sum$ �����ޤ��Ȥ��뤳�ȡ� �Ȥ��ˤɤ�ź�����դ����¤�ȤäƤ��뤫������ǡ� ��������ǤϤ��������֤Υݥ���ȤǤ��롣 (�Ȥ���������ʳ�������Ϥʤ�����) (����):

$A=(a_{ij}),B=(b_{kl})$ �Ȥ���ȡ�


\begin{alignat*}{2}
&((m_i).A).B
&\qquad &\leftarrow\text{$i$\space ¤¬$1,2,\dot...
...\right)
&\qquad& \leftarrow\text{¹ÔÎó¤ÎÀѤÎÄêµÁ}\\
=& (m_i).(AB)
\end{alignat*}

���� 14.2   $R=\mbox{${\Bbb Q}$ }[X]$, $V=\mbox{${\Bbb Q}$ }^3 $ ( $\mbox{${\Bbb Q}$ }$ ��� $3$ �����ĥ٥��ȥ����)�Ȥ�����$V$ �� $R$-�÷��ι�¤��

\begin{displaymath}p(X).v=p(A).v \qquad (p\in \mbox{${\Bbb Q}$}[X],\quad v \in V)
\end{displaymath}

��������롣�����������ˡ�

\begin{displaymath}A=\begin{pmatrix}
1 & 1 & 0\\
0 & 1 & 0\\
0 & 0 &2
\end{pmatrix}\tag{¢¨}
\end{displaymath}

�Ǥ��롣

\begin{displaymath}C=\begin{pmatrix}
1 & 0 & 0\\
X -1 & 1 & -1\\
-X(X-1)(X-2) & - X(X-2) & (X -1)^2\\
\end{pmatrix}\end{displaymath}

,

\begin{displaymath}D=
\begin{pmatrix}
0 & 1 & X -2\\
-1 & X -1 & \left(X -1\right) \left(X -2\right)\\
0 & X & (X-1)^2\\
\end{pmatrix}\end{displaymath}

�Ȥ����ȡ�

\begin{displaymath}C(XE-A)D=
\begin{pmatrix}
1 & 0 & 0 \\
0 & 1 & 0\\
0 & 0 & (X-1)^2(X-2)
\end{pmatrix}\end{displaymath}

���ʤꤿ�ġ�

���ξ����β��ǡ�

1.
����14.1�η׻���(��)�ˤ������ä�

\begin{displaymath}(e_1,e_2,e_3).(XE-A)
\end{displaymath}

( $E \in M_3(R)$ ��ñ�̹���) ��׻����ʤ�����
2.
$C$ �εչ����׻����ʤ�����
3.
$v_1,v_2,v_3\in V$ �� $(v_1,v_2,v_3)=(e_1,e_2,e_3).C^{-1}$ ��������롣 ���ΤȤ���$A$ �ζ���Ū�ʷ�(��)���ꤻ������$C$ �����������Ȥä� $e_1,e_2,e_3$ �� $v_1,v_2,v_3$ �� $R$-�����ΰ켡���ǽ񤭤���路�ʤ�����

4.
$v_1,v_2,v_3$ �� $\mbox{${\Bbb Q}$ }^3$ �θ��Ȥ��Ƽºݤ���ʬ��ɽ�����ʤ�����

������Ϥ���äȤ�䤳�����ä������Τ�ʤ��� �ƥ󥽥��Ѥ��򤱤����ᡢ$X$ ����Ĥ���������碌�Ƥ���Ȥ����� ����餷���� �Ȥ��ˡ�

\begin{displaymath}X.e_1=\begin{pmatrix}
X\\
0\\
0
\end{pmatrix}\qquad\text{(¤Þ¤Á¤¬¤¤)}
\end{displaymath}

���δְ㤤�򤷤Ƥ���Ԥ�����¿���ä��� ���줬�⤷���� $A$ ���Ф���

\begin{displaymath}Ae_1=\begin{pmatrix}
A\\
0\\
0
\end{pmatrix}\qquad\text{(¤Þ¤Á¤¬¤¤)}
\end{displaymath}

�Ȥ��Ƥ���Τ��ä�������⤹���˴ְ㤤�˵��Ť������ȤȻפ��� $\mbox{${\Bbb Q}$ }^3$ �� $\mbox{${\Bbb Q}$ }[X]$-�÷��ȸ��롢�Ȥ����ǽ��ʸ�Ϥ�ߤ��Ȥ��� $X$ �� $\mbox{${\Bbb Q}$ }^3$ �ؤκ��Ѥ����ˤʤ�褦�ˤʤä�ĺ��������

(����):

1.


\begin{alignat*}{2}
&(e_1,e_2,e_3)(XE-A)\\
=&(e_1,e_2,e_3)
\begin{pmatrix}
X-1 ...
...0 &X-2
\end{pmatrix}\\
=&((X-1).e_1, -e_1+(X-1).e_2, (X-2).e_3)
\end{alignat*}
�������餬����ǡ� ����ˤ���褦�� $X$ �� $e_1,e_2,e_3$ �ؤκ��Ѥ� $A$ �ˤ�뤫�����Ǥ��롣 �������äơ�

\begin{displaymath}((A-E)e_1,-e_1+(A-E)e_2, (A-2E)e_3)
\end{displaymath}

�����������׻�����С�$(0,0,0)$ (-����)�����롣

2. �����ñ��׻��Ǥ��롣���ֻ��֤�Ȥ�Ȥ����Ǥ��뤬�� �����ΤȤ���������Ψ���⤫�ä�����������������

\begin{displaymath}\begin{pmatrix}
1 & 0 & 0\\
- X + 1 & - 2 X + X^2 + 1 & 1\\
0 & X^2- 2 X & 1
\end{pmatrix}\end{displaymath}

�Ǥ��롣 MuPAD �Ǥ��а�ȯ�Ǥ��뤬�� ����ϥ���ԥ塼�������ν����Ϥ��ʤ��ä��褦�Ǥ��롣

�ʤ��������β�������ǡ�$X$ ���ѿ��ǤϤʤ��� $\mbox{${\Bbb Q}$ }$ �θ����Τ��Ȥ� ���Ĥ��äƤ���ʪ�����ä���������Ϥ��ΤޤޤǤϴְ㤤�Ǥ��롣 (������������ˡ�⤢�뤬����������Ϥ��Τ褦�ʥƥ��˥å���Ȥ��ۤɤ� ��ΤǤϤʤ����� ���β�����񤤤��ͤ����Υƥ��˥å����Ȥ��Ƥ���ȤϹͤ��ˤ�����)

3. ��������ϴ�ñ�������Τǽ����������ˤ����ä��Τ����Τ�ʤ��� $(v_1,v_2,v_3)$ ����������顢

\begin{displaymath}(e_1,e_2,e_3)=(v_1,v_2,v_3).C
\end{displaymath}

�Ȥ����ط������ưפ�ʬ���ꡢ ���
\begin{align*}e_1&=v_1+(X-1).v_2-X(X-1)(X-2).v_3, \\
e_2&=v_2-X(X-2).v_3,\\
e_3&=-v_2+(X-1)^2.v_3.
\end{align*}
�Ȥ������Ȥˤʤ롣(-����)

4. ����� 2. �η�̤�Ȥ���
\begin{align*}v_1&=e_1+(-X+1).e_2, \\
v_2&=(X-1)^2.v_2+X(X-2).e_3,\\
v_3&=e2+e3.
\end{align*}
�Ǥ��ꡢ1. ��Ʊ�ͤ˷׻�����С�


\begin{displaymath}v_1=
\begin{pmatrix}0\\ 0\\ 0\end{pmatrix},\qquad
v_2=
\begin...
...\end{pmatrix},\qquad
v_3=
\begin{pmatrix}0\\ 1\\ 1\end{pmatrix}\end{displaymath}

�����롣(-����)


next up previous
Next: About this document ...

2001-01-30