编号子引理

编号子引理

我希望在相应的引理之后对子引理进行编号,而后又在定理之后进行编号,如下所示:

定理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}. 

产生这个输出:

在此处输入图片描述

相关内容