�����Ƚ������� No.7

��7���ܤμ��� :

��� 7.1   ���� $X$ �� $Y$ ��Ϳ�����Ƥ���Ȥ��롣 $X$ �γƸ� $x$ ���Ф��ơ�$Y$ �θ� $f(x)$ ���ҤȤĤŤ�Ϳ�����Ƥ���Ȥ��� $X$ ���� $Y$ �ؤ����� $f$ ��Ϳ�����Ƥ���Ȥ����� $X$ �Τ��Ȥ� $f$ ���Ͻ�����$Y$ �Τ��Ȥ� $f$ ���������Ȥ�����

$x$ ���ɤθ����ɤθ��˹Ԥ����Ȥ�������ȤȤ�ˡ� $X$ �� $Y$ ����ꤹ�뤳�Ȥ����ѽ����Ǥ��롣

���ξ����ϼ��Τ褦�˽񤯤������Ǥ��롣

$$f: X \to Y$$

$$\mathrel{\rotatebox[origin=c]{90}{$\in$}} \mathrel{\rotatebox[origin=c]{90}{$\in$}}$$

$$x \mapsto f(x)$$

â�����Կ���������Τǡ����Τ褦�˰�ԤǺѤޤ��Ƥ��ޤ����Ȥ⤢�롣

$$f:X \ni x \mapsto f(x) \in Y$$

�������ɽ��ˡ�Ǥ⡢ �������񤯽�����Ĥ����ɬ�� $X,Y$ �������ޤǽ񤯤��Ȥ��Ǥ��뤳�Ȥ� ���դ��롣����Ū�ˤϼ�����򸫤衣

�� 7.2   �Ĥ��γơ��Ϥ��줾��(�̡���)�����Ǥ��롣

1. $f_\theenumi:$$\mbox{${\mathbb{R}}$}$$\ni x \mapsto x \in$   $\mbox{${\mathbb{R}}$}$
2. $f_\theenumi:$$\mbox{${\mathbb{R}}$}$$\ni x \mapsto x^2 \in$   $\mbox{${\mathbb{R}}$}$
3. $f_\theenumi:$$\mbox{${\mathbb{R}}$}$$_{>0} \ni x \mapsto x^2 \in$   $\mbox{${\mathbb{R}}$}$
4. $f_\theenumi:$$\mbox{${\mathbb{R}}$}$$_{>0} \ni x \mapsto x^2 \in$   $\mbox{${\mathbb{R}}$}$$_{>0}$
5. $f_\theenumi:{\mbox{${\mathbb{Z}}$}}\ni n \mapsto 2 n \in \mbox{${\mathbb{R}}$}$
6. $f_\theenumi:{\mbox{${\mathbb{Z}}$}}\ni n \mapsto 2 n \in {\mbox{${\mathbb{Z}}$}}$

�б� $x\mapsto f(x)$ �ˤĤ��ƤȤ��˸��ڤ���ɬ�פΤʤ����ˤϡ� �����Τ褦�� �ּ��� $f: X\to Y$ �� �Ȥ��� �� $X \overset{f}{\to} Y$ �� �Ⱦ�ά���ƽ񤯤��Ȥ⤢�롣

��� 7.3   ���� $f: X\to Y$ ���Ф��Ƥ����������

$$\Gamma_f=\{ (x,f(x)) \vert x \in X\} \subset X\times Y$$

��������롣

���� 7.1   �� 7.2 �μ����Τ��줾��ˤĤ��Ƥ��Υ���դ�������

�ؿ��򤽤Υ���դǤ�ä�������뤳�Ȥ�Ǥ��롣

���ϳؤǸ����С�Ϣ³��������ʬ��ǽ����������Ǹ����С���Ʊ�������Τ褦�� ��...�������������פ�ͤ��뤳�Ȥ�����¿���������ܤǤ⤢�롣 ���ؤ�ؤ־�ǡ����Τ褦�ʤ�Τ�������ɬ�פ������뤳�Ȥ�¿���������� ���Τ����� ���줬�����Ǥ��뤳�Ȥ�����å�����Τ�����ɬ���Ǥ��뤷�� ���ˤ�äƤϻŻ�����Ⱦ�����롣

���� 7.2   �Ĥ��γơ��Ϥ��줾������Ǥ���������

1. $g_\theenumi:$   $\mbox{${\mathbb{R}}$}$$\ni x\mapsto x \in {\mbox{${\mathbb{Z}}$}}$ .
2. $g_\theenumi:$   $\mbox{${\mathbb{R}}$}$$\ni x \mapsto \sqrt{x} \in$   $\mbox{${\mathbb{R}}$}$ .
3. $g_\theenumi:$   $\mbox{${\mathbb{Q}}$}$$\ni x \mapsto ($$x$ �����ʬ���ǽñ¤¤¤ï¿½ï¿½ï¿½ï¿½ï¿½Ê¬ï¿½ï¿½ï¿½ï¿½ï¿½ï¿½ï¿½ï¿½ï¿½$) \in {\mbox{${\mathbb{Z}}$}}$ .
4. $g_\theenumi:$   $\mbox{${\mathbb{Q}}$}$$\ni x \mapsto ($$x$ ��ʬ���ǽñ¤¤¤ï¿½ï¿½ï¿½ï¿½ï¿½Ê¬ï¿½ï¿½$) \in {\mbox{${\mathbb{Z}}$}}$ .
5. $g_\theenumi:$   $\mbox{${\mathbb{R}}$}$$\ni x \mapsto ($$x$ ��10��Ÿ���������ξ�������$) \in {\mbox{${\mathbb{Z}}$}}$

�������֤��ޤ��������Ƥ��ʤ��פΤ�ۣ�椵���ӽ�����Ƥ��ʤ� �����Ǥ��뤳�Ȥ����롣���Τ褦�ʾ��ˤϸ��դ��դ�­����ۣ�椵�� �ӽ����뤳�Ȥˤ���������������Ǥ��뤳�Ȥ����롣

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

��� 7.4   ���� $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$ �Ȥ��ƤɤΤ褦�ʤ�Τ� �ͤ��Ƥ��뤫�����ѽ��פʰ�̣����ġ�

���� 7.3   �� 7.2 �γơ������͡�ñ�͡���ñ�ͤǤ������������