☰

文書間の定理環境のラベル付け

tag-icon • tag-icon cross-referencing environments
文書間の定理環境のラベル付け

これは皆さんにとっては非常に明白な質問のように思えるかもしれませんが、私は少し困っています。

私は自分の文書で定理（および補題など）環境を使用し、他の人の証明でもそれらを参照しています。これはかなり標準的です。

私が抱えている問題は、私の定理を何と呼ぶか​​、つまり名前のない定理を何と呼ぶか​​ということです。

明らかな方法は、ドキュメントに表示されるのと同じ方法で番号を付けることですが、その後に戻って定理環境を追加または削除すると、すべてが台無しになります。

これを実現するための優れた論理システムを持っている人はいますか?

最小限の動作例

\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ような外部ドキュメントはいくつでも宣言できます。\labelaaa.tex

答え2

便宜上定理に名前を付け、事前に割り当てられた適切な名前を使用してラベルを付けてみてください。たとえば\label{Continuity}、、\label{date11.1.19}etx

関連情報