Как сделать такой интервал?

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}$

Я хочу написать как на картинке. Как это сделать?

Answer 1

Может быть, что-то вроде этого?

\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}

---

Приложение: Если у вас много таких выражений, вероятно, будет хорошей идеей настроить специальный макрос для представления специализированного =символа, например, по строкам следующего кода (который генерирует тот же вывод, что и пример, показанный выше). Если над символом нечего набирать =, просто напишите, \myeq{}чтобы получить правильный интервал.

\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

Вы можете использовать eqparbox; первый аргумент \widerel— это произвольная метка (разная для каждой среды).

Однако второе представленное решение кажется лучше. Конечно, жесткое кодирование номера леммы не рекомендуется и \refдолжно использоваться.

\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

Вот два решения. Первое решение использует окружение array, а знаки равенства выносятся в отдельный столбец. Второе решение я рекомендую, так как его легче читать; оно добавляет обоснования в дополнительный столбец, а не над знаками равенства.

\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}