高校数学の定義域とは？y=x^xの定義域を例にわかりやすく解説

高校数学では関数の定義域を求める問題が登場します。定義域とは、関数の式に代入したときに値がきちんと定まるxの範囲のことです。特に指数が変数に含まれるy=x^xのような関数では、どの実数を代入できるのか慎重に考える必要があります。

定義域とは何か

関数の定義域とは、その関数が意味を持つxの集合です。

例えばy=√xなら、負の数の平方根は高校数学では実数として定義されないため、定義域はx≧0となります。

このように「式が実数として計算できるか」を調べるのが定義域を求める基本的な考え方です。

y=x^xは底も指数もxである特殊な関数です。

高校数学では通常、x^xをe^(xlogx)として扱います。この変形を使うためにはlogxが定義されていなければなりません。

対数関数logxはx＞0でしか定義されないため、関数y=x^xの基本的な定義域はx＞0となります。

例えばx=-1を代入すると、(-1)^(-1)=1/(-1)=-1となり、確かに値は求まります。

またx=-2なら(-2)^(-2)=1/4となります。

このように負の整数では偶然うまく計算できる場合があります。

関数の定義域は、一部の値だけ計算できればよいわけではありません。

例えばx=-1/2を代入すると(-1/2)^(-1/2)となり、高校数学の実数の範囲では定義できません。

さらに負の有理数や無理数では、値が実数になったりならなかったりして統一的な関数として扱いにくくなります。

そのため高校数学では、連続的に扱える範囲としてx＞0を定義域とするのが一般的です。

大学数学では複素数やべき関数の一般論を学ぶため、負の数に対するx^xもより詳しく議論されます。

しかし高校数学では実数の範囲で考えるため、x^x=e^(xlogx)が自然に使えるx＞0のみを定義域とすることがほとんどです。

入試問題や教科書でも、この考え方に従うのが基本です。

関数の定義域とは、式が実数として意味を持つxの範囲です。

y=x^xでは、対数を用いた定義x^x=e^(xlogx)を考えるため、通常の高校数学では定義域はx＞0となります。

負の整数の一部では値が計算できる場合がありますが、それだけを集めて定義域とすることは一般的ではありません。定義域を求める際は「式が連続的かつ統一的に定義できる範囲」を意識すると理解しやすくなります。