맨위로가기

흡수 집합

"오늘의AI위키"는 AI 기술로 일관성 있고 체계적인 최신 지식을 제공하는 혁신 플랫폼입니다.
"오늘의AI위키"의 AI를 통해 더욱 풍부하고 폭넓은 지식 경험을 누리세요.
목차

1. 개요

흡수 집합은 주어진 벡터 공간의 부분 집합으로, 모든 벡터를 "흡수"하는 특성을 가진다. 벡터 공간 V의 부분 집합 S가 흡수 집합이라는 것은, 모든 벡터 v에 대해, 충분히 큰 스칼라 a를 곱하면 aS가 v를 포함한다는 의미이다. 흡수 집합은 위상 벡터 공간에서 0의 근방과 밀접한 관련이 있으며, 유계 집합과 보르노보러스 집합을 정의하는 데 사용된다. 반노름 공간의 열린 공과 닫힌 공, 그리고 위상 벡터 공간의 0의 근방이 흡수 집합의 예시이며, 선형 사상, 균형 집합, 볼록 집합 등과 연관되어 다양한 성질을 가진다.

더 읽어볼만한 페이지

  • 함수해석학 - 섭동 이론
    섭동 이론은 정확히 풀리는 문제에 작은 변화가 있을 때 급수로 표현하여 근사해를 구하는 방법으로, 초기 해에 보정항을 더하는 방식으로 고전역학, 양자역학 등 다양한 분야에서 활용되며 섭동 형태와 적용 차수에 따라 구분된다.
  • 함수해석학 - 분포 (해석학)
    해석학에서 분포는 시험 함수 공간의 연속 쌍대 공간의 원소로 정의되며, 로랑 슈바르츠에 의해 정립되어 편미분 방정식의 해를 다루는 데 유용하고 미분 불가능하거나 특이점을 갖는 함수를 포함한 다양한 함수를 다루는 데 효과적인 일반적인 함수의 개념을 확장한 것이다.
  • 선형대수학 - 벡터 공간
    벡터 공간은 체 위의 가군으로 정의되는 대수적 구조로, 벡터 덧셈과 스칼라 곱셈 연산을 가지며 특정 공리들을 만족하고, 기저, 차원, 선형 사상 등의 개념을 통해 수학과 물리학 등 다양한 분야에서 활용된다.
  • 선형대수학 - 선형 결합
    선형 결합은 벡터 공간에서 벡터들의 스칼라 곱의 합으로 표현되는 식으로, 벡터 집합의 선형 독립성 판단 및 부분 공간 생성과 관련되며, 계수 제약을 통해 다양한 종류의 결합을 정의할 수 있고, 위상 벡터 공간이나 가군으로 일반화될 수 있다.
흡수 집합

2. 정의

wikitext

K\in\{\mathbb R,\mathbb C\}라고 하자. K-벡터 공간 V의 부분 집합 S\subseteq V가 주어졌을 때, 임의의 v\in V에 대하여, 다음 조건을 만족시키는 양의 실수 t(v)>0이 존재한다면, S는 '''흡수 집합'''이다.


  • 임의의 스칼라 a\in K에 대하여, |a|\ge t(v)라면 v\in aS이다.


여기서

:aS=\{as\colon s\in S\}

이다.

벡터 공간 X의 부분 집합 A는 체 \mathbb{K}에 대한 '''흡수 집합''' (또는 '''흡수적인''' 집합)이라고 하며, 다음의 동등한 조건을 만족하는 경우 '''X에서 흡수한다'''라고 한다.

# A는 X의 모든 점을 흡수한다. 즉, 모든 x \in X에 대해, A는 \{x\}를 흡수한다.

#* 0 \not\in A이면 A는 흡수할 수 없다. 모든 흡수 집합은 원점을 포함해야 한다.

# A는 X의 모든 유한 부분 집합을 흡수한다.

# 모든 x \in X에 대해, |c| \geq r을 만족하는 스칼라 c \in \mathbb{K}에 대해 x \in c A가 되도록 하는 실수 r > 0이 존재한다.

# 모든 x \in X에 대해, |c| \leq r을 만족하는 스칼라 c \in \mathbb{K}에 대해 c x \in A가 되도록 하는 실수 r > 0이 존재한다.

# 모든 x \in X에 대해, B_r x \subseteq A가 되도록 하는 실수 r > 0이 존재한다.

#* 여기서 B_r = \{c \in \mathbb{K} : |c| < r\}은 스칼라 필드에서 원점을 중심으로 하는 반지름 r의 열린 공이고 B_r x = \left\{c x : c \in B_r\right\} = \{c x : c \in \mathbb{K} \text{ and } |c| < r\}.

#* 닫힌 공을 열린 공 대신 사용할 수 있다.

#* B_r x \subseteq \mathbb{K} x = \operatorname{span} \{x\}이기 때문에, 포함 관계 B_r x \subseteq A는 B_r x \subseteq A \cap \mathbb{K} x일 때만 성립한다.

# 모든 x \in X에 대해, B_r x \subseteq A \cap \mathbb{K} x가 되도록 하는 실수 r > 0이 존재하며, 여기서 \mathbb{K} x = \operatorname{span} \{x\}.

'''위상과의 관계''': 만약 \mathbb{K} x에 일반적인 하우스도르프 유클리드 위상이 주어진다면 집합 B_r x는 \mathbb{K} x에서 원점의 근방이다. 따라서, B_r x \subseteq A \cap \mathbb{K} x가 되도록 하는 실수 r > 0이 존재한다는 것은 A \cap \mathbb{K} x가 \mathbb{K} x에서 원점의 근방임을 의미한다. 결과적으로, 모든 x \in X에 대해 A \cap \operatorname{span} \{x\}가 \operatorname{span} \{x\} = \mathbb{K} x에서 0의 근방일 때, A는 이 조건을 만족한다 (여기서 \operatorname{span} \{x\}에는 유클리드 위상이 주어진다).

1차원 벡터 공간에 대한 유일한 TVS 위상은 (비-하우스도르프) 자명 위상과 하우스도르프 유클리드 위상이다. X의 모든 1차원 벡터 부분 공간은 어떤 x \in X에 대해 \mathbb{K} x = \operatorname{span} \{x\}의 형태를 가지며, 이 1차원 공간 \mathbb{K} x에 하우스도르프 벡터 위상이 부여되면, c \mapsto c x로 정의된 사상 \mathbb{K} \to \mathbb{K} x는 필연적으로 TVS-동형 사상이다(여기서 일반적으로 \mathbb{K}에는 표준 유클리드 위상이 부여되며, 이는 유클리드 거리에 의해 유도된다).[2]

A는 원점을 포함하고, X의 모든 1차원 벡터 부분 공간 Y에 대해, Y에 고유한 하우스도르프 벡터 위상 (즉, 유클리드 위상)이 부여될 때 A \cap Y는 Y에서 원점의 근방이다.

  • 유클리드 위상이 이 특징에서 구별되는 이유는 궁극적으로 스칼라 필드 \mathbb{K}에 이 (유클리드) 위상이 부여될 때 스칼라 곱 \mathbb{K} \times X \to X가 연속적이어야 한다는 TVS 위상의 정의 요구 사항에서 비롯된다.[2]
  • '''0-근방은 흡수한다''': 이 조건은 모든 위상 벡터 공간 (TVS)에서 원점의 모든 근방이 필연적으로 흡수적인 이유에 대한 통찰력을 제공한다: U가 TVS X에서 원점의 근방이면, 모든 1차원 벡터 부분 공간 Y에 대해, Y에 X에 의해 유도된 부분 공간 위상이 부여될 때 U \cap Y는 Y에서 원점의 근방이다. 이 부분 공간 위상은 항상 벡터 위상이며 Y는 1차원이므로, Y에 대한 유일한 벡터 위상은 하우스도르프 유클리드 위상과 자명 위상이며, 이는 유클리드 위상의 부분 집합이다.

따라서 어떤 벡터 위상이 Y에 있든, 집합 U \cap Y는 고유한 하우스도르프 벡터 위상 (유클리드 위상)에 대해 Y에서 원점의 근방이 될 것이다.[3]

따라서 U는 흡수적이다.

A는 원점을 포함하고 X의 모든 1차원 벡터 부분 공간 Y에 대해, A \cap Y는 Y에서 흡수적이다(이 조건 외에 "흡수적"의 다른 정의 조건을 따른다).

\mathbb{K} = \Reals인 경우, 다음을 추가할 수 있다.

# A의 대수적 내부는 원점을 포함한다(즉, 0 \in {}^{i}A).

A가 평형이면, 다음을 추가할 수 있다.

# 모든 x \in X에 대해, x \in c A가 되도록 하는 스칼라 c \neq 0이 존재한다 (또는 동등하게, c x \in A가 되도록 한다).

# 모든 x \in X에 대해, x \in c A가 되도록 하는 스칼라 c가 존재한다.

A가 볼록 '''또는''' 평형이면, 다음을 추가할 수 있다.

# 모든 x \in X에 대해, r x \in A가 되도록 하는 양의 실수 r > 0이 존재한다.

#* 이 조건을 만족하는 '''평형''' 집합 A가 필연적으로 X에서 흡수적이라는 증명은 위 조건 (10)과 모든 스칼라 c \neq 0에 대해 c A = |c| A라는 사실로부터 즉시 따른다(여기서 r := |c| > 0은 실수이다).

#* 이 조건을 만족하는 '''볼록''' 집합 A가 필연적으로 X에서 흡수적이라는 증명은 덜 자명하다 (하지만 어렵지는 않다).

#** '''증명 요약''': 가정에 따라, 영이 아닌 0 \neq y \in X에 대해, R y \in A 및 r (- y) \in A가 되도록 양의 실수 r > 0과 R > 0을 선택할 수 있으므로, 볼록 집합 A \cap \Reals y는 열린 부분 구간 (-r, R) y를 포함하고, 이는 원점을 포함한다(A \cap \Reals y는 \Reals y를 \Reals로 식별하고 \Reals의 모든 비어 있지 않은 볼록 부분 집합은 구간이므로 구간이라고 한다). \mathbb{K} y에 하우스도르프 벡터 위상을 부여하여, A \cap \mathbb{K} y가 \mathbb{K} y에서 원점의 근방임을 보여주는 것이 남았다. 만약 \mathbb{K} = \Reals이면 완료된 것이므로, \mathbb{K} = \Complex라고 가정하자. 집합 S는 두 구간의 합집합이며, 각 구간은 원점을 포함하는 열린 부분 구간을 포함한다; 또한, 이 두 구간의 교집합은 정확하게 원점이다. 따라서 볼록 집합 A \cap \Complex y에 포함된 S의 사변형 모양 볼록 폐포는 명확하게 원점을 중심으로 하는 열린 공을 포함한다.

# 모든 x \in X에 대해, x \in r A가 되도록 하는 양의 실수 r > 0이 존재한다.

#* 이 조건은 다음과 동등하다: 모든 x \in X는 집합 {\textstyle\bigcup\limits_{0 < r < \infty}} r A = \{r a : 0 < r < \infty, a \in A\} = (0, \infty) A에 속한다. 이는 X = (0, \infty) A일 때만 발생하며, 이는 다음 특징을 제공한다.

# (0, \infty) A = X.

#*임의의 X의 부분 집합 T에 대해, (0, \infty) T = X는 모든 x \in X에 대해 T \cap (0, \infty) x \neq \varnothing일 때만 성립하는 것으로 나타낼 수 있으며, 여기서 (0, \infty) x이다.

# 모든 x \in X에 대해, A \cap (0, \infty) x \neq \varnothing.

0 \in A인 경우( A가 흡수적이기 위해 필요하다)에는 모든 x \in X가 아니라 모든 영이 아닌 x \in X에 대해 위의 조건 중 하나를 확인하는 것으로 충분하다.

2. 1. 스칼라 표기법

X가 체 \mathbb{K} 위의 실수 \R 또는 복소수 \Complex의 벡터 공간이라고 가정하고, -\infty \leq r \leq \infty에 대해 다음과 같이 정의한다.

B_r = \{a \in \mathbb{K} : |a| < r\} \quad \text{ 및 } \quad B_{\leq r} = \{a \in \mathbb{K} : |a| \leq r\}

이는 \mathbb{K}에서 중심이 0이고 반지름이 r인 ''열린 공'' (각각 ''닫힌 공'')을 나타낸다.

스칼라 집합 K \subseteq \mathbb{K}과 벡터 집합 A의 곱을 K A = \{k a : k \in K, a \in A\}로 정의하고, K \subseteq \mathbb{K}과 단일 벡터 x의 곱을 K x = \{k x : k \in K\}로 정의한다.

X의 부분 집합 S는 모든 s \in S와 |a| \leq 1을 만족하는 모든 스칼라 a에 대해 a s \in S이면 ''균형''이라고 한다. 이 조건은 B_{\leq 1} S \subseteq S,로 더 간결하게 쓸 수 있으며, 이 조건은 B_{\leq 1} S = S일 때와 그 때만 성립한다.

집합 T가 주어졌을 때, T를 포함하는 가장 작은 균형 집합인 \operatorname{bal} T는 T의 균형 껍질이라고 하고, T 내에 포함된 가장 큰 균형 집합인 \operatorname{balcore} T는 T의 균형 코어라고 한다. 이러한 집합들은 다음 공식으로 주어진다.

\operatorname{bal} T ~=~ {\textstyle\bigcup\limits_{|c| \leq 1}} c \, T = B_{\leq 1} T

그리고

\operatorname{balcore} T ~=~ \begin{cases}

{\textstyle\bigcap\limits_

2. 2. 한 집합이 다른 집합을 흡수하는 경우

K를 실수, 복소수의 체라고 하고, K-벡터 공간 V의 부분 집합 S, T \subseteq V가 주어졌을 때, 다음 조건을 만족시키는 t>0이 존재하면, S가 T를 '''흡수한다'''고 한다.

  • 임의의 스칼라 a\in K에 대하여, 만약 |a|\ge t라면 T\subseteq aS이다.


여기서 aS=\{as\colon s\in S\}이다.

이는 다음과 같은 동치 조건들을 갖는다.

# 실수 r > 0이 존재하여 모든 스칼라 c에 대해 |c| \geq r을 만족하면 S \subseteq cA이다.

# 실수 r > 0이 존재하여 모든 0이 아닌[1] 스칼라 c \neq 0에 대해 |c| \leq r을 만족하면 cS \subseteq A이다.

# 실수 r > 0이 존재하여 모든 0이 아닌[1] 스칼라 c \neq 0에 대해 |c| < r을 만족하면 cS \subseteq A이다.

A가 균형 집합인 경우, 다음 조건이 추가로 동치가 된다.

  • 0이 아닌 스칼라 c \neq 0이 존재하여 S \subseteq cA이다. (0 \in A이면, c \neq 0 조건은 생략 가능)
  • 0이 아닌[1] 스칼라 c \neq 0이 존재하여 cS \subseteq A이다.


0 \in A인 경우 (즉, A가 흡수 집합이거나 위상에서 원점의 근방이기 위한 필요 조건), 다음 조건들이 추가로 동치가 된다.

  • 어떤 r > 0이 존재하여 모든 스칼라 c에 대해 |c| < r을 만족하면 cS \subseteq A이다.
  • 어떤 r > 0이 존재하여 모든 스칼라 c에 대해 |c| \leq r을 만족하면 cS \subseteq A이다.
  • 어떤 r > 0이 존재하여 \operatorname{bal}S \subseteq rA이다.
  • 어떤 r > 0이 존재하여 \operatorname{bal}S \subseteq \operatorname{balcore}(rA)이다.
  • 어떤 r > 0이 존재하여 S \subseteq \operatorname{balcore}(rA)이다.
  • 어떤 r > 0이 존재하여 S \subseteq r\operatorname{balcore}A이다.
  • 어떤 r > 0이 존재하여 rS \subseteq \operatorname{balcore}A이다.
  • 0이 아닌[1] 스칼라 c \neq 0이 존재하여 cS \subseteq \operatorname{balcore}A이다.
  • 스칼라 c가 존재하여 \operatorname{bal}S \subseteq cA이다.
  • 스칼라 c가 존재하여 \operatorname{bal}S \subseteq \operatorname{balcore}(cA)이다.
  • 스칼라 c가 존재하여 S \subseteq \operatorname{balcore}(cA)이다.
  • 스칼라 c가 존재하여 S \subseteq c\operatorname{balcore}A이다.
  • 스칼라 c가 존재하여 \operatorname{bal}S \subseteq c\operatorname{balcore}(A)이다.
  • A의 균형핵은 S의 균형 폐포를 흡수한다.


만약 0 \not\in S 또는 0 \in A이면, 다음 조건이 추가로 동치가 된다.

  • A \cup \{0\}는 S를 흡수한다.


집합이 단일 집합 \{x\}를 흡수하면 ''''''고 한다. 집합 A는 원점을 포함하면, 즉 0 \in A인 경우에만 원점을 흡수한다.

흡수 집합은 모든 벡터를 흡수하는 집합이며, 유계 집합은 모든 영벡터의 근방에 의하여 흡수되는 집합이다.

위상 벡터 공간의 부분 집합은 원점의 모든 근방에 의해 흡수되면 유계이다.

집합은 모든 유계 부분 집합을 흡수하면 보르노보러스이다.

2. 3. 흡수 집합

K\in\{\mathbb R,\mathbb C\}라고 하자. K-벡터 공간 V의 부분 집합 S\subseteq V가 주어졌을 때, 임의의 v\in V에 대하여, 다음 조건을 만족시키는 양의 실수 t(v)>0이 존재한다면, S는 '''흡수 집합'''이다.

  • 임의의 스칼라 a\in K에 대하여, |a|\ge t(v)라면 v\in aS이다.


여기서

:aS=\{as\colon s\in S\}

이다.

보다 일반적으로, S,T\subseteq V가 주어졌을 때, 만약 다음 조건을 만족시키는 t>0이 존재한다면, S가 T를 '''흡수한다'''고 한다.

  • 임의의 스칼라 a\in K에 대하여, 만약 |a|\ge t라면 T\subseteq aS


이 경우,

  • 흡수 집합은 모든 벡터를 흡수하는 집합이다.
  • 유계 집합은 모든 영벡터의 근방에 의하여 흡수되는 집합이다.


벡터 공간 X의 부분 집합 A는 체 \mathbb{K}에 대한 '''흡수 집합''' (또는 '''흡수적인''' 집합)이라고 하며, 다음의 동등한 조건을 만족하는 경우 '''X에서 흡수한다'''라고 한다.

# A는 X의 모든 점을 흡수한다. 즉, 모든 x \in X에 대해, A는 \{x\}를 흡수한다.

#* 0 \not\in A이면 A는 흡수할 수 없다. 모든 흡수 집합은 원점을 포함해야 한다.

# A는 X의 모든 유한 부분 집합을 흡수한다.

# 모든 x \in X에 대해, |c| \geq r을 만족하는 스칼라 c \in \mathbb{K}에 대해 x \in c A가 되도록 하는 실수 r > 0이 존재한다.

# 모든 x \in X에 대해, |c| \leq r을 만족하는 스칼라 c \in \mathbb{K}에 대해 c x \in A가 되도록 하는 실수 r > 0이 존재한다.

# 모든 x \in X에 대해, B_r x \subseteq A가 되도록 하는 실수 r > 0이 존재한다.

#* 여기서 B_r = \{c \in \mathbb{K} : |c| < r\}은 스칼라 필드에서 원점을 중심으로 하는 반지름 r의 열린 공이고 B_r x = \left\{c x : c \in B_r\right\} = \{c x : c \in \mathbb{K} \text{ and } |c| < r\}.

#* 닫힌 공을 열린 공 대신 사용할 수 있다.

#* B_r x \subseteq \mathbb{K} x = \operatorname{span} \{x\}이기 때문에, 포함 관계 B_r x \subseteq A는 B_r x \subseteq A \cap \mathbb{K} x일 때만 성립한다.

# 모든 x \in X에 대해, B_r x \subseteq A \cap \mathbb{K} x가 되도록 하는 실수 r > 0이 존재하며, 여기서 \mathbb{K} x = \operatorname{span} \{x\}.

'''위상과의 관계''': 만약 \mathbb{K} x에 일반적인 하우스도르프 유클리드 위상이 주어진다면 집합 B_r x는 \mathbb{K} x에서 원점의 근방이다. 따라서, B_r x \subseteq A \cap \mathbb{K} x가 되도록 하는 실수 r > 0이 존재한다는 것은 A \cap \mathbb{K} x가 \mathbb{K} x에서 원점의 근방임을 의미한다. 결과적으로, 모든 x \in X에 대해 A \cap \operatorname{span} \{x\}가 \operatorname{span} \{x\} = \mathbb{K} x에서 0의 근방일 때, A는 이 조건을 만족한다 (여기서 \operatorname{span} \{x\}에는 유클리드 위상이 주어진다).

1차원 벡터 공간에 대한 유일한 TVS 위상은 (비-하우스도르프) 자명 위상과 하우스도르프 유클리드 위상이다. X의 모든 1차원 벡터 부분 공간은 어떤 x \in X에 대해 \mathbb{K} x = \operatorname{span} \{x\}의 형태를 가지며, 이 1차원 공간 \mathbb{K} x에 하우스도르프 벡터 위상이 부여되면, c \mapsto c x로 정의된 사상 \mathbb{K} \to \mathbb{K} x는 필연적으로 TVS-동형 사상이다(여기서 일반적으로 \mathbb{K}에는 표준 유클리드 위상이 부여되며, 이는 유클리드 거리에 의해 유도된다).[2]

A는 원점을 포함하고, X의 모든 1차원 벡터 부분 공간 Y에 대해, Y에 고유한 하우스도르프 벡터 위상 (즉, 유클리드 위상)이 부여될 때 A \cap Y는 Y에서 원점의 근방이다.

  • 유클리드 위상이 이 특징에서 구별되는 이유는 궁극적으로 스칼라 필드 \mathbb{K}에 이 (유클리드) 위상이 부여될 때 스칼라 곱 \mathbb{K} \times X \to X가 연속적이어야 한다는 TVS 위상의 정의 요구 사항에서 비롯된다.[2]
  • '''0-근방은 흡수한다''': 이 조건은 모든 위상 벡터 공간 (TVS)에서 원점의 모든 근방이 필연적으로 흡수적인 이유에 대한 통찰력을 제공한다: U가 TVS X에서 원점의 근방이면, 모든 1차원 벡터 부분 공간 Y에 대해, Y에 X에 의해 유도된 부분 공간 위상이 부여될 때 U \cap Y는 Y에서 원점의 근방이다. 이 부분 공간 위상은 항상 벡터 위상이며 Y는 1차원이므로, Y에 대한 유일한 벡터 위상은 하우스도르프 유클리드 위상과 자명 위상이며, 이는 유클리드 위상의 부분 집합이다.

따라서 어떤 벡터 위상이 Y에 있든, 집합 U \cap Y는 고유한 하우스도르프 벡터 위상 (유클리드 위상)에 대해 Y에서 원점의 근방이 될 것이다.[3]

따라서 U는 흡수적이다.

A는 원점을 포함하고 X의 모든 1차원 벡터 부분 공간 Y에 대해, A \cap Y는 Y에서 흡수적이다(이 조건 외에 "흡수적"의 다른 정의 조건을 따른다).

\mathbb{K} = \Reals인 경우, 다음을 추가할 수 있다.

# A의 대수적 내부는 원점을 포함한다(즉, 0 \in {}^{i}A).

A가 평형이면, 다음을 추가할 수 있다.

# 모든 x \in X에 대해, x \in c A가 되도록 하는 스칼라 c \neq 0이 존재한다 (또는 동등하게, c x \in A가 되도록 한다).

# 모든 x \in X에 대해, x \in c A가 되도록 하는 스칼라 c가 존재한다.

A가 볼록 '''또는''' 평형이면, 다음을 추가할 수 있다.

# 모든 x \in X에 대해, r x \in A가 되도록 하는 양의 실수 r > 0이 존재한다.

#* 이 조건을 만족하는 '''평형''' 집합 A가 필연적으로 X에서 흡수적이라는 증명은 위 조건 (10)과 모든 스칼라 c \neq 0에 대해 c A = |c| A라는 사실로부터 즉시 따른다(여기서 r := |c| > 0은 실수이다).

#* 이 조건을 만족하는 '''볼록''' 집합 A가 필연적으로 X에서 흡수적이라는 증명은 덜 자명하다 (하지만 어렵지는 않다).

#** '''증명 요약''': 가정에 따라, 영이 아닌 0 \neq y \in X에 대해, R y \in A 및 r (- y) \in A가 되도록 양의 실수 r > 0과 R > 0을 선택할 수 있으므로, 볼록 집합 A \cap \Reals y는 열린 부분 구간 (-r, R) y를 포함하고, 이는 원점을 포함한다(A \cap \Reals y는 \Reals y를 \Reals로 식별하고 \Reals의 모든 비어 있지 않은 볼록 부분 집합은 구간이므로 구간이라고 한다). \mathbb{K} y에 하우스도르프 벡터 위상을 부여하여, A \cap \mathbb{K} y가 \mathbb{K} y에서 원점의 근방임을 보여주는 것이 남았다. 만약 \mathbb{K} = \Reals이면 완료된 것이므로, \mathbb{K} = \Complex라고 가정하자. 집합 S는 두 구간의 합집합이며, 각 구간은 원점을 포함하는 열린 부분 구간을 포함한다; 또한, 이 두 구간의 교집합은 정확하게 원점이다. 따라서 볼록 집합 A \cap \Complex y에 포함된 S의 사변형 모양 볼록 폐포는 명확하게 원점을 중심으로 하는 열린 공을 포함한다.

# 모든 x \in X에 대해, x \in r A가 되도록 하는 양의 실수 r > 0이 존재한다.

#* 이 조건은 다음과 동등하다: 모든 x \in X는 집합 {\textstyle\bigcup\limits_{0 < r < \infty}} r A = \{r a : 0 < r < \infty, a \in A\} = (0, \infty) A에 속한다. 이는 X = (0, \infty) A일 때만 발생하며, 이는 다음 특징을 제공한다.

# (0, \infty) A = X.

#*임의의 X의 부분 집합 T에 대해, (0, \infty) T = X는 모든 x \in X에 대해 T \cap (0, \infty) x \neq \varnothing일 때만 성립하는 것으로 나타낼 수 있으며, 여기서 (0, \infty) x이다.

# 모든 x \in X에 대해, A \cap (0, \infty) x \neq \varnothing.

0 \in A인 경우( A가 흡수적이기 위해 필요하다)에는 모든 x \in X가 아니라 모든 영이 아닌 x \in X에 대해 위의 조건 중 하나를 확인하는 것으로 충분하다.

실수 또는 복소수체 '''F''' 위의 벡터 공간 ''X''를 고려한다.

''X''의 부분 집합 ''A'', ''B''에 대해, 적당한 양수 α가 존재하여, |λ| ≥ α인 임의의 스칼라 λ에 대해 λ''A'' ⊃ ''B''가 성립할 때, ''A''는 ''B''를 '''병탄'''한다고 한다. 단, λ''A'' := {λ''a'' : ''a'' ∈ ''A''}}}이다. ''X''의 부분 집합 ''A''가 ''X''의 임의의 점을 병탄할 때, ''A''는 ''X''의 '''병탄 집합'''이라고 한다.

3. 성질

K-벡터 공간 V의 균형 집합 S\subseteq V에 대하여, 다음 두 조건이 서로 동치이다.[5]


  • 흡수 집합이다.
  • 임의의 v\in V에 대하여, v\in aS인 a\in K^{\times}가 존재한다.

이는 균형 집합의 경우, |a|\le|b|일 때 aS\subseteq bS이기 때문이다.

모든 흡수 집합은 0을 원소로 포함하며, 특히 공집합이 아니다.[5] 모든 흡수 집합은 전집합이다 (즉, 흡수 집합을 포함하는 부분 공간은 조밀 집합이다).[5]

흡수 집합의 유한한 교집합은 흡수 집합이다.[5] 흡수 집합을 부분 집합으로 포함하는 집합은 흡수 집합이다.[5]

만약 A가 X의 흡수 부분 집합이면, X = {\textstyle\bigcup\limits_{n=1}^\infty} n A이고, 더 일반적으로는 \left|s_n\right| \to \infty인 스칼라 수열 s_1, s_2, \ldots에 대해 X = {\textstyle\bigcup\limits_{n=1}^\infty} s_n A이다.

4. 예

반노름 공간의 열린 공·닫힌 공은 흡수 집합이다. 보다 일반적으로, K-위상 벡터 공간에서, 0의 근방은 흡수 집합이다.

:K-위상 벡터 공간 V에서, 임의의 영벡터의 근방 U\ni0 및 임의의 벡터 v\in V가 주어졌다고 하자. 함수

:K\to V

:a\to av

가 연속 함수이며 0v=0이므로, |a|가 충분히 작을 때 av\in U이며, 따라서 |a'|가 충분히 클 때 v\in a'U이다. 즉, U는 흡수 집합이다.

임의의 위상 선형 공간에서 영벡터 0의 근방은 흡수 집합이다. 특히 반노름 선형 공간에서 단위 구는 흡수 집합이다.

국소 볼록 공간에서 타르는 정의에 의해 흡수 집합이다. 타르는 임의의 유계 완비 볼록 부분 집합을 흡수한다. 또한 공간이 준 완비이면 타르는 임의의 유계 부분 집합을 흡수한다.

4. 1. 한 집합이 다른 집합을 흡수하는 예시

반노름 공간의 열린 공·닫힌 공은 흡수 집합이다. 보다 일반적으로, K-위상 벡터 공간에서, 0의 근방은 흡수 집합이다.

:K-위상 벡터 공간 V에서, 임의의 영벡터의 근방 U\ni0 및 임의의 벡터 v\in V가 주어졌다고 하자. 함수

:K\to V

:a\to av

가 연속 함수이며 0v=0이므로, |a|가 충분히 작을 때 av\in U이며, 따라서 |a'|가 충분히 클 때 v\in a'U이다. 즉, U는 흡수 집합이다.

벡터 공간 사이의 선형 사상 F : X \to Y가 주어지고, B \subseteq X와 C \subseteq Y가 균형 집합이라고 하자. 그러면 C가 F(B)를 흡수하는 것은 F^{-1}(C)가 B를 흡수하는 것과 같다.

집합 A가 다른 집합 B를 흡수하면, A의 임의의 상위 집합 또한 B를 흡수한다.

집합 A가 원점을 흡수하는 것은 원점이 A의 원소인 것과 같다.

집합 A가 집합들의 유한 합집합 B_1 \cup \cdots \cup B_n을 흡수하는 것은 각 집합을 개별적으로 흡수하는 것과 같다(즉, 모든 i = 1, \ldots, n에 대해 A가 B_i를 흡수하는 것과 같다). 특히, 집합 A가 X의 흡수 부분 집합인 것은 X의 모든 유한 부분 집합을 흡수하는 것과 같다.

  • 임의의 위상 선형 공간에서 영벡터 0의 근방은 흡수 집합이다. 특히 반노름 선형 공간에서 단위 구는 흡수 집합이다.
  • 국소 볼록 공간에서 타르는 정의에 의해 흡수 집합이다. 타르는 임의의 유계 완비 볼록 부분 집합을 흡수한다. 또한 공간이 준 완비이면 타르는 임의의 유계 부분 집합을 흡수한다.

4. 2. 흡수 집합의 예시

반노름 공간의 열린 공·닫힌 공은 흡수 집합이다. 보다 일반적으로, K-위상 벡터 공간에서, 0의 근방은 흡수 집합이다. 모든 노름 벡터 공간 (또는 세미노름 벡터 공간)의 단위 구는 흡수 집합이다.

흡수 집합의 모든 상위 집합은 흡수 집합이다. 결과적으로, 하나 이상의 흡수 집합의 임의의 가족의 합집합은 흡수 집합이다. 유한 개의 흡수 부분 집합의 교집합은 다시 흡수 부분 집합이다. 그러나 반지름 r_n = 1, 1/2, 1/3, \ldots의 열린 공 (-r_n, -r_n)은 모두 X := \Reals에서 흡수 집합이지만, 이들의 교집합 \bigcap_{n \in \N} (-1/n, 1/n) = \{0\}는 흡수 집합이 아니다.

만약 D \neq \varnothing가 디스크 (볼록하고 균형 잡힌 부분 집합)이라면 \operatorname{span} D = {\textstyle\bigcup\limits_{n=1}^\infty} n D;이므로, 특히 디스크 D \neq \varnothing는 항상 \operatorname{span} D.의 흡수 부분 집합이다. 따라서 만약 D가 X의 디스크라면, D는 \operatorname{span} D = X일 경우에만 X에서 흡수 집합이다.

X = \Reals^2에서 x축과 y축의 합집합 D는 \operatorname{span} D = \Reals^2.에서 흡수 집합이 아닌 비볼록 균형 집합의 예시이다.

전사 선형 연산자에 의해 흡수 집합의 이미지는 다시 흡수 집합이다. 선형 연산자에 의해 흡수 부분 집합 (공역의)의 역 이미지는 다시 (영역에서) 흡수 집합이다.

만약 A가 흡수 집합이면, 대칭 집합 {\textstyle\bigcap\limits_

5. 응용

참조

[1] 문서
[2] 문서
[3] 문서
[4] 문서
[5] 서적 Elements of mathematics. Topological vector spaces. Chapters 1–5 Springer 2003


본 사이트는 AI가 위키백과와 뉴스 기사,정부 간행물,학술 논문등을 바탕으로 정보를 가공하여 제공하는 백과사전형 서비스입니다.
모든 문서는 AI에 의해 자동 생성되며, CC BY-SA 4.0 라이선스에 따라 이용할 수 있습니다.
하지만, 위키백과나 뉴스 기사 자체에 오류, 부정확한 정보, 또는 가짜 뉴스가 포함될 수 있으며, AI는 이러한 내용을 완벽하게 걸러내지 못할 수 있습니다.
따라서 제공되는 정보에 일부 오류나 편향이 있을 수 있으므로, 중요한 정보는 반드시 다른 출처를 통해 교차 검증하시기 바랍니다.

문의하기 : help@durumis.com