我怎样才能在 Latex 中绘制这个图表

Question

该图如下：

我怎样才能在 Latex 中绘制这个图表？

Answer 1

欢迎！tikz-cd允许您绘制此类图表。我确信我没有破译所有内容（只是因为某些字形难以阅读），但您可能会发现编辑此代码很容易。

\documentclass{article}
\usepackage{amsmath}
\usepackage{dsfont}
\usepackage{tikz-cd}
\begin{document}
\[\begin{tikzcd}[row sep=2em,column sep=2.5em]
 I\times I \arrow[drr,"\text{respect equivalence $\sim$}",bend left] 
  \arrow[dr,"\text{stretch}",bend left] \arrow[d,"q"] & & \\
 M_* \arrow[drr,"\exists!m",bend right]  & {}[0,2\pi]\times[-1,1] \arrow[r,"\bar u"] & \mathds{R}^3\\
 & & M \arrow[u,"\cap_H"']\\
\end{tikzcd}\]
\end{document}

Answer 2

欢迎，使用 TikZ 有很多不同的方法可以绘制此图表。在这里，我使用matrix编写的库来对齐nodes图表。

\documentclass[border=5mm]{article}
\usepackage{amssymb}
\usepackage{tikz}
\usetikzlibrary {matrix}
\begin{document}
\begin{tikzpicture}
\matrix [matrix of math nodes,column sep=1.2cm,row sep=1cm]
{
|(I2)| I\times I    &                               & \\
|(Me)|M_*           & |(X)| [0,2\pi]\times[-1,1]    & |(R)| \mathbb{R}^3 \\
                    &                               & |(M2)| M \\
};
\begin{scope}[every node/.style={midway,auto,font=\scriptsize}]
\draw [->] (I2) -- node {$q$} (Me);
\draw [->](X) -- node {$\bar u$} (R);
\draw [->](I2) to [bend left] node{stretch}(X);
\draw [->](I2) to [bend left] node{respect equiv. $\sim$}(R);
\draw [->](Me) to [bend right] node{$\exists !m$}(M2);
\draw [->](M2) --node[right]{$\cap_M$}(R);
\end{scope}
\end{tikzpicture}
\end{document}

Answer 3

这是使用坐标。

\documentclass[border=5mm]{standalone}
\usepackage[all]{xy}
\usepackage{amssymb} % for the blackboard bold symbol
\usepackage{amsmath} % for \text
\begin{document}
\xymatrix{
    I \times I 
    \ar[d]^{q}
    \ar@/^/[dr]^{\text{stretch}}
    \ar@/^20pt/[drr]^{\strut\text{respect equivalence}\thinspace\sim}
    \\
    M_* 
    \ar@/_12pt/[drr]_{\exists!m} 
    & 
    [0, 2\pi] \times [-1, 1] 
    \ar[r]^-{\bar{u}} 
    & 
    \mathbb{R}^3 
    \\
    &
    & 
    M \ar[u]_{{}\cap_M}
    \\
}
\end{document}

Answer 4

另一种方式是使用纯 TikZ：图形只是\path用四个nodes 连接并用箭头连接。代码很长，易于阅读。

\documentclass{article}
\usepackage{tikz,amsmath,amssymb,lipsum}
\begin{document}
\lipsum[1]
Define $\bar\mu\colon [0,2\pi]\times [-1,1]\to \mathbb{R}^3$ with some formular as $\mu$.   
\[
\begin{tikzpicture}
\path
(0,0) node (I) {$I\times I$}
++(-90:1.2) node (M1) {$M_*$}
++(0:3) node (M2) {$[0,2\pi]\times [-1,1]$}
++(0:2.5) node (M3) {$\mathbb{R}^3$}
++(-90:1.2) node (M4) {$M$}
;
\begin{scope}[->,nodes={midway,scale=.8}]
\draw (I)--(M1) node[left]{$q$};
\draw (I) to[out=0,in=120] node[above right]{stretch} (M2);
\draw (I) to[out=20,in=120] node[above right]{respect equivalence $\sim$} (M3);
\draw (M1) to[out=-50,in=-160] node[above]{$\exists ! m$} (M4);
\draw (M2)--(M3) node[above]{$\bar\mu$};
\draw (M4)--(M3) node[right]{\rotatebox[origin=c]{270}{$\subseteq$}$_\mu$};
\end{scope}
\end{tikzpicture}
\]
\lipsum[1]
\end{document}