☰

等式中的一段文字

tag-icon • tag-icon math-mode
等式中的一段文字

用语言描述我的问题有点困难，所以让我从一个代码示例开始：

 \documentclass[10pt]{amsart}
 \begin{document}

    \[
    \begin{array}{cccc}
    Y(N)_{\mathbf Z[\frac 1 N]} : & \mathbf Z[\frac 1 N]- Sch & \longrightarrow & Ens \\
                                  & T                         & \longmapsto       & \left\{ \begin{split}\text{Classes d'isomorphismes de paires $(E,\varphi)$ o\`u}\\ \text{ $E$ est une courbe elliptique sur $T$ et} \\ \text{ $\varphi : (\mathbf Z/N\mathbf Z)_T \to E[N]$ est}\\ \text{ un isomorphisme de sch\'emas en groupes sur $T$} \end{split}  \right \}
    \end{array}
    \]
    \end{document}

基本上，我试图将一段文本放入一个等式中。我可以使用 split 来做到这一点，但随后我必须手动选择在哪里拆分它 + 这看起来很糟糕（参见上面的代码）。我想要一个可以完美且自动地拆分所有内容的解决方案。

答案1

您可以使用varwidth来自动换行，并且不会在右括号处留出多余的空格。当然，这假设您确实希望在显示中显示较长的文本描述，我不建议这样做。

玩弄相对宽度：第一个有一大堆单词，但至少其他符号不会相对于它消失。

\documentclass[10pt]{amsart}
\usepackage[T1]{fontenc}
\usepackage[utf8]{inputenc}
\usepackage[french]{babel}

\usepackage{array,varwidth}

\newcommand{\numberset}[1]{\mathbf{#1}}
\newcommand{\Z}{\numberset{Z}}

\begin{document}

\begin{align*}
Y(N)_{\Z[\frac{1}{N}]}\colon 
  \Z\Bigl[\frac{1}{N}\Bigr]\textup{-Sch} & \to \textup{Ens} \\
  T                                 & \mapsto
\left\{
  \begin{varwidth}{.4\displaywidth}
  \raggedright
  Classes d'isomorphismes de paires $(E,\varphi)$ o\`u $E$ est une courbe 
  elliptique sur $T$ et $\varphi\colon (\Z/N\Z)_T \to E[N]$ est un
  isomorphisme de sch\'emas en groupes sur $T$
  \end{varwidth}
\right \}
\end{align*}

\begin{align*}
Y(N)_{\Z[\frac{1}{N}]}\colon 
  \Z\Bigl[\frac{1}{N}\Bigr]\textup{-Sch} & \to \textup{Ens} \\
  T                                 & \mapsto
\left\{
  \begin{varwidth}{.5\displaywidth}
  \raggedright
  Classes d'isomorphismes de paires $(E,\varphi)$ o\`u $E$ est une courbe 
  elliptique sur $T$ et $\varphi\colon (\Z/N\Z)_T \to E[N]$ est un
  isomorphisme de sch\'emas en groupes sur $T$
  \end{varwidth}
\right \}
\end{align*}

\begin{align*}
Y(N)_{\Z[\frac{1}{N}]}\colon 
  \Z\Bigl[\frac{1}{N}\Bigr]\textup{-Sch} & \to \textup{Ens} \\
  T                                 & \mapsto
\left\{
  \begin{varwidth}{.6\displaywidth}
  \raggedright
  Classes d'isomorphismes de paires $(E,\varphi)$ o\`u $E$ est une courbe 
  elliptique sur $T$ et $\varphi\colon (\Z/N\Z)_T \to E[N]$ est un
  isomorphisme de sch\'emas en groupes sur $T$
  \end{varwidth}
\right \}
\end{align*}

\end{document}

在此处输入图片描述

将变量置于地图域的中心是不可能的：它看起来好像悬在空中。还要避免使用\longrightarrow和\longmapsto：它们太长，除了占用宝贵的空间外，没有任何作用。

答案2

我建议你不要这么做。相反，使用某个名称（约定）表示态射的图像，然后解释其含义（我选择了Y(N)_{T}，但将其更改为更适合你的名字）：

 \documentclass[10pt]{amsart}
 \begin{document}

\begin{align*}
Y(N)_{\mathbf{Z}[\frac{1}{N}]} \colon 
  \mathbf Z\Bigl[\frac{1}{N}\Bigr]\textrm{-Sch} &\longrightarrow \textrm{Ens} 
\\
T &\longmapsto  Y(N)_{T},
\end{align*}
where $Y(N)_{T}$ is the set of classes d'isomorphismes de paires $(E,\varphi)$ o\`u $E$ est une courbe elliptique sur $T$ et $\varphi \colon (\mathbf Z/N\mathbf Z)_T \to E[N]$ est un isomorphisme de sch\'emas en groupes sur $T$.

\end{document}

结果：

在此处输入图片描述

我做了一些其他的修改：

  • 为了在定义态射时获得适当的冒号间距，您应该使用\colon而不是仅仅:。

  • 我改变了align*使用箭头作为对齐点的环境。

  • 我用于\textrm“Sch”和“Ens”。

如果您inputenc使用适当的编码：utf8选项加载，例如：

\usepackage[utf8]{inputenc}

您可以直接从键盘输入法语重音和特殊字母。

相关内容