引理和小节

Question

我想写一段LaTeX代码来显示，

Lemma 1 : x+y=z
Lemma 1.1:  z-r+t=3
Lemma 1.2:   q=r

我怎么做？

Answer 1

使用amsthm包

更新：根据 Gonzalo Medina 的建议，使用以下定义，使子词干计数器从属于词干计数器：

\newtheorem{lemma}{Lemma}
\newtheorem{sublemma}{Lemma}[lemma]

比如下面的代码：

\begin{lemma}
x+y=z
\end{lemma}
\begin{sublemma}
z-r+t=3
\end{sublemma}
\begin{sublemma}
q=r
\end{sublemma}

\begin{lemma}
x+y=z
\end{lemma}
\begin{sublemma}
z-r+t=3
\end{sublemma}
\begin{sublemma}
q=r
\end{sublemma}

会给你：

编辑：如果您想对您的定理进行编号以对应其所属的部分，请使用以下定义：

\newtheorem{lemma}{Lemma}
\newtheorem{sublemma}{Lemma}[section]

然后查看示例：

\section{Math}
\begin{document}
\begin{lemma}
x+y=z
\end{lemma}
\begin{sublemma}
z-r+t=3
\end{sublemma}
\begin{sublemma}
q=r
\end{sublemma}

\section{More Math}
\begin{lemma}
x+y=z
\end{lemma}
\begin{sublemma}
z-r+t=3
\end{sublemma}
\begin{sublemma}
q=r
\end{sublemma}

这将为您提供：

Answer 2

一旦你定义了引理的结构，例如

\newtheorem{lemm}{Lemma}

您可以定义一个新结构，并使用第二个可选参数slemm使该新结构的计数器成为计数器的附属：lemm\newtheorem

\newtheorem{slemm}{Lemma}[lemm]

完整示例：

\documentclass{article}
\usepackage{amsthm}

\newtheorem{lemm}{Lemma}
\newtheorem{slemm}{Lemma}[lemm]

\begin{document}

\begin{lemm}
test
\end{lemm}
\begin{slemm}
test
\end{slemm}
\begin{slemm}
test
\end{slemm}
\begin{lemm}
test
\end{lemm}
\begin{slemm}
test
\end{slemm}
\begin{slemm}
test
\end{slemm}

\end{document}

为了清楚起见，我将给该附属结构起另一个名称：

\documentclass{article}
\usepackage{amsthm}

\newtheorem{lemm}{Lemma}
\newtheorem{slemm}{Sublemma}[lemm]

\begin{document}

\begin{lemm}
test
\end{lemm}
\begin{slemm}
test
\end{slemm}
\begin{slemm}
test
\end{slemm}
\begin{lemm}
test
\end{lemm}
\begin{slemm}
test
\end{slemm}
\begin{slemm}
test
\end{slemm}

\end{document}

Answer 3

这是你想要的？

\documentclass{article}
\usepackage{amsthm}
\theoremstyle{plain}
\newtheorem{thm}{Theorem}[section]
\newtheorem{lem}[thm]{Lemma}
\begin{document}
\section{One}
\begin{lem}
  one
\end{lem}
\begin{lem}
  one.two
\end{lem}
\section{Two}
\begin{lem}
  two
\end{lem}
\end{document}