볼록콘

Convex cone
볼록콘(연청색)그 안에서 연한 적색 볼록콘은 표시된 xy에 대해 α, β > 0의 모든 점 αx + βy로 구성된다.오른쪽 상단의 곡선은 지역이 무한하다는 것을 상징한다.

선형대수학에서 원뿔(다른 종류의 원추와 구별하기 위한 선형 원추라고도 함)은 스칼라 곱셈에 따라 닫히는 벡터 공간의 부분집합이다. , c모든 스칼라에 대해 내포하는 경우 원추형이다.

스칼라가 실제 숫자이거나 순서가 정해진 필드에 속할 때, 일반적으로 원뿔양의 스칼라에 의해 곱셈으로 닫히는 벡터 공간의 부분집합이라고 부른다.이러한 맥락에서 볼록콘은 추가적으로 닫히는 원뿔 또는 동등하게 양의 계수를 갖는 선형 조합으로 닫히는 벡터 공간의 부분집합이다.볼록콘은 볼록한 집합이다.

이 글에서는 순서가 정해진 분야의 스칼라의 경우만을 고려한다.

정의

순서가 지정된 필드 F에 대한 벡터 공간 V부분집합 C원뿔(또는 선형 원뿔이라고도 함)[1]이며, 각 x에 대해 C의 양 스칼라 α에 대해 제품 αxC에 있는 경우.일부 저자는 (0을 포함하지 않는 모든 양의 스칼라보다) 음이 아닌 모든 스칼라 α의 스칼라 범위를 가진 원뿔을 정의한다는 점에 유의한다.[2]

Cαx + βyC에 속할 경우 볼록한 원뿔이며, 모든 양의 스칼라 α, βC의 x, y이다.[3][4]원뿔 CC + C ⊆ C경우에만 볼록하다.

개념은 "양" 스칼라의 개념을 허용하는 벡터 공간에는 어떤 의미가 있으며, 예를 들어, 이성적, 대수적, 또는 (더 일반적으로) 실수에 걸친 공간에는 의미가 있다.또한 정의의 스칼라는 기원이 C에 속할 필요가 없다는 긍정적인 의미라는 점에 유의한다.일부 저자는 출처가 C에 속함을 보장하는 정의를 사용한다.[5]스케일링 파라미터 αβ 때문에 원뿔은 범위가 무한하고 경계가 없다.

If C is a convex cone, then for any positive scalar α and any x in C the vector It follows that a convex cone C is a special case of a linear cone.

볼록콘은 또한 볼록 결합이나 추가의 바로 아래에 닫히는 선형 콘으로 정의될 수 있다는 것이 위의 속성에서 따온 것이다.보다 간결하게 말하면, 설정된 C는 어떤 양의 스칼라 α에 대해 αC = C C + C = C인 경우에만 볼록한 원뿔이다.

convex cone circular pyramid
미세하게 많은 발전기의 원뿔 조합이 아닌 볼록콘.
세 개의 검은색 벡터의 원뿔 조합에 의해 생성된 볼록 콘.
볼록콘이 아닌 원뿔(두 개의 광선의 결합)
  • 벡터 공간 V의 경우, 빈 세트, 공간 V 및 V선형 하위 공간은 볼록한 원뿔이다.
  • 에 있는 유한하거나 무한 벡터 집합의 원뿔형 조합 볼록한 원뿔형 원뿔형이다.
  • 볼록한 세트의 접선 원뿔은 볼록한 원뿔이다.
  • 세트
    원뿔이지만 볼록한 원뿔은 아니다.
  • 노름 원뿔
    볼록한 원뿔이다.
  • 같은 벡터 공간에서 두 볼록콘의 교차점은 다시 볼록콘이지만 이들의 결합은 하나가 되지 못할 수도 있다.
  • 볼록콘의 등급도 임의의 선형 지도에 의해 폐쇄된다.특히, C가 볼록콘이라면, 그 반대도 마찬가지 - - C\은 C에 포함된 가장 큰 선형 아공간이다.
  • 양수 세미데마인 행렬 집합.
  • 음이 아닌 연속함수의 집합은 볼록콘이다.

특별한 예

아핀 볼록콘

아핀 볼록콘은 볼록 콘에 아핀 변환을 적용함으로써 생기는 세트다.[6]일반적인 예는 볼록콘을 점 p: p + C로 번역하는 것이다.기술적으로 그러한 변환은 비원형을 생성할 수 있다.예를 들어 p = 0이 아닌 한 p + C는 선형 원뿔이 아니다.그러나, 그것은 여전히 아핀 볼록콘이라고 불린다.

하프 스페이스

(선형) 하이퍼 평면은 {x V plane ( x )= 형식의 집합이며 여기서 f는 벡터 공간 V에서 선형 기능이다.A closed half-space is a set in the form or and likewise an open half-space uses strict inequality.[7][8]

반공간(개방 또는 폐쇄)은 아핀 볼록콘이다.더욱이 (유한 치수에서) 전체 공간 V가 아닌 볼록콘 CV의 닫힌 반공간 H에 포함되어야 한다. 이것은 파르카스의 보조정리법의 특별한 경우다.

다면체 및 미세하게 생성된 원추

다면체 원뿔은 다음과 같은 여러 가지 방법으로 정의할 수 있는 특수한 종류의 원뿔이다.[9]: 256–257

  • 원추 C는 미세하게 많은 벡터의 원추 조합이라면 다면체(dolyheadral)[10][11]이다(이 속성을 정밀하게 생성하기도 한다).I.e., there is a set of vectors so that .
  • 원뿔은 경계에 0이 있는 한정된 수의 반공간의 교차점이라면 다면체(多面體)이다(이것은 1935년 Weyl에 의해 증명되었다).
  • 원뿔 C A (가) 있는 경우 다면체(다면체)로, C= { x n ∣ } C 0
  • 원뿔은 균일한 선형 불평등의 시스템의 해법 집합이라면 다면체다.대수적으로, 각각의 불평등은 행렬 A의 한 줄로 정의된다.기하학적으로, 각각의 불평등은 기원을 통과하는 반공간을 정의한다.

모든 미세하게 생성된 원뿔은 다면 원뿔이고, 모든 다면 원뿔은 미세하게 생성된 원뿔이다.[10]모든 다면 원추형 원추형 원추형에는 극한 생성기의 원추형 선체로서의 고유한 표현이 있으며, 반면체와 연관된 각 선형 형태를 고려할 때 반면체의 교차점에 대한 고유한 표현도 면의 지지 하이퍼 평면을 정의한다.[12]

다면체 원뿔은 다면체의 표현 이론에서 중심적인 역할을 한다.예를 들어, 다면체의 분해 정리는 모든 다면체는 볼록한 폴리토프와 다면 원뿔의 민코스키 합으로 쓰여질 수 있다고 명시한다.[13][14]또한 다면체 원뿔은 모든 다면체는 다면체이고 모든 경계 다면체는 다면체임을 보여주는 다면체의 관련 유한근거 정리를 증명하는데 중요한 역할을 한다.[13][15][16]

다면 원뿔의 두 가지 표현은 - 불평등과 벡터에 의한 - 매우 다른 크기를 가질 수 있다.예를 들어, 모든 음수가 아닌 n-by-n 행렬의 원뿔을 행과 열 합계가 같은 것으로 간주한다.불평등 표현에는 n개2 불평등과 2개 방정식이 필요하지만 벡터 표현에는 n! 벡터가 필요하다(버크호프-본 노이만 정리 참조).반대도 일어날 수 있다 - 벡터의 수는 다항식일 수 있지만 불평등의 수는 기하급수적이다.[9]: 256

두 가지 표현은 함께 주어진 벡터가 원뿔 안에 있는지 여부를 결정하는 효율적인 방법을 제공한다: 원뿔 안에 있다는 것을 보여주기 위해서는, 그것이 정의 벡터의 원뿔적 조합임을 나타내기에 충분하다; 원뿔 안에 있지 않다는 것을 보여주기 위해서는, 원뿔에 위반되는 단일 정의 불평등을 나타내기에 충분하다.이 사실은 파르카스의 보조정리라고 알려져 있다.

벡터에 의한 표현에서 미묘한 점은 벡터의 수가 차원에서는 기하급수적일 수 있기 때문에 벡터가 원뿔 안에 있다는 증거는 기하급수적으로 길 수도 있다는 것이다.다행히도 캐러테오도리의 정리는 원뿔의 모든 벡터가 최대 d 정의 벡터로 표현될 수 있음을 보장하는데, 여기서 d는 공간의 차원이다.

무뚝뚝하고, 뾰족하고, 평평하고, 두드러지고, 적절한 원추

위의 정의에 따르면 C가 볼록콘이라면 C ∪ {0}도 볼록콘이다.볼록콘은 0C에 있으면 뾰족하고, 0C에 없으면 뭉툭하다고 한다.[1][17]뭉툭한 원뿔은 α, β의 조건에서 "양"을 "양"으로 대체함으로써 볼록콘의 정의에서 제외될 수 있다.

원뿔이 0이 아닌 벡터 x와 그 반대인 -x를 포함하면 평평하다고 하는데, 는 C가 적어도 하나 이상의 치수의 선형 아공간을 포함하며 그렇지 않으면 두드러진다는 것을 의미한다.[18][19]뭉툭한 볼록콘은 반드시 두드러지지만, 그 반대가 반드시 사실인 것은 아니다.볼록콘 CC ∩ -C ⊆ {0}인 경우에만 두드러진다.원뿔 C는 C - C가 전체 벡터 공간과 같으면 생성된다고 한다.[20]

일부 저자들은 지적해야 할 중요한 원뿔을 요구한다.[21]또한 "점"이라는 용어는 완전한 선이 없는 닫힌 원뿔(즉, 주변 벡터 공간 V의 비종속적인 하위 공간이나 또는 근위 원뿔이라고 하는 것을 의미하지 않는다)을 가리키는 말로도 자주 사용된다.[22][23][24]적절한 (콘벡스)이라는 용어는 문맥과 저자에 따라 다양하게 정의된다.그것은 종종 볼록하고, 닫히고, 뾰족하고, 두드러지고, 그리고 완전한 차원 같은 다른 성질을 만족시키는 원뿔을 의미한다.[25][26][27]이러한 다양한 정의 때문에, 문맥이나 출처는 이러한 용어의 정의에 대해 참조되어야 한다.

이성적 원추

순수한 수학자들이 특히 관심을 갖는 원뿔의 한 종류는 부분적으로 순서가 정해진 이성 원뿔의 집합이다."합리적인 원뿔은 토릭 대수 기하학, 콤비네이터 조합 대수학,[28] 정수 프로그래밍에서 중요한 물체다." 물체는 격자 와 함께 R d }의 원뿔을 연구할 때 발생한다 원뿔은 모든 생성자가 정수 좌표를 가질 때마다 합리적(여기서는 위에서 정의한 대로 "지점"으로 가정함). 즉, C이 합리적이라면 원뿔이라고 부른다.one, then .

듀얼 콘

내부 제품장착실제 벡터 공간 V에서 C set V를 볼록한 세트로 하고 볼록한 세트로 한다.C에 대한 (연속 또는 위상학) 이중 원뿔이 설정됨

항상 볼록한 원추형 원추형이야여기서 , (는) C와 V 사이이중성 쌍이다. 즉, = (

보다 일반적으로 선형 공간 V에서 CV에 대한 (알지브라틱) 듀얼 콘은 다음과 같이 정의된 이중 공간 V*의 하위 집합이다.

즉, V*V대수적 이중 공간이라면, 원시 원뿔 C에서 음이 아닌 선형 함수 집합이다.만약 우리가 V* 연속적인 이중공간으로 본다면, 그것은 C에서 음이 아닌 연속적인 선형함수의 집합이다.[29]이 개념은 V의 내부 제품의 사양을 필요로 하지 않는다.

유한 차원에서 이중 원뿔의 두 개념은 본질적으로 동일하기 때문에 모든 유한차원 선형 기능적이다 continuous,[30]고 모든 연속 선형 기능에 있는 내적 공간을 유발하는 선형 동형 이성(정칙 선형 사상)에서 V*에 V, 이 동형 이성을 받아들이는 이중 콘에 의해서 두번째 definit.이온,V*에서 첫 번째 정의에 의해 주어진 정의 위에, Riesz 표현 정리를 참조하십시오.[29]

만약 C가 그것의 이중 원뿔과 같다면, C는 자기 이중이라고 불린다.원뿔은 첫 번째 정의에 의해 그것의 이중과 동일한 내부 제품이 있는 경우, 주어진 내부 제품에 대한 참조 없이 자체 이중이라고 말할 수 있다.

시공

  • Hilbert spaceV의 닫힌 볼록한 부분집합 K에 의해 K의 x 지점에서 세트 K에 대한 바깥쪽 일반 원뿔은 다음과 같이 주어진다.
  • V의 닫힌 볼록한 부분 집합 K가 주어지면 x 지점에서 설정된 K에 대한 접선 원뿔(또는 우발 원뿔)은 다음과 같이 주어진다.
  • 힐버트 공간 V의 닫힌 볼록한 부분집합 K가 주어진 경우, K의 x 지점에서 세트 K에 대한 접선 원뿔은 정상 원뿔 N ( )

정상 원뿔과 접선 원뿔 모두 닫히고 볼록한 성질을 가지고 있다.

그것들은 볼록 최적화, 변동 불평등예측된 동적 시스템의 분야에서 중요한 개념이다.

특성.

CX에서 비어 있지 않은 볼록 콘인 경우, C의 선형 스팬은 C - C와 같고 C포함된 X의 가장 큰 벡터 서브공간은 C ∩(-C)와 같다.[31]

볼록콘에 의해 정의된 부분 순서

뾰족하고 두드러진 볼록콘 C부분 순서 " ""를 유도하며, y- x y y(가) y - {\ (콘이 평평하다면, 동일한 정의는 단지 사전 순서만 제공한다)이 질서에 관한 유효 불평등의 합계 및 양의 스칼라 배수는 유효 불평등으로 남아 있다.그런 순서가 있는 벡터 공간을 순서형 벡터공간이라고 한다.예로는 실제 값 벡터의 제품 순서, n, 양수 세미더파인 행렬의 Loewener 순서를 들 수 있다.그러한 순서는 일반적으로 양성 반피니트 프로그래밍에서 찾을 수 있다.

참고 항목

메모들

  1. ^ a b Bernstein, Dennis S. (2009-07-26). Matrix Mathematics: Theory, Facts, and Formulas (Second ed.). Princeton University Press. p. 97. ISBN 978-0691140391.
  2. ^ C. Zalinescu (1 January 2002). Convex Analysis in General Vector Spaces. World Scientific. p. 1. ISBN 978-981-238-067-8.
  3. ^ Nef, Walter (1988-01-01). Linear Algebra. Courier Corporation. p. 35. ISBN 9780486657721.
  4. ^ Itô, Kiyosi (1993-01-01). Encyclopedic Dictionary of Mathematics. MIT Press. ISBN 9780262590204.
  5. ^ Rockafellar, Ralph Tyrell (2015-04-29). Convex Analysis. Princeton University Press. p. 13. ISBN 9781400873173.
  6. ^ Hiriart-Urruty, Jean-Baptiste; Lemaréchal, Claude (2012-12-06). Fundamentals of Convex Analysis. Springer Science & Business Media. ISBN 9783642564680.
  7. ^ Aliprantis, Charalambos D.; Border, Kim C. (2007-05-02). Infinite Dimensional Analysis: A Hitchhiker's Guide. Springer Science & Business Media. p. 197. ISBN 9783540326960.
  8. ^ Rockafellar, Ralph Tyrell (2015-04-29). Convex Analysis. Princeton University Press. p. 10. ISBN 9781400873173.
  9. ^ a b Lovász, László; Plummer, M. D. (1986), Matching Theory, Annals of Discrete Mathematics, vol. 29, North-Holland, ISBN 0-444-87916-1, MR 0859549
  10. ^ a b Loera, Jesús A. De; Hemmecke, Raymond; Köppe, Matthias (2012-01-01). Algebraic and Geometric Ideas in the Theory of Discrete Optimization. SIAM. ISBN 9781611972443.
  11. ^ Schrijver, Alexander (1998-07-07). Theory of Linear and Integer Programming. John Wiley & Sons. ISBN 9780471982326.
  12. ^ Bruns, Winfried; Gubeladze, Joseph (2009). Polytopes, Rings and K-Theory (1 ed.). Springer Monographs in Mathematics. p. 3. ISBN 9780387763552.
  13. ^ a b Schrijver, Alexander (1998-07-07). Theory of Linear and Integer Programming. John Wiley & Sons. pp. 88–89. ISBN 9780471982326.
  14. ^ Conforti, Michele; Cornuejols, Gerard; Zambelli, Giacomo (2014-11-15). Integer Programming. Springer. p. 111. ISBN 9783319110080.
  15. ^ Korte, Bernhard; Vygen, Jens (2013-11-11). Combinatorial Optimization: Theory and Algorithms. Springer Science & Business Media. p. 61. ISBN 9783662217115.
  16. ^ Villarreal, Rafael (2015-03-26). Monomial Algebras, Second Edition. CRC Press. p. 9. ISBN 9781482234701.
  17. ^ Dhara, Anulekha; Dutta, Joydeep (2011-10-17). Optimality Conditions in Convex Optimization: A Finite-Dimensional View. CRC Press. p. 243. ISBN 9781439868225.
  18. ^ Neustadt, Lucien W. (2015-03-08). Optimization: A Theory of Necessary Conditions. Princeton University Press. p. 6. ISBN 9781400870530.
  19. ^ Edwards, R. E. (2012-10-25). Functional Analysis: Theory and Applications. Courier Corporation. p. 135. ISBN 9780486145105.
  20. ^ 쉐퍼 & 월프 1999, 페이지 205-209.
  21. ^ Hadjisavvas, Nicolas; Martinez-Legaz, Juan E.; Penot, Jean-Paul (2001-04-10). Generalized Convexity and Generalized Monotonicity: Proceedings of the 6th International Symposium on Generalized Convexity/Monotonicity, Samos, September 1999. Springer Science & Business Media. p. 238. ISBN 9783540418061.
  22. ^ Bauschke, Heinz H.; Combettes, Patrick L. (2011-04-19). Convex Analysis and Monotone Operator Theory in Hilbert Spaces. Springer Science & Business Media. p. 88. ISBN 9781441994677.
  23. ^ Cameron, Neil (1985-09-05). Introduction to Linear and Convex Programming. CUP Archive. p. 32. ISBN 9780521312073.
  24. ^ Panik, M. J. (2013-12-01). Linear Programming: Mathematics, Theory and Algorithms. Springer Science & Business Media. p. 40. ISBN 9781461334347.
  25. ^ Dattorro, Jon (2005-01-01). Convex Optimization & Euclidean Distance Geometry. Meboo Publishing USA. p. 96. ISBN 9780976401308.
  26. ^ Nicola, PierCarlo (2013-03-14). Mainstream Mathematical Economics in the 20th Century. Springer Science & Business Media. p. 125. ISBN 9783662042380.
  27. ^ Fujiwara, Hidenori; Ludwig, Jean (2014-12-05). Harmonic Analysis on Exponential Solvable Lie Groups. Springer. p. 246. ISBN 9784431552888.
  28. ^ Gubeladze, Joseph; Michałek, Mateusz (1 January 2018). "The poset of rational cones". Pacific Journal of Mathematics. 292 (1): 103–115. arXiv:1606.02083. doi:10.2140/pjm.2018.292.103. S2CID 119639952.
  29. ^ a b Hunter, John K.; Nachtergaele, Bruno (2001-01-01). Applied Analysis. World Scientific. p. 116. ISBN 9789810241919.
  30. ^ Carothers, N. L. (2005-01-01). A Short Course on Banach Space Theory. Cambridge University Press. ISBN 9780521603720.
  31. ^ 나리치 & 베켄슈타인 2011, 페이지 149-153.

참조