WIIS

凸集合

凸集合のスカラー倍

目次

関連知識

Mailで保存
Xで共有

集合のスカラー倍

ユークリッド空間\(\mathbb{R} ^{n}\)の部分集合\(A\)とスカラー\(\lambda \in \mathbb{R} \)が与えられたとき、\(A\)のそれぞれの点\(x\in A\)をスカラー\(\lambda \)倍して得られる点からなる集合を、\begin{equation*}\lambda A=\left\{ \lambda x\in \mathbb{R} ^{n}\ |\ x\in A\right\}
\end{equation*}で表記し、これを\(A\)のスカラー\(\lambda \)(scalar multiplication)と呼びます。

例(集合のスカラー倍)
\(\mathbb{R} ^{n}\)の部分集合\(A\)のスカラー\(1\)倍は、\begin{eqnarray*}1A &=&\left\{ 1x\in \mathbb{R} ^{n}\ |\ x\in A\right\} \\
&=&\left\{ x\in \mathbb{R} ^{n}\ |\ x\in A\right\} \\
&=&A
\end{eqnarray*}であり、スカラー\(0\)倍は、\begin{eqnarray*}0A &=&\left\{ 0x\in \mathbb{R} ^{n}\ |\ x\in A\right\} \\
&=&\left\{ 0\right\}
\end{eqnarray*}であり、スカラー\(-1\)倍は、\begin{equation*}-A=\left\{ -x\in \mathbb{R} ^{n}\ |\ x\in A\right\}
\end{equation*}となります。

例(集合のスカラー倍)
\(\mathbb{R} ^{2}\)の部分集合\begin{equation*}A=\left\{ \left( 0,0\right) ,\left( 1,1\right) ,\left( -1,-1\right) \right\}
\end{equation*}が与えられたとき、例えば、\begin{eqnarray*}
2A &=&\left\{ \left( 0,0\right) ,\left( 2,2\right) ,\left( -2,-2\right)
\right\} \\
\frac{1}{2}A &=&\left\{ \left( 0,0\right) ,\left( \frac{1}{2},\frac{1}{2}\right) ,\left( -\frac{1}{2},-\frac{1}{2}\right) \right\} \\
-A &=&\left\{ \left( 0,0\right) ,\left( -1,-1\right) ,\left( 1,1\right)
\right\}
\end{eqnarray*}などとなります。

例(集合のスカラー倍)
\(\mathbb{R} \)の部分集合である整数集合\begin{equation*}\mathbb{Z} =\left\{ \cdots ,-2,-1,0,1,2,\cdots \right\}\end{equation*}に対して、そのスカラー\(2\)倍である、\begin{equation*}2\mathbb{Z} =\left\{ \cdots ,-4,-2,0,2,4,\cdots \right\}
\end{equation*}はすべての偶数からなる集合です。

 

凸集合のスカラー倍は凸集合

\(\mathbb{R} ^{n}\)の部分集合が凸集合である場合、そのスカラー倍もまた凸集合になることが保証されます。

命題(凸集合のスカラー倍は凸集合)
ユークリッド空間の部分集合\(A\subset \mathbb{R} ^{n}\)とスカラー\(\lambda \in \mathbb{R} \)をそれぞれ任意に選んだとき、\(A\)が凸集合ならば\(\lambda A\)もまた凸集合である。
証明

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

例(凸集合のスカラー倍は凸集合)
\(\mathbb{R} ^{n}\)の部分集合\(A\)が凸集合である場合、上の命題より、以下の集合\begin{equation*}-A=\left\{ -x\in \mathbb{R} ^{n}\ |\ x\in A\right\}
\end{equation*}もまた凸集合です。

例(有界開区間のスカラー倍)
\(a<b\)を満たす実数\(a,b\in \mathbb{R} \)を任意に選んだ上で、これらを端点とする有界な開区間\begin{equation*}\left( a,b\right) =\left\{ x\in \mathbb{R} \ |\ a<x<b\right\}
\end{equation*}をとります。これは\(\mathbb{R} \)上の凸集合であるため、先の命題より、スカラー\(\lambda \in \mathbb{R} \)を任意に選んだとき、\begin{equation*}\lambda \left( a,b\right) =\left\{ \lambda x\in \mathbb{R} \ |\ a<x<b\right\}
\end{equation*}もまた\(\mathbb{R} \)上の凸集合です。したがって、\begin{eqnarray*}-\left( a,b\right) &=&\left\{ -x\in \mathbb{R} \ |\ a<x<b\right\} =\left( -b,-a\right) \\
\frac{1}{2}\left( a,b\right) &=&\left\{ \frac{1}{2}x\in \mathbb{R} \ |\ a<x<b\right\} =\left( \frac{a}{2},\frac{b}{2}\right) \\
2\left( a,b\right) &=&\left\{ 2x\in \mathbb{R} \ |\ a<x<b\right\} =\left( 2a,2b\right)
\end{eqnarray*}などはいずれも\(\mathbb{R} \)上の凸集合です。
例(点の開近傍のスカラー倍)
点\(a\in \mathbb{R} ^{n}\)と正の実数\(\varepsilon >0\)を任意に任意に選んだ上で、\(a\)を中心とする開近傍\begin{equation*}N_{\varepsilon }\left( a\right) =\left\{ x\in \mathbb{R} ^{n}\ |\ \left\Vert x-a\right\Vert <\varepsilon \right\}
\end{equation*}をとります。これは\(\mathbb{R} ^{n}\)上の凸集合であるため、先の命題より、スカラー\(\lambda \in \mathbb{R} \)を任意に選んだとき、\begin{equation*}\lambda N_{\varepsilon }\left( a\right) =\left\{ \lambda x\in \mathbb{R} ^{n}\ |\ \left\Vert x-a\right\Vert <\varepsilon \right\}
\end{equation*}もまた\(\mathbb{R} \)上の凸集合です。

 

演習問題

問題(集合のスカラー乗法の互換性)
集合\(A\subset \mathbb{R} ^{n}\)が与えられたとき、\begin{equation*}\forall \lambda _{1},\lambda _{2}\in \mathbb{R} :\lambda _{1}\left( \lambda _{2}A\right) =\left( \lambda _{1}\lambda
_{2}\right) A
\end{equation*}が成り立つことを証明してください。

解答を見る

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

問題(対称的な凸集合)
集合\(A\subset \mathbb{R} ^{n}\)が凸集合であるとともに、\begin{equation*}-A=A
\end{equation*}という関係が成り立つ場合、\(A\)は対称的(symmetric)であると言います。\(A\)が対称的な非空集合である場合には、\begin{equation*}0\in A
\end{equation*}が成り立つことを示してください。ただし、\(0\in \mathbb{R} ^{n}\)です。
解答を見る

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

関連知識

Mailで保存
Xで共有

質問とコメント

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

会員登録

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

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

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

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