如何在LaTeX中识别两个计数器？

Question

在某个文档中，我想让两个计数器“定理”和“分段”成为同一个东西。有什么想法吗？

编辑：由于数学部分可能会令人困惑，因此我将问题改述如下，没有任何此类引用。

我使用某个计数器“mycounter”来计数某些内容，并且该计数器是在某个包中预定义的。当该小节上升时，我希望“mycounter”上升。反之亦然。当重置小节时，我希望重置“mycounter”。

这就是我希望通过识别两个计数器来实现的目的。

Answer 1

赫伯特·西斯特就快到了。

\newtheorem{theorem}{Theorem}[subsection] 会对小节中的定理进行编号（即，第 1.2 节中的定理将是 1.2.1、1.2.2 等） 。相反， \newtheorem{theorem}[subsection]{Theorem} 似乎可以满足OP的要求。 （比如说）1.5 节之后是定理 1.6，定理 1.6 之后是 1.7 节。定理的格式与章节不同。

另一种方法是这样做，

\def\theorem#1{\begingroup
  \let\tempsubsection\thesubsection
  \def\thesubsection{Thm.~\tempsubsection}%
  \subsection{#1}%
  \endgroup
}

这稍微更“自制”，但使定理具有与 \subsection 完全相同的布局，这可能是也可能不是所需要的。

Answer 2

我认为一种方法是创建一个用户定义的计数器（例如“mycounter”），然后修改部分和定理命令以（1）使用该计数器而不是内置的 \thesection 或 \thetheorem (2) 每次使用时自动增加共享的用户定义计数器。

我相信 titlesec 或 secsty 包将允许您重新定义部分样式以使用和增加用户定义的计数器。不确定定理，但我假设有一些包可以让您修改这些定理。

这只是一种方法。不确定是否有更干净或更直接的东西。对我来说，这似乎是一个非常干净和简单的方法，尽管我必须查看有关如何使用用户定义计数器的文档，不确定它在网络上的位置，我知道 Kopka 的 Latex 指南中有很多信息。

编辑：抱歉，也许上面的内容超出了需要的范围，我不使用 LaTeX 做数学，对定理命令/环境一无所知。您是否可以定义一个自动使用节编号的定理环境？我想知道在查看此页面后： http://www. maths.tcd.ie/~dwilkins/LaTeXPrimer/Theorems.html

EDIT_2：查看 Kopka 的指南后，是的，看起来您确实可以使用 \newtheorem 命令来创建使用节计数器的定理环境。例如，“\newtheorem{theorem}{Theorem}[subsection]”将创建使用 subsection 计数器的新“theorem”环境。不确定它是否可以散布在小节中，并在每个新的“节”处正确递增和重置，但我希望这就是想法。

Answer 3

这并不明显，但这最初似乎是另一个问题的几乎重复；但这不是完全相同的问题。您具体要求的内容可能会以类似的黑客方式得到解决，但尚不完全清楚您要求的是什么 - 您的问题是否有更多“元”版本？

您的想法是想在每个定理的一个小节中声明它，并因此想通过该编号来引用它吗？在这种情况下，...see Theorem~\ref{sec:foo} 可能会让您至少完成一半，而无需任何特殊的定制。

Answer 4

这是诺曼·格雷给出的答案的一个例子，当我运行它时，它看起来很棒。非常好的诺曼，谢谢。 （您可以互换 \newtheorem 行上的 [subsection] 和 {Theorem} 元素，看看它如何影响事物。）：

\documentclass{article}

\newtheorem{theorem}[subsection]{Theorem}

\begin{document}
\section{My Section}
\subsection{A subsection}

\begin{theorem}adfadfadf
\end{theorem}

\subsection{A subsection}

\begin{theorem}adfadfadf
\end{theorem}
\begin{theorem}adfadfadf
\end{theorem}

\begin{theorem}
\emph{(Lagrange's Theorem)}
\label{Lagrange}
Let $G$ be a finite group, and let $H$ be a subgroup
of $G$.  Then the order of $H$ divides the order of $G$.
\end{theorem}

\end{document}