こんにちは, @the_theorierです.
今回は関数とグラフの関係についてそれなりにちゃんと理解しておこう…という目的で書きます.
関数が図形を表現するということ
そもそもなぜ関数がグラフを表すのでしょうか.
取り敢えず分かりやすく次元実数空間
を使って説明しましょう.
ここで と書くことにし, これを
上の)点と呼びます.
次に関数を用意します, 取り敢えず元変数の実数係数多項式にしましょう,
みたいなものです.
一般にこういったものを集めた集合を のように書き表します.
上と同じように と置いて
と書いたりします.
の元から任意に多項式を取ってきて
としましょう.
このとき, 何か具体的な点 を取ってきて,
に
を, また
に
を, …,
に
を…と置き換えることができますね.
この操作を に点
を代入すると言います.
今回はを実数係数多項式としましたから, 点
を代入した結果は必ず実数になります.
この結果を と表し, (
の, 点
による)値と呼びます.
グラフを定義する関数
点によっては, 値
が
になる場合もあります.
そこで, の元
について,
を満たす点のことを, (
の)零点と呼びます.
例えばを考えると,
となる
は
や
など色々ありますね.
ではこれをx-y平面にプロットしよう…という話になるわけです.
条件を満たす点の集合を考えるわけですね, つまり
という集合ですね.
もう一度整理すると, この集合 は
の部分集合であり, 「関数
による
上の零点をすべて集めた集合」です.
このときは
上において何らかの図形として表され, それを特徴づけるのは関数
に他なりません.
このとき を定義関数とし, 集合
を関数集合とでも呼びましょう(正式に「関数集合」という言葉があるかは知りません).
つまり, この考え方によって関数が図形を表すことが分かりますね.
この理屈で説明するために陰関数にする事情こそあれ, その辺はなじみのあるなどの形に直すことは難しくないと思います.
例えば , つまり
を考えてみます.
ようはこのグラフは となる
を集めた集合に他なりません.
他も同じようにイメージすれば大丈夫です.
しかしこの理屈だと, 例えば上の に対して例えば
としても, みかけの図形は全く同じです.
これは を定義した際の零点に関わることで,
によって関数を図形で表現するにあたり,
としましたから,
でない任意の実数
に関して
だからです.
従って, 一つの図形を表す定義関数は一通りでなく, 上記のように少なくとも定数倍を無視することで一意的に対応することになります.
グラフと方程式の解
の定義は上記まででは飽くまでも「グラフ」を表現するのに使いました.
その際関数の零点によって特徴づけたわけですが, それはつまるところ解釈を変えれば零点とはすなわち方程式の解に置きかえられることは直ぐに分かることです.
つまりある方程式 の解は, その方程式を成す関数
による関数集合
の要素に他なりません.
いやそもそも関数集合などに拘る必要もありませんね, 関数 による零点自体が方程式
の解ということです.
つまり関数 の解集合とは上記の
そのものということです.
零点とか解とか言って表現が異なるのは, それをどのようなカテゴリで解釈しているか…の違いであり, 見ている部分は実際は同じであったりします.
例えばより拡張して準同型の世界における核(Kernel)は, 例えば同種の構造を持つ二つの集合における準同型写像
について
とします(同種である構造の種類によって表現が違ったりします).
少し変形すれば のそれと似ていますね.
或いはもっとなじみあるベクトル空間で言うと, 線形写像 における集合
を意味します.