رابطه نامتقارن
ظاهر
در ریاضیات یک رابطه نامتقارن رابطه ای دوتایی بر روی مجموعه X است که : برای همه a و b در مجموعه X، اگر a با b رابطه دارد، آنگاه b با a رابطه نداشته باشد.[۱]
در نمادگان ریاضی :
برای نمونه، رابطه نابرابری (>) میان اعداد حقیقی: اگر x <y ، آنگاه لزوماً y کوچکتر از x نیست. درحالیکه، رابطه "کوچکتر یا برابر" (≤) نامتقارن نیست چراکه وارونه رابطه x ≤ x می شود x ≤ x و هر دو درست اند. هر رابطه ای که در آن x R x برای برخی از x ها درست باشد، نامتقارن نیست.
عدم تقارن رابطه متقارن نیست: رابطه "کوچکتر یا برابر" نمونه است از رابطه ای که نه متقارن است و نه نامتقارن. رابطه تهی تنها رابطه است که از نظر پوچی هم متقارن است و هم نامتقارن.
ویژگی ها
[ویرایش]- یک رابطه نامتقارن است اگر و تنها اگر پادمتقارن باشد و بازتابی هم نباشد.[۲]
- یک رابطه ترایا نامتقارن است اگر و تنها اگر بازتابی نباشد.[۳]
منابع
[ویرایش]- ↑ Gries, David; Schneider, Fred B. (1993), A Logical Approach to Discrete Math, Springer-Verlag, p. 273.
- ↑ Nievergelt, Yves (2002), Foundations of Logic and Mathematics: Applications to Computer Science and Cryptography, Springer-Verlag, p. 158.
- ↑ Flaška, V.; Ježek, J.; Kepka, T.; Kortelainen, J. (2007). Transitive Closures of Binary Relations I (PDF). Prague: School of Mathematics - Physics Charles University. p. 1. Archived from the original (PDF) on 2 November 2013. Retrieved 30 October 2016. Lemma 1.1 (iv). Note that this source refers to asymmetric relations as "strictly antisymmetric".