グラフ (関数)

関数の**グラフ**（）は、直観的には、関数を平面内の曲線もしくは空間内の曲面としてダイアグラム状に視覚化したものである。形式的には、関数  のグラフとは、順序対  の集合である。

例えば、 と  が常に実数であるような関数の場合、グラフは座標平面上の点の集まりとみなすことができる。このような関数のうち、応用上重要な関数の多くは、グラフを座標平面上に曲線として描くことが可能である。

グラフの概念は関数のみならず、より一般の写像や対応に対しても定義される。標語的には、グラフは関数や対応を特徴付ける集合であるといえる。

## 定義
*f* を、集合 *A* から集合 *B* への関数とする。すなわち、*A* の各元 *x* に対し、*B* の元 *f*(*x*) がただ一つ定まるとする。このとき、*f* の**グラフ**とは、直積集合 *A* &times; *B* の部分集合
:\{(x,f(x)) \mid x \in A\}
である。逆に、*A* &times; *B* の部分集合 *G* が、「任意の *x* &isin; *A* に対して (*x*, *y*) &isin; *G* なる元がただひとつ存在する」という条件を満たすならば、*G* をグラフとする *A* から *B* への関数 *f* が一意的に定まる。

特に、実数 *x* に対し、ただ一つの実数 *f*(*x*) が定まる関数 *f* を考えると、これは、*A* と *B* がともに実数全体の集合 **R** の場合である。このとき、グラフは **R** &times; **R**（**R**2 と表す）の部分集合である。**R**2 は2次元ユークリッド空間、すなわち平面と同一視され、この場合の関数のグラフは平面内の点の集まりとみなすことができる。

また、二つの実数 *x*, *y* に対し、ただ一つの実数 *f*(*x*, *y*) が定まる2変数関数 *f* を考えると、これは、*A* = **R**2 かつ *B* = **R** の場合である。このとき、グラフは **R**2 &times; **R** の部分集合である。**R**2 &times; **R** の元は ((*x*, *y*), *z*) の形をしているが、これを (*x*, *y*, *z*) と同一視することにより、グラフは3次元ユークリッド空間 **R**3 内の点の集まりとみなすことができる。

## 具体例

関数
:
f(x) = 
\begin{cases}
2 & (x=a)\\
0 & (x=b)\\
-1 & (x=c)
\end{cases}

のグラフは {(*a*, 2), (*b*, 0), (*c*, −1)} である。このグラフを視覚化するルールは、標準的には定まっていないが、棒グラフ等で表すことは可能である。

実数上の三次関数
:
のグラフは {(*x*, *x*3 − 9*x*) | *x* &isin; **R**} である。座標平面上で、各 *x* に対して (*x*, *x*3 − 9*x*) をプロットすると、右の曲線を得る。一般には、この曲線を指して *f* のグラフと称することが多い。

実数上の2変数関数
:
のグラフは {(*x*, *y*, *x*2 − *y*2) | *x*, *y* &isin; **R**} である。座標空間内で、各 (*x*, *y*) に対して (*x*, *y*, *x*2 − *y*2) をプロットすると、右の曲面を得る。

**R** から **R** への関数だとしても、実際にグラフを描画できるとは限らない。例として、ディリクレの関数、すなわち有理数に対しては 1 を、無理数に対しては 0 を対応させる関数を考える。
:
f(x) = 
\begin{cases}
1 & (x \in \mathbb{Q})\\
0 & (x \in \mathbb{R}\setminus \mathbb{Q})
\end{cases}

この関数のグラフは、2本の平行な直線に「見える」であろう。しかし、それぞれの直線には無数に穴が空いているのであり、これを正確に描画することは不可能である。

## 関数の性質とグラフの特徴
本節では、簡単のため、**R** から **R** への関数のみを考え、関数の性質とグラフの特徴の関係について述べる。

### 関数の定義・全射性・単射性
関数の定義より、任意の実数 *x* に対して *f*(*x*) がただ一つ定まるため、*x* 軸に垂直な直線は、関数のグラフとただ1点で交わる。一方、*y* 軸に垂直な直線は、グラフと交わらないことも、複数の点で交わることもある。*y* 軸に垂直な直線とグラフが交わる回数は、関数の全射性や単射性と対応している。
*常に交わる &hArr; 関数は全射
*常に1回以下である &hArr; 関数は単射
*常にちょうど1回である &hArr; 関数は全単射

### 連続性

関数 *f* が *x* = *a* で連続であるとは、おおまかには、*f* のグラフが (*a*, *f*(*a*)) の周辺で「つながっている」ということである。例えば、ヘヴィサイドの階段関数は、*x* = 0 でのみ不連続であって、他の点では連続である。

しかし、数学における連続性は、厳密には極限、ひいては&epsilon;-&delta;論法を用いて定義されるのであって、必ずしも直感的に分かりやすい例ばかりではない。分かりにくい例として、次の関数 *f* を考える。
:
f(x) = \begin{cases}
x & (x \in \mathbb{Q})\\
1-x & (x \in \mathbb{R}\setminus \mathbb{Q})
\end{cases}

この関数のグラフは、2本の直線が (1/2, 1/2) で直交しているように「見える」が、ディリクレの関数と同様に無数に穴が空いている。連続性の定義から、*x* = 1/2 でのみ連続であって、他の点では不連続である。

### 微分可能性

関数  が  で微分可能であるとは、おおまかには、  のグラフが  の周辺で「滑らか」であって、その点における接線が描けるということである。例えば、絶対値関数は、 でのみ微分不可能であって、他の点では微分可能である。なお、微分可能ならば連続でもあるが、逆は成り立たない。

微分可能性は、やはり極限を用いて定義されるのであって、必ずしも直感的に分かりやすい例ばかりではない。例として、次の関数  を考える。この関数のグラフは、原点の近くで無限回振動しており、正確に描くことはできない。
:
f_1(x) = \begin{cases}
0, & (x \le 0) \\
x\sin \left(\dfrac{1}{x}\right), & (x > 0)
\end{cases}

 は  で連続ではあるが、微分可能ではない。このことは、グラフの外見だけからは判別しにくい。

似た定義式であっても、次の関数は  で微分可能である。
:f_2(x) = \begin{cases}
0, & (x \le 0) \\
x^2\sin \left(\dfrac{1}{x}\right), & (x > 0)
\end{cases}

なお、導関数 *f*2&prime;は *x* = 0 で不連続である。

ファイル:Absolute value.svg|絶対値関数は原点で微分不可能
ファイル:TV pic2.png| は原点で微分不可能
ファイル:TV pic3.png| は原点で微分可能


## 陰関数のグラフ
陰関数表示されたグラフはy=±√・・・の形の陽関数にして書く。

対称性を見つければy=±√・・・のプラスマイナスは片方だけ調べればよくなる。

## 脚注

## 関連項目
*グラフ
*統計図表
*グラフ作成ソフト

## 外部リンク
*