![环境定理及枚举证明](https://linux22.com/image/320516/%E7%8E%AF%E5%A2%83%E5%AE%9A%E7%90%86%E5%8F%8A%E6%9E%9A%E4%B8%BE%E8%AF%81%E6%98%8E.png)
答案1
您已经有了文本的精确复制品:只需复印一份即可。
如果你想模仿这种风格,这是可能的。我希望你不想完全重现我在证明中发现的错误。
\documentclass[a4paper]{book}
\usepackage{amsmath,amssymb,amsthm}
\usepackage{xpatch}
\xpatchcmd{\proof}{\itshape}{\scshape}{}{}
\usepackage{thmtools}
\usepackage{enumitem}
\declaretheoremstyle[
notefont=\bfseries,
bodyfont=\itshape,
]{hugo}
\declaretheorem[
style=hugo,
within=section
]{proposition}
\setlist[enumerate,1]{
label=\upshape\arabic*.,
ref=\arabic*,
topsep=1ex,
parsep=0pt,
}
\begin{document}
\setcounter{chapter}{3}
\setcounter{section}{8}
\setcounter{proposition}{2}
\begin{proposition}[Spectrum: finite-dimensional case]\label{prop-sfdc}
Let $X$ be a finite-dimensional normed space over $\mathcal{K}$,
with $\dim X=n$. Then
\begin{enumerate}
\item\label{prop-sfdc-x} Something.
\item\label{prop-sfdc-y} If $\mathcal{K}=\mathbb{C}$ something.
\item\label{prop-sfdc-z} Again.
\end{enumerate}
\end{proposition}
\begin{proof}
\ref{prop-sfdc-x}. Bla bla, but note \verb|\not\in| is wrong because it gives
$\lambda\not\in\sigma(T)$, so \verb|\notin| should be used
$\lambda\notin\sigma(T)$.
\ref{prop-sfdc-y}. Note \verb|$U:X\rightarrow Y$| is wrong,
because it gives $U:X\to Y$, so \verb|\colon| should be used instead
of the colon, giving $U\colon X\to Y$.
\ref{prop-sfdc-z}. This ends the proof.
\end{proof}
The QED symbol at a double quad from the last word makes no sense
whatsoever; either it is nearer to the last word or it is at the
far end of the line.
\end{document}
证明中没有enumerate
:这样做是不好的风格,即使陈述被分为不同情况,因为它会产生长段缩进的文本,这会让读者感到困惑,而不是帮助他们。
答案2
\documentclass{article}
\usepackage{amsthm,amsmath}
\usepackage{enumitem}
\newtheorem{proposition}[section]{Proposition}
\renewcommand{\proofname}{\scshape Proof}
\begin{document}
\begin{proposition}[Spectral case]
Let $X$ be a finite dimensional normed space over $\mathcal{K}$. Then
\begin{enumerate}[label=\textup{\arabic*.},nosep]
\item Blablabla
\item more bla here
\end{enumerate}
\end{proposition}
\begin{proof}
\begin{enumerate}[nosep]
\item Here comes the proof.
\item And here more proof.
\end{enumerate}
Hence it is proved that some times, even if you show no research effort, we provide answers here. But please don't try your luck always
\end{proof}
\end{document}