����

��� 1.2   ���� $S$ �� ���� $T$ ��Ϳ�����Ƥ���Ȥ��롣 $S$ �γƸ� $s$ �ˤ������ơ� ���� $T$ �θ� ($f(s)$ �Ƚñ¤«¤ï¿½ï¿½) ���Ϥä����(�������̤��) ��ޤäƤ���Ȥ���$S$ ���� $T$ �ؤ� $f$ �Ȥ��������� �������Ƥ���ȸ����� ����ˡ����ΤȤ���$S$ �� $f$ �������(�ޤ��ϻϽ���)�Ȥ�����$T$ �� $f$ �� ������ȸ�����

���ա�

1. �褦����ˡ�$s$ ��Ϳ�����Ƥ���Ȥ���$f(s)$ �� ï������������Ƥ�ɬ��(�׻��ְ㤤���Ϥ�����������) Ʊ���ˤʤ롣�Ȥ������Ȥ�����ʤΤǤ��롣

2. ��إ�٥�ο��ؤǤϡ��Ͻ���Ƚ������ޤ����ꤷ�Ƥ�뤳�Ȥ�����Ǥ��롣 Ʊ�����ǽ񤫤��褦�ʼ����Ǥ⡢�Ͻ���� �����礬�ۤʤ�������㤦�����ȹͤ���٤��Ǥ��롣

�� 1.1   �Ĥ��Τ��Τ��ΤΡ��ּ����Τ褦�ʤ�ΡפˤĤ��ƹͤ��褦��

1. $($ʿ�̻��ѷ�����$)\ni \Delta \mapsto (a,b,c) (=$ $&Delta#Delta;$ ���$)\in$   $\mbox{${\mathbb{R}}$}$$^3$
2. $($ʿ�̻��ѷ�����$)\ni \Delta \mapsto (a+b+c)\in$   $\mbox{${\mathbb{R}}$}$$\qquad ($$a,b,c$ �� $&Delta#Delta;$ ���$)$
3. $\mbox{${\mathbb{R}}$}$$\ni x \mapsto \sqrt{x} \in$   $\mbox{${\mathbb{R}}$}$
4. $\mbox{${\mathbb{R}}$}$$_{>0} \ni x \mapsto \sqrt{x} \in$   $\mbox{${\mathbb{R}}$}$

�����Τ�����(2)�ϼ����Ǥ���(���ޤ��������Ƥ���)�� (1),(3) �ϼ����ǤϤʤ�(���ޤ��������Ƥ��ʤ�)�� ��������(4)�ˤĤ��Ƥ�ʿ�����������Τ�Τ�Ȥ�פ���«���Ƥ����� ���ޤ��������Ƥ��롣���Τ褦�ˡ� ���ΤޤޤǤϤ��ޤ��������Ƥ��ʤ���ΤǤ⡢ ���դ��䤦���Ȥˤ�äƤ��ޤ�����Ǥ��Ƥ���褦�˽����Ǥ����礬���롣

���� 1.1   �Ĥ��Τ褦�ʼ��� $f:$   $\mbox{${\mathbb{Q}}$}$$\to {\mbox{${\mathbb{Z}}$}}$ (ʬ�����Ф��Ƥ���ʬ���Ϳ�������)���ꤿ����

$$f(1/3)=3, f(2/5)=5, f(355/113)=113,\dots$$ (*)

���ΤȤ���

1. $f$ ��
   $$f(m/n)=n \qquad (m,n \in {\mbox{${\mathbb{Z}}$}}, n\neq 0)$$
   ��������褦�Ȥ��Ƥ⡢����Ϥ��ޤ��������Ƥ��ʤ����Ȥ� �����ʤ�����
2. (1)�������ơ� (*) ������������ $f$ �������ʤ�����