☰

定理的标签和子标签

tag-icon • tag-icon theorems labels
定理的标签和子标签

在我的文本文件中，我使用一个theorem环境（来自amsthm包），其中包含两个部分（针对两种不同的情况）。该定理通常作为整体引用，因此我需要一个全局标签，但每个案例都是单独证明的，并且通常被具体引用，因此我还需要特定的“子标签”。结构如下所示：

\begin{theorem}\label{main_thm}
    This is the main theorem, with two cases,
    \begin{enumerate}
        \item First Case \label{first_case}
        \item Second Case \label{first_case}
    \end{enumerate}
\end{theorem}

第一个标签遵循环境编号（由部分强制执行 - 我无法更改它），而第二个标签仅引用项目编号。因此，例如对于后续引用：

  • see theorem \ref{main_thm}将显示为“参见定理 4.3”
  • see theorem \ref{first_case}将显示为“参见定理（a）”，从而无法在后面的章节中引用。

有什么办法可以让想法更清晰吗？设置某种子定理或子标签。理想情况下，未来的引用应该看起来像

  • see theorem \ref{main_thm}将显示为“参见定理 4.3”
  • see theorem \ref{first_case}将显示为“参见定理 4.3a”

在这个网站上，我发现了一些关于子定理的问题，但它们总是引用引理的层次编号，而不是一个定理的两个部分。并且包sublabel将标签拆分为 4a、4b、4c，但不允许 4、4a、4b...

答案1

加载包enumitem，这

\begin{theorem}\label{main_thm}
    This is the main theorem, with two cases,
    \begin{enumerate}[label=(\alph*), ref=\ref{main_thm}\alph*]
        \item First Case \label{first_case}
        \item Second Case \label{first_case}
    \end{enumerate}
\end{theorem}

按预期工作。

相关内容