next up previous
Next: About this document ...

    

����� II ���� No.1

\fbox{ËֵܹÁ¤ÎÌÜŪ}

���ξ��¿�༰�ĤΥ��ǥ���פȤ����������Ū�˸������Τ��� �¤����Ū����ȸƤФ�뽸����б����Ƥ��뤳�Ȥ����򤷡� �����б��ط��ˤ�äƥ��ǥ���μ�������Τ�İ�̣��ľ��Ū�� �Ȥ館����褦�ˤʤ롣

�����Υơ���:

\fbox{Âå¿ôŪ½¸¹ç(¿¹à¼°¤Î¶¦ÄÌÎíÅÀ)}

�����������������C(����),�����I �Ǵ����ΤäƤ���Ϥ��ʤΤǡ� ˺�줿�ͤ��������Ƥ����Ʋ�������

��� 1.1 (����)  
1.
�ĤȤϡ����Τʤ��Dzø��軻����ͳ�ˤǤ���褦�ʽ���Ǥ��롣
2.
�ΤȤϡ��ĤǤ��äƤ���� $0$ �ʳ��θ��εո����ޤ� ������˴ޤޤ��褦�ʽ���Ǥ��롣

�� 1.1  
1.
ͭ�������Τν��� $\mbox{${\Bbb Q}$ }$, �¿����Τν��� $\mbox{${\Bbb R}$ }$, ʣ�ǿ����Τν��� ${\Bbb C}$ �Ϥ��줾���ΤǤ��롣
2.
�������Τν��� ${\mbox{${\Bbb Z}$ }}$ �ϴĤǤϤ��뤬���ΤǤϤʤ���
3.
���������Τν��� $\Bbb N$ �ϴĤǤ���ʤ���

��� 1.2   �� $k$ ���������� $n$ ��Ϳ�����Ƥ���Ȥ��롣���ΤȤ��� $k$ ��ò·¸¿ï¿½ï¿½Ë¤ï¿½ï¿½ $X_1,...X_n$ ��¿�༰�����ΤΤʤ������ �Ĥˤʤ롣 ���δĤΤ��Ȥ�$k$ ��� $n$ �ѿ�¿�༰�ĤȤ�ӡ� $k[X_1,X_2,\dots,X_n]$ �� ����魯�� (���ιֵ��ǤϤ���� $k$ ���Τξ��ò°·¤ï¿½ï¿½ï¿½ï¿½ï¿½ï¿½ï¿½ï¿½Ë¤ï¿½Ã¤Æ¤ï¿½ $k$ ���Ĥξ��� ;�Ϥ�Ĥ��Ƥ����������褤��)

(����)

�ѿ��Τʤޤ���ɬ������ $X_1,X_2,\dots,X_n$ �ˤ��ʤ���Фʤ�ʤ��櫓�ǤϤʤ��� ���Ȥ������ѿ�($n=2$) �λ��ˤ� $X,Y$, 3�ѿ��λ��ˤ� $X,Y,Z$ ���ѿ����Ѥ������� ź����񤫤ʤ��Ƥ褤ʬ�����ڤ�������

��� 1.3   �� $k$ ���������� $n$ ��Ϳ�����Ƥ���Ȥ��롣 $k[X_1,X_2,\dots,X_n]$ ����ʬ���� $T$ ���Ф��ơ� $k^n$ ����ʬ����

\begin{displaymath}V(T)=
\left \{
x=(x_1,x_2,\dots,x_n)\in k^n
\left \vert
\quad f(x)=0 \qquad (\forall f\in T)
\right .
\right \}
\end{displaymath}

�� $T$ �ζ��������ν���ȸƤ֡�

�� 1.2   $k=\mbox{${\Bbb R}$ }$ �ǹͤ��ơ�$n=2$ �ξ��ˡ�
1.
$V(\{X\})$ �� Y���Ǥ��롣
2.
$V(\{X,Y\})$ �� $V(\{X-5,Y-2\})$ �ϰ�������ʤ롣
3.
$V(\{Y-X^2\})$ ����ʪ���Ǥ��롣
4.
$V(\{X^2-Y^2\})$ ����ľ�����Хåƥ�˸��ä���ΤǤ��롣
5.
$V(\{X^2-Y^2,Y-1\})$ ����������ʤ뽸�� $\{(1,1),(-1,1)\}$ �Ǥ��롣
6.
$V(\{X^2+Y^2-1\})$ �ϱߡ� $V(\{X^2+Y^2\})$ �ϸ����� $V(\{X^2+Y^2+1\})$ �϶�����Ǥ��롣

�� 1.3   $k=\mbox{${\Bbb R}$ }$ �ǹͤ��ơ�$n=3$ �ΤȤ��ˡ�
1.
$V(\{X^2+Y^2+Z^2-1\})$ �ϸ������濴�Ȥ������̤Ǥ��롣
2.
$V(\{X^2+Y^2-Z^2\})$ �ϱ߿��Ǥ��롣

���� 1.1   $k=\mbox{${\Bbb R}$ }$ �� $n=2$ �ΤȤ��ˤĤ��ơ� $\mbox{${\Bbb R}$ }[X,Y]$ ����ʬ���� $S$ ����� ��ʬ�ǹͤ��ơ����� $S$ ������ $V(S)$ ��޼����ʤ����� (�ʤ�������������դˤʤ�Τ�����ñ����ͳ�⤽���뤳��) (���ޤ��ñ¤·¤ï¿½ï¿½ï¿½ï¿½Í¤ï¿½ï¿½ï¿½ï¿½Æ¤ï¿½ï¿½ï¿½ï¿½ï¿½ï¿½ï¿½ï¿½ï¿½Ñ¤Ç¤ï¿½ï¿½ë¤«ï¿½ï¿½ �꺢�Τ�ΤǤ褤�������ʤ��Ȥ�¾�οͤβ����ȽŤʤ�ʤ����餤 �δؿ����Ѥ���褦�����Ϥ��뤳�ȡ�)



Yoshifumi Tsuchimoto
2001-04-16