정의
수학, 특히 함수해석 및 위상벡터공간 이론에서 흡수 집합(absorbing set)은 다음과 같이 정의된다.
- $X$를 실수 또는 복소수 위의 벡터공간이라 하고, $A \subset X$가 흡수 집합이라 함은
$$ \forall x \in X; \exists \lambda>0 \text{ (스칼라)}; \text{s.t.}; x \in \lambda A . $$
여기서 $\lambda A = {\lambda a \mid a \in A}$는 집합 $A$를 스칼라 $\lambda$로 확대(또는 축소)한 집합이다.
위 정의는 일반적인 벡터공간뿐 아니라 위상벡터공간(특히 국소 볼록 공간)에서도 사용된다. 위상구조가 주어질 경우, 스칼라 $\lambda$는 양의 실수 혹은 복소수의 절대값이 충분히 큰 값으로 제한될 수 있다.
주요 성질
-
전체 공간은 흡수 집합
$X$ 자체는 언제나 흡수 집합이다. 어떤 $x\in X$에 대해서도 $\lambda=1$이면 $x\in 1\cdot X$가 되기 때문이다. -
0을 포함하는 충분히 큰 집합
집합 $A$가 0을 포함하고, 어떤 스칼라 $\lambda_0>0$에 대해 $\lambda_0 A = X$가 되면 $A$는 흡수 집합이다. -
벡터공간의 스칼라 배에 대한 불변성
$A$가 흡수 집합이면, 임의의 $\mu eq0$에 대해 $\mu A$도 흡수 집합이다. -
균형 집합과의 관계
균형 집합(balanced set)은 $|\alpha|\le 1$이면 $\alpha A\subseteq A$가 되는 집합이다.
균형 집합이면서 흡수 집합인 경우, 해당 집합은 볼록 흡수 집합이라 불리며, 국소 볼록 위상벡터공간(LCS)의 기본적인 구성을 담당한다.
예시
| 예시 | 설명 |
|---|---|
| 전체 공간 $X$ | 언제나 흡수 집합 |
| 노름공간의 단위 구(볼) ${x\mid |x|\le 1}$ | 임의의 $x$에 대해 $\lambda = |x|$이면 $x\in \lambda { |y|\le 1}$ |
| 국소 볼록 위상벡터공간의 0-이웃 $U$ | 0을 포함하고, 스칼라가 충분히 크면 모든 벡터를 포함하므로 흡수 집합 |
| 임의의 비공집합 $A$에 대해 $\bigcup_{n\in\mathbb N} nA$ | 스칼라 배를 무한히 확장하면 전체 공간을 차지하므로 흡수 집합 |
활용 분야
- 국소 볼록 위상벡터공간(Locally convex topological vector spaces)에서 기본적인 구조를 정의할 때, 0에 대한 흡수 집합들의 체계는 공간의 토폴로지를 기술한다.
- Bornology(보르노로지)에서는 흡수 집합을 통해 유한 집합과 유계 집합을 구분한다.
- 함수공간(예: $C(K)$, $L^p$ 등)에서는 특정한 함수들의 집합이 흡수 집합인지 여부가 연산자 이론에서 중요한 역할을 한다.
관련 용어
- 흡수 원소(absorbing element): 한 원소 $a$가 스칼라 배에 의해 전체 공간을 흡수한다는 의미로, 보통은 집합 대신 원소 차원에서 논의한다.
- 균형 집합(balanced set): $|\alpha|\le 1$이면 $\alpha A\subseteq A$인 집합, 흡수 집합과 자주 결합되어 다루어진다.
- 대칭 집합(symmetric set): $A=-A$인 집합, 균형 집합의 특수 경우로 흡수성 판단에 사용될 수 있다.
참고문헌 (비공식)
- Rudin, Functional Analysis, 2nd ed., McGraw‑Hill, 1991.
- Schaefer, Topological Vector Spaces, Springer, 1999.
- 한국수학회, 위상벡터공간 입문, 2020.
(위 서적들은 흡수 집합 개념을 다루는 표준 참고문헌으로 널리 인용된다.)
