
区間上に定義された逆正弦関数の原始関数と不定積分および定積分を明らかにします。また、逆正弦関数の積分の応用例を提示します。

多変数が狭義凸関数であることや狭義凹関数であることをエピグラフやハイポグラフを用いて判定する方法について解説します。

拡大実数値関数が狭義準凸関数や狭義準凹関数であることの意味を定義するとともに、それらと実数値をとる狭義準凸関数および狭義準凹関数との関係を整理します。

拡大実数値関数が準凸関数や準凹関数であることの意味を定義するとともに、それらと実数値をとる準凸関数および準凹関数との関係を整理します。

凸集合の内部が空集合になってしまう典型例を出発点に、アフィン次元を導入した上で、相対的内部という概念を体系的に整理します。相対的内部は凸解析や凸最適化において不可欠な概念です。

相乗平均と相加平均を一般化した重み付きの相乗平均および相加平均について解説するとともに、両者の間に成立する重み付き相加相乗平均の定理を導出します。

有限個のベクトルから生成された凸錐は多面錐であり(ワイルの定理)、逆に、多面錐は有限個のベクトルから生成された凸錐です(ミンコフスキーの定理)。両者をあわせてミンコフスキー・ワイルの定理と呼びます。

ユークリッド空間の部分集合が非負のスカラー倍について閉じている場合、そのような集合を錐と呼びます。錐は原点を中心とする方向を集めることにより得られる集合です。

連続な多変数関数による弧状連結集合の像は連結集合になることが保証されます。また、連続な多変数関数の逆写像が連続である場合には、弧状連結集合の逆像が弧状連結集合になります。

ユークリッド空間の部分集合内の任意の2点を、その集合からはみ出すことなく連続な道(曲線)で結べる場合、そのような集合を弧状連結集合と呼びます。

連結集合上に定義された連続な多変数関数に関しては、中間値の定理に相当する命題が成り立ちます。この命題は、連続な多変数関数による連結集合の像が連結であることと必要十分です。

連続な多変数関数による連結集合の像は連結集合になることが保証されます。また、連続な多変数関数の逆写像が連続である場合には、連結集合の逆像が連結集合になります。

連続な多変数関数によるコンパクト集合の像はコンパクト集合になることが保証されます。また、連続な多変数関数の定義域がコンパクト集合である場合には、コンパクト集合の逆像がコンパクト集合になることが保証されます。

ベクトル値関数が定義域上の点において連続である場合、その点を連続点と呼びます。一方、ベクトル値関数が定義域上の点において連続ではない場合、その点を不連続点と呼びます。不連続点は第1種と第2種の2種類に分類され、さらに第1種の不連続点は除去可能な不連続点と跳躍不連続点に分類されます。

ベクトル値関数が定義域上の点において右側連続ないし左側連続であること、右側連続や左側連続ではないことを点列を用いて判定する方法について解説します。

ベクトル値関数が定義域上の点において右側連続・左側連続であることをイプシロン・デルタ論法を用いて判定する方法について解説します。

ベクトル値関数が右側連続ないし左側連続であることの意味を定義するとともに、成分関数を用いて右側連続性ないし左側連続性を判定する方法いついて解説します。

ベクトル値関数による任意の開集合の逆像が開集合であることは、その関数が定義域上において連続であるための必要十分条件です。また、ベクトル値関数による任意の開近傍の逆像が開集合であることや、任意の有界開区間の逆像が開集合であることもまた、ベクトル値関数が連続であるための必要十分条件です。

1変数のベクトル値関数fが収束する場合には、そのノルムを特定する1変数関数||f||もまた収束するとともに、fの極限のノルムをとれば||f||の極限が得られます。

連続なベクトル値関数による連結集合の像は連結集合になることが保証されます。また、連続なベクトル値関数の逆写像が連続である場合には、連結集合の逆像が連結集合になります。

連続なベクトル値関数によるコンパクト集合の像はコンパクト集合になることが保証されます。また、連続なベクトル値関数の定義域がコンパクト集合である場合には、コンパクト集合の逆像がコンパクト集合になることが保証されます。

ベクトル値関数に関して一般には中間値の定理に相当する命題は成り立ちませんが、ベクトル値関数の値域が空間上の線分である場合、中間値の定理に相当する命題が成り立ちます。

ユークリッド空間上に存在する入れ子構造のコンパクト集合列の共通部分は非空になることが保証されます。特に、集合の直径が0へ収束する場合には、集合列の共通部分は1点集合になります。

連続関数によるコンパクト集合の像はコンパクト集合になることが保証されます。また、連続関数の定義域がコンパクト集合である場合には、コンパクト集合の逆像がコンパクト集合になることが保証されます。