\documentclass[a5paper]{report}
\usepackage{amsmath}
\usepackage{setspace}
\usepackage{fancyhdr}
\usepackage{newtxtext,newtxmath}
\usepackage{amssymb}
\usepackage{amsfonts}
\usepackage{mathabx}
\usepackage{graphicx}



\begin{document}
\pagestyle{myheadings}
\markright{0.3 Spectra of Operators\hfill}
\setcounter{page}{5}
\textit{Proof.}
Clearly if $x-\lambda$ has an inverse in $\mathfrak{B}$ it has an inverse in $\mathfrak{A}$;
thus $\sigma__\mathfrak{A}$$(x)$\subset$\sigma__\mathfrak{B}$$(x)$. 
Suppose that $\thickmuskip=0muy(x-\lambda)y=y(x-\lambda)=1 $ for some $\thickmuskip=0muy\in\mathfrak{A}$.




\end{document}

我是新手，正在努力学习。我的问题是：当我将此代码转换为 PDF 时，最后一部分 ( $\thickmuskip=0muy\in\mathfrak{A}$) 无法容纳在边距内，因此它会继续到第三行。我怎样才能将最后一部分放在第二行？另外，我的代码可能看起来很粗糙，所以如果有人能帮助我会很高兴。

1

  • 2
    欢迎使用 TeX.SE。快速提示：要在编辑窗口中漂亮地打印 LaTeX 代码块，请突出显示它并单击{}窗口上方功能区中的“按钮”。


    – 


最佳答案
2

既然你正在努力学习，我会提供我的建议。

  1. $并不意味着“打印一个奇怪的符号”；
  2. 无论是谁教你的\thickmuskip=0mu都是错的；
  3. 如果在运行 LaTeX 时遇到错误，您应该检查代码并修复它；
  4. 使用mathabxtogether withnewtx在印刷上是不合理的。

关于第 3 点，你得到

! Missing { inserted.
<to be read again>
                   _
l.22 thus $\sigma__
                   \mathfrak{A}$$(x)$\subset$\sigma__\mathfrak{B}$$(x)$.
?
! Missing } inserted.
<inserted text>
                }
l.22 thus $\sigma__\mathfrak{A}$
                                $(x)$\subset$\sigma__\mathfrak{B}$$(x)$.
?
! Missing $ inserted.
<inserted text>
                $
l.22 thus $\sigma__\mathfrak{A}$$(x)$\subset
                                            $\sigma__\mathfrak{B}$$(x)$.
?
! Missing $ inserted.
<inserted text>
                $
l.22 ... $\sigma__\mathfrak{A}$$(x)$\subset$\sigma
                                                  __\mathfrak{B}$$(x)$.
?
! Missing { inserted.
<to be read again>
                   _
l.22 ...\sigma__\mathfrak{A}$$(x)$\subset$\sigma__
                                                  \mathfrak{B}$$(x)$.
?
! Missing } inserted.
<inserted text>
                }
l.22 ...frak{A}$$(x)$\subset$\sigma__\mathfrak{B}$
                                                  $(x)$.
?

第一个错误消息指向的__总是错误的。让我们修复它，删除错误__的 应该是的_。您仍然会得到两个错误：

! Missing $ inserted.
<inserted text>
                $
l.29 thus $\sigma_\mathfrak{A}$$(x)$\subset
                                           $\sigma_\mathfrak{B}$$(x)$.
?
! Missing $ inserted.
<inserted text>
                $
l.29 thus $\sigma_\mathfrak{A}$$(x)$\subset$\sigma
                                                  _\mathfrak{B}$$(x)$.
?

TeX 停在\subset，这是一个数学模式命令。为什么？因为你已经超出了数学模式。这就引出了第 1 点。整个

$\sigma_\mathfrak{A}$$(x)$\subset$\sigma_\mathfrak{B}$$(x)$

应该是一个数学公式，即

$\sigma_{\mathfrak{A}}(x)\subset\sigma_{\mathfrak{B}}(x)$

还要注意下标周围的括号。让我们修复一下。现在你的代码变成了

\textit{Proof.}
Clearly if $x-\lambda$ has an inverse in $\mathfrak{B}$ it has an inverse in $\mathfrak{A}$;
thus $\sigma_{\mathfrak{A}}(x)\subset\sigma_{\mathfrak{B}}(x)$.
Suppose that $\thickmuskip=0muy(x-\lambda)y=y(x-\lambda)=1 $ for some
$\thickmuskip=0muy\in\mathfrak{A}$.

但其排版如下

排版很差。关系符号和周围必须留一些空格。没有借口。\subset=

这就引出了第 2 点。有人告诉你一个去除关系符号周围空格的技巧。正如我所说，他们错了：空格是读者理解符号所必需的。

推荐编码

\documentclass[a5paper]{report}
\usepackage{amsmath}
\usepackage{amsthm}

\usepackage{setspace}

\usepackage{fancyhdr}
\usepackage{newtxtext,newtxmath}
%\usepackage{mathabx} % not along with newtx
\usepackage{graphicx}

\begin{document}

\begin{proof}
Clearly if $x-\lambda$ has an inverse in $\mathfrak{B}$ it has
an inverse in $\mathfrak{A}$; thus
$\sigma_{\mathfrak{A}}(x)\subset\sigma_{\mathfrak{B}}(x)$.
Suppose that $y(x-\lambda)y=y(x-\lambda)=1 $ for some
$y\in\mathfrak{A}$.
\end{proof}

\end{document}

\thickmuskip当您是初学者时，经过深思熟虑并查阅了许多高质量排版的数学书籍和文章后，已经选择了的值。

也许你想减少那个空间，但你应该非常小心，避免印刷错误：如果你减少，\thickmuskip你也必须减少\medmuskip和\thinmuskip。这不是初学者的任务。也不是论文导师的任务。

4

  • @cfr 好的，也许是“drop in”？


    – 

  • 那样会更好。这在英语中仍然没有意义，但我会猜出你正确的意思。不过，“给我的建议”会更好。“drop”在这里并不是真正合适的词。即使加上“in”也不起作用。（但在这种情况下我可能不会发表评论，因为它不会暗示与预期含义相反的意思。）


    – 

  • “drop” 的真正含义是撤销/废止、“drop in with” 或“drop off” 之类的工作，类似于存放，但听起来很奇怪。“leave” 本身就有预期的含义（“留下/记录在案”或仅仅是“提供”）。


    – 

  • 1
    @Sebastiano 我没有检查，谢谢你的注意。amsmath并且newtxmath彼此独立。


    – 

您的代码存在许多问题。

  • 不要无谓地进入或退出数学模式。

  • 加载newtxtext并newtxmath 跟踪大多数（最好：所有）其他与数学相关的包。

  • 不要将两个$符号放在一起，除非您想进入或退出显示数学模式。注意：$$与两个连续符号的含义不同$。

  • 我建议您加载该amsthm包并使用其proof环境，而不是自己重新发明类似证明的环境。

  • 两个连续的_（“下划线”）字符几乎肯定是一个错误。

以下内容是否接近您要排版的内容？

\documentclass[a5paper]{report}
\usepackage{amsmath}
\usepackage{amssymb}
%%\usepackage{amsfonts} % is loaded automatically by 'amssymb'
%\usepackage{mathabx} % are you sure you need this?
\usepackage{amsthm}   % for 'proof' environment
\usepackage{newtxtext,newtxmath}

\usepackage{setspace}
\usepackage{fancyhdr}
\usepackage{graphicx}

\begin{document}
%\pagestyle{myheadings}
%\markright{0.3 Spectra of Operators}
%\setcounter{page}{5}

\begin{proof}
Clearly if $x-\lambda$ has an inverse in $\mathfrak{B}$ it 
has an inverse in $\mathfrak{A}$; thus $\sigma_{\mathfrak{A}}(x)
\subset \sigma_{\mathfrak{B}}(x)$. Suppose that $y(x-\lambda)y
=y(x-\lambda)=1$ for some $y\in\mathfrak{A}$.
\end{proof}

\end{document}