볼록 해석학

볼록 해석학(convex analysis)은 수학의 한 분야로, 볼록 함수와 볼록 집합의 속성을 연구하는 학문이며, 종종 최적화 이론의 하위 영역인 볼록 최소화에 응용된다.

 볼록 집합 

일부 벡터 공간 의 부분집합 는 다음 동등한 조건 중 하나를 만족하면 이다.
만약 이 실수이고 이면 
만약 이 실수이고 인 이면 
섬네일|300px|오른쪽|구간 위에서의 볼록 함수.

전체적으로, 는 벡터 공간의 볼록 부분집합인 정의역 를 가지는 확장된 실수 의 값을 가지는 사상이다.
사상 는 다음이 성립하면 이다.

이는 인 임의의 실수와 인 임의의 에 대해 성립한다. 만약 정의 부등식 ()이 엄격한 부등식으로 대체되어도 에 대해 이가 여전히 참이면

는 하다고 한다.

볼록 함수는 볼록 집합과 관련이 있다. 특히, 함수 는 그 가
오른쪽|섬네일|300px|함수 (검은색)는 그 그래프 위의 영역 (초록색)인 후그래프가 볼록 집합인 경우에만 볼록이다.
오른쪽|300px|섬네일|이변수 볼록 함수 의 그래프.

볼록 집합인 경우에만 볼록이다. 확장된 실수값 함수의 후그래프는 실해석학에서 실수값 함수의 그래프가 하는 역할과 유사한 역할을 볼록 해석학에서 한다. 특히, 확장된 실수값 함수의 후그래프는 추측을 공식화하거나 증명하는 데 도움이 될 수 있는 기하학적 직관을 제공한다.

함수 의 정의역은 로 표시되는 반면, 그 은 집합이다.

함수 는 이고 모든 에 대해 인 경우 하다고 한다. 다르게 말하면, 이는 의 정의역에 인 가 존재하고, 가 결코 와 같지 않음을 의미한다. 즉, 함수가 유효하다는 것은 정의역이 비어 있지 않고,  값을 취하지 않으며, 와 항등적으로 같지 않다는 것이다. 만약 가 유효 볼록 함수라면, 인 어떤 벡터와 인 어떤 실수가 존재하여
 모든 에 대해

여기서 는 이들 벡터의 스칼라곱을 나타낸다.

 볼록 켤레 

확장된 실수값을 가지는 함수 (반드시 볼록일 필요는 없음)의 는 의 (연속) 쌍대 공간 에서 로 가는 함수 이며,

여기서 괄호 는 정준 쌍대성 를 나타낸다.
만약 가  위의 -값 함수의 집합을 나타낸다면, 로 정의되는 사상 는 이라고 불린다.

 준미분 집합과 펜첼-영 부등식 

만약 이고 이면 은

예를 들어, 가 의 노름인 중요한 특수 경우에,The conclusion is immediate if  so assume otherwise. Fix  Replacing  with the norm gives  If  and  is real then using  gives  where in particular, taking  gives  while taking  gives  and thus  moreover, if in addition  then because  it follows from the definition of the dual norm that  Because  which is equivalent to  it follows that  which implies  for all  From these facts, the conclusion can now be reached. ∎ 이면 이 정의는 다음으로 축소된다는 것을 보일 수 있다.

 그리고 

모든 와 에 대해,  이는 이라고 불린다. 이 부등식은 인 경우에만 등식 (즉, )이 된다. 이런 방식으로 준미분 집합 는 볼록 켤레 와 직접적으로 관련되어 있다.

 이중 켤레 

함수 의 는 일반적으로 로 표기되며, 켤레 함수의 켤레이다. 즉, 모든 에 대해 이다. 이중 켤레는 강한 또는 약한 쌍대성이 언제 성립하는지 (섭동 함수를 통해) 보여주는 데 유용하다.

모든 에 대해 부등식 는 에서 비롯된다. 유효 함수의 경우, 펜첼-모로 정리에 따라 가 볼록이고 하반연속일 필요충분조건으로 가 성립한다.

 볼록 최소화 

 () 는 볼록 함수 와 볼록 부분집합 가 주어졌을 때 다음 형태의 문제를 찾는 것이다.

 를 찾아라.

 쌍대 문제 

최적화 이론에서 는 최적화 문제를 원시 문제 또는 쌍대 문제라는 두 가지 관점에서 볼 수 있다고 말한다.

일반적으로 두 쌍대 짝 분리된 국소 볼록 공간 와 가 주어졌다고 하자. 그러면 함수 가 주어졌을 때, 원시 문제를 를 찾아 다음을 만족하는 문제로 정의할 수 있다.

제약 조건이 있다면, 이는 로 설정하여 함수 에 포함시킬 수 있으며, 여기서 는 지시 함수이다. 그리고 가 되는 섭동 함수 를 정의한다.

선택된 섭동 함수에 대한 는 다음으로 주어진다.

여기서 는 의 두 변수에 대한 볼록 켤레이다.

쌍대성 간격은 다음 부등식의 우변과 좌변의 차이이다.

이 원리는 약한 쌍대성과 동일하다. 만약 두 변이 서로 같다면, 이 문제는 강한 쌍대성을 만족한다고 한다.

강한 쌍대성이 성립하기 위한 많은 조건들이 있다. 예를 들면:
  여기서 는 원시 문제와 쌍대 문제를 연결하는 섭동 함수이고 는 의 이중 켤레이다.
 원시 문제가 선형 최적화 문제이다.
 볼록 최적화 문제에 대한 슬레이터 조건.

 라그랑주 쌍대성 
부등식 제약 조건이 있는 볼록 최소화 문제의 경우,

 제약 조건  ().

라그랑주 쌍대 문제는 다음과 같다.

 제약 조건  ().

여기서 목적 함수 는 다음과 같이 정의되는 라그랑주 쌍대 함수이다.

 같이 보기 






 내용주 

 각주 












 외부 링크 



분류:볼록기하학