順序組

この項目では、数学について説明しています。計算機科学については「タプル」をご覧ください。

数学における順序組（じゅんじょぐみ、英: ordered tuplet, ordered list etc.）あるいは単に組 (tuple, tuplet etc.) とは、通常は有限な長さの列を言う。特に非負整数 n に対して、n 個の対象を順番に並べた（あるいは番号付けた）ものは n-組 (n-tuple) と呼ぶ（このとき、並べられた対象のことは、この n-組の「要素」や「成分」などと呼ぶ）。

• 0-組はただ一つ存在して「何も並べないこと」を意味するが、文脈によりそれは空集合や、空列や、空リストなどと呼ばれる。
• 1-組（あるいは一つ組）は定義により、ただ一つの元からなる集合、ただ一つの項からなる列、ただ一つの点からなる空間などであって、それはそのそれぞれのただ一つの要素であるところの元、項、点などとは厳密には異なるが、にも拘らず多くの場合においてその唯一の要素と同一視して、あるいはそれら要素自身を指す意味で用いられる。
• 2-組（あるいは二つ組, couple）は特に対 (pair) または順序対 (ordered pair) という特別な呼称を持つ。^{[注釈 1]}
• 小さい n に対する n-組はしばしば、3-組を「三つ組」(triple)、4-組を「四つ組」(quadruple) などのように呼ぶこともある。

任意の長さ n に対する n-組は、順序対の構成を帰納的に用いて定義できる。順序組はふつう、要素をコンマで区切って書き並べたものを丸括弧 "()" で括る。例えば (2, 7, 4, 1, 7) は五つ組である。要素を括る約物は、ときどき角括弧 "[]" や山括弧 "⟨⟩" や場合によっては 波括弧 "{}" を使うこともある。特に波括弧は（歴史的な経緯で、数列や点列を扱う文脈などではしばしば用いられるが）標準的な集合を表す記法と紛らわしいため注意すべきである。

順序組はベクトルなどほかの数学的対象を記述するのにも用いられる。計算機科学や言語学^[1]、哲学^[2]などにおいても順序組は用いられる。

もっとも重要な一般規則（順序組の定義性質）として、二つの n-組が相等しい:

${\displaystyle (a_{1},a_{2},\ldots ,a_{n})=(b_{1},b_{2},\ldots ,b_{n})}$

とは、a₁ = b₁ かつ a₂ = b₂ かつ … かつ a_n = b_n を満たすことが必要十分である。

したがって順序組は、以下の如く集合とは異なる性質を持つことに注意すべきである:

1. 順序組は同じ要素を複数持ち得る: 組として (1, 2, 2, 3) ≠ (1, 2, 3) だが、集合では {1, 2, 2, 3} = {1, 2, 3} である。
2. 順序組は要素の順番を変えてはならない: 組として (1, 2, 3) ≠ (3, 2, 1) だが、集合では {1, 2, 3} = {3, 2, 1} である。

順序組は前節の「性質」を持つものとして定義される。そのような定義の仕方はいくつか存在する。

集合を扱える文脈において、n-組は、以下のような写像 F: X → Y と見なすことができる。すなわち、その定義域 X は組の各要素を指し示す陰伏的な添字の集合（添字集合）で、終域 Y は要素の順序組すべての成す集合である。集合論の言葉では

${\displaystyle (a_{1},a_{2},\dots ,a_{n}){\stackrel {\text{def}}{{}\iff {}}}(X,Y,F)}$

where:

${\displaystyle {\begin{aligned}X&=\{1,2,\dots ,n\}\\Y&=\{a_{1},a_{2},\ldots ,a_{n}\}\\F&=\{(1,a_{1}),(2,a_{2}),\ldots ,(n,a_{n})\}.\\\end{aligned}}}$

より直観的な書き方をすれば、

${\displaystyle (a_{1},a_{2},\dots ,a_{n}){\stackrel {\text{def}}{{}={}}}(F(1),F(2),\dots ,F(n))}$

と定義されるということである。

集合論における順序対のモデル化は順序対を用いても定義できる。ただし、順序対は既に定義されているものとする（そして、順序対は二つ組である）。

1. 0-組（空組）は空集合 ∅ とする。
2. n > 0 に対する n-組は、初項と (n − 1)-組との順序対 $${\displaystyle (a_{1},a_{2},a_{3},\ldots ,a_{n}):=(a_{1},(a_{2},a_{3},\ldots ,a_{n}))}$$ と定める。

この構成を (n − 1)-組に対しても帰納的に適用して、最終的に

${\displaystyle (a_{1},a_{2},a_{3},\ldots ,a_{n}){\stackrel {\text{def}}{{}={}}}(a_{1},(a_{2},(a_{3},(\ldots ,(a_{n},\emptyset )\ldots )))).}$

同様の仕方で、要素を後ろに追記していく形に定義することもできる:

1. 0-組 ∅;
2. n > 0 に対して ${\displaystyle (a_{1},a_{2},a_{3},\ldots ,a_{n}):=((a_{1},a_{2},a_{3},\ldots ,a_{n-1}),a_{n}).}$

したがって帰納的に

${\displaystyle (a_{1},a_{2},a_{3},\ldots ,a_{n}){\stackrel {\text{def}}{{}={}}}((\ldots (((\emptyset ,a_{1}),a_{2}),a_{3}),\ldots ),a_{n}).}$

さて集合論において、順序対は集合として定義される（例えばクラトフスキーの定義）から、順序対による順序組の定義も集合によって定式化できる:

1. 0-組 ∅;
2. n-組 x = (a₁, a₂, …, a_n) と右に追加される要素 b に対し、${\displaystyle (a_{1},a_{2},\ldots ,a_{n},b):=\{\{x\},\{x,b\}\}}$

離散数学、特に初等組合せ論および有限確率論において、n-組は様々な数え上げ問題において、長さ n の（あまり形式ばらない意味での）要素の並びを表すために用いられる^[3]。m-元集合から要素をとって作られる n-組は重複順列 (arrangement with repetition) と呼び、その総数は mⁿ 個である。これは組合せ論における積の法則からわかる^[4]。この数は位数 m の有限集合 S の n-重デカルト積 S × S × ⋯ × S（この直積集合の元は考えている重複順列 (n-組) のことに他ならない）の位数に等しい。

プログラミング言語に広く用いられる型理論において、順序組は直積型（英語版）を持つ（これは組の長さも各成分のもつ型も固定しない意味で言う）。形式的には

${\displaystyle (x_{1},x_{2},\ldots ,x_{n}):{\mathsf {T}}_{1}\times {\mathsf {T}}_{2}\times \ldots \times {\mathsf {T}}_{n}}$

であり、射影は項構成子:

${\displaystyle \pi _{1}(x):{\mathsf {T}}_{1},~\pi _{2}(x):{\mathsf {T}}_{2},~\ldots ,~\pi _{n}(x):{\mathsf {T}}_{n}}$

である。関係モデルで用いられるラベル付き要素の順序組はレコード型を持つ。これらの型は単純型付きラムダ計算の単純拡大として定義できる^[5]。

型理論における順序組の概念と集合論における順序組の概念には以下のような関係がある: 型理論の自然なモデルを考えれ、意味論的解釈にスコット括弧を用いれば、適当な集合 ${\displaystyle S_{1},S_{2},\ldots ,S_{n}}$（ここでイタリックは集合をあらわし、その型特別するために用いることに注意）からなるモデルとして

${\displaystyle [\![{\mathsf {T}}_{1}]\!]=S_{1},~[\![{\mathsf {T}}_{2}]\!]=S_{2},~\ldots ,~[\![{\mathsf {T}}_{n}]\!]=S_{n}}$

および基本項の解釈が

${\displaystyle [\![x_{1}]\!]\in [\![{\mathsf {T}}_{1}]\!],~[\![x_{2}]\!]\in [\![{\mathsf {T}}_{2}]\!],~\ldots ,~[\![x_{n}]\!]\in [\![{\mathsf {T}}_{n}]\!]}$

とすれば、この型理論における n-組は集合論における n-組として自然な解釈^[6]

${\displaystyle [\![(x_{1},x_{2},\ldots ,x_{n})]\!]=(\,[\![x_{1}]\!],[\![x_{2}]\!],\ldots ,[\![x_{n}]\!]\,)}$

を持つ。ユニット型（英語版）は 0-組を意味論的解釈に持つ。

• タプル
• アリティ
• 指数対象
• 形式言語
• 素数k組（英語版）: 双子素数、三つ子素数、……
• 多項関係

• tuple in nLab
• Weisstein, Eric W. "n-Tuple". mathworld.wolfram.com (英語).
• ordered tuplet - PlanetMath.（英語）
• Hazewinkel, Michiel, ed. (2001), “Tuple”, Encyclopedia of Mathematics, Springer, ISBN 978-1-55608-010-4, https://www.encyclopediaofmath.org/index.php?title=Tuple 

表 話 編 歴 集合論
基本	集合 元 包含関係 内包と外延 クラス ベン図
演算	和集合 非交和 共通部分 素集合 直積集合 分割 補集合 差集合 対称差 冪集合 ド・モルガンの法則 集合の代数学
関係	性質 反射関係 推移関係 推移閉包 対称関係 非対称関係 反対称関係 完全関係 同値関係 同値類 well-defined 整礎関係 逆関係 関係の合成 写像 定義域 終域 値域 単射 全射 全単射 逆写像 像と逆像 恒等写像 制限 包含写像 合成 射影 商写像 指示関数 配置集合 族 添字集合 順序対 順序組 列 集合族 グラフ 部分写像 対応 順序 前順序 有向 半順序 全順序 整列 稠密 有界 単調写像 順序同型 辞書式順序 順序型 推移的集合 順序数 0 後続 極限 自然数 ハッセ図 超限帰納法 ツォルンの補題 整列可能定理 整礎的集合 フォン・ノイマン宇宙
濃度	有限集合 空集合 単集合 遺伝的 可算集合 非可算集合 連続体濃度 始順序数 共終数 基数 正則 到達不能 巨大 一覧 ベルンシュタインの定理 カントールの対角線論法 カントールの定理 連続体仮説
公理化	素朴集合論 ラッセルのパラドックス 公理的集合論 ツェルメロ＝フレンケル集合論 フォン・ノイマン＝ベルナイス＝ゲーデル集合論 モース-ケリー集合論 新基礎集合論 外延性の公理 空集合の公理 分出公理 対の公理 和集合の公理 冪集合公理 置換公理 無限公理 正則性公理 選択公理 可算 従属
研究者	ゲオルク・カントール リヒャルト・デーデキント バートランド・ラッセル エルンスト・ツェルメロ アドルフ・フレンケル ジョン・フォン・ノイマン クルト・ゲーデル ポール・コーエン
カテゴリ