我刚刚发现这个cutwin
包,但已经遇到了麻烦。代码如下:
\documentclass[a4paper]{report}
\usepackage{amsmath,amssymb,amsfonts,cutwin,thmtools}
\newtheorem{es}{Esempio}
\newcommand{\s}{\mathcal}
\newcommand{\Wg}{\Omega}
\newcommand{\R}{\mathbb{R}}
\newcommand{\8}{\infty}
\newcommand{\fg}{\varphi}
\newcommand{\sqb}{\relax}
\newcommand{\lbar}{\overline}
\linespread{1.3}
\begin{document}
\renewcommand\windowpagestuff{\begin{center}\rule{3cm}{3cm} \linebreak Il dominio dell'esempio\end{center}}
\opencutright
\begin{es}[name=Liscia sulla chiusura ma senza derivate,label=thm:es:LisciaChiusNoDer]
\begin{cutout}{2}{9cm}{0pt}{9}
L'esempio è un esempio semplice. Prendete un dominio in $\R^2$. Questo dominio ha una parte saliente vicino all'origine, vicino all'origine assomiglia, il bordo, è uguale al grafico del modulo di $x$. Quindi immaginate il grafico del modulo di $x$ vicino a 0, e poi chiudete il dominio nella maniera più semplice possibile, in maniera liscia però, cioè qui, dove finisce, diciamo, questo dente di sega, partite con una curva liscia, in modo che il bordo sia complessivamente, se facciamo l'eccezione e studiamo <>. Sapete che si possono raccordare una retta e una curva $\s{C}^\8$ senza problé, in modo che risulti una funzione di classe $\s{C}^\8$. D'accordo? Quindi avete questo dominio $\Wg$. Questo dominio $\Wg$, ovviamente, è un dominio Lipschitz, questo lo vedete tutti, perché nei punti diversi dall'origine il bordo è addirittura di classe $\s{C}^\8$, si può descrivere come grafico di una funzione $\s{C}^\8$, vicino all'origine meglio di Lipschitz non si può fare. Adesso prendete la funzione di due variabili $f(x,y)$ data semplicemente da $y$. Ovviamente $f\in\s{C}^k(\lbar\Wg)$ per ogni $k$, perché lei è una funzione di classe $\s{C}^\8$, quindi le sue derivate sono $\s{C}^\8$, e chiaramente le sue derivate ristrette a $\Wg$ ammettono un'estensione continua alla chiusura, addirittura ammettono estensione continua a tutto $\R^2$. Però, se adesso andate a descrivere la restrizione al bordo di $f$, questa non è più una funzione differenziabile. Cioè, restringetevi a un intorno <arbitrariamente> piccolo dell'origine, e in questo intorno il bordo è descritto proprio dalla mappa $\fg(x)=|x|$. \sqb{Bla.} Voi dovete pensare che $f$ è definita su tutto $\R^2$, in verità, a valori in $\R$, \sqb{Rat,} supponiamo di fare le derivate, no, allora, mettiamo, derivata rispetto a $x$ in 0, funzione identicamente nulla, è sicuramente una funzione $\s{C}^k(\Wg)$, ma è anche una funzione $\s{C}^k(\lbar\Wg)$, perché la funzione nulla \sqb… in $\Wg$ si può estendere alla funzione nulla in $\lbar\Wg$, ed è, la funzione nulla risulta continua. \sqb{Cell.} Se invece prendete qualunque altra derivata, per esempio rispetto a $y$, viene la funzione 1, la funzione 1 è sicuramente di classe $\s{C}^k$, per ogni $k$, in $\Wg$, ma anche in $\lbar\Wg$, perché si estende ovviamente alla funzione 1 su $\lbar\Wg$, che è di classe $\s{C}^k$. Giusto? Quindi potremmo dire che è di classe $\s{C}^\8$ in $\lbar\Wg$. Se però adesso esprimete $f$ in coordinate locali, usando la mappa $\fg(x)=|x|$, e', avrete che la funzione risultante è la funzione $x\mapsto f(x,|x|)$. Giusto? Cioè la mappa, la mappa $\fg$ che descrive la parte di bordo vicino all'origine è esattamente il modulo di $x$, quindi, diciamo, al posto di $y$ in $f(x,y)$ devo mettere il modulo di $x$, cioè sto scrivendo $f$ in queste coordinate. Sì? Va bene? Ma siccome l'espressione di $f$ è semplicemente $y$, $f(x,|x|)=|x|$, e questa non è differenziabile. Quindi $f$, secondo la nostra definizione, è di classe $\s{C}^k(\lbar\Wg)$ per ogni $k$, ma se vado a esprimere $f$ in coordinate locali, vicino a 0 nella fattispecie, ottengo una funzione che non è nemmeno differenziabile. Va bene? Quindi occhio.
\end{cutout}
\end{es}
\end{document}
输出如下:
为什么这些都放在第 2 页而不是第 1 页?最重要的是,行距怎么了?也就是说,为什么剪切部分向下移动,以至于它的顶部远离最后一行非剪切行,而底部与其余文本发生冲突?这与有关吗?\linespread
我该如何解决这个问题?
更新
我找到了解决页面问题的方法:减少剪切段落的长度。这需要调整示例开头的垂直位置,因为它会与它之前的任何内容发生冲突(在我的实际设置中,这不是什么都没有,但在这个 MWE 中是这样的)。但是,间距问题仍然存在。而且,我现在补充说,手动添加\vspace
并不能解决这个问题。我试过了\vspace{-\baselineskip}
,结果出现了奇怪的情况。如果我没记错的话,看起来示例的第二条非剪切行中有两条叠加的线,然后间距都一样。让我们看看我是否能找到截图。
修复实施后,我验证了这一点.1\baselineskip
并被.5\baselineskip
忽略。\baselineskip
相反,产生了比以前更奇怪的事情:
第一行剪切线被移动以与最后一行重叠前剪切段落的开始,间距问题仍然相同!
笔记
Bernard 的insbox
解决方案(经过一些调整以避免示例标题后的换行)是这个问题的一个可能的实际答案。但是,我还没有接受它,因为我想等着看是否有人可以发布该问题的理论方面,即为什么会发生此问题。以及可能如何修复它,无论cutwin
是否手动调整换行问题。
答案1
我不知道如何使用来解决这个问题,cutwin
但我建议使用一个(几乎)等价于矩形的程序:普通的 TeX 宏包insbox
,它定义了\InsertBoxL
,InsertBoxR
和\InsertBoxC
。这些命令接受两个强制参数:第一个未触及的行数和框的内容,外加一个可选的校正参数(要缩短的补充行数,以防编译器计算不正确)。为了使其工作,您必须在新行开始示例的主体,然后将文本提升 1 \baselineskip 并插入一个与定理标签长度相同的水平间距(以防止覆盖)。这可以通过定义新的定理样式自动完成。
\documentclass[a4paper, italian]{report}
\usepackage[utf8]{inputenc}
\usepackage[T1]{fontenc}
\usepackage{geometry}
\usepackage{amsmath,amssymb,amsfonts, thmtools}
\usepackage{babel} \input{insbox}
\usepackage{eqparbox}
\newtheorem{es}{Esempio}
\newcommand{\s}{\mathcal}
\newcommand{\Wg}{\Omega}
\newcommand{\R}{\mathbb{R}}
\newcommand{\8}{\infty}
\newcommand{\fg}{\varphi}
\newcommand{\sqb}{\relax}
\newcommand{\lbar}{\overline}
\linespread{1.3}
\usepackage{setspace}
\begin{document}
\newcommand\boxstuff{\setstretch{1}\parbox{4cm}{\centering\rule{3cm}{3cm}\medskip \linebreak Il dominio dell'esempio}}
\begin{es}[name=Liscia sulla chiusura ma senza derivate,label=thm:es:LisciaChiusNoDer]
\mbox{} \InsertBoxR{2}{\boxstuff}[3]\vspace*{-\baselineskip}
\noindent\textbf{\hphantom{Esempio 1 (Liscia sulla chiusura ma senza derivate).\hspace*{\dimexpr0.333em-\parindent\relax}}.}
L'esempio è un esempio semplice. Prendete un dominio in $\R^2$. Questo dominio ha una parte saliente vicino all'origine, vicino all'origine assomiglia, il bordo, è uguale al grafico del modulo di $x$. Quindi immaginate il grafico del modulo di $x$ vicino a 0, e poi chiudete il dominio nella maniera più semplice possibile, in maniera liscia però, cioè qui, dove finisce, diciamo, questo dente di sega, partite con una curva liscia, in modo che il bordo sia complessivamente, se facciamo l'eccezione e studiamo <>. Sapete che si possono raccordare una retta e una curva $\s{C}^\8$ senza problé, in modo che risulti una funzione di classe $\s{C}^\8$. D'accordo? Quindi avete questo dominio $\Wg$. Questo dominio $\Wg$, ovviamente, è un dominio Lipschitz, questo lo vedete tutti, perché nei punti diversi dall'origine il bordo è addirittura di classe $\s{C}^\8$, si può descrivere come grafico di una funzione $\s{C}^\8$, vicino all'origine meglio di Lipschitz non si può fare. Adesso prendete la funzione di due variabili $f(x,y)$ data semplicemente da $y$. Ovviamente $f ∈ \s{C}^k(\lbar\Wg)$ per ogni $k$, perché lei è una funzione di classe $\s{C}^\8$, quindi le sue derivate sono $\s{C}^\8$, e chiaramente le sue derivate ristrette a $\Wg$ ammettono un'estensione continua alla chiusura, addirittura ammettono estensione continua a tutto $\R^2$. Però, se adesso andate a descrivere la restrizione al bordo di $f$, questa non è più una funzione differenziabile. Cioè, restringetevi a un intorno <arbitrariamente> piccolo dell'origine, e in questo intorno il bordo è descritto proprio dalla mappa $\fg(x)=|x|$. \sqb{Bla.} Voi dovete pensare che $f$ è definita su tutto $\R^2$, in verità, a valori in $\R$, \sqb{Rat,} supponiamo di fare le derivate, no, allora, mettiamo, derivata rispetto a $x$ in 0, funzione identicamente nulla, è sicuramente una funzione $\s{C}^k(\Wg)$, ma è anche una funzione $\s{C}^k(\lbar\Wg)$, perché la funzione nulla \sqb… in $\Wg$ si può estendere alla funzione nulla in $\lbar\Wg$, ed è, la funzione nulla risulta continua. \sqb{Cell.} Se invece prendete qualunque altra derivata, per esempio rispetto a $y$, viene la funzione 1, la funzione 1 è sicuramente di classe $\s{C}^k$, per ogni $k$, in $\Wg$, ma anche in $\lbar\Wg$, perché si estende ovviamente alla funzione 1 su $\lbar\Wg$, che è di classe $\s{C}^k$. Giusto? Quindi potremmo dire che è di classe $\s{C}^\8$ in $\lbar\Wg$. Se però adesso esprimete $f$ in coordinate locali, usando la mappa $\fg(x)=|x|$, e', avrete che la funzione risultante è la funzione $x\mapsto f(x,|x|)$. Giusto? Cioè la mappa, la mappa $\fg$ che descrive la parte di bordo vicino all'origine è esattamente il modulo di $x$, quindi, diciamo, al posto di $y$ in $f(x,y)$ devo mettere il modulo di $x$, cioè sto scrivendo $f$ in queste coordinate. Sì? Va bene? Ma siccome l'espressione di $f$ è semplicemente $y$, $f(x,|x|)=|x|$, e questa non è differenziabile. Quindi $f$, secondo la nostra definizione, è di classe $\s{C}^k(\lbar\Wg)$ per ogni $k$, ma se vado a esprimere $f$ in coordinate locali, vicino a 0 nella fattispecie, ottengo una funzione che non è nemmeno differenziabile. Va bene? Quindi occhio.%}
\end{es}
\end{document}