增加符号“|”的大小

Question

我正在使用 LyX，并且尝试创建一个大的|，如下图所示：

如果我将使用：

G=\left\{ \begin{pmatrix}t & 0\\
0 & \frac{1}{t}
\end{pmatrix}|t\in\mathbb{R}^{\times}\right\}

我会得到：

是否可以|不使用任何外部模块来使符号变大？

Answer 1

您可以使用\middle|，并且必须在右侧和左侧添加一些水平间距。

即使您不想使用外部包模块，我建议使用DeclarePairedDelimiterfrom mathtools（它只是 的扩展amsmath，它负责处理所有间距问题和加载xparse以简化语法（两个参数都用 分隔;）。下面是每个解决方案的代码：

\documentclass{article}
\usepackage{xparse, mathtools, amsfonts}

\DeclarePairedDelimiterX{\set}[1]\{\}{\setargs{#1}}
\NewDocumentCommand{\setargs}{>{\SplitArgument{1}{;}}m}
{\setargsaux#1}
\NewDocumentCommand{\setargsaux}{mm}
{\IfNoValueTF{#2}{#1}{\nonscript\,#1\nonscript\;\delimsize\vert\nonscript\:\allowbreak #2\nonscript\,}}

 \begin{document}

\[ G=\left\{ \begin{pmatrix}t & 0\\
0 & \frac{1}{t}
\end{pmatrix}\,\middle|\, t\in\mathbb{R}^{\times}\right\} \]
\bigskip

\[ G=\set*{ \begin{pmatrix}t & 0\\
0 & \frac{1}{t}
\end{pmatrix} ; t\in\mathbb{R}^{\times}} \]

 \end{document}

Answer 2

首先，我会使用内联分数表示法，1/t而不是，\frac{1}{t}以便更紧凑地排版矩阵。如果您可以使用psmallmatrix而不是pmatrix，那么您可以使用\bigl(、\bigm|（或\bigm\vert）和\bigr)。如果您更喜欢使用pmatrix，请使用\biggl(、\biggm|和\biggr)。

观察\biggm|自动在竖线周围添加印刷所需的空格量。这与\bigg|不插入空格的形成对比。

\documentclass{article}
\usepackage{mathtools} % for 'psmallmatrix' env.
\usepackage{amssymb}   % for '\mathbb' macro
\begin{document}
\begin{align*}
G&=\bigl\{ 
\begin{psmallmatrix} t & 0\\ 0 & 1/t \end{psmallmatrix} 
\bigm| 
t\in\mathbb{R}^{\times} 
\bigr\} \\
&=\biggl\{ 
\begin{pmatrix} t & 0\\ 0 & 1/t \end{pmatrix} 
\biggm| 
t\in\mathbb{R}^{\times} 
\biggr\}
\end{align*}
\end{document}

Answer 3

我认为这不是 Lyx 特有的问题。这对您有用吗？

\documentclass{article}

\usepackage{amsmath}

\begin{document}

$
G=\left\{
\left. %ADDED (as a blank bracket)
\begin{pmatrix}
t & 0\\
0 & \frac{1}{t}
\end{pmatrix}
\right| %ADDED (as expandable bracket)
t\in\mathbb{R}^{\times}\right\}
$

\end{document}

其工作方式是将另一组括号括在环境周围pmatrix。第一个是空的 ( \left.)，而您将当前括号替换|为配套的右括号 ( \right|)。这允许它自动匹配高度。

Answer 4

我不确定是否array可以用，但这很简单。

\documentclass{article}
\usepackage{amsmath,amsfonts}    
\begin{document}

\[
G=\left\{\begin{array}{@{}c|c@{}}
\begin{pmatrix} t & 0\\ 0 & \frac1t \end{pmatrix} & t\in\mathbb{R}^\times
\end{array}\right\}
\]

\end{document}