¿Cómo se hace este espaciado?

Question

$ (E\mathcal{V}_{i+1})^{\perp}=(EA^{-1}(E\mathcal{V}_i))^T \stackrel{Lem. 1.1(i)}{=} E^{-T}(A^{-1}(E\mathcal{V}_i))^{\perp}
  \stackrel{Lem. 1.1(ii)}{=} E^{-T}(A^T(E\mathcal{V}_i))^{\perp}=E^{-T}(A^T\widehat{\mathcal{W}}_{i+1})=\widehat{\mathcal{W}}_{i+2}$

Quiero escribir como en la imagen. ¿Cómo puedo hacer eso?

Answer 1

¿Quizás algo como esto?

\documentclass{article}
\usepackage{amsmath} % for 'align*' environment and '\stackrel' macro
\newlength\mylength
\settowidth{\mylength}{\scriptsize Lem.\ 1.1(ii)}
\begin{document}
\begin{align*}
(E\mathcal{V}_{i+1})^{\perp}
&\stackrel{\makebox[\mylength]{}}{=}
    (EA^{-1}(E\mathcal{V}_i))^T \\
&\stackrel{\makebox[\mylength]{\scriptsize Lem.\ 1.1(i)}}{=} 
    E^{-T}(A^{-1}(E\mathcal{V}_i))^{\perp}\\
&\stackrel{\text{Lem.\ 1.1(ii)}}{=} 
    E^{-T}(A^T(E\mathcal{V}_i))^{\perp}\\
&\stackrel{\makebox[\mylength]{}}{=}E^{-T}
    (A^T\widehat{\mathcal{W}}_{i+1})
    =\widehat{\mathcal{W}}_{i+2}
\end{align*}
\end{document}

---

Apéndice: Si tiene muchas de estas expresiones, probablemente sea una buena idea configurar una macro dedicada para representar el =símbolo especializado, por ejemplo, siguiendo las líneas del siguiente código (que genera el mismo resultado que el ejemplo mostrado arriba). Si no hay nada que escribir encima del =símbolo, simplemente escriba \myeq{}para obtener el espacio correcto.

\documentclass{article}
\usepackage{amsmath} % for 'align*' environment and '\stackrel' macro
\newlength\mylength
\settowidth{\mylength}{\scriptsize Lem.\ 1.1(ii)} % width of  longest label
\newcommand\myeq[1]{\stackrel{\makebox[\mylength]{\scriptsize #1}}{=}}
\begin{document}
\begin{align*}
(E\mathcal{V}_{i+1})^{\perp}
&\myeq{}              (E A^{-1}(E\mathcal{V}_i))^T \\
&\myeq{Lem.\ 1.1(i)}  E^{-T}(A^{-1}(E\mathcal{V}_i))^{\perp}\\
&\myeq{Lem.\ 1.1(ii)} E^{-T}(A^T(E\mathcal{V}_i))^{\perp}\\
&\myeq{}              E^{-T} (A^T\widehat{\mathcal{W}}_{i+1})
     =\widehat{\mathcal{W}}_{i+2}
\end{align*}
\end{document}

Answer 2

Puedes usar eqparbox; el primer argumento \widereles una etiqueta arbitraria (diferente para cada entorno).

Sin embargo, la segunda solución presentada parece mejor. Por supuesto, no se recomienda codificar el número del lema y \refse debe utilizar.

\documentclass{article}
\usepackage{amsmath}
\usepackage{eqparbox}

\DeclareRobustCommand{\widerel}[2]{%
  \mathrel{\eqmakebox[#1]{$\displaystyle#2$}}%
}

\begin{document}

\begin{align*}
(E\mathcal{V}_{i+1})^{\perp}
  &\widerel{A}{=}                                 (EA^{-1}(E\mathcal{V}_i))^T \\
  &\widerel{A}{\overset{\text{Lem.\ 1.1(i)}}{=}}  E^{-T}(A^{-1}(E\mathcal{V}_i))^{\perp}\\
  &\widerel{A}{\overset{\text{Lem.\ 1.1(ii)}}{=}} E^{-T}(A^T(E\mathcal{V}_i))^{\perp}\\
  &\widerel{A}{=}                                 E^{-T}(A^T\widehat{\mathcal{W}}_{i+1})
                                                  =\widehat{\mathcal{W}}_{i+2}
\end{align*}

\begin{align*}
(E\mathcal{V}_{i+1})^{\perp}
  &= (EA^{-1}(E\mathcal{V}_i))^T \\
  &= E^{-T}(A^{-1}(E\mathcal{V}_i))^{\perp} &&\text{Lemma 1.1(i)}\\
  &= E^{-T}(A^T(E\mathcal{V}_i))^{\perp}    &&\text{Lemma 1.1(ii)}\\
  &= E^{-T}(A^T\widehat{\mathcal{W}}_{i+1})
     =\widehat{\mathcal{W}}_{i+2}
\end{align*}
\end{document}

Answer 3

Aquí hay dos soluciones. El primero utiliza un arrayentorno, con los signos de igualdad en una columna separada. La segunda solución es la que recomiendo, ya que es mejor leer; agrega las justificaciones en una columna adicional en lugar de encima de los signos de igualdad.

\documentclass{article}
\usepackage{amsmath,array}
\newcommand\VV{{\mathcal V}}
\newcommand\WW{{\mathcal W}}
\begin{document}
\[\begin{array}{r@{}>{{}}c<{{}}@{}l}
  (E\VV_{i+1})^{\perp}
  &=&(EA^{-1}(E\VV_i))^T\\
  &\stackrel{\text{Lem.1.1(i)}}{=}&E^{-T}(A^{-1}(E\VV_i))^{\perp}\\
  &\stackrel{\text{Lem.1.1(ii)}}{=}&E^{-T}(A^T(E\VV_i))^{\perp}\\
  &=&E^{-T}(A^T\widehat{\WW}_{i+1})\\
  &=&\widehat{\WW}_{i+2}
\end{array}
\]
\end{document}

\documentclass{article}
\usepackage{amsmath}
\newcommand\VV{{\mathcal V}}
\newcommand\WW{{\mathcal W}}
\begin{document}
\begin{align*}
(E\VV_{i+1})^{\perp}
&=(EA^{-1}(E\VV_i))^T\\
&=E^{-T}(A^{-1}(E\VV_i))^{\perp} && \text{by Lem.~1.1(i)}\\
&=E^{-T}(A^T(E\VV_i))^{\perp} && \text{by Lem.~1.1(ii)}\\
&=E^{-T}(A^T\widehat{\WW}_{i+1})\\
&=\widehat{\WW}_{i+2}
\end{align*}
\end{document}