균형 집합

틀:위키데이터 속성 추적 선형대수학 및 함수해석학에서, 균형 집합(均衡集合, 틀:Llang) 또는 원형 집합(圓形集合, 틀:Llang) 또는 원판(틀:Llang)은 스스로의 임의의 “축소판”을 포함하는, 실수 벡터 공간 또는 복소수 벡터 공간의 부분 집합이다.

정의

$K\in \{ℝ,ℂ\}$가 실수체 또는 복소수체라고 하자. $K$-벡터 공간 $V$의 부분 집합 $B\subseteq V$가 다음 조건을 만족시키면, 균형 집합이라고 한다.

• 임의의 스칼라 $a\in K$에 대하여, 만약 $|a|\le 1$이라면 $aB\subseteq B$

여기서

$aB=\{ab:b\in B\}$

이다.

균형 폐포와 균형핵

$K$-벡터 공간 $V$의 임의의 부분 집합 $S\subseteq V$가 주어졌을 때, $S$를 포함하는 가장 작은 균형 집합이 존재하며, 이를 $S$의 균형 폐포(틀:Llang)라고 한다. 이는 $S$를 포함하는 모든 균형 집합의 교집합으로 만들 수 있다. 더 구체적으로, $S$의 균형 폐포는

$\bigcup _{a\in K}^{|a|\le 1}aS$

이다.

마찬가지로, $K$-벡터 공간 $V$의 임의의 부분 집합 $S\subseteq V$가 주어졌을 때, $S$에 포함되는 가장 큰 균형 집합이 존재하며, 이를 $S$의 균형핵(틀:Llang)이라고 한다. 이는 $S$에 포함되는 모든 균형 집합의 합집합이며, 또한 다음과 같다.

$\{\begin{array}{cc}\varnothing & 0\in ̸S\\ \bigcap _{a\in K}^{|a|\ge 1}aS& 0\in S\end{array}$

성질

균형 집합은 다음 연산들에 대하여 닫혀 있다.

• 균형 집합들의 합집합과 교집합은 균형 집합이다.
• 균형 집합의 폐포는 균형 집합이다.
• 균형 집합의 내부와 $\{0\}$의 합집합은 균형 집합이다.
• 균형 집합의 선형 변환에 대한 상·원상은 균형 집합이다.

어떤 집합이 볼록하고 균형이면 그 집합은 절대 볼록 집합이다.

$K$-위상 벡터 공간에서, 0의 모든 근방은 균형 근방을 포함하며, 0의 모든 볼록 근방은 균형 볼록 근방을 포함한다. 즉, 임의의 $K$-위상 벡터 공간의 영벡터는 균형 집합들로 구성된 국소 기저를 가지며, 임의의 $K$-국소 볼록 공간의 영벡터는 균형 볼록 집합들로 구성된 국소 기저를 갖는다. 틀:증명 $K$-위상 벡터 공간 $V$ 및 근방 $N\ni 0$이 주어졌다고 하자. 위상 벡터 공간의 정의에 따라, 스칼라배

$K\times V\to V$

$(a,v)\mapsto av$

는 연속 함수이며, 특히 $(0,0)$에서 연속이다. 따라서

$\mathrm{\forall }a\in K:|a|<\delta ⟹aU\subseteq N$

인 $\delta >0$ 및 근방 $U\ni 0$이 존재한다. 이 경우,

$N^{\prime }=\bigcup _{a\in K}^{|a|<\delta }aU\subseteq N$

은 0의 근방이며, 균형 집합이다.

이제, $N$이 볼록 집합이라고 추가로 가정하자. 임의의 $a\in K$, $|a|=1$에 대하여, $N^{\prime }$이 균형 집합이므로

$N^{\prime }=a{N}^{\prime }\subseteq aN$

이다. 따라서

$N^{″}=\bigcap _{a\in K}^{|a|=1}aN\subseteq N$

은 0의 근방이다. $N^{″}$은 볼록 집합 $aN$들의 교집합이므로 볼록 집합이다. 이제 $N^{″}$의 균형성을 보이는 일만 남았다. 사실, 임의의 $b\in K$, $|b|\le 1$에 대하여,

$b{N}^{″}=\bigcap _{a\in K}^{|a|=1}baN=\bigcap _{a\in K}^{|a|=1}|b|aN\subseteq \bigcap _{a\in K}^{|a|=1}aN=N^{″}$

이다 ($\subseteq$은 $aN$이 0을 원소로 하는 볼록 집합이므로, $|b|aN\subseteq aN$이기 때문이다). 틀:증명 끝

예

반노름 공간 $(V,\nu )$에서, 0을 중심으로 하는 열린 공·닫힌 공

$\{v\in V:\nu (v)<c\}$

$\{v\in V:\nu (v)\le c\}$

은 균형 집합이다 ($c>0$).

실수 벡터 공간 또는 복소수 벡터 공간의 모든 부분 공간은 균형 집합이다.

$K$-벡터 공간 $V_{i\in I}$ ($i\in I$)들의 균형 집합 $B_i\subseteq V_i$들의 곱집합 $\prod _{i\in I}{B}_i$은 벡터 공간들의 직접곱 $\prod _{i\in I}{V}_i$에서 균형 집합이다.

복소수체 $ℂ$를 1차원 복소수 벡터 공간으로 생각하자. 그 균형 집합은 정확히 다음과 같다.

• $ℂ$ 자체
• 공집합
• 0을 중심으로 하는 열린 원판 $\{a\in ℂ:|a|<r\}$
• 0을 중심으로 하는 닫힌 원판 $\{a\in ℂ:|a|\le r\}$

이와 달리, $ℂ$를 2차원 실수 벡터 공간(즉, 유클리드 공간 ${ℝ}^2$)으로 여기면 더 많은 균형 집합이 존재하게 된다. 위의 집합들뿐 아니라, 원점을 중심으로 하는 모든 열린/닫힌 선분도 균형 집합을 이룬다. 따라서, $ℂ$와 ${ℝ}^2$의 벡터 공간 구조는 전적으로 다르다.틀:Rp

같이 보기

• 별모양 집합

각주

• 틀:서적 인용
• 틀:서적 인용