![绘制具体图表](https://linux22.com/image/360155/%E7%BB%98%E5%88%B6%E5%85%B7%E4%BD%93%E5%9B%BE%E8%A1%A8.png)
首先:我必须对这个愚蠢的问题表示抱歉。如何绘制图表http://msp.org/pjm/1982/98-2/pjm-v98-n2-p15-s.pdf在第 6 页,可以在使用 tikzpicture 或 tikzcd 和 documentclass{article} 的命题 2.4 的证明中找到?
我尝试按照多个网站上的说明进行操作,并尝试修改如下示例http://texample.net/tikz/examples/commutative-diagram-tikz/到目前为止。我通常可以自己做,但这次却无济于事。
问候
答案1
您应该将图表视为一个三行两列的矩阵。在起始单元格中添加箭头,标明目标和可能的标签。
在本例中,标签是\textstyle\cong
;为此您指定"\textstyle\cong"'
;尾随撇号告诉tikz-cd
将标签放在箭头的右侧:您应该将箭头想象成河流,因此您可以通过将自己背对着源头、面向终点来确定右侧和左侧。
\documentclass{article}
\usepackage{amsmath}
\usepackage{tikz-cd}
\begin{document}
\[
\begin{tikzcd}
K_*\varinjlim(A_\gamma)\otimes K_*(B) \arrow[r,dashed]
& K_*((\varinjlim A_\gamma)\otimes B) \\
\varinjlim(K_*A_\gamma)\otimes K_*(B) \arrow[u,"\textstyle\cong"']
& K_*(\varinjlim (A_\gamma\otimes B)) \arrow[u,"\textstyle\cong"']\\
\varinjlim((K_*A_\gamma)\otimes K_*(B)) \arrow[u,"\textstyle\cong"'] \arrow[r]
& \varinjlim K_*(A_\gamma\otimes B) \arrow[u,"\textstyle\cong"']
\end{tikzcd}
\]
\end{document}