이것은 여러분 중 일부에게는 정말 당연한 질문처럼 보일 수 있지만 약간의 문제가 있습니다.
나는 내 문서에서 Theorem(및 Lemma 등) 환경을 사용하고 이를 다른 사람의 증명에서 참조합니다. 꽤 표준적인 일입니다.
내가 겪고 있는 문제는 내 정리를 무엇이라고 부를 것인가 하는 것입니다. 어쨌든 이름이 없는 정리들입니다.
확실한 방법은 문서에 나타나는 것과 같은 방식으로 번호를 매기는 것이지만, 다시 돌아가서 정리 환경을 추가하거나 제거하면 모든 것이 엉망이 됩니다.
이 작업을 수행하기 위한 훌륭한 논리 시스템을 갖고 있는 사람이 있나요?
최소한의 작업 예
\documentclass{article}
\newtheorem{thm}{Theorem}
\newtheorem{prop}[thm]{Proposition}
\newtheorem{lem}[thm]{Lemma}
\begin{document}
\begin{lem}\label{lem2}
This is the 1st lemma (2nd 'theorem') I write, but it clarifies the proof of the theorem below, so I place it above.
\end{lem}
\begin{proof}
The proof of lemma.
\end{proof}
\begin{thm}\label{thm1}
This is the 1st theorem I write.
\end{thm}
\begin{proof}
The proof of theorem using Lemma \ref{lem2}.
\end{proof}
\end{document}
답변1
내가 올바르게 이해했다면, 귀하의 문제는 일부 문서에 일부 가 있고 이를 별도의("별도로 컴파일된") 문서에서 \label
사용하여 참조하려는 것입니다 .\ref
다음은 패키지에 대한 작업입니다 xr
.
한 문서가 다른 문서의 섹션을 참조해야 하는 경우(예: )
aaa.tex
, 이 패키지는 기본 파일에 로드되고 명령은\externaldocument{aaa}
서문에 제공됩니다. 그런 다음\ref
및 주요 문서 중 하나에\pageref
제공된 모든 것을 참조 할 수 있습니다 . 귀하는 그러한 외부 문서를 수량 제한 없이 신고할 수 있습니다.\label
aaa.tex
답변2
편의에 따라 정리의 이름을 지정한 다음 미리 할당된 적절한 이름을 사용하여 레이블을 지정해 보세요. 예를 들어, \label{Continuity}
, \label{date11.1.19}
etx