使用 tikzpicture 绘制图表

Question

如何使用 tikzpicture 绘制此图片？我可以绘制箭头图，但主要问题是我无法将 say 放在$\mathfrak b$下$U_fin(\Gamma,\Gamma)$。如何做到这一点？

Answer 1

我想说这似乎是一份工作tikz-cd......

\documentclass{article}
\usepackage{amsmath,amsfonts}
\DeclareMathOperator{\cov}{cov}
\usepackage{tikz-cd}

\begin{document}
\[
\begin{tikzcd}[row sep={30,between origins},column sep={60,between origins}]
& & \underset{\mathfrak b}{\mathrm{U}_{\mathit{fin}}(\Gamma,\Gamma)} \ar[r] & 
    \underset{\mathfrak d}{\mathrm{U}_{\mathit{fin}}(\Gamma,\Omega)} \ar[rr] & & 
    \underset{\mathfrak d}{\mathrm{U}_{\mathit{fin}}(\Gamma,\mathcal{O})} \\
& & \underset{\mathfrak d}{\mathrm{S}_{\mathit{fin}}(\Gamma,\Omega)} \ar[ur] \ar[dd,<-] \\
\underset{\mathfrak b}{\mathrm{S}_1(\Gamma,\Gamma)} \ar[r] \ar[uurr] &
    \underset{\mathfrak d}{\mathrm{S}_1(\Gamma,\Omega)} \ar[rr,crossing over] \ar[ur] & &
    \underset{\mathfrak d}{\mathrm{S}_1(\Gamma,\mathcal{O})} \ar[uurr] \\
& & \underset{\mathfrak d}{\mathrm{S}_{\mathit{fin}}(\Omega,\Omega)} \\
\underset{\mathfrak p}{\mathrm{S}_1(\Omega,\Gamma)} \ar[r] \ar[uu] &
    \underset{\cov(\mathcal{M})}{\mathrm{S}_1(\Omega,\Omega)} \ar[rr] \ar[uu] \ar[ur] & &
    \underset{\cov(\mathcal{M})}{\mathrm{S}_1(\mathcal{O},\mathcal{O})} \ar[uu]
\end{tikzcd}
\]
\end{document} 

Answer 2

正如 Bobyandbob 的评论中所述，您可以使用$\underset{<below>}{<above>}$它。以下内容确实会产生您的输出（非常冗长，除了交叉箭头）：

\documentclass[tikz,border=5mm]{standalone}

\usepackage{amsmath,amsfonts}

\begin{document}
\begin{tikzpicture}[scale=2]
    \node (A) at (0,0) {$\underset{\mathfrak p}{S_1(\Omega,\Gamma)}$};
    \node (B) at (1,0) {$\underset{\mathsf{cov}(\mathcal{M})}{S_1(\Omega,\Omega)}$};
    \node (C) at (3,0) {$\underset{\mathsf{cov}(\mathcal{M})}{S_1(\mathcal{O},\mathcal{O})}$};
    \node (D) at (2,0.5) {$\underset{\mathfrak d}{S_{fin}(\Omega,\Omega)}$};
    \node (E) at (0,1) {$\underset{\mathfrak b}{S_1(\Gamma,\Gamma)}$};
    \node (F) at (1,1) {$\underset{\mathfrak d}{S_1(\Gamma,\Omega)}$};
    \node (G) at (3,1) {$\underset{\mathfrak d}{S_1(\Gamma,\mathcal{O})}$};
    \node (H) at (2,1.5) {$\underset{\mathfrak d}{S_{fin}(\Gamma,\Omega)}$};
    \node (I) at (2,2) {$\underset{\mathfrak b}{U_{fin}(\Gamma,\Gamma)}$};
    \node (J) at (3,2) {$\underset{\mathfrak d}{U_{fin}(\Gamma,\Omega)}$};
    \node (K) at (5,2) {$\underset{\mathfrak d}{U_{fin}(\Gamma,\mathcal{O})}$};
    \draw[->] (A) -- (B);
    \draw[->] (B) -- (C);
    \draw[->] (A) -- (E);
    \draw[->] (B) -- (D);
    \draw[->] (D) -- (H);
    \draw[->] (B) -- (F);
    \draw[->] (C) -- (G);
    \draw[->] (E) -- (F);
    \draw[->] (F) -- (G);
    \draw[->] (E) -- (I);
    \draw[->] (F) -- (H);
    \draw[->] (G) -- (K);
    \draw[->] (H) -- (J);
    \draw[->] (I) -- (J);
    \draw[->] (J) -- (K);
\end{tikzpicture}
\end{document}