민코프스키 덧셈

빨간 도형은 파란 도형과 초록색 도형의 민코프스키 덧셈이다.
기하학에서, 유클리드 공간의 위치벡터 A와 B의 두 집합의 민코프스키 합(팽창이라고도 알려져 있다)은 A에 있는 모든 벡터를 B에 있는 각각의 벡터에 더해서 만들어진다. 이는 다음과 같다:
 
유사하게, 민코프스키 차(또는 기하학적 차)는 다음과 같이 정의된다:
 
일반적으로 인 것은 중요하다. 예를 들어, 일차원 경우 와 일 때, 민코프스키 차는 이지만 이다. 민코프스키 합과 차를 연결하는 올바른 공식은 다음과 같다 (여기에서 는 의 여집합을 의미한다):
 
이차원의 경우에서, 민코프스키 차는 이미지 처리에서 침식 (형태학)과 긴밀하게 연관이 있다.
파일:Minkowski-sumex4.svg|섬네일|민코프스키 합 A + B
B
A
이 개념은 헤르만 민코프스키의 이름을 붙였다.

**예시**
예를 들어, 에서 두 개의 삼각형을 나타내는 꼭짓점인 다음 세 개의 위치벡터(비공식적, 세 점)로 이루어진 두 집합 A와 B를 가지고있다고 가정하자:


그러면 그 민코프스키 합은 다음과 같다:

육각형의 꼭짓점을 이룬다.
민코프스키 덧셈에서, 영벡터 0만을 포함하는 영집합 {0}은 항등원이다: 벡터 공간의 모든 부분집합 S에 대해서 다음이 성립한다:

공집합은 공집합은 다른 모든 부분집합을 없애기 때문에 민코프스키 덧셈에서 중요하다: 벡터 공간의 모든 부분집합 S에 대해서, 공집합과의 합은 공집합이다:

파일:Extreme points.svg|섬네일|오른쪽|alt=토르티야 칩이나 삼각형 표지판처럼 매끈한 삼각형의 그림. 세 둥근 코너는 빨간 곡선으로 그려져 있다. 삼각형의 나머지 내부는 파란 색으로 칠해져 있다.|빨간 집합의 볼록 폐포에서, 각각의 파란 점은 어떤 빨간 점의 볼록 조합이다.
파일:Minkowski sum graph - vector version.svg|섬네일|alt=세 개의 정사각형이 데카르트 좌표의 제 1사분면에 나타나 있다. 정사각형 Q1=0,1×0,1은 초록색이다. 정사각형 Q2=1,2×1,2은 갈색이고, 청록색 정사각형 Q1+Q2=1,3×1,3의 안에 있다.|집합의 민코프스키 덧셈. 정사각형 Q1=0,12과 Q2=1,22의 덧셈은 정사각형 Q1+Q2=1,32이다.

**민코프스키 덧셈의 볼록 폐포**
민코프스키 덧셈은 볼록 폐포를 취하는 연산에 대해서 다음의 명제에서 보인 것 같이 잘 동작한다:- 실 벡터 공간의 어떤 진부분집합 S1와 S2에 대해서, 그 민코프스키 덧셈의 볼록 폐포는 그 볼록 폐포의 민코프스키 덧셈이다:
: 
이 결과는 더 일반적으로 모든 유한한 공집합이 아닌 집합의 집합에 대해서도 적용된다:

수학 용어학에서, 민코프스키 덧셈과 볼록 폐포를 만드는 연산은 가환 연산이다.
가 볼록 집합이라면 는 볼록 집합이다; 게다가 모든 에 대해서 다음이 성립한다:

반대로, 음이 아닌 어떤 실수 에 대해서 이 "분배법칙"이 적용되면 집합은 볼록이다.
그림은 A + A ⊋ 2A인 비볼록 집합의 예시를 보여준다.
파일:Minkowskisum.svg|섬네일|A + A ≠ 2A인 비볼록 집합의 예시 1차원의 예시: B=1,2∪4,5. 이것은 쉽게 2B=2,4∪8,10이지만 B+B=2,4∪5,7∪8,10인 것을 계산할 수 있다. 따라서, 역시 B+B ⊋ 2B이다.
민코프스키 덧셈은 이차원 볼록체의 둘레에서 선형적으로 작용한다: 덧셈의 둘레는 둘레의 합과 같다. 게다가, K가 정폭도형(의 내부)이면, K와 그것을 180°돌린 도형의 민코프스키 덧셈은 원판이다. 이 두 사실을 결합하면 정폭도형의 둘레에서 바르비에의 정리의 간략하게 증명할 수 있다.

**적용**
민코프스키 덧셈은 수학적 형태학에서 중요한 역할을 한다. 이것은 2차원 컴퓨터 그래픽스(의 다양한 사용과 메타 폰트에서 도널드 커누스에 의한 저명성과 함께)의 brush-and-stroke paradigm과3차원 컴퓨터 그래픽스의 솔리드 스윕 연산에서 드러난다.

**모션 계획**
민코프스키 덧셈은 장애물 사이로 지나는 모션 계획에서 사용된다. 이것은 물체의 모든 허용 가능한 집합인 짜임새 공간의 계산에 사용된다. 물체의 위치가 이 물체의 고정점에 의해서 유일하게 결정되는 평면에서 물체의 평행이동 모션의 가장 단순한 모델에서, 짜임새 공간은 장애물의 집합과 움직이는 물체를 원점에 둬서 180도 돌린 것의 민코프스키 덧셈이다.

**수치 제어 (NC) 가공**
수치 제어 가공에서, NC 툴의 프로그래밍은 깎는 조각과 그 궤적의 민코프스키 덧셈은 물체에서 깎는 모양을 준다는 사실을 이용한다.

**3d 솔리드 모델링**
오픈SCAD에서 민코프스키 덧셈은 한 도형과 두 도형의 복합체를 만드는 다른 도형의 윤곽선을 그릴 때 이용된다.

**집계 이론**
민코프스키 덧셈은 집계 이론에서 집계된 각각의 물체가 집합으로 특정될 경우에 종종 사용된다.

**민코프스키 덧셈을 계산하는 알고리즘**
민코프스키 덧셈과 볼록 폐포. 빨간 점의 쌍으로 이루어진 (왼쪽에 있는) 비볼록 집합 네 개의 덧셈으로 생긴 (오른쪽에 있는) 16개의 진한 빨간색 점. (분홍색으로 칠해진) 볼록 폐포는 더하기 기호 (+)를 포함한다: 오른쪽 더하기 기호는 왼쪽 더하기 기호의 덧셈이다.

**평면의 경우**

**평면의 볼록 다각형 두 개**
꼭짓점이 각각 m개와 n개인 평면의 볼록 다각형 P와 Q에 대해서, 그 민코프스키 합은 최대 m + n개의 꼭짓점이 있는 볼록 다각형이고 비공식적인 다음의 매우 간단한 단계로 시간 O (m + n)에 계산할 수 있다. 다각형의 모서리와 다각형 경계의 방향 (말하자면 반시계 방향 같은)이 주어졌다고 가정하자. 그러면 쉽게 이 볼록 다각형의 변이 중심각 순서대로 있다는 것을 볼 수 있다. 정렬된 유향 변의 수열 P와 Q를 하나의 정렬된 수열 S으로 병합하자. 이 변들이 원래 방향에 평행하게 유지하면서 자유롭게 움직일 수 있는 고체 화살표라고 생각하자. 화살표들을 다음 화살표의 꼬리를 이전 화살표의 머리에 붙여서 수열 S의 순서대로 조합하자. 이 결과로 나오는 다각형 체인이 사실은 P와 Q의 민코프스키 합인 볼록 다각형이라는 것을 알 수 있다.

**기타**
한 다각형이 볼록이고 다른 것은 아니라면, 그 민코프스키 덧셈의 완비성은 O(nm)이다. 둘 다 비볼록이라면, 그 민코프스키 덧셈의 완비성은 O((mn)2)이다.

**본질적 민코프스키 덧셈**
유클리드 공간의 두 부분집합의 본질적 민코프스키 덧셈의 표기 +e가 있다. 일반적인 민코프스키 덧셈은 다음과 같이 적는다는 것을 주목하자:

따라서, 본질적 민코프스키 덧셈은 다음과 같이 정의된다:

여기서 μ는 n-차원 르베그 측도를 의미한다. "본질적"이라는 용어를 쓰는 이유는 지시 함수의 다음 특성 때문이다: 다음일 때

다음을 볼 수 있다:

여기서 "ess sup"는 본질적 상한을 의미한다.

**Lp 민코프스키 덧셈**
의 콤팩트 볼록 집합 K와 L에 대해서, 민코프스키 합은 볼록 집합의 지지 함수로 설명될 수 있다:

p ≥ 1일 때, Firey는 Lp 민코프스키 합을 원점을 다음과 같이 포함하는 에 있는 콤팩트 볼록 집합 K와 L의 K+pL로 정의했다:

민코프스키 부등식에 의해서, 함수 hK+pL은 다시 양의 동차이고 볼록이고 따라서 콤팩트 볼록 함수의 지지 함수이다. 이 정의는 Lp Brunn-Minkowski theory에서 근본적이다.

**같이 보기**
 팽창- 침식- 구간 산술- 혼합 부피 (a.k.a. Quermassintegral 또는 intrinsic volume)- 평행 곡선- 섀플리-포크먼 보조정리- Zonotope- 합성곱

**참조**
 ref=harv- 인용 |last=Gardner |first=Richard J. |title=The Brunn-Minkowski inequality |journal=Bull. Amer. Math. Soc. (N.S.) | volume=39 | issue=3 | year=2002 | pages=355–405 (electronic) | doi=10.1090/S0273-0979-02-00941-2 - url-status=dead- zbl=0859.11003 .- doi=10.1007/s00454-005-1206-y .- isbn= .- isbn= .-  Mayer, A. and Zelenyuk, V. (2014) "Aggregation of Malmquist productivity indexes allowing for reallocation of resources," European Journal of Operational Research, 238:3, pp 774-785-  Zelenyuk, V. (2015) "Aggregation of scale efficiency," European Journal of Operational Research, 240:1, pp 269-277.

**외부 링크**
 id=p/m120210- 인용|title=On the tendency toward convexity of the vector sum of sets|authorlink=Roger Evans Howe|last=Howe|first=Roger|year=1979|publisher=Cowles Foundation for Research in Economics, Yale University|series=Cowles Foundation discussion papers|volume=538|url=http://econpapers.repec.org/RePEc:cwl:cwldpp:538-  Minkowski Sums, in Computational Geometry Algorithms Library-  The Minkowski Sum of Two Triangles and  The Minkowski Sum of a Disk and a Polygon by George Beck, The Wolfram Demonstrations Project.-  Minkowski's addition of convex shapes by Alexander Bogomolny: an applet- Wikibooks:OpenSCAD User Manual/Transformations#minkowski by Marius Kintel: Application
분류:볼록기하학 정리
분류:볼록기하학
분류:이항연산
분류:디지털 기하학
분류:기하 알고리즘
분류:변분해석학
분류:아벨 군론
분류:아핀기하학
분류:헤르만 민코프스키
분류:변분해석학