<p>It is known that a cone <i>K</i> in <InlineEquation ID="IEq1"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="13226_2025_832_Article_IEq1.gif" Format="GIF" Height="14" Rendition="HTML" Resolution="72" Type="Linedraw" Width="20" /> </InlineMediaObject> <EquationSource Format="TEX">\(\mathbb {R}^n\)</EquationSource> <EquationSource Format="MATHML"><math> <msup> <mrow> <mi mathvariant="double-struck">R</mi> </mrow> <mi>n</mi> </msup> </math></EquationSource> </InlineEquation> is sub-dual if and only if the maximal angle of <i>K</i> is less than or equal to <InlineEquation ID="IEq2"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="13226_2025_832_Article_IEq2.gif" Format="GIF" Height="20" Rendition="HTML" Resolution="72" Type="Linedraw" Width="10" /> </InlineMediaObject> <EquationSource Format="TEX">\(\frac{\pi }{2}\)</EquationSource> <EquationSource Format="MATHML"><math> <mfrac> <mi>π</mi> <mn>2</mn> </mfrac> </math></EquationSource> </InlineEquation>. Further, it is easy to verify that for a self-dual cone <i>K</i>, the maximal angle of <i>K</i> is <InlineEquation ID="IEq3"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="13226_2025_832_Article_IEq2.gif" Format="GIF" Height="20" Rendition="HTML" Resolution="72" Type="Linedraw" Width="10" /> </InlineMediaObject> <EquationSource Format="TEX">\(\frac{\pi }{2}\)</EquationSource> <EquationSource Format="MATHML"><math> <mfrac> <mi>π</mi> <mn>2</mn> </mfrac> </math></EquationSource> </InlineEquation>. However, this condition is not sufficient. In this paper using the concepts of antipodal and critical pairs, we give a necessary and sufficient condition for a cone <i>K</i> in <InlineEquation ID="IEq4"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="13226_2025_832_Article_IEq1.gif" Format="GIF" Height="14" Rendition="HTML" Resolution="72" Type="Linedraw" Width="20" /> </InlineMediaObject> <EquationSource Format="TEX">\(\mathbb {R}^n\)</EquationSource> <EquationSource Format="MATHML"><math> <msup> <mrow> <mi mathvariant="double-struck">R</mi> </mrow> <mi>n</mi> </msup> </math></EquationSource> </InlineEquation> to be self-dual. As a consequence, we observe that for a self-dual cone <i>K</i>, the set of all antipodal pairs, Nash pairs, critical pairs, and the complementarity set are the same and form an <i>n</i>-dimensional manifold.</p>

错误:搜索内容不能为空,请输入英文关键词
错误:关键词超出字数限制,请精简
高级检索

Self-duality and Maximal Angle of Proper Cones

  • Manu Mathew,
  • Chandrashekaran Arumugasamy

摘要

It is known that a cone K in \(\mathbb {R}^n\) R n is sub-dual if and only if the maximal angle of K is less than or equal to \(\frac{\pi }{2}\) π 2 . Further, it is easy to verify that for a self-dual cone K, the maximal angle of K is \(\frac{\pi }{2}\) π 2 . However, this condition is not sufficient. In this paper using the concepts of antipodal and critical pairs, we give a necessary and sufficient condition for a cone K in \(\mathbb {R}^n\) R n to be self-dual. As a consequence, we observe that for a self-dual cone K, the set of all antipodal pairs, Nash pairs, critical pairs, and the complementarity set are the same and form an n-dimensional manifold.