☰

为什么花括号和中间的横线没有变大？

tag-icon • tag-icon amsmath braces
为什么花括号和中间的横线没有变大？

我有以下代码：

\documentclass[11pt]{article}
\usepackage{amssymb,amsthm,amsmath}
\newcommand{\abs}[1]{\lvert #1 \rvert}
\newcommand{\N}{\mathbb N}
\newcommand{\K}{\mathbb K}

\begin{document}
\begin{displaymath}
l^2 = \{x \doteqdot (x_n)_n \in \K^{\N_0}\mid \sum_{n=1}^{\infty}\abs{x_n}^2 < +\infty\}
\end{displaymath}
\end{document}

我希望花括号和横线mid变得更大（它们应该具有与总和相同的高度），但它们不想放大。

我做错了什么？

答案1

这是一个不依赖于\left、\middle和的解决方案\right（因为它们产生的“栅栏”是太大了（用于手头的等式）。相反，我建议使用\biggl\{、\biggm|和\biggr\}。请注意，符号周围的间距\biggm|与小符号的间距相同\mid。

有关何时的更多信息不是要使用自动调整大小的栅栏，请参见使用 \left 和 \right 是否有坏处？。

在此处输入图片描述

\documentclass[11pt]{article}
\usepackage{amssymb,amsthm,amsmath}
\newcommand{\abs}[1]{\lvert #1 \rvert}
\newcommand{\N}{\mathbb N}
\newcommand{\K}{\mathbb K}
\begin{document}
\begin{displaymath}
l^2 = \biggl\{ x \doteqdot (x_n)_n \in \K^{\N_0} \biggm| 
          \sum_{n=1}^{\infty}\abs{x_n}^2 < +\infty \biggr\}
\end{displaymath}
\end{document}

附录：从 LaTeX 设计理念的角度来看，与其在代码中直接使用诸如\biggl\{、\biggm|和之类的宏进行准可视化格式化，不如设置名为 和 的宏，它们定义“集合”（花括号……）的外观和表示条件信息的符号（竖线）的外观。使用\biggr\}\Set\given数学工具包（双关语；请参阅用户指南第 26 页）。请注意，符号后允许换行\given。（没有提供屏幕截图，因为结果与上面显示的相同；只是输入语法完全不同，而且我认为更容易解析。）

\documentclass[11pt]{article}
\usepackage{mathtools} % mathtools loads amsmath in the background
\DeclarePairedDelimiter{\abs}{\lvert}{\rvert} % a modified definition of \abs
\usepackage{amssymb}
\newcommand{\N}{\mathbb N}
\newcommand{\K}{\mathbb K}

%% See p. 26 of the user guide of the mathtools package for the next few macros
\providecommand\given{}  % just to make sure it exists
\newcommand\SetSymbol[1][]{\nonscript\:#1\vert\nonscript\:\allowbreak}
\DeclarePairedDelimiterX\Set[1]\lbrace\rbrace{%
  \renewcommand\given{\SetSymbol[\delimsize]}#1}

\begin{document}
\[
l^2 = \Set[\bigg]{ x \doteqdot (x_n)_n \in \K^{\N_0} \given
                   \sum_{n=1}^{\infty}\abs{x_n}^2 < +\infty }
\]
\end{document}

答案2

对于大括号，您想要使用\left\{and \right\}...大括号本身仍然需要转义。

中间的条件栏可以用\relmiddle来自的新命令给出这里。

例如：

\documentclass[11pt]{article}
\usepackage{amssymb,amsthm,amsmath}
\newcommand{\abs}[1]{\lvert #1 \rvert}
\newcommand{\N}{\mathbb N} %Natuurlijke getallen
\newcommand{\K}{\mathbb K} %Reële of complexe getallen

\newcommand{\relmiddle}[1]{\mathrel{}\middle#1\mathrel{}}

\begin{document}
\begin{displaymath}
l^2 = \left\{x \doteqdot (x_n)_n \in \K^{\N_0} \relmiddle|  \sum_{n=1}^{\infty}\abs{x_n}^2 < +\infty\right\}
\end{displaymath}
\end{document}

方程

答案3

基于包\DeclarePairedDelimiter中的的 解决方案mathtools。我还使用了一个非常简单的语法：x 的集合，xparse使得 P(x) 使用命令排版\Set{x;P(x)}。为了微调分隔符的大小，您可以使用\set可选参数： \big、\Big或。\bigg\Bigg

我还记得mathtools Abs \Norm` 命令中的\abs定义。normdocumentation. They have an optional argument, and therere is sim![enter image description here][1]ilarly anand a

\documentclass[12pt]{article}
\usepackage[utf8]{inputenc}
\usepackage{amssymb}
\usepackage{fourier}
\usepackage{array}
\usepackage{mathtools}
\newcommand{\N}{\mathbb N}
\newcommand{\K}{\mathbb K}

\DeclarePairedDelimiter{\abs}{\lvert}{\rvert}%% variable sized absolute value
\def\Abs{\abs*}
\DeclarePairedDelimiter{\norm}{\lVert}{\rVert}%% variable sized norm
\def\Norm{\norm*}

\usepackage{xparse}
%
\DeclarePairedDelimiterX{\set}[1]{\{}{\}}{\setargs{#1}}
\NewDocumentCommand{\setargs}{>{\SplitArgument{1}{;}}m}
{\setargsaux#1}
\NewDocumentCommand{\setargsaux}{mm}
{\IfNoValueTF{#2}{#1} {#1\,\delimsize|\,#2}}%{#1\:;\:#2}
\def\Set{\set*}%

\begin{document}

\begin{center}
\renewcommand{\arraystretch}{2}
 \begin{tabular}{r >{$\displaystyle}l<{$}}%
\verb+ \Set, \Abs+ : &l^2 = \Set{x \doteqdot (x_n)_n \in \K^{\N_0} ; \sum_{n=1}^{\infty}\Abs{x_n}^2 < +\infty} \\
\verb+ \set, \abs+ : & l^2 = \set{x \doteqdot (x_n)_n \in \K^{\N_0} ; \sum_{n=1}^{\infty}\abs{x_n^2} < +\infty} \\
\verb+ \set[\big]+ : & l^2 = \set[\big]{x \doteqdot (x_n)_n \in \K^{\N_0} ; \sum_{n=1}^{\infty}\abs[big]{x_n}^2 < +\infty} \\
\verb+ \set[\Big]+ : & l^2 = \set[\Big]{x \doteqdot (x_n)_n \in \K^{\N_0} ; \sum_{n=1}^{\infty}\abs[\Big]{x_n}^2 < +\infty} \\
\verb+ \set[\bigg]+ : & l^2 = \set[\bigg]{x \doteqdot (x_n)_n \in \K^{\N_0} ; \sum_{n=1}^{\infty}\abs[\bigg]{x_n}^2 < +\infty} \\
\verb+ \set[\Bigg]+ : & l^2 = \set[\Bigg]{x \doteqdot (x_n)_n \in \K^{\N_0} ; \sum_{n=1}^{\infty}\abs[\Bigg]{x_n}^2 < +\infty} \\
 & \Set{\Abs{\dfrac{a}{b}}}_{b\neq 0}
\end{tabular}
\end{center}

\end{document}

在此处输入图片描述

相关内容