☰

并排的交换图具有不同的大小

tag-icon • tag-icon commutative-diagrams
并排的交换图具有不同的大小

在定理的陈述中，我有两个交换图。我试图用pb-diagram它们来创建它们，并且我希望它们并排。不幸的是，交换图的大小似乎取决于节点处符号的大小，并且两个交换图的大小不同。有什么办法可以解决这个问题吗？

这是我现在的代码：

\documentclass[12pt]{amsart}
\usepackage[arrow,matrix,curve,cmtip,ps]{xy}
\usepackage{pb-diagram} 
\usepackage{pb-xy}
\usepackage{amsmath,amsthm,amssymb}
\begin{document}
\begin{equation}
\begin{diagram}
\node{\mathcal{C}_R}\arrow{e,t}{P}\arrow{s,l,J}{\Psi}\node {\mathcal{C}_R}\arrow{s,l,J}{\Psi}\\
\node{\widehat{\mathcal{C}}_R}\arrow{e,t}{E(P)}\node{\widehat{\mathcal{C}}_R}
\end{diagram}\hspace{40pt}
\begin{diagram}
\node{\mathcal{C}_{R,\,\operatorname{top}}}\arrow{e,t}{P}\arrow{s,l,J}{\Psi}\node {\mathcal{C}_{R,\,\operatorname{top}}}\arrow{s,l,J}{\Psi}\\
\node{\widehat{\mathcal{C}}_{R,\,\operatorname{top}}}\arrow{e,t}{E(P)}\node{\widehat{\mathcal{C}}_{R,\,\operatorname{top}}}
\end{diagram}
\end{equation}
\end{document}

编译结果如下：

在此处输入图片描述

答案1

我不知道如何使用pb-diagram，这是一个非常古老的软件包。一个更现代、更强大的软件包是tikz-cd：

\documentclass{article}
\usepackage{tikz-cd}
\usepackage{pb-diagram}
\newcommand{\C}{\mathcal{C}}
\newcommand{\Chat}{\hat{\C}}
\renewcommand{\top}{\mathrm{top}}
\begin{document}
\begin{equation}
\begin{tikzcd}
\C_R \arrow{r}{P} \arrow[hookrightarrow,swap]{d}{\Psi} &
\C_R \arrow[hookrightarrow,swap]{d}{\Psi}\\
\Chat_R \arrow{r}{E(P)} & \Chat_R
\end{tikzcd}\hspace{40pt}%
\begin{tikzcd}
\C_{R\smash{,\,\top}} \arrow{r}{P} \arrow[hookrightarrow,swap]{d}{\Psi} &
\C_{R\smash{,\,\top}} \arrow[hookrightarrow,swap]{d}{\Psi}\\
\Chat_{R\smash{,\,\top}} \arrow{r}{E(P)} & \Chat_{R\smash{,\,\top}}
\end{tikzcd}
\end{equation}
\end{document}

有必要“破坏”逗号和单词“top”，因为它们有降部，这会使第二个图表稍微大一些。

在此处输入图片描述

答案2

正如你使用xy-pic，它就能单独绘制交换图。

代码：

\documentclass[12pt]{amsart}
\usepackage[all]{xy}
\begin{document}
\[
\xymatrix{
& \mathcal{C}_R \ar@{^{(}->}[d]_{\Psi} \ar[r]^P & \mathcal{C}_R \ar@{^{(}->}[d]_{\Psi}\\ 
& \widehat{\mathcal{C}}_R \ar[r]^{E(P)} & \widehat{\mathcal{C}}_R }

\xymatrix{
& \mathcal{C}_{R,\,\mathrm{top}} \ar@{^{(}->}[d]_{\Psi} \ar[r]^P 
& \mathcal{C}_{R,\,\mathrm{top}} \ar@{^{(}->}[d]_{\Psi} \\ 
& \widehat{\mathcal{C}}_{R,\,\mathrm{top}} \ar[r]^{E(P)} 
& \widehat{\mathcal{C}}_{R,\,\mathrm{top}} }
\end{document}

输出：

在此处输入图片描述

相关内容