我如何才能结合两个 newtheorem 环境，使得一个环境继续另一个环境的编号并添加一些额外的编号？

Question

我想为我的引理实现两个不同的环境，比如 lem1 和 lem2，这样由 \begin{lem1} \end{lem1} 编写的引理会在章节内进行编号，如果我通过 \begin{lem2} \end{\lem2} 添加引理，它们会采用 lem1 的编号，但在连续的 lem2 引理中添加额外的编号，直到下一个 lem1 引理出现。

希望这听起来不会太令人困惑，但我认为一个例子可以很好地解释我的意思：

1. Section

2. Section

   2.1. Subsection 

      Lemma 2.1             <- lem1

   2.2. Subsection

      Lemma 2.2             <- lem1

      Lemma 2.3             <- lem1

      Lemma 2.4 (I)         <- lem2

      Lemma 2.4 (II)        <- lem2

      Lemma 2.5             <- lem1

      Lemma 2.6 (I)         <- lem2

      Lemma 2.6 (II)        <- lem2

我已经实现了类似但不完全是我想要的：

\newtheorem{lemma1}{Lemma}
\newtheorem{lem1}[lemma1]{Lemma}
\numberwithin{lemma1}{section}

\newtheorem{lemma2}{Lemma}
\newtheorem{lem2}[lemma2]{Lemma}
\numberwithin{lemma2}{section}
\renewcommand{\thelemma2}{\arabic{section}.\arabic{lemma1} (\Roman{lemma2})}

这导致

1. Section

2. Section

   2.1. Subsection 

      Lemma 2.1             <- lem1

   2.2. Subsection

      Lemma 2.2             <- lem1

      Lemma 2.3             <- lem1

      Lemma 2.3 (I)         <- lem2

      Lemma 2.3 (II)        <- lem2

      Lemma 2.4             <- lem1

      Lemma 2.4 (III)       <- lem2

      Lemma 2.4 (IV)        <- lem2

有人可以帮帮我吗？ ：-）

先感谢您

编辑澄清：我需要引理 2。3接下来是 2。4（我）

阅读建议的解决方案后进行编辑：该解决方案在定义时也有效

\newtheorem{firsttheorem}{Proposition}
\numberwithin{firsttheorem}{section}

将引理（在解决方案中）替换为第一定理。然后可以写出

\begin{sublemmas}

    \begin{whatever is defined as firsttheorem}

    \end{whatever is defined as firsttheorem}

\end{sublemmas}

一切都运行正常！

Answer 1

您需要告诉 LaTeX 何时开始子编号以及何时结束。

这里的想法与 相同subequations。

\documentclass{article}
\usepackage{amsthm}

\newtheorem{lemma}{Lemma}[section]

\newcounter{parentlemma}
\newenvironment{sublemmas}
 {%
  \refstepcounter{lemma}%
  \setcounter{parentlemma}{\value{lemma}}%
  \edef\theparentlemma{\thelemma}%
  \setcounter{lemma}{0}%
  \renewcommand{\thelemma}{\theparentlemma\space(\Roman{lemma})}%
  \ignorespaces
 }
 {\setcounter{lemma}{\value{parentlemma}}\ignorespacesafterend}

\begin{document}

\section{Test A}

\begin{lemma}
This is a lemma
\end{lemma}

\section{Test B}

\begin{lemma}
This is a lemma
\end{lemma}

\begin{lemma}
This is a lemma
\end{lemma}

\begin{sublemmas}
\begin{lemma}
This is a lemma
\end{lemma}

\begin{lemma}
This is a lemma
\end{lemma}
\end{sublemmas}

\begin{lemma}
This is a lemma
\end{lemma}

\begin{sublemmas}
\begin{lemma}
This is a lemma
\end{lemma}

\begin{lemma}
This is a lemma
\end{lemma}
\end{sublemmas}

\end{document}

您可以使用\labelafter\begin{sublemmas}来获取对公共数字的引用。当然，也可以使用子引理之间的任意文本。