2001年度情报数学-GOTOLaboratory.ppt

関係 (relation) 集合Ａの要素aとＢの要素bとが、ある条件Ｒを満たすとき「Ｒの関係にある」といい、aRb と書く。 Ｒの関係にある要素の対a,bの全体は 直積ＡＸＢの部分集合　　　　　　　　　　　と同一視できる。 例：二つの実数の関係 　　は，集合　　　　　　　　　　　のことである。 n項関係 x と y が関係 R を満たす、つまり のとき、良く と書く (infix notation)。これは二項関係。 集合ＡからＢへの関数 f (写像) のグラフは、直積　　　の部分集合であり、一つの二項関係である。Ａの要素aの関数 f による像 f(a)は A と A の間の関係を A 上の関係ともいう。 前出の例題「ジャンケンの関係」 3 項以上の関係もある。 例: a氏がb氏にcというメールを出した a,b,c 例: 夫aと妻bには子供cがいるa,b,c 二項関係の性質 二項関係　　　　　においては、次の性質が基本的 反射律 推移律 対称律 反対称律 関係Ｒが反射律を満たすとき、Ｒは反射的という。 例： Ｎ上の大小関係　は反射的、推移的、反対称的 平面上の二直線の平行関係は反射的、推移的、対称的 同値関係 (equivalence relation) 反射的、推移的、対称的な関係を同値関係という 例