环境定理及枚举证明

Question

如何使用 \begin{proposition} \begin{enumerate} \item \item \end{enumerate} \end{proposition} 准确重现以下文本

\begin{证明} \begin{枚举} \item \item \end{枚举} \end{证明}

Answer 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：这样做是不好的风格，即使陈述被分为不同情况，因为它会产生长段缩进的文本，这会让读者感到困惑，而不是帮助他们。

Answer 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}