☰

在证明中引用列举的观察结果

tag-icon • tag-icon cross-referencing theorems enumerate
在证明中引用列举的观察结果

我正在写一个相当复杂的证明（图论/算法），其中包含许多列出的观察结果，这些观察结果将在后面的证明过程中引用。这些观察结果与证明直接相关，因此在证明之前不能将该列表作为观察结果取出。

\begin{proof}
     (...)
     In this case the colors look like this:XX.
     (...)
     Observe that:
     \begin{enumerate}
          \item White is white
          \item Black is black
     \end{enumerate}
     (...)
     By the second observation, we know that black is not green.
     (...)
\end{proof}

有没有“正确”的方法可以做到这一点？我浏览了系统建议的其他类似问题，所有这些问题似乎都只是展示了如何调整枚举项的标签/引用的呈现方式。

我最想知道是否有任何“常规”方法可以做到这一点。以某种方式完全放弃枚举？将其嵌入某种观察环境中并将项目引用为子观察？

答案1

如果您询问枚举列表项是否可以交叉引用，那么使用该enumerate包是可能的。请参见以下示例：

\begin{proof}
     (...)
     In this case the colors look like this:XX.
     (...)
     Observe that:
     \begin{enumerate}
          \item\label{obs:1} White is white
          \item\label{obs:2} Black is black
     \end{enumerate}
     (...)
     By observation~\ref{obs:2}, we know that black is not green.
     (...)
\end{proof}

查看枚举内部的标签obs:1和定义以及使用命令调用。obs:2\ref

相关内容