縦棒（|）：記号、数学・組版における用途

数学における意味

数学において、縦棒にはいくつかの標準的な解釈があります。実数または複素数の両側に1本ずつ置かれる場合、絶対値を表します。実数では|x|と書き、複素数に対しては大きさを示すように拡張されます。この概念はしばしば絶対値の項目で扱われます。同じ1本の縦棒で正方配列を囲む場合は、行列そのものではなく、その行列式を表すことが多くあります。行列式は、行列の特定の線形的性質を要約するスカラーであり、角括弧の代わりに縦棒で表記されることがあります（行列式）。

2つの整数の間に置くと、この記号は整除関係を表します。整数a、bについて、a | b は「aはbを割り切る」、すなわちbはaの倍数であることを意味します。この用法は初等整数論でよく見られ、3 | 12のような簡単な例で説明されることがあります。

二重縦棒と関連する表記

二重縦棒（‖ … ‖）は、異なるものの関連した概念に用いられます。代表的な用法はベクトルのノルムであり、ベクトルに非負の大きさを与える長さの一般化を表します。ベクトルvに対しては、しばしば‖v‖と書かれます。また二重縦棒は幾何学で、2本の直線または線分が平行であることを示す場合にも使われ、多くの教科書ではℓ1 ∥ ℓ2のように表記されます。

コンピューティング、プログラミング、パイプ

数学以外でも、縦棒はコンピューティングで重要な役割を担います。コマンドライン環境や多くのプログラミング言語ではパイプと呼ばれ、あるプロセスの出力を別のプロセスの入力として渡すために使われます。論理学や集合の表記では、区切り記号または条件を示す記号として機能することがあります。たとえば{x | property(x)}では、縦棒は「…であるような」と読みます。組版やマークアップでは、細い縦長の形が視覚的に目立ちにくいため、区切り文字として用いられることもあります。

組版、歴史、区別

組版上、縦棒は破断縦棒（¦）、小文字のl（l）、数字の1（1）などの似た文字とは区別されます。注意深く設計されたフォントと適切な字間は、こうした混同を避ける助けになります。現代のキーボード上の縦棒の正確な起源は、印字可能な記号を限られた数だけ採用し、縦棒に現在の符号位置を割り当てたタイプライターや初期のコンピュータ文字セットと結び付いています。1本の縦棒と二重縦棒などの異体があり、それぞれ分野によって異なる慣習的な意味を持ちます。

要約と例

• 絶対値：複素数または実数zに対する|z|。
• 行列式：正方行列Aに対する|A|。det(A)を意味する表記として用いられることがあります。
• 整除：a | b は「aはbを割り切る」と読みます。
• ノルムと平行性：‖v‖およびℓ1 ∥ ℓ2。

縦棒は簡潔で多用途な記号であり、その解釈は周囲の記法に強く依存します。実際の用法をすぐに確認するには、代数学、線形代数学、またはコマンドラインプログラミングの入門書が参考になります。より詳しい議論は、分野別の資料やスタイルガイドに見られます。

さらに調べる際には、シェルやプログラミングにおけるパイプ演算子、バーと類似字形との組版上の違い、ノルムと絶対値の比較が、よく扱われる関連事項です。

参考文献としては、数学およびコンピューティングにおける記号と表記法の一般的な資料を参照してください。この字形とその異体は、多くの記号表や組版ガイドに掲載されています（字形、表記法）。