맨위로가기

절대 볼록 집합

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

1. 개요

절대 볼록 집합은 실수 또는 복소수 벡터 공간에서 볼록 집합이면서 균형 집합인 집합을 의미한다. 집합 A의 절대 볼록 폐포는 A를 포함하는 모든 절대 볼록 집합의 교집합으로 정의되며, 주어진 집합의 균형 폐포의 볼록 덮개와 같다. 또한, 절대 볼록 집합은 p-볼록 집합, p-세미노름과 같은 개념으로 일반화될 수 있으며, 위상 벡터 공간의 유계 집합과 관련이 있다.

더 읽어볼만한 페이지

  • 볼록기하학 - 볼록 집합
    볼록 집합은 위상 벡터 공간의 부분 집합으로, 집합 내의 임의의 두 점을 잇는 선분이 집합에 포함되며, 교집합은 볼록 집합이고, 닫힌 볼록 집합은 닫힌 반공간의 교집합으로 특징지을 수 있다.
  • 볼록기하학 - 면 (기하학)
    면은 기하학에서 다면체의 경계를 이루는 다각형을 의미하며, 고차원 기하학에서는 다포체의 임의 차원 요소를 나타낸다.
  • 추상대수학 - 직교
    직교는 수학에서 수직으로 만나는 기하학적 개념에서 시작하여 내적 공간의 벡터 내적이 0이거나 가군과 쌍대 가군의 원소가 특정 조건을 만족할 때 성립하며, 직교 집합, 직교 기저, 직교 여공간 등의 구조를 정의하고 푸리에 급수, 상대성이론, 양자역학 등 다양한 분야에서 활용될 뿐 아니라 컴퓨터 과학, 통계학, 법률, 예술 등에서도 독립적인 요소나 개념을 나타내는 데 사용된다.
  • 추상대수학 - 코시 열
    코시 열은 무한수열에서 항들이 뒤로 갈수록 서로 가까워지는 수열로, 수렴열은 항상 코시 열이지만 그 역은 성립하지 않을 수 있으며, 실수의 완비성 정의 및 무한급수 수렴성 판정에 중요한 역할을 하는 개념이다.
  • 군론 - 점군
    점군은 도형의 병진 조작을 제외한 대칭 조작들의 집합으로 군론의 공리를 만족하며, 쉐인플리스 기호나 허먼-모건 기호로 표기되고, 대칭 조작에 대응하는 행렬 표현은 가약 표현과 기약 표현으로 분해될 수 있다.
  • 군론 - 파울리 행렬
    파울리 행렬은 양자역학에서 스핀을 나타내는 데 사용되는 에르미트 행렬이자 유니타리 행렬로, 행렬식은 -1이고 대각합은 0이며, 리 대수의 생성원이자 파울리 벡터로 정의되어 다양한 물리학 분야에서 활용된다.
절대 볼록 집합
절대 볼록 집합
정의
유형수학적 개념
분야함수 해석학
볼록 해석학
성질
관련 개념볼록 집합
균형 집합
절대 볼록 껍질
국소 볼록 공간
영어 명칭
영어Absolutely convex set
일본어絶対凸集合 (Zettai totsu shūgō)

2. 정의

실수 또는 복소수 벡터 공간에서, 어떤 집합이 볼록 집합이면서 동시에 균형 집합이면 이 집합을 절대 볼록 집합이라고 정의한다. 집합 C가 절대 볼록 집합이라는 것은 C에 속하는 임의의 두 점 x_1, \, x_2|\lambda_1| + |\lambda_2| \leq 1 을 만족하는 임의의 스칼라 \lambda_1, \, \lambda_2에 대해 \lambda_1 x_1 + \lambda_2 x_2C에 속한다는 것을 의미한다.

벡터 공간의 부분집합 ''A''에 대해서 ''A''를 포함하는 모든 절대 볼록 집합의 교집합을 '''절대 볼록 폐포'''라고 정의한다.

실수 또는 복소수 벡터 공간 X의 부분 집합 S볼록 집합이고 균형 집합이면, S는 ''원판'', ''원판 집합'', ''절대 볼록'', ''볼록 균형 집합''이라고 불린다.

집합 S의 ''원판 덮개''(절대 볼록 덮개, 볼록 균형 덮개)는 S를 포함하는 가장 작은 원판으로 정의된다. S의 원판 덮개는 \operatorname{disk} S 또는 \operatorname{cobal} S로 표기하며, S균형 덮개의 볼록 덮개이다. 즉, \operatorname{cobal} S = \operatorname{co} (\operatorname{bal} S)이다.

3. 성질

임의 개수의 절대 볼록 집합들의 교집합은 다시 절대 볼록 집합이다. 그러나 절대 볼록 집합들의 합집합은 더 이상 절대 볼록 집합일 필요는 없다.

만약 DX의 디스크라면, DX에서 흡수적인 것은 \operatorname{span} D = X일 때와 동치이다.

만약 S가 벡터 공간 X에서 흡수 디스크라면, E + E \subseteq S를 만족하는 흡수 디스크 EX에 존재한다.

만약 D가 디스크이고 rs가 스칼라라면, s D = |s| D이고 (r D) \cap (s D) = (\min_{} \

3. 1. 절대 볼록 폐포 (절대 볼록 덮개)



주어진 집합을 포함하는 가장 작은 절대 볼록 집합을 절대 볼록 폐포라고 한다. 집합 ''A''의 절대 볼록 폐포는 다음과 같이 표현할 수 있다.

:\mbox{absconv} A = \left\{\sum_{i=1}^n\lambda_i x_i : n \in \N, \, x_i \in A, \, \sum_{i=1}^n|\lambda_i| \leq 1 \right\}.

절대 볼록 폐포는 주어진 집합의 균형 폐포의 볼록 덮개와 같지만, 볼록 폐포의 균형 폐포와는 다를 수 있다. 예를 들어, X를 실수 벡터 공간 \R^2로 하고 S := \{(-1, 1), (1, 1)\}로 하면, \operatorname{bal} (\operatorname{co} S)는 볼록하지 않은 \operatorname{cobal} S의 진부분집합이다. 이는 볼록 집합의 균형 폐포가 반드시 볼록 집합이 아닐 수 있음을 보여준다.

\operatorname{cobal} S는 꼭짓점이 (-1, 1), (1, 1), (-1, -1),(1, -1)인 닫힌 채워진 정사각형과 같다. 반면, \operatorname{co} (S)S의 두 점 사이의 수평 닫힌 선분과 같으므로, \operatorname{bal} (\operatorname{co} S)는 두 개의 닫힌 채워진 이등변 삼각형의 합집합인 닫힌 "모래시계 모양"의 부분집합이 된다. 이 비볼록 "모래시계" \operatorname{bal} (\operatorname{co} S)는 정사각형 \operatorname{cobal} S의 진부분집합이다.

4. 일반화

고정된 실수 0 < p \leq 1에 대해, p-볼록 집합은 c, d \in C이고 r, s \geq 0r^p + s^p = 1을 만족하는 스칼라일 때마다 r c + s d \in C를 만족하는 벡터 공간 X의 임의의 부분집합 C이다. c, d \in C이고 r, s|r|^p + |s|^p \leq 1을 만족하는 스칼라일 때마다 r c + s d \in C일 경우 절대 p-볼록 집합 또는 p-디스크라고 불린다.

p-세미노름은 다음 조건을 만족하는 음이 아닌 함수 q : X \to \R이다.


  • 준가법성/삼각 부등식: 모든 x, y \in X에 대해 q(x + y) \leq q(x) + q(y).
  • 차수 p의 절대 동차성: 모든 x \in X와 모든 스칼라 s에 대해 q(s x) =|s|^p q(x).


이는 1-세미노름인 경우에만 맵이 세미노름인 경우(p := 1 사용)이므로 세미노름의 정의를 일반화한다. 세미노름이 아닌 p-세미노름이 존재한다. 예를 들어, 0 < p < 1일 때마다 Lp 공간 L_p(\R)을 정의하는 데 사용되는 맵 q(f) = \int_{\R} |f(t)|^p d tp-세미노름이지만 세미노름은 아니다.

0 < p \leq 1이 주어지면, 위상 벡터 공간은 원점의 유계 p-볼록 근방이 있는 경우에만 p-세미노름 가능하다.

5. 관련 개념 (또는 응용)

6. 같이 보기



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

문의하기 : help@durumis.com