WIIS

関数

多項式関数の連続性

目次

関連知識

前のページ:

関数の商の連続性

次のページ:

有理関数の連続性

Mailで保存
Xで共有

多項式関数の連続性

関数\(f:\mathbb{R} \supset X\rightarrow \mathbb{R} \)が多項式関数であるものとします。つまり、\(f\)がそれぞれの\(x\in X\)に対して定める値が非負の整数\(n\in \mathbb{Z} _{+}\)と実数\(c_{k}\ \left( k=0,1,\cdots ,n\right) \)を用いて、\begin{equation*}f\left( x\right) =c_{0}+c_{1}x+c_{2}x^{2}+\cdots +c_{n}x^{n}
\end{equation*}と表すことができるということです。\(f\)が定義域上の点\(a\in X\)を含め周辺の任意の値において定義されている場合、点\(a\)において連続であることが保証されます。

命題(多項式関数の連続性)
関数\(f:\mathbb{R} \supset X\rightarrow \mathbb{R} \)がそれぞれの\(x\in X\)に対して定める値が、非負の整数\(n\in \mathbb{Z} _{+}\)と実数\(c_{k}\ \left( k=0,1,\cdots ,n\right) \)を用いて、\begin{equation*}f\left( x\right) =c_{0}+c_{1}x+c_{2}x^{2}+\cdots +c_{n}x^{n}
\end{equation*}と表されるものとする。\(f\)が定義域上の点\(a\in X\)の周辺の任意の点において定義されているならば、\(f\)は点\(a\)において連続である。
証明

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

例(多項式関数の連続性)
全区間上に定義された関数\(f:\mathbb{R} \rightarrow \mathbb{R} \)がそれぞれの\(x\in \mathbb{R} \)に対して定める値が、非負の整数\(n\in \mathbb{Z} _{+}\)と実数\(c_{k}\ \left( k=0,1,\cdots ,n\right) \)を用いて、\begin{equation*}f\left( x\right) =c_{0}+c_{1}x+c_{2}x^{2}+\cdots +c_{n}x^{n}
\end{equation*}と表されるものとします。\(\mathbb{R} \)は開集合であるため、点\(a\in \mathbb{R} \)を任意に選んだとき、\(f\)は点\(a\)の周辺の任意の点において定義されており、したがって上の命題より\(f\)は点\(a\)において連続です。\(\mathbb{R} \)上の任意の点において同様の議論が成立します。つまり、\(\mathbb{R} \)上に定義された多項式関数は\(\mathbb{R} \)上で連続であるということです。
例(多項式関数の連続性)
関数\(f:\mathbb{R} \rightarrow \mathbb{R} \)はそれぞれの\(x\in \mathbb{R} \)に対して、\begin{equation*}f\left( x\right) =\frac{\sqrt{2}}{5}x^{5}
\end{equation*}を定めるものとします。\(f\)は\(\mathbb{R} \)上に定義された多項式関数であるため\(\mathbb{R} \)上で連続です。
例(多項式関数の連続性)
関数\(f:\mathbb{R} \supset \left( 0,1\right) \rightarrow \mathbb{R} \)はそれぞれの\(x\in \left( 0,1\right) \)に対して、\begin{equation*}f\left( x\right) =8x^{3}+2x^{2}-x+1
\end{equation*}を定めるものとします。\(\left( 0,1\right) \)は開集合であるため、点\(a\in \left( 0,1\right) \)を任意に選んだとき、\(f\)は点\(a\)の周辺の任意の点において定義されており、したがって先の命題より\(f\)は点\(a\)において連続です。\(\left( 0,1\right) \)上の任意の点において同様の議論が成立するため、\(f\)は\(\left( 0,1\right) \)上で連続です。

 

多項式関数の片側連続性

片側連続性に関しても同様の命題が成り立ちます。

命題(多項式関数の片側連続性)
関数\(f:\mathbb{R} \supset X\rightarrow \mathbb{R} \)がそれぞれの\(x\in X\)に対して定める値が、非負の整数\(n\in \mathbb{Z} _{+}\)と実数\(c_{k}\ \left( k=0,1,\cdots ,n\right) \)を用いて、\begin{equation*}f\left( x\right) =c_{0}+c_{1}x+c_{2}x^{2}+\cdots +c_{n}x^{n}
\end{equation*}と表されるものとする。\(f\)が定義域上の点\(a\in X\)を含めそれ以上の周辺の任意の点において定義されているならば点\(a\)において右側連続であり、\(f\)が点\(a\)を含めそれ以下の周辺の任意の点において定義されているならば点\(a\)において左側連続である。
証明

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

例(多項式関数の片側連続性)
関数\(f:\mathbb{R} \supset \left[ 0,1\right] \rightarrow \mathbb{R} \)はそれぞれの\(x\in \left[ 0,1\right] \)に対して、\begin{equation*}f\left( x\right) =-x^{3}-1
\end{equation*}を定めるものとします。定義域の内点\(a\in \left(0,1\right) \)を任意に選んだとき、\(f\)は点\(a\)の周辺の任意の点において定義されているため、多項式関数の連続性より、\(f\)は点\(a\)において連続です。定義域の端点\(0\)に注目したとき、\(f\)は点\(0\)を含めそれ以上の周辺の任意の点において定義されているため、多項式関数の右側連続性より、\(f\)は点\(a\)において右側連続です。定義域のもう一方の端点\(1\)に注目したとき、\(f\)は点\(1\)を含めそれ以下の周辺の任意の点において定義されているため、多項式関数の左側連続性、\(f\)は点\(a\)において左側連続です。以上より、\(f\)は\(\left[0,1\right] \)上において連続であることが明らかになりました。

次回は有理関数の連続性について解説します。

関連知識

前のページ:

関数の商の連続性

次のページ:

有理関数の連続性

Mailで保存
Xで共有

質問とコメント

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

会員登録

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

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

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

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