☰

この間隔はどうやって作るのでしょうか？

tag-icon • tag-icon math-mode horizontal-alignment
この間隔はどうやって作るのでしょうか？

うーん

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

写真のように書きたいのですが、どうしたらいいでしょうか？

答え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}

答え2

を使用できますeqparbox。 の最初の引数は\widerel任意のラベルです (環境ごとに異なります)。

しかし、2 番目に提示された解決策の方が優れているようです。もちろん、補題番号をハードコーディングすることは推奨されませんが、\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}

ここに画像の説明を入力してください

答え3

ここに 2 つの解決策があります。最初の解決策はarray環境を使用し、等号を別の列に配置します。2 番目の解決策は読みやすいためお勧めです。等号の上ではなく、追加の列に正当化を追加します。

ここに画像の説明を入力してください

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

関連情報