볼록 집합

볼록 집합

볼록 집합이 아닌 집합

수학에서 볼록 집합(영어: convex set)은 임의의 두 점을 잇는 선분을 포함하는, 유클리드 공간의 부분 집합이다.

정의

실수 위상 벡터 공간 $V$의 부분 집합 $S\subseteq V$가 다음 조건을 만족시키면, 볼록 집합이라고 한다.

• 임의의 $u,v\in S$ 및 $t\in [0,1]$에 대하여, $(1-t)u+tv\in S$

국소 볼록 집합(영어: locally convex set)은 임의의 점이 (그 부분 집합에서의) 볼록 근방을 갖는 부분 집합이다.

다각 연결 집합

실수 위상 벡터 공간 $V$의 부분 집합 $S\subseteq V$가 다음 조건을 만족시키면, 다각 연결 집합(영어: polygonally connected set)이라고 한다.

• 임의의 $u,v\in S$에 대하여, 다음 세 조건을 만족시키는 자연수 $n\in \mathbb {N}$ 및 $u_{0},u_{1},u_{2},\dotsc ,u_{n}\in S$가 존재한다.
  • $u_{0}=u$
  • $u_{n}=v$
  • 각 $i\in \{1,2,\dots ,n\}$ 및 임의의 $t\in [0,1]$에 대하여, $(1-t)u_{i-1}+tu_{i}\in S$

위 정의에서 $n$을 어떤 자연수로 고정하면, $n$-다각 연결 집합(영어: $n$-polygonally connected set)의 정의를 얻는다. 이 경우, 볼록 집합은 1-다각 연결 집합과 동치이다.

성질

모든 다각 연결 집합은 경로 연결 공간이다. 모든 $n$-다각 연결 집합은 다각 연결 집합이다. (그러나 다각 연결 집합은 어떤 $n$에 대하여 $n$-다각 연결 집합일 필요가 없다.) 모든 별모양 집합은 2-다각 연결 집합이다. 모든 (공집합이 아닌) 볼록 집합은 별모양 집합이다.

유클리드 공간

실수 노름 공간의 연결 열린집합은 항상 다각 연결 집합이다.^{:81, Exercise 3.4.2}

유클리드 공간 $\mathbb {R} ^{n}$의 부분 집합 $S\subseteq \mathbb {R} ^{n}$에 대하여, 다음이 성립한다.

• (티체-나카지마 정리, 영어: Tietze–Nakajima theorem) 만약 $S$가 닫힌집합이며, 연결 공간이며, 국소 볼록 집합이라면, $S$는 볼록 집합이다.^:1306
• 보다 일반적으로, 만약 $S$가 닫힌집합이며, 연결 집합이며, $n$개 이하의 국소 비볼록점을 갖는다면, $S$는 $(n+1)$-다각 연결 집합이다.^{:1305, Theorem 1}
• 보다 일반적으로, 만약 $S$가 닫힌집합이며, 연결 집합이며, $S$의 국소 비볼록점의 집합이 (서로소일 필요가 없는) $n$개의 볼록 집합의 합집합이라면, $S$는 $(2n+1)$-다각 연결 집합이다.^{:1305, Theorem 2}

예

실수선 $\mathbb {R}$의 볼록 집합은 단순히 구간이다.

집합

$\{(x,x^{2})\colon x\in \mathbb {R} \}$

은 경로 연결 공간이지만, $\mathbb {R} ^{2}$의 다각 연결 집합이 아니다.

역사

티체-나카지마 정리는 하인리히 프란츠 프리드리히 티체(독일어: Heinrich Franz Friedrich Tietze, 1880~1964)와 나카지마(영어: S. Nakajima)가 모두 1928년 논문에서 독립적으로 증명하였다.

같이 보기

• 크레인-밀만 정리
• 볼록 폐포

외부 링크

• 위키미디어 공용에 볼록 집합 관련 미디어 분류가 있습니다.
• “Convex set”. 《Encyclopedia of Mathematics》 (영어). Springer-Verlag. 2001. ISBN 978-1-55608-010-4. 
• Weisstein, Eric Wolfgang. “Convex”. 《Wolfram MathWorld》 (영어). Wolfram Research. 
• “What are the open subsets of Rn that are diffeomorphic to Rn”. 《Stack Exchange》 (영어). 
• “Proof that convex open sets in Rn are homeomorphic?”. 《Stack Exchange》 (영어).