วันจันทร์ที่ 13 มกราคม พ.ศ. 2557

ความสัมพันธ์และฟังก์ชัน

คู่อันดับ (Order Pairเป็นการจับคู่สิ่งของโดยถือลำดับเป็นสำคัญ เช่น คู่อันดับ ab จะเขียนแทนด้วย (ab) เรียก a ว่าเป็นสมาชิกตัวหน้า และเรียก b ว่าเป็นสมาชิกตัวหลัง
(การเท่ากับของคู่อันดับ) (ab) = (c, d) ก็ต่อเมื่อ a = c และ b = d
ผลคูณคาร์ทีเชียน (Cartesian Product) ผลคูณคาร์ทีเซียนของเซต A และเซต B คือ เซตของคู่อันดับ (ab) ทั้งหมด โดยที่ a เป็นสมาชิกของเซต A และ b เป็นสมาชิกของเซต B
สัญลักษณ์      ผลคูณคาร์ทีเซียนของเซต A และเซต B เขียนแทนด้วย A x B
หรือ เขียนในรูปเซตแบบบอกเงื่อนไขจะได้ว่า 
ความสัมพันธ์ (Relation)r เป็นความสัมพันธ์จาก A ไป B ก็ต่อเมื่อ r เป็นสับเซตของ A x B
โดเมน (Domain) และ เรนจ์ (พิสัย) (Range)
  1. โดเมน (Domain) ของความสัมพันธ์ r คือ เซตที่มีสมาชิกตัวหน้าของทุกคู่อันดับในความสัมพันธ์ r ใช้สัญลักษณ์แทนด้วย Dr ดังนั้น  Dr = {x | (xy) ε r}
  2.  เรนจ์ (Range) ของความสัมพันธ์ r คือ เซตที่มีสมาชิกตัวหลังของทุกคู่อันดับในความสัมพันธ์ r ใช้สัญลักษณ์แทนด้วย R rดังนั้น  Rr = {y | (xy) ε r}