直積の3つ以上の集合は何と呼ぶ？順序組・順序対の違いと数学的な正しい呼び方

集合論で登場する「直積」は、複数の集合をまとめて扱う重要な概念です。特に2つの集合の直積では「順序対」という呼び方が一般的ですが、3つ以上になると呼び方に迷うことがあります。本記事ではその名称や数学的な考え方を整理します。

直積と順序対の基本的な考え方

2つの集合A, Bの直積A×Bは、(a, b)という形の組の集合です。

このような2つの要素の組は「順序対」と呼ばれ、順番が重要な意味を持ちます。

例えば(a, b)と(b, a)は、通常異なる要素として扱われます。

3つの集合A, B, Cの直積A×B×Cは、(a, b, c)という形の要素の集合です。

このように要素が3つ以上並ぶものは一般に「順序対」ではなく「順序組」や「n-組（n-tuple）」と呼ばれます。

数学的には特に「順序3組」「順序4組」などと一般化されます。

「順序組」という表現は数学的にも自然であり、誤りではありません。

ただし厳密な数学用語としては「n-組（タプル）」という表現の方が一般的です。

高校数学では「順序組」として扱われることも多く、十分通用する表現です。

順序対は「2つの要素」に特化した用語であり、記法や性質が明確に定義されています。

一方で3つ以上になると構造が一般化されるため、n個の要素としてまとめて扱う必要があります。

そのため数学では「ペア」「トリプル」「タプル」という拡張概念が用いられます。

例えば点Pを3次元空間で表す場合、P(x, y, z)は順序3組として扱われます。

これは座標という形で直積R×R×Rの要素になっています。

このように順序組は幾何学や解析でも広く使われています。

3つ以上の直積の要素は一般に「順序組」または「n-組（タプル）」と呼ばれます。

「順序対」は2要素に限定された用語であり、3つ以上には拡張できません。

したがって「順序組」という表現は自然であり、数学的にも問題なく使用できます。