X-Git-Url: http://gitweb.michael.orlitzky.com/?a=blobdiff_plain;f=mjo-cone.tex;h=1199d4f55be54130d2660f7814f9f857d8590853;hb=ad5dafa4ee98c4729b33bebc1817c09cae1b881a;hp=2981439045a8e78bb134f79379b7ce2c613b4e42;hpb=639e4225d9058eed0e83728935e37e927df04862;p=mjotex.git diff --git a/mjo-cone.tex b/mjo-cone.tex index 2981439..1199d4f 100644 --- a/mjo-cone.tex +++ b/mjo-cone.tex @@ -5,8 +5,31 @@ % sets other than cones, but nobody cares. % +\usepackage{amssymb} % \succcurlyeq and friends + \input{mjo-common} +% +% Common cones. +% + +% The nonnegative orthant in the given number of dimensions. +\newcommand*{\Rnplus}[1][n]{ \mathbb{R}^{{#1}}_{+} } + +% The Lorentz ``ice-cream'' cone in the given number of dimensions. +\newcommand*{\Lnplus}[1][n]{ \mathcal{L}^{{#1}}_{+} } + +% The PSD cone in a space of symmetric matrices. +\newcommand*{\Snplus}[1][n]{ \mathcal{S}^{{#1}}_{+} } + +% The PSD cone in a space of Hermitian matrices. +\newcommand*{\Hnplus}[1][n]{ \mathcal{H}^{{#1}}_{+} } + + +% +% Some collections of linear operators +% + % The set of all S-operators on its argument. \newcommand*{\Sof}[1]{ \mathbf{S} \of{ {#1} } } @@ -16,12 +39,18 @@ % The space of Lyapunov-like operators on its argument. \newcommand*{\LL}[1]{ \mathbf{LL}\of{ {#1} } } + +% % Cone inequality operators. +% + +% Standard cone inequalities. \newcommand*{\gek}{ \succcurlyeq } \newcommand*{\gtk}{ \succ } \newcommand*{\lek}{ \preccurlyeq } \newcommand*{\ltk}{ \prec } + % Starred versions of the cone inequality operators. \newcommand*{\ineqkstar}[1]{ \mathrel{ \overset{ _{\ast} }{ #1 } } } \newcommand*{\gekstar}{ \ineqkstar{\gek} }