我希望在相应的引理之后对子引理进行编号,而后又在定理之后进行编号,如下所示:
定理2.1。0=0。
引理 2.2。0=1。
引理2.2的证明将在后面给出。
引理 2.3。1=1。
子难题 2.2.1. 0=2。
证明:显而易见。
子难题 2.2.2.0=4。
证明:显而易见。
子悖论 2.3.1. 0=0。
这里,子引理 2.2.1 和 2.2.2 是引理 2.2 的子引理(尽管在文中它们仅出现在引理 2.3 之后),而子引理 2.3.1 是引理 2.3 的子引理。
我需要这个,因为我想首先在一系列引理中提出定理证明的总体轮廓,然后通过子引理证明引理,每个子引理都清楚地对应于其父引理。
这可能吗?
提供的解决方案引理和小节确实使“子引理反面从属于引理反面”。但是,引理(例如引理 5)的子引理必须遵循引理 5,并且引理 5 与其子引理之间不能陈述任何其他引理。
答案1
我找到了以下基本但繁琐的解决方案。我仍然希望有更好的解决方案。
\documentclass[]{article}
\newtheorem{thm}{Theorem}[section]
\newtheorem{lem}[thm]{Lemma}
\newcounter{sublOne}
\newenvironment{sublOne}[1][]{\refstepcounter{sublOne}\par\medskip
\noindent \textbf{Sublemma~\ref{lem:1}.\thesublOne. #1} \rmfamily}{\medskip}
\newcounter{sublTwo}
\newenvironment{sublTwo}[1][]{\refstepcounter{sublTwo}\par\medskip
\noindent \textbf{Sublemma~\ref{lem:2}.\thesublTwo. #1} \rmfamily}{\medskip}
\newcommand{\refs}[2]{\ref{#1}.\ref{#2}}
\begin{document}
\section{First section}
\begin{thm} $0=0$. \end{thm}
------------------------------
\section{Second section}
\begin{thm} $1=1$. \end{thm}
\begin{lem}\label{lem:1} $2=2$ \end{lem}
\begin{lem}\label{lem:2} $3=3$ \end{lem}
\begin{sublOne}\label{subl:2.2.1}
$2.1=2.1$. \end{sublOne}
\begin{sublOne}\label{subl:2.2.2}
$2.2=2.2$. \end{sublOne}
\begin{sublTwo}\label{subl:2.1.3}
$3.1=3.1$. \end{sublTwo}
Sublemmas~\refs{lem:1}{subl:2.2.1} and \refs{lem:1}{subl:2.2.2}
are sublemmas of Lemma \ref{lem:1}, whereas Sublemma~\refs{lem:2}{subl:2.1.3}
is a sublemma of Lemma \ref{lem:2}.
产生这个输出: