1 基本概念
定義域は、関数や写像において入力として受け取ることが許される値の集まりである。数式で表された関数では、式に代入したときに意味が破綻しない範囲を示し、解析や代数の基礎に位置づけられる。対象が実数でも複素数でも、多変数でも、この集合を明示することで関数の扱いが明確になる。
1.1 定義域の定義
定義域とは、ある関数 \(f\) に対して \(f(x)\) が意味をもつ入力 \(x\) の全体をいう。関数を「入力と出力の対応」とみなす立場では、定義域は入力側の集合に当たり、記号上は \(x\) の取りうる範囲として示されることが多い。実際には、式そのものだけでなく、関数が置かれた数学的文脈によっても定義域は定まる。
1.2 値域との関係
定義域が入力の集合であるのに対し、値域は関数が実際に出力しうる値の集合である。両者は別の概念だが、関数の形によって互いに強く制約し合う。たとえば定義域が狭ければ値域も制限されやすく、逆に値域の条件から入力の許容範囲を推測できる場合もある。
1.3 対応関係における役割
写像として関数を捉えると、定義域は対応の出発点にあたる。各入力に対して出力がただ一つ定まることが関数の基本条件であり、定義域はその条件が保たれる範囲を与える。したがって、定義域の設定は「どこまでを同じ規則で扱うか」を決める作業でもある。
2 定義域の求め方
定義域を求める際には、式の各部分が意味を失わない条件を順に確認する。分母、根号、対数、三角関数の特性などを見ながら、禁止される値を除外していく方法が一般的である。複数の制約が重なる場合は、それらの共通部分が最終的な定義域となる。
2.1 分数式の場合
分数を含む式では、分母が 0 にならないことが基本条件である。たとえば \(\frac{1}{x-2}\) では \(x=2\) を除外する必要がある。分母が複雑な式であっても、ゼロになる値を解いて除くという手順は同じである。
2.2 根号を含む場合
偶数乗根を含む式では、根号の中身が非負でなければならない。平方根 \(\sqrt{x-1}\) なら \(x-1\ge 0\)、つまり \(x\ge 1\) が必要になる。奇数乗根は実数の範囲ではより広く定義できるが、他の部分に別の制限がある場合はそれに従う。
2.3 対数を含む場合
対数関数では、真数が正であることが条件となる。たとえば \(\log(x+3)\) では \(x+3>0\) が必要で、\(x>-3\) が定義域になる。底についても条件があるが、通常の初等関数の範囲では真数条件が最も直接的な制約として扱われる。
2.4 三角関数を含む場合
三角関数そのものは広い範囲で定義されるが、逆三角関数や三角関数を分母に含む式では定義域に制限が生じる。たとえば \(\tan x\) は \(\cos x=0\) となる点で定義されないため、\(x=\frac{\pi}{2}+k\pi\) を除く必要がある。式の構造を確認し、周期性や零点の位置を考慮して範囲を定める。
3 関数の種類ごとの定義域
関数の種類によって、定義域の考え方は少しずつ異なる。実数関数では数直線上の区間や集合として扱うことが多く、複素関数では複素平面上の領域が対象となる。多変数関数では、入力が複数の成分をもつため、許される組の全体を定義域として捉える。
3.1 実数値関数
実数値関数では、定義域は通常、実数全体またはその部分集合として記述される。区間、和集合、補集合などを用いて表されることも多い。高校数学ではグラフの描画と結びつけて理解されることが多く、どの \(x\) に対して点が現れるかを示す基盤になる。
3.2 複素関数
複素関数では、入力は複素数であり、定義域は複素平面上の集合として表現される。実数関数よりも解析的な性質が重視され、正則性や特異点の位置が定義域と深く関係する。式によっては、ある点を除いた複素平面全体で定義されることもある。
3.3 多変数関数
多変数関数では、入力がベクトルや組で与えられるため、定義域はそれらの組の集合になる。各成分に対する条件に加え、成分同士の関係が制約を生むこともある。たとえば円錐面の内側、球の内部、あるいは不等式で表される領域などが定義域になりうる。
3.3.1 二変数関数
二変数関数 \(f(x,y)\) では、\((x,y)\) の組が許されるかどうかを判定する。平方根や分母の条件は各変数に対して同時に成立しなければならず、定義域は平面上の領域として表されることが多い。等高線やグラフの断面を通して性質を把握しやすい。
3.3.2 三変数以上の関数
三変数以上になると、定義域は高次元空間内の領域として考えられる。視覚化は難しくなるが、条件の組み合わせは基本的に二変数の場合と同様である。解析では、各成分の制約を整理し、許容される点の集合を記号的に記述する。
4 定義域に関する性質
定義域は単なる付随情報ではなく、関数の連続性や可逆性、合成の可否などを左右する重要な要素である。入力の範囲をどこに置くかによって、同じ式でも性質が変わることがある。例外をどう扱うかも、厳密な数学では重要な論点になる。
4.1 連続性との関係
連続性は、定義域の各点で関数の値が近くの点の値と滑らかにつながるかを問う概念である。定義域に穴や端点があると、連続性の議論はその範囲に応じて行う必要がある。つまり、連続かどうかは式だけでなく、どこで定義しているかにも依存する。
4.2 逆関数との関係
逆関数が存在するためには、一般に関数が単射であることが求められる。定義域を制限すると、単射性が得られて逆関数が定義できる場合がある。たとえば二次関数は全実数上では逆関数をもたないが、定義域を半区間に絞ることで扱えることがある。
4.3 合成関数における定義域
合成関数では、内側の関数の値が外側の関数の定義域に入る必要がある。したがって、合成全体の定義域は単純な共通部分ではなく、値の流れを追って決める。最初の関数の出力が次の関数で受理されるかどうかを確認することが重要である。
4.4 例外的な定義域の扱い
数学では、もともと制限された定義域をもつ関数を、その範囲だけで考えることがある。また、特異点や不連続点を除外して定義する場合もある。こうした例外処理は、厳密性を保ちながら対象を研究しやすくするための標準的な方法である。