WIIS

実数の定義

指数が実数である場合の累乗

目次

前のページ:

無理数の稠密性

次のページ:

区間の定義

Mailで保存
Xで共有

実数指数の累乗

実数\(a\in \mathbb{R} \)と自然数\(n\in \mathbb{N} \)が与えられたとき、底が\(a\)で指数が\(n\)であるような累乗を、\begin{equation*}a^{n}=\overset{n\text{個}}{\overbrace{a\times \cdots \times a}}
\end{equation*}と定義した上で、これが指数法則などの性質を満たすことを示しました。

以上を踏まえた上で、非ゼロの実数\(a\in \mathbb{R} \backslash \left\{ 0\right\} \)と整数\(z\in \mathbb{Z} \)が与えられたとき、底が\(a\)であり指数が\(z\)であるような累乗を、\begin{equation*}a^{z}=\left\{
\begin{array}{cc}
a^{z} & \left( if\ z>0\right) \\
1 & \left( if\ z=0\right) \\
\dfrac{1}{a^{-z}} & \left( if\ n<0\right)
\end{array}\right.
\end{equation*}と定義した上で、これもまた指数法則を満たすことを示しました。

以上を踏まえた上で、正の実数\(a\in \mathbb{R} _{++}\)と有理数\(\frac{z}{n}\ \left( z\in \mathbb{Z} ,n\in \mathbb{N} \right) \)が与えられたとき、底が\(a\)であり指数が\(\frac{z}{n}\)であるような累乗を、以下の条件\begin{equation*}\left( a^{\frac{z}{n}}\right) ^{n}=a^{z}\wedge a^{\frac{z}{n}}>0
\end{equation*}を満たす実数として定義した上で、これが1つの実数として定まるとともに、これもまた指数法則を満たすことを示しました。では、指数を有理数から一般の実数へ拡張した場合の累乗をどのように定義すればよいでしょうか。つまり、正の実数\(a>0\)と実数\(x\in \mathbb{R} \)が与えられたとき、\begin{equation*}a^{x}
\end{equation*}をどのように定義すればよいでしょうか。これまで導入した概念を動員しながら順番に考えます。

正の実数\(a>0\)と実数\(x\in \mathbb{R} \)をそれぞれ任意に選びます。指数が有理数であるような累乗は1つの実数として定まるため、任意の有理数\(r\in \mathbb{Q} \)に対して、\begin{equation*}a^{r}
\end{equation*}が1つの実数として定まることが保証されます。そこで、\(x\)より小さいそれぞれの有理数\(r\)について\(a^{r}\)をとった上で、それらの集合を、\begin{equation*}S\left( a,x\right) =\left\{ a^{r}\in \mathbb{R} \ |\ r<x\wedge r\in \mathbb{Q} \right\}
\end{equation*}と表記します。

以上を踏まえた上で、底が\(a>1\)を満たす場合には、任意の指数\(x\in \mathbb{R} \)に対して、\begin{equation}a^{x}=\sup S\left( a,x\right) \quad \cdots (1)
\end{equation}と定義します。また、底が\(a=1\)である場合には、任意の指数\(x\in \mathbb{R} \)に対して、\begin{equation*}1^{x}=1
\end{equation*}と定義します。また、底が\(1>a>0\)を満たす場合には\(\frac{1}{a}>1\)となるため、任意の指数\(x\in \mathbb{R} \)に対して、\begin{equation*}a^{x}=\left( \frac{1}{a}\right) ^{-x}
\end{equation*}と定義します。\(\left( 1\right) \)よりこれは、\begin{equation*}a^{x}=\sup \left( \frac{1}{a},-x\right)
\end{equation*}と言い換え可能です。

改めて整理すると、正の実数\(a>0\)と実数\(x\in \mathbb{R} \)が与えられたとき、\(a\)の\(x\)乗を、\begin{equation*}a^{x}=\left\{
\begin{array}{cl}
\sup S\left( a,x\right) & \left( if\ a>1\right) \\
1 & \left( if\ a=1\right) \\
\left( \frac{1}{a}\right) ^{-x} & \left( if\ 0<a<1\right)
\end{array}\right.
\end{equation*}と定義します。ただし、\begin{equation*}
S\left( a,x\right) =\left\{ a^{r}\in \mathbb{R} \ |\ r<x\wedge r\in \mathbb{Q} \right\}
\end{equation*}です。ただし、以上のように定義された\(a^{x}\)が常に1つの実数として定まることは明らかではありません。後ほど\(a^{x}\)が1つの実数として定まることを証明します。

例(実数指数の累乗)
底が\(2\)で指数が\(\sqrt{2}\)であるような累乗は、\begin{eqnarray*}2^{\sqrt{2}} &=&\sup S\left( 2,\sqrt{2}\right) \\
&=&\sup \left\{ 2^{r}\in \mathbb{R} \ |\ r<\sqrt{2}\wedge r\in \mathbb{Q} \right\}
\end{eqnarray*}と定義されます。また、底が\(1\)で指数が\(\sqrt{2}\)であるような累乗は、\begin{equation*}1^{\sqrt{2}}=1
\end{equation*}と定義されます。また、底が\(\frac{1}{2}\)で指数が\(\sqrt{2}\)であるような累乗は、\begin{eqnarray*}\left( \frac{1}{2}\right) ^{\sqrt{2}} &=&2^{-\sqrt{2}} \\
&=&\sup S\left( 2,-\sqrt{2}\right) \\
&=&\sup \left\{ 2^{r}\in \mathbb{R} \ |\ r<-\sqrt{2}\wedge r\in \mathbb{Q} \right\}
\end{eqnarray*}と定義されます。

例(実数乗の一般性)
底が\(2\)で指数が\(3\)であるような累乗は、\begin{equation}2^{3}=2\cdot 2\cdot 2=8 \quad \cdots (1)
\end{equation}と定義されます。自然数は実数であることから、\(2^{3}\)を指数が実数であるような累乗とみなすこともできます。つまり、\begin{eqnarray*}2^{3} &=&\sup S\left( 2,3\right) \\
&=&\sup \left\{ 2^{r}\in \mathbb{R} \ |\ r<3\wedge r\in \mathbb{Q} \right\}
\end{eqnarray*}とみなすということです。これは\(\left( 1\right) \)と一致するため(演習問題)、指数が実数であるような累乗の定義は、指数が自然数であるような累乗の定義の一般化になっています。
例(実数乗の一般性)
底が\(2\)で指数が整数\(-3\)であるような累乗は、\begin{equation}2^{-3}=\frac{1}{2\cdot 2\cdot 2}=\frac{1}{8} \quad \cdots (1)
\end{equation}と定義されます。整数は実数であることから、\(2^{-3}\)を指数が実数であるような累乗とみなすこともできます。つまり、\begin{eqnarray*}2^{-3} &=&\sup S\left( 2,-3\right) \\
&=&\sup \left\{ 2^{r}\in \mathbb{R} \ |\ r<-3\wedge r\in \mathbb{Q} \right\}
\end{eqnarray*}とみなすということです。これは\(\left( 1\right) \)と一致するため(演習問題)、指数が実数であるような累乗の定義は、指数が整数であるような累乗の定義の一般化になっています。
例(実数乗の一般性)
底が\(2\)で指数が有理数\(\frac{1}{2}\)であるような累乗\(2^{\frac{1}{2}}\)すなわち\(\sqrt{2}\)は、\begin{equation}b^{2}=2\wedge b>0 \quad \cdots (1)
\end{equation}を満たす実数\(b\)として定義されます。有理数は実数であることから、\(2^{\frac{1}{2}}\)を指数が実数であるような累乗とみなすこともできます。つまり、\begin{eqnarray*}2^{\frac{1}{2}} &=&\sup S\left( 2,\frac{1}{2}\right) \\
&=&\sup \left\{ 2^{r}\in \mathbb{R} \ |\ r<\frac{1}{2}\wedge r\in \mathbb{Q} \right\}
\end{eqnarray*}です。これは\(\left( 1\right) \)を満たすような正の実数\(b\)と一致するため(演習問題)、指数が実数であるような累乗の定義は、指数が有理数であるような累乗の定義の一般化になっています。

 

実数乗の存在証明

正の実数\(a>0\)と実数\(x\in \mathbb{R} \)が与えられたとき、底が\(a\)で指数が\(x\)であるような累乗\(a^{x}\)は、\begin{equation*}a^{x}=\left\{
\begin{array}{cc}
\sup S\left( a,x\right) & \left( if\ a>1\right) \\
1 & \left( if\ a=1\right) \\
\left( \frac{1}{a}\right) ^{-x} & \left( if\ a<1\right)
\end{array}\right.
\end{equation*}と定義されます。ただし、\begin{equation*}
S\left( a,x\right) =\left\{ a^{r}\in \mathbb{R} \ |\ r<x\wedge r\in \mathbb{Q} \right\}
\end{equation*}です。したがって、\(a^{x}\)が常に1つの実数として定まるためには、\(a\)や\(x\)に関わらず\(S\left(a,x\right) \)が上限を持つことを保証する必要があります。

命題(実数乗の存在証明)
正の実数\(a>0\)と実数\(x\in \mathbb{R} \)をそれぞれ任意に選んだとき、\begin{equation*}a^{x}=\left\{
\begin{array}{cc}
\sup S\left( a,x\right) & \left( if\ a>1\right) \\
1 & \left( if\ a=1\right) \\
\left( \frac{1}{a}\right) ^{-x} & \left( if\ a<1\right)\end{array}\right.
\end{equation*}は1つの実数として定まる。ただし、\begin{equation*}
S\left( a,x\right) =\left\{ a^{r}\in \mathbb{R} \ |\ r<x\wedge r\in \mathbb{Q} \right\}
\end{equation*}である。

証明

プレミアム会員専用コンテンツです
ログイン】【会員登録

 

実数乗の一般性

指数が実数であるような累乗を定義しましたが、これは指数が有理数であるような累乗の一般化になっています。

命題(実数乗の一般性)

正の実数\(a>0\)と有理数\(r\in \mathbb{Q} \)が与えられたとき、そこから以下の集合\begin{equation*}S\left( a,r\right) =\left\{ a^{s}\in \mathbb{R} \ |\ s<r\wedge s\in \mathbb{Q} \right\}
\end{equation*}を定義する。このとき、\begin{equation*}
a^{r}=\left\{
\begin{array}{cc}
\sup S\left( a,r\right) & \left( if\ a>1\right) \\
1 & \left( if\ a=1\right) \\
\sup S\left( \frac{1}{a},-r\right) & \left( if\ a<1\right)
\end{array}\right.
\end{equation*}という関係が成り立つ。ただし、左辺の\(a^{r}\)は指数が有理数であるような累乗であり、\(r=\frac{z}{n}\ \left( z\in \mathbb{Z} ,n\in \mathbb{N} \right) \)である場合、これは、\begin{equation*}y^{n}=a^{z}\wedge y>0
\end{equation*}を満たす実数\(y\in \mathbb{R} \)として定義される。

証明

プレミアム会員専用コンテンツです
ログイン】【会員登録

 

実数乗の符号

正の実数\(a\)と実数\(x\)が与えられたとき、\begin{equation*}a^{x}>0
\end{equation*}が成り立ちます。つまり、実数指数の累乗は正の実数です。

命題(実数乗の符号)
正の実数\(a>0\)と実数\(x\in \mathbb{R} \)が与えられたとき、\begin{equation*}a^{x}>0
\end{equation*}が成り立つ。

証明

プレミアム会員専用コンテンツです
ログイン】【会員登録

 

底を共有する累乗の積

正の実数\(a>0\)と実数\(x,y\in \mathbb{R} \)が与えられたとき、\begin{equation*}a^{x}\cdot a^{y}=a^{x+y}
\end{equation*}という関係が成り立ちます。つまり、底\(a\)を共有する\(a^{x}\)と\(a^{y}\)が与えられたとき、それらの積\(a^{x}\cdot a^{y}\)を求めるためには指数どうしの和\(x+y\)をとり、それを指数とする累乗\(a^{x+y}\)をとればよいということです。「累乗の積」に関する問題は「指数の和」に関する問題へと帰着させられます。

命題(底を共有する累乗の積)
正の実数\(a>0\)と実数\(x,y\in \mathbb{R} \)が与えられたとき、\begin{equation*}a^{x}\cdot a^{y}=a^{x+y}
\end{equation*}が成り立つ。

 

底を共有する累乗の商

正の実数\(a>0\)と実数\(x,y\in \mathbb{R} \)が与えられたとき、\begin{equation*}\frac{a^{x}}{a^{y}}=a^{x-y}
\end{equation*}という関係が成り立ちます。つまり、底\(a\)を共有する\(a^{x}\)と\(a^{y}\)が与えられたとき、それらの商\(\frac{a^{x}}{a^{y}}\)を求めるためには指数どうしの差\(x-y\)をとり、それを指数とする累乗\(a^{x-y}\)をとればよいということです。「累乗の商」に関する問題は「指数の差」に関する問題へと帰着させられます。

命題(底を共有する累乗の商)
正の実数\(a>0\)と実数\(x,y\in \mathbb{R} \)が与えられたとき、\begin{equation*}\frac{a^{x}}{a^{y}}=a^{x-y}
\end{equation*}が成り立つ。

 

累乗の累乗

正の実数\(a>0\)と実数\(x,y\in \mathbb{R} \)が与えられたとき、\begin{equation*}\left( a^{x}\right) ^{y}=a^{xy}
\end{equation*}という関係が成り立ちます。つまり、累乗\(a^{x}\)が与えられたとき、さらにその累乗\(\left( a^{x}\right) ^{y}\)を求めるためには指数どうしの積\(xy\)をとり、それを指数とする累乗\(a^{xy}\)をとればよいということです。「累乗の累乗」に関する問題は「累乗の積」に関する問題へと帰着させられます。

命題(累乗の累乗)
正の実数\(a>0\)と実数\(x,y\in \mathbb{R} \)が与えられたとき、\begin{equation*}\left( a^{x}\right) ^{y}=a^{xy}
\end{equation*}が成り立つ。

 

積の累乗

正の実数\(a,b>0\)と実数\(x\in \mathbb{R} \)が与えられたとき、\begin{equation*}\left( ab\right) ^{x}=a^{x}b^{x}
\end{equation*}という関係が成り立ちます。つまり、正の実数\(a,b\)が与えられたとき、それらの積の累乗\(\left( ab\right) ^{x}\)を求めるためには、\(a\)の累乗\(a^{x}\)と\(b\)の累乗\(b^{x}\)をそれぞれとり、それらの積をとればよいということです。「積の累乗」に関する問題は「累乗の積」に関する問題へと帰着させられます。

命題(積の累乗)
正の実数\(a,b>0\)と実数\(x\in \mathbb{R} \)が与えられたとき、\begin{equation*}\left( ab\right) ^{x}=a^{x}b^{x}
\end{equation*}が成り立つ。

 

商の累乗

正の実数\(a,b>0\)と実数\(x\in \mathbb{R} \)が与えられたとき、\begin{equation*}\left( \frac{a}{b}\right) ^{x}=\frac{a^{x}}{b^{x}}
\end{equation*}という関係が成り立ちます。つまり、正の実数\(a,b\)が与えられたとき、それらの商の累乗\(\left( \frac{a}{b}\right) ^{x}\)を求めるためには、\(a\)の累乗\(a^{x}\)と\(b\)の累乗\(b^{x}\)をそれぞれとり、それらの商をとればよいということです。「商の累乗」に関する問題は「累乗の商」に関する問題へと帰着させられます。

命題(商の累乗)
正の実数\(a,b>0\)と実数\(x\in \mathbb{R} \)が与えられたとき、\begin{equation*}\left( \frac{a}{b}\right) ^{x}=\frac{a^{x}}{b^{x}}
\end{equation*}が成り立つ。

 

指数法則

得られた結果をまとめておきましょう。指数が実数であるような累乗を計算する際には以下の関係式を利用できます。これらを総称して指数法則(laws of exponents)と呼びます。

命題(指数法則)
以下が成り立つ。\begin{eqnarray*}
&&\left( a\right) \ \forall a>0,\ \forall x,y\in \mathbb{R} :a^{x}\cdot a^{y}=a^{x+y} \\
&&\left( b\right) \ \forall a>0,\ \forall x,y\in \mathbb{R} :\frac{a^{x}}{a^{y}}=a^{x-y} \\
&&\left( c\right) \ \forall a>0,\ \forall x,y\in \mathbb{R} :\left( a^{x}\right) ^{y}=a^{xy} \\
&&\left( d\right) \ \forall a,b>0,\ \forall x\in \mathbb{R} :\left( ab\right) ^{x}=a^{x}b^{x} \\
&&\left( e\right) \ \forall a,b>0,\ \forall x\in \mathbb{R} :\left( \frac{a}{b}\right) ^{x}=\frac{a^{x}}{b^{x}}
\end{eqnarray*}

 

演習問題

問題(佐賀大学:無理数の無理数乗)
「正の無理数\(a>0\)と無理数\(x\in \mathbb{R} \)をそれぞれ任意に選んだとき、\(a^{x}\)が無理数になる」という主張は正しいでしょうか。真ならば証明し、偽ならば反例を挙げてください。
解答を見る

プレミアム会員専用コンテンツです
ログイン】【会員登録

関連知識

前のページ:

無理数の稠密性

次のページ:

区間の定義

Mailで保存
Xで共有

質問とコメント

プレミアム会員専用コンテンツです

会員登録

有料のプレミアム会員であれば、質問やコメントの投稿と閲覧、プレミアムコンテンツ(命題の証明や演習問題とその解答)へのアクセスなどが可能になります。

ワイズのユーザーは年齢・性別・学歴・社会的立場などとは関係なく「学ぶ人」として対等であり、お互いを人格として尊重することが求められます。ユーザーが快適かつ安心して「学ぶ」ことに集中できる環境を整備するため、広告やスパム投稿、他のユーザーを貶めたり威圧する発言、学んでいる内容とは関係のない不毛な議論などはブロックすることになっています。詳細はガイドラインをご覧ください。

誤字脱字、リンク切れ、内容の誤りを発見した場合にはコメントに投稿するのではなく、以下のフォームからご連絡をお願い致します。

プレミアム会員専用コンテンツです
ログイン】【会員登録