맨위로가기

균형 집합

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

1. 개요

균형 집합은 실수체 또는 복소수체의 벡터 공간에서 정의되는 부분 집합으로, 스칼라 곱에 대해 특정 조건을 만족한다. 균형 집합은 스칼라의 절댓값이 1 이하일 때 스칼라 곱의 결과가 집합 내에 포함되는 집합으로 정의되며, 균형 폐포와 균형 핵과 같은 개념을 갖는다. 균형 집합은 합집합, 교집합, 폐포 등의 연산에 닫혀 있으며, 위상 벡터 공간에서 0의 근방을 이루는 데 중요한 역할을 한다. 또한, 균형 함수와 같은 관련 개념과 세미노름, 노름 등과 연관되어 있으며, 콤팩트 집합과 같은 집합의 균형 껍질도 동일한 성질을 유지한다.

더 읽어볼만한 페이지

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

2. 정의

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


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


여기서

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

이다.

즉, 어떤 집합이 균형 집합이려면, 그 집합의 각 원소에 대해 크기가 1 이하인 스칼라를 곱한 결과가 다시 그 집합에 포함되어야 한다.

X의 부분 집합 S는 다음 조건들을 모두 만족하면 ''균형 집합''이다.

1. 모든 s \in S|a| \leq 1을 만족하는 모든 스칼라 a에 대해 a s \in S

2. |a| \leq 1을 만족하는 모든 스칼라 a에 대해 a S \subseteq S

3. B_{\leq 1} S \subseteq S (여기서 B_{\leq 1} := \{a \in \mathbb{K} : |a| \leq 1\})

4. S = B_{\leq 1} S[1]

5. 모든 s \in S에 대해, S \cap \mathbb{K} s = B_{\leq 1} (S \cap \mathbb{K} s)

6. \operatorname{span} S의 모든 1차원 벡터 부분 공간 Y에 대해, S \cap Y는 균형 집합

7. 모든 s \in S에 대해, S \cap \mathbb{K} s = B_r s 또는 S \cap \mathbb{K} s = B_{\leq r} s가 되도록 하는 0 \leq r \leq \infty가 존재

8. S\operatorname{span} S의 균형 부분 집합

S볼록 집합이라면, 추가로 다음 조건이 만족되어야 한다.

9. |a| = 1을 만족하는 모든 스칼라 a에 대해 a S \subseteq S

\mathbb{K} = \R이라면, 추가로 다음 조건이 만족되어야 한다.

10. S는 대칭 집합 (즉, - S = S)이고 [0, 1) S \subseteq S

  • 노름 벡터 공간 내의 단위구는 균형 집합이다.
  • 실수 또는 복소수 벡터 공간의 임의의 부분 공간은 균형 집합이다.
  • 일차원 벡터 공간으로서 복소수 체 '''C'''를 생각하면, 그 공간 내의 균형 집합은 '''C''' 자체, 공집합, 그리고 0을 중심으로 하는 열린 원판과 닫힌 원판이다. 반면, 이차원 유클리드 공간에서는 (0,0)을 중점으로 하는 임의의 선분 등 더 많은 균형 집합이 존재한다.
  • ''p''를 선형 공간 ''X''의 반노름으로 할 때, 임의의 상수 ''c'' > 0에 대해 집합 {''x'' ∈ X | ''p''(''x'') ≤ ''c''}는 균형 집합이다.

2. 1. 균형 폐포와 균형핵

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

:\bigcup_{a\in K}^{|a|\le1}aS

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

:\begin{cases}

\varnothing&0\not\in S\\

\bigcap_{a\in K}^{|a|\ge1}aS&0\in S

\end{cases}



집합 X의 부분 집합 S의 균형 폐포는 \operatorname{bal} S로 표기하며, 다음 방법 중 하나로 정의된다.

# S를 포함하는 X의 균형 부분 집합 중 가장 작은 집합 (\,\subseteq\,에 관하여).

# S를 포함하는 모든 균형 집합의 교집합.

# \operatorname{bal} S = \bigcup_{|a| \leq 1} (a S).

# \operatorname{bal} S = B_{\leq 1} S.

집합 X의 부분 집합 S의 균형핵(Balanced core)은 \operatorname{balcore} S로 표시하며, 다음 방법 중 하나로 정의된다.

# S의 균형 부분 집합 중 가장 큰 것 (\,\subseteq\,에 대하여).

# S의 모든 균형 부분 집합의 합집합.

# 0 \not\in S이면 \operatorname{balcore} S = \varnothing이고, 0 \in S이면 \operatorname{balcore} S = \bigcap_

3. 성질


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


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

K-위상 벡터 공간에서, 0의 모든 근방은 균형 근방을 포함하며, 0의 모든 볼록 근방은 균형 볼록 근방을 포함한다. 즉, 임의의 K-위상 벡터 공간의 영벡터는 균형 집합들로 구성된 국소 기저를 가지며, 임의의 K-국소 볼록 공간의 영벡터는 균형 볼록 집합들로 구성된 국소 기저를 갖는다.

집합 T가 균형 집합인 것은 \operatorname{bal} T의 균형 껍질 또는 \operatorname{balcore} T의 균형 핵과 같을 때, 즉 세 집합이 모두 같을 때뿐이다: T = \operatorname{bal} T = \operatorname{balcore} T.

균형 집합족의 데카르트 곱은 해당 곱 공간 내에서 균형 집합이며, 이는 (동일한 체 \mathbb{K}에 대한) 해당 벡터 공간들로 구성된다.

  • 콤팩트 집합 (각각 완전 유계, 유계)의 균형 껍질은 동일한 속성을 갖는다.[2]
  • 균형 집합의 볼록 껍질은 볼록하고 균형 잡힌 집합이다 (즉, 절대 볼록 집합이다).
  • 균형 집합의 임의의 합집합은 균형 집합이며, 균형 집합의 임의의 교집합도 마찬가지이다.
  • 균형 집합의 스칼라 배수와 (유한) 민코프스키 합은 다시 균형 집합이다.
  • 선형 사상 하에서 균형 집합의 상과 역상은 다시 균형 집합이다. 구체적으로, L : X \to Y가 선형 사상이고 B \subseteq XC \subseteq Y가 균형 집합인 경우, L(B)L^{-1}(C)는 균형 집합이다.


모든 위상 벡터 공간에서 균형 집합의 폐포는 균형 집합이다.[2] 원점 \{0\}과 균형 집합의 위상 내부의 합집합은 균형 집합이다. 따라서 원점의 균형 근방의 위상 내부는 균형 집합이다.[2]

위상 벡터 공간 X의 원점의 모든 근방(각각 볼록 근방)은 원점의 균형(각각 볼록하고 균형 잡힌) 열린 근방을 포함한다.[3]

# 균형 집합의 성질

자세한 내용은 위상 벡터 공간의 성질을 참고.

'''균형 집합의 성질'''

균형 집합은 원점을 포함하는 경우에만 비어 있지 않다.

정의에 따르면, 집합은 절대 볼록 집합인 경우에만 볼록 집합이고 균형 집합이다.

모든 균형 집합은 (0에서) 별 모양 집합이며 대칭 집합이다.

BX의 균형 부분 집합인 경우 다음이 적용된다.

  • 임의의 스칼라 cd,에 대해 |c| \leq |d|이면 c B \subseteq d B이고 c B = |c| B이다. 따라서 cd가 임의의 스칼라인 경우 (c B) \cap (d B) = \min_{} \

4. 예시


  • 반노름 공간 \((V, \nu)\)에서 0을 중심으로 하는 열린 공과 닫힌 공은 균형 집합이다.
  • 실수 벡터 공간 또는 복소수 벡터 공간의 모든 부분 공간은 균형 집합이다.
  • 벡터 공간들의 직접곱에서, 각 벡터 공간의 균형 집합들의 곱집합은 그 직접곱에서도 균형 집합이다.
  • 복소수체 \(\mathbb{C}\)를 1차원 복소수 벡터 공간으로 생각하면, 그 균형 집합은 \(\mathbb{C}\) 자체, 공집합, 0을 중심으로 하는 열린 원판, 0을 중심으로 하는 닫힌 원판이다. 그러나 \(\mathbb{C}\)를 2차원 실수 벡터 공간(즉, 유클리드 공간 \(\mathbb{R}^2\))으로 보면, 원점을 중심으로 하는 모든 열린 선분과 닫힌 선분도 균형 집합이 된다. 이는 벡터 공간 구조에 따라 균형 집합이 달라질 수 있음을 보여준다.[4]

5. 관련 개념

부분 선형 함수이자 균형 함수인 실수 값을 갖는 함수는 세미노름이다. 함수 p : X \to [0, \infty)가 다음 조건들을 만족하면 균형 함수이다.[1]

# |a| \leq 1을 만족하는 스칼라 ax \in X에 대해 p(a x) \leq p(x)이다.

# |a| \leq |b|를 만족하는 스칼라 abx \in X에 대해 p(a x) \leq p(b x)이다.

# \{x \in X : p(x) \leq t\}는 모든 음이 아닌 실수 t \geq 0에 대해 균형 집합이다.

p가 균형 함수이면, 모든 스칼라 a와 벡터 x \in X에 대해 p(a x) = p(|a| x)이다. 특히, 모든 단위 길이 스칼라 u (|u| = 1을 만족)와 모든 x \in X에 대해 p(u x) = p(x)이다.[1] u := -1을 사용하면 모든 균형 함수가 대칭 함수임을 알 수 있다.

참조

[1] 문서 Assuming that all vector spaces containing a set S are over the same field, when describing the set as being "balanced", it is not necessary to mention a vector space containing S. That is, "S is balanced" may be written in place of "S is a balanced subset of X".
[2] 문서 Let B \subseteq X be balanced. If its topological interior \operatorname{Int}_X B is empty then it is balanced so assume otherwise and let |s| \leq 1 be a scalar. If s \neq 0 then the map X \to X defined by x \mapsto s x is a [[homeomorphism]], which implies s \operatorname{Int}_X B = \operatorname{Int}_X (s B) \subseteq s B \subseteq B; because s \operatorname{Int}_X B is open, s \operatorname{Int}_X B \subseteq \operatorname{Int}_X B so that it only remains to show that this is true for s = 0. However, 0 \in \operatorname{Int}_X B might not be true but when it is true then \operatorname{Int}_X B will be balanced. \blacksquare
[3] 문서 W being star shaped at the origin means that 0 \in W and r w \in W for all 0 \leq r \leq 1 and w \in W.
[4] 서적 Functional analysis https://archive.org/[...] McGraw-Hill 1991



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

문의하기 : help@durumis.com