推移関係

この記事は英語版の対応するページを翻訳することにより充実させることができます。(2024年5月)

翻訳前に重要な指示を読むには右にある[表示]をクリックしてください。

英語版記事を日本語へ機械翻訳したバージョン(Google翻訳)。
万が一翻訳の手がかりとして機械翻訳を用いた場合、翻訳者は必ず翻訳元原文を参照して機械翻訳の誤りを訂正し、正確な翻訳にしなければなりません。これが成されていない場合、記事は削除の方針G-3に基づき、削除される可能性があります。
信頼性が低いまたは低品質な文章を翻訳しないでください。もし可能ならば、文章を他言語版記事に示された文献で正しいかどうかを確認してください。
履歴継承を行うため、要約欄に翻訳元となった記事のページ名・版について記述する必要があります。記述方法については、Wikipedia:翻訳のガイドライン#要約欄への記入を参照ください。
翻訳後、{{翻訳告知|en|Transitive relation|...}}をノートに追加することもできます。
Wikipedia:翻訳のガイドラインに、より詳細な翻訳の手順・指針についての説明があります。

推移関係(すいいかんけい、英: Transitive relation)は、数学における二項関係の一種。集合 X の二項関係 R が推移的であるとは、Xの任意の元 a、b、c について、a と b に R が成り立ち、b と c に R が成り立つとき、a と c にも R が成り立つことをいう。推移的関係とも。

一階述語論理でこれを表すと、次のようになる。

\forall a,b,c\in X,\ a,円R,円b\land b,円R,円c\;\Rightarrow a,円R,円c

{\displaystyle \forall a,b,c\in X,\ a,円R,円b\land b,円R,円c\;\Rightarrow a,円R,円c}

推移関係の数え上げ

[編集 ]

他の関係とは異なり、ある有限集合における推移関係の数を数える一般的方法は存在しない(N個のノードにおける推移関係数の数列)^[1]。しかし、同時に反射的で対称的な関係の数を数える方法は定式化されている(N個の番号付きボールをN個の区別の無い箱に入れる組み合わせ)。また、対称的で推移的な場合、対称的な場合、非推移的な場合、完全かつ推移的で非対称的な場合についても定式化されている。Pfeiffer による研究があり、これらの属性の組み合わせの関係数を定式化した^[2]。しかし、個々の属性の関係を数えることはまだ困難とされている。

例

[編集 ]

例えば、 $x=y$ {\displaystyle x=y} でかつ $y=z$ {\displaystyle y=z} であれば、 $x=z$ {\displaystyle x=z} である。以下は推移関係である。

$x=y$ {\displaystyle x=y}( $x$ {\displaystyle x} と $y$ {\displaystyle y} は等しい)
$x<y$ {\displaystyle x<y}( $x$ {\displaystyle x} は $y$ {\displaystyle y} より小さい)
$x\leq y$ {\displaystyle x\leq y}( $x$ {\displaystyle x} は $y$ {\displaystyle y} 以下である)
$x$ {\displaystyle x} は $y$ {\displaystyle y} で割り切れる
$S\subset T$ {\displaystyle S\subset T}( $S$ {\displaystyle S} は $T$ {\displaystyle T} の部分集合である)
$p\rightarrow q$ {\displaystyle p\rightarrow q}( $p$ {\displaystyle p} ならば $q$ {\displaystyle q} である)
A は B の祖先である