퍼르커시 보조정리

수학적 최적화에서 퍼르커시 보조정리()는 어떤 볼록뿔과 이에 속하지 않는 벡터 사이를 초평면으로 분리할 수 있다는 정리다.

 정의 
가  실수 행렬이며, 가 차원 실수 벡터라고 하자. 그렇다면, 다음 두 명제 가운데 정확히 하나만이 성립한다.
 이며 인 이 존재한다. 즉, 는 볼록뿔

에 속한다.
 이며 인 이 존재한다. 즉, 차원 초평면

이 존재하여, 와 볼록뿔 은 이 초평면의 양쪽에 각각 존재한다.
여기서 이 라는 것은 의 모든 성분이 음수가 아니라는 것이다.

 역사 
헝가리의 과학자 퍼르커시 줄러()가 1894년 증명하였다.

 각주 




 외부 링크 


분류:수학적 최적화
분류:보조정리
분류:선형 계획법
분류:볼록 해석