명제 내부와 증명 내부 열거

Question

열거하는 데 한 가지 문제가 있습니다. 항목에 대한 기호는 증명 '내부' 열거와 명제 '내부' 열거가 완료될 때 다르게 보입니다.

코드

\documentclass[11pt,a5paperfootinclude=true,headinclude=true]{scrbook} % KOMA-Script book
\usepackage[T1]{fontenc}                
\usepackage{lipsum}
\usepackage[linedheaders,parts,pdfspacing]{classicthesis} % ,manychapters
\usepackage[bitstream-charter]{mathdesign}
%\usepackage[osf]{libertine}
\titleformat{\section}
  {\normalfont\bfseries}{\thesection}{1em}{}






\usepackage{amsthm}
\usepackage{amsmath}
 \usepackage{multicol}
 \usepackage{IEEEtrantools}

\usepackage{anysize}
\marginsize{0.1\paperwidth}{0.1\paperheight}{2cm}{2cm}
\newcommand{\bigslant}[2]{{\raisebox{.2em}{$#1$}\left/\raisebox{-.2em}{$#2$}\right.}}

\usepackage{enumerate}



\begin{document}



\theoremstyle{plain}
\newtheorem{thm}{Theorem}[chapter] % reset theorem numbering for each chapter

\theoremstyle{definition}
\newtheorem{defn}[thm]{Definition} % definition numbers are dependent on theorem numbers
\newtheorem{exmp}[thm]{Example}

\theoremstyle{corollary}
\newtheorem{cor}[thm]{Corollary}

\theoremstyle{lemma}
\newtheorem{lem}[thm]{Lemma}

\theoremstyle{proposition}
\newtheorem{prop}[thm]{Proposition}
\newcommand{\ndiv}{\hspace{-4pt}\not|\hspace{2pt}}

\begin{prop}
\begin{enumerate}[(a)] % (a), (b), (c), ...
\item
\item
\end{enumerate}
\end{prop}

\begin{proof}
\begin{enumerate}[(a)] % (a), (b), (c), ...
\item
\item
\end{enumerate}
\end{proof}


\end{document}

그리고 그 결과

이에 대한 해결책이 있습니까? 그래서 동일하게 보이나요, 아니면 불가능합니까? 열거된 항목에 대한 참조도 만들 수 있나요?

감사합니다

Answer 1

나는 정리와 증명에서 그런 종류의 열거를 위한 새로운 환경을 정의하고 enumitem훨씬 더 유연한 패키지를 사용할 것입니다 .enumerate

\documentclass[11pt,a5paper,footinclude=true,headinclude=true]{scrbook} % KOMA-Script book
\usepackage[T1]{fontenc}
\usepackage[linedheaders,parts,pdfspacing]{classicthesis} % ,manychapters
\usepackage[bitstream-charter]{mathdesign}

\usepackage{lipsum}
\usepackage{amsmath}
\usepackage{amsthm}

\usepackage{enumitem}

\theoremstyle{plain}
\newtheorem{thm}{Theorem}[chapter] % reset theorem numbering for each chapter
\newtheorem{cor}[thm]{Corollary}
\newtheorem{lem}[thm]{Lemma}
\newtheorem{prop}[thm]{Proposition}

\theoremstyle{definition}
\newtheorem{defn}[thm]{Definition} % definition numbers are dependent on theorem numbers
\newtheorem{exmp}[thm]{Example}

\newenvironment{roster}
 {\begin{enumerate}[font=\upshape,label=(\alph*)]}
 {\end{enumerate}}


\begin{document}



\begin{prop}
\begin{roster}
\item Something
\item Something else
\end{roster}
\end{prop}

\begin{proof}
\begin{roster}
\item Easy
\item The same\qedhere
\end{roster}
\end{proof}


\end{document}

정리 선언이 먼저 이루어져야 하며 \begin{document}존재하지 않는 스타일을 사용하고 있다는 점에 유의하세요. 필수적인 부분을 제거했습니다.

열거형 내에서 증명을 끝내려면 \qedhere삭제 표시가 마지막 줄에 배치되도록 를 사용하십시오.

Answer 2

[\upshape (a)]대신 항목 라벨을 으로 설정할 수 있습니다 [(a)]. \textup{(a)}패키지에서는 작동하지 않으며 자리 enumarate표시자는 a그룹에 숨겨져 있습니다 {...}.

\documentclass{article}

\usepackage{amsthm,enumerate}

\newtheorem{theorem}{Theorem}[section]

\begin{document}

\begin{theorem}
  This has two parts.
  \begin{enumerate}[\upshape (a)]
  \item First part.
  \item Second part.
  \end{enumerate}
\end{theorem}

\begin{proof}
  Also two parts to the proof.
  \begin{enumerate}[\upshape (a)]
  \item Proof of first part.
  \item Proof of second part.
  \end{enumerate}
\end{proof}

\end{document}

Answer 3

와 유사한 솔루션이지만 참조되는 개체의 종류를 입력할 수 없고 해당 레이블만 입력할 수 있으므로 항목을 상호 참조하면 영리한 참조 패키지를 열거한다는 사실 enumitem을 강조합니다. 따라서 정리가 이후 버전이 되는 경우 제안에서는 찾기 및 바꾸기를 수행할 필요가 없습니다.within a theorem environment works with enumitem, while it did not with. I also loaded the

        \documentclass[11pt,a5paperfootinclude=true,headinclude=true]{scrbook} % KOMA-Script book
        \usepackage[utf8]{inputenc}
        \usepackage[T1]{fontenc}
        \usepackage{lmodern}

        \usepackage{titlesec}
        \titleformat{\section} {\normalfont\bfseries}{\thesection}{1em}{}

        \usepackage{amsthm}
        \usepackage{amsmath}
        \usepackage[shortlabels]{enumitem}

        \usepackage{cleveref}

        \theoremstyle{plain}
        \newtheorem{thm}{Theorem}[chapter] % reset theorem numbering for each chapter

        \theoremstyle{definition}
        \newtheorem{defn}[thm]{Definition} % definition numbers are dependent on theorem numbers \newtheorem{exmp}[thm]{Example}

        \newtheorem{cor}[thm]{Corollary}
        \newtheorem{lem}[thm]{Lemma}
        \newtheorem{prop}[thm]{Proposition}

        \begin{document}

        \begin{prop}\label{pr1}
        \begin{enumerate}[\upshape(a)] % (a), (b), (c), ...
        \item  \label{item1} Once upon a time…
        \item So what?
        \end{enumerate}
        \end{prop}

        \begin{proof} \begin{enumerate}[(a)] % (a), (b), (c), ...
        \item According to \cref{pr1}\ref{item1}

        \item What else? \qedhere

        \end{enumerate}
        \end{proof}
        \end{document}