�����Ƚ������� No.8

�����ϻϽ���Ƚ�����򥳥ߤˤ��ƹͤ���ɬ�פ�����ΤǤ����� �祳��Υ��Ĥ�����ʤ褦�ˡ� $X$ �� $Y$ �ˤɤΤ��餤�θ�������Τ������פǤ��� ���Τ��Ȥ򤦤ޤ��Ѥ��ơ������ϻϽ���Ƚ�����Ȥθ���¿������٤�Τˤ� �Ȥ��ޤ���

&dotfill#dotfill;

��8���ܤμ��� :

�����͡�ñ�͡���ñ�͡�

��� 8.1 (��)   ���� $f:X\to Y$ ��

1. $\forall y\in Y \exists x \in X \quad (f(x)=y)$ ���������Ȥ��� $f$ �������Ǥ���Ȥ�����
2. $\forall x_1,x_2 \in X (x_1\neq x_2 \implies f(x_1)\neq f(x_2))$ ���������Ȥ���$f$ ��ñ���Ǥ���Ȥ�����
3. ���ͤ���ñ�ͤǤ���Ȥ���$f$ ����ñ���Ǥ���Ȥ�����

���͡�ñ�͡���ñ�ͤ�Ƚ��ˤϡ�$X,Y$ �Ȥ��ƤɤΤ褦�ʤ�Τ� �ͤ��Ƥ��뤫�����ѽ��פʰ�̣����ġ�

���� 8.2   $f:X\to Y$ ����ñ�ͤʤ�С� �Ĥ��Τ褦������������������ $f^{-1}:Y\to X$ �������ҤȤ�¸�ߤ��롣

$$y=f(x) {\Leftrightarrow} x={f}^{-1}(y)$$

���� $f^{-1}$ �Τ��Ȥ� $f$ ���ռ����Ȥ�֡�

���� 8.1   $f:$$\mbox{${\mathbb{R}}$}$$\ni x \mapsto 2 x+1 \in$   $\mbox{${\mathbb{R}}$}$ �εռ�������衣

���֥ۥƥ�ҥ�٥�ȡ�

���̤ˡ� $X$ ���� $Y$ �ؤ�ñ�ͤ�¸�ߤ��뤳�Ȥϡ� $X$ �θ��Τۤ��� $Y$ �θ�����־��ʤ��פ��Ȥ��̣����ȹͤ����롣 $X$ �γơ��θ���ֿ͡ס�$Y$ �γơ��θ���֥ۥƥ�������פ��㤨��ȡ� ñ�ͤ�¸�ߤϰ�ͤҤȤ꤬�̡�������������뤳�Ȥ��̣���뤫��Ǥ��롣 Ʊ�ͤˡ� $X$ ���� $Y$ �ؤ����ͤ�¸�ߤ��뤳�Ȥϡ� $X$ �θ��Τۤ��� $Y$ �θ������¿���פȹͤ����롣

��������̵�½���ˤ����Ƥϡ���¿���ס־��ʤ��פδ��Ф�ͭ�½���Ȥ� �����ۤʤ롣

���� 8.2   �Ĥ��Τ��Ȥò¤½¤ì¤¾ï¿½ì¼¨ï¿½ï¿½ï¿½Ê¤ï¿½ï¿½ï¿½ï¿½ï¿½

1. ${\mbox{${\mathbb{Z}}$}}_{>0}$ ���� ${\mbox{${\mathbb{Z}}$}}_{>0}\setminus \{1\}$ �ؤ���ñ�ͤ�¸�ߤ��롣
2. ${\mbox{${\mathbb{Z}}$}}$ ���� $2 {\mbox{${\mathbb{Z}}$}}$ �ؤ���ñ�ͤ�¸�ߤ��롣
3. ${\mbox{${\mathbb{Z}}$}}$ ���� ${\mbox{${\mathbb{Z}}$}}_{>0}$ �ؤ�ñ�ͤ�¸�ߤ��롣
4. ${\mbox{${\mathbb{Z}}$}}_{>0}^2$ ���� ${\mbox{${\mathbb{Z}}$}}$ �ؤ�ñ�ͤ�¸�ߤ��롣
5. ${\mbox{${\mathbb{Z}}$}}^2$ ���� ${\mbox{${\mathbb{Z}}$}}$ �ؤ�ñ�ͤ�¸�ߤ��롣
6. Ǥ�դ����� $n$ �ˤ������ơ� ${\mbox{${\mathbb{Z}}$}}^n$ ���� ${\mbox{${\mathbb{Z}}$}}$ �ؤ�ñ�ͤ�¸�ߤ��롣
7. $\mbox{${\mathbb{Q}}$}$ ���� ${\mbox{${\mathbb{Z}}$}}$ �ؤ�ñ�ͤ�¸�ߤ��롣

����θ� $A$ �� �ָĿ��פ� $\char93 A$ �Ƚ񤳤��� �¤ϡ��ָĿ��פ�̵�½�����Ф��Ƥ��������ơ� ����ˡ�ñ�ˡ�̵�¤Ǥ���פȤ������� �٤��ʼ��٤�Ƴ�����뤳�Ȥ��Ǥ��롣�����ǡ����Τ褦�ʰ�̣�礤�����ơ�ǻ�١� �Ȥ������դ�Ȥ��Τ����̤Ǥ��롣��������ϰʲ����̤ꡣ

��� 8.3   ���� $A$ ���Ф��ơ�$A$ ��ǻ���ȸƤФ�뵭�� $\char93 A$ �����롣 ǻ�٤δ֤�����ϡ����Τ褦�ʰ�̣�ǻȤ���

$$\char93 A = \char93 B {\Leftrightarrow}$$    ($A$ ���� $B$ �ؤ���ñ�ͤ�¸�ߤ��롣)

������������äȴ֤˹�碌Ū�Ǥ��롣(���Ȥǡ�Ʊ�ʹط��� �Ȥ�����ǰ��Ƴ�����뤳�Ȥˤ�ꤹ�����ޥ��ˤǤ��롣)

��� 8.4   ���� $A$ ���� $B$ �ؤ�ñ�ͤ�¸�ߤ���Ȥ��� $\char93 A \leq \char93 B$ �� �ñ¤¯¤ï¿½ï¿½È¤Ë¤ï¿½ï¿½ë¡£

��������� $A,B$ �ΤȤ����ˤ�餺��$A,B$ ��ǻ�٤ΤߤǷ�ޤäƤ��롣

���� 8.5   ���� $A,B,C$ ���Ф��ơ�

$$(\char93 A \leq \char93 B$$$$\text { and } \char93 B \leq \char93 C ) \implies \char93 A \leq \char93 C$$

���ʤꤿ�ġ�

�Ĥ��������ϴ���Ū�ǡ����ξ��������򤤤��� �����񤷤��Τ� web ���֤��Ƥ������Ȥˤ��롣 ��̣������ͤ�

http://www.math.kochi-u.ac.jp/docky/kogi/ ���餿�ɤ�Ȥ褤��

���� 8.6 (�٥�󥷥奿����)  

$$(\char93 A \leq \char93 B$$$$\text { and } \char93 B \leq \char93 A ) \implies \char93 A =\char93 B$$

���ʤꤿ�ġ�

ǻ�٤θ���(�ȥ٥�󥷥奿���������)���Ѥ���ȡ����Τ��Ȥ�ʬ����

$$\char93 {\mbox{${\mathbb{Z}}$}}= \char93 ({\mbox{${\mathbb{Z}}$... ...mathbb{Q}}$}=\char93 \mbox{${\mathbb{Q}}$}^2=\char93 \mbox{${\mathbb{Q}}$}^3$$