☰

amscd 和 Cichoń 的图表

tag-icon • tag-icon diagrams commutative-diagrams
amscd 和 Cichoń 的图表

我正在写一篇关于 Cichoń 图表中基数不变量的短文。我想以某种方式在 tex 中绘制。我以前没有在 tex 中绘制任何类型图表的经验。使用 amscd 包和此代码：

\begin{equation}\begin{CD}
@. cov(\mathcal{N}) @>>> non(\mathcal{M}) @>>> cof(\mathcal{M}) @>>>
cof(\mathcal{N}) @>>> 2^{\aleph_0}\\
@. @AAA @AAA @AAA @AAA\\
@. @AAA \mathfrak{b} @>>> \mathfrak{d} @. @AAA\\
@. @AAA @AAA @AAA @AAA\\
\aleph_1 @>>> add(\mathcal{N}) @>>> add(\mathcal{M}) @>>> cov(\mathcal{M}) @>>>
non(\mathcal{N})
\end{CD}\end{equation}

我最终得到以下结果：

在此处输入图片描述

有什么方法可以让左右箭头序列变成一个长箭头吗？或者有更简单的方法吗？

答案1

这是一个解决方案tikz-cd。

在此处输入图片描述

我使用直立形状来表示基本特征，这是我所看到的。如果您喜欢倾斜的形状，我建议您使用\mathit{...}。否则间距不对。为了方便起见，我将它们声明为数学运算符。

\documentclass{article}

\usepackage{mathtools,amsfonts} % mathtools to use \DeclareMathOperator command
\usepackage{tikz-cd}

\DeclareMathOperator{\cov}{cov}
\DeclareMathOperator{\non}{non}
\DeclareMathOperator{\cof}{cof}
\DeclareMathOperator{\add}{add}

\begin{document}

\[
\begin{tikzcd}
    & \cov(\mathcal{N})\arrow[r] & \non(\mathcal{M})\arrow[r] & \cof(\mathcal{M})\arrow[r] & \cof(\mathcal{N})\arrow[r] & 2^{\aleph_0}\\
    & & \mathfrak{b}\arrow[u]\arrow[r] & \mathfrak{d}\arrow[u]\\
\aleph_1\arrow[r] & \add(\mathcal{N})\arrow[uu]\arrow[r] & \add(\mathcal{M})\arrow[r]\arrow[u] & \cov(\mathcal{M})\arrow[r]\arrow[u] & \non(\mathcal{N})\arrow[uu]
\end{tikzcd}
\]

\end{document}

答案2

只是为了好玩，有两种选择，尽管我推荐tikz-cd。

手工图

在此处输入图片描述

\documentclass{article}
\usepackage{amsmath,amsfonts}

\begin{document}

\[
\newcommand{\middlecolumn}[1]{%
  \begin{array}{@{}c@{}}
  \big\uparrow \\
  \noalign{\vspace{0.5ex}}
  #1 \\
  \noalign{\vspace{0.5ex}}
  \big\uparrow
  \end{array}%
}
\newcommand{\lto}{{}\longrightarrow{}}
\setlength{\nulldelimiterspace}{0pt}
\begin{array}{@{}*{11}{c@{}}}
&&
\operatorname{cov}(\mathcal{N}) & \lto &
\operatorname{non}(\mathcal{M}) & \lto &
\operatorname{cof}(\mathcal{M}) & \lto &
\operatorname{cof}(\mathcal{N}) & \lto &
2^{\aleph_0} \\
\noalign{\vspace{0.5ex}}
&& \left\uparrow\vphantom{\middlecolumn{\mathfrak{b}}}\right.
&& \middlecolumn{\mathfrak{b}} &
\makebox[0pt]{$\xrightarrow{\hspace{3.5em}}$}
 & \middlecolumn{\mathfrak{d}}
&& \left\uparrow\vphantom{\middlecolumn{\mathfrak{b}}}\right. \\
\noalign{\vspace{0.5ex}}
\aleph_1 & \lto &
\operatorname{add}(\mathcal{N}) & \lto &
\operatorname{add}(\mathcal{M}) & \lto &
\operatorname{cov}(\mathcal{M}) & \lto &
\operatorname{non}(\mathcal{N}) &
\end{array}
\]

\end{document}

XY-PIC

在此处输入图片描述

\documentclass{article}
\usepackage{amsmath,amsfonts}
\usepackage[all,cmtip]{xy}

\begin{document}

\[
\[email protected]@C-0.8pc{
&
\operatorname{cov}(\mathcal{N}) \ar[r] &
\operatorname{non}(\mathcal{M}) \ar[r] &
\operatorname{cof}(\mathcal{M}) \ar[r] &
\operatorname{cof}(\mathcal{N}) \ar[r] &
2^{\aleph_0} \\
&& \mathfrak{b} \ar[r] \ar[u] & \mathfrak{d} \ar[u] \\
\aleph_1 \ar[r] &
\operatorname{add}(\mathcal{N}) \ar[r] \ar[uu] &
\operatorname{add}(\mathcal{M}) \ar[r] \ar[u] &
\operatorname{cov}(\mathcal{M}) \ar[r] \ar[u] &
\operatorname{non}(\mathcal{N}) \ar[uu]
}
\]

\end{document}

相关内容