☰

在定理环境中是否可以跳过第一行？

tag-icon • tag-icon line-breaking theorems
在定理环境中是否可以跳过第一行？

我目前正在写一些解决方案，我喜欢在回答问题之前重写它。

我将练习设置为定理环境，我使用的代码是

\begin{exercise} 
\begin{enumerate} 
\item Show that $R$ is symmetric iff $R^{-1}\subseteq R$.
\item Show that $R$ is transitive iff $R\circ R\subseteq R$.
\end{enumerate}
\begin{proof}
\end{proof}
\end{exercise}

但是，当我构建时，第一项（a）立即出现在练习标题的右侧，第二项（b）出现在下面并缩进：

替代文本

我尝试过使用\newline和，甚至在命令后\linebreak输入之前跳过一行，但这些都不起作用。有没有办法将（a）推到练习 3.32 下方，以便它与（b）对齐？谢谢。\begin{enumerate}\begin{exercise}

根据要求，我的序言如下：

\documentclass[11pt]{article}
\input{other/packages.tex}
\input{other/theoremdef.tex}

其中 packages.tex 是

\usepackage{amsthm}
\usepackage{amsmath}
\usepackage{amscd}
\usepackage{url}
\usepackage[top=1.3in, bottom=1.3in, left=1.3in, right=1.3in]{geometry}

% header and footer
\pagestyle{headings}

\usepackage{amssymb}
\usepackage{amsfonts}
\usepackage{stackrel}
\usepackage{mathrsfs}
\usepackage{verbatim}
\usepackage{enumerate}
\usepackage{hyperref}
\usepackage{xy}
\input xy
\xyoption{all}

theoremdef.tex 是：

\newtheorem{exercise}{\bf Exercise}
\newcommand{\dom}{\text{dom}\ }
\newcommand{\ran}{\text{ran}\ }
\newcommand{\fld}{\text{fld}\ }
\newcommand{\op}[2]{\langle #1,#2\rangle}
\newcommand{\ot}[3]{\langle #1,#2,#3\rangle}
\newcommand{\ms}[1]{\mathscr{#1}}

答案1

插入

\leavevmode

在 之后\begin{exercise}。这会将您置于水平模式，当您遇到 时，您希望处于该模式\begin{enumerate}。

答案2

我相信这就是你正在寻找的：

\begin{exercise} 
\begin{enumerate} 
\item[]
\item Show that $R$ is symmetric iff $R^{-1}\subseteq R$.
\item Show that $R$ is transitive iff $R\circ R\subseteq R$.
\end{enumerate}

答案3

查看theorem或ntheorem包装。以下是示例：

\documentclass{article}
\usepackage{theorem} % or ntheorem
\theoremstyle{break}
\newtheorem{exercise}{Exercise}
\begin{document}
\begin{exercise}
\begin{enumerate}
  \item foo
  \item bar
\end{enumerate}
\end{exercise}
\end{document}

使用 来实现这一点可能会稍微复杂一些amsthm。amsthm我们可以定义：

\usepackage{amsthm}
\newtheoremstyle{break}{3pt}{3pt}{\itshape}{}{\bfseries}{.}{\newline}{}
\theoremstyle{break}
\newtheorem{exercise}{Exercise}

它工作正常没有enumerate一开始就创建一个环境，但你的代码会失败。这是一个解决方案：

\begin{exercise}\mbox{}
\begin{enumerate}
  \item foo
  \item bar
\end{enumerate}
\end{exercise}

这似乎不是一个优雅的解决方案。因此我更愿意ntheorem修改定理风格。

答案4

我（有点意外地）发现，只需\item立即使用\begin{theorem}即可达到预期的效果。例如，尝试

\begin{theorem}[Name of Theorem]
\item This is a theorem with multiple parts.
    \begin{enumerate}
    \item stuff here.
    \item and here.
    \item and here, as well.
    \end{enumerate}
\end{theorem}

我还没有找到一个失败的例子。希望这能有所帮助。

相关内容