mjo-linear_algebra.tex

   1 %
   2 % Standard operations from linear algebra.
   3 %
   4
   5 \input{mjo-common}
   6
   7 % The inner product between its two arguments.
   8 \DeclarePairedDelimiterX{\ip}[2]{ \langle }{ \rangle}{ {#1}, {#2} }
   9
  10 % The tensor product of its two arguments.
  11 \newcommand*{\tp}[2]{ {#1} \otimes {#2} }
  12
  13 % The ``span of'' operator. The name \span is already taken.
  14 \newcommand*{\spanof}[1]{ \operatorname{span} \of{{#1}} }
  15
  16 % The ``co-dimension of'' operator.
  17 \newcommand*{\codim}{ \operatorname{codim} }
  18
  19 % The trace of an operator.
  20 \newcommand*{\trace}[1]{ \operatorname{trace} \of{{#1}} }
  21
  22 % The orthogonal projection of its second argument onto the first.
  23 \newcommand*{\proj}[2] { \operatorname{proj}\of{#1, #2} }
  24
  25 % The ``Automorphism group of'' operator.
  26 \newcommand*{\Aut}[1]{ \operatorname{Aut} \of{{#1}} }
  27
  28 % The ``Lie algebra of'' operator.
  29 \newcommand*{\Lie}[1]{ \operatorname{Lie} \of{{#1}} }
  30
  31 % The ``write a matrix as a big vector'' operator.
  32 \newcommand*{\vectorize}[1]{ \operatorname{vec} \of{{#1}} }
  33
  34 % The ``write a big vector as a matrix'' operator.
  35 \newcommand*{\matricize}[1]{ \operatorname{mat} \of{{#1}} }
  36
  37 % The inverse of the adjoint of an operator (the argument).
  38 \newcommand*{\adjinv}[1]{ \left( {#1}^{*} \right)^{-1} }