رابطه بازتابی
الگو:Stack در ریاضیات، رابطهٔ بازتابی[۱] الگو:به انگلیسی رابطهای است که برای یک مجموعهٔ ناتُهی تعریف میشود و به رابطهٔ دوتاییای میگویند که همهٔ عناصر مجموعه آن رابطه را با خودشان داشته باشند.[۲]
هر رابطهٔ همانی یک رابطهٔ بازتابی است با این حال هر رابطهٔ بازتابی لزوماً همانی نیست.الگو:Sfn
مثال «1»
اگر و رابطهٔ دوتایی به صورت تعریف شود، آنگاه یک رابطهٔ بازتابی خواهد بود. ولی رابطهٔ بازتابی نیست زیرا با وجود اینکه ، اما .الگو:Sfn
ماتریس متناظر با رابطه بازتابی
ماتریس متناظر با رابطه ی بازتابی، ماتریسی است که همه ی درایه های قطر اصلی آن یک باشد. بنابرین ماتریس M = [mi,j] با n سطر و n ستون دارای خاصیت بازتابی است اگر:
مثال «2»
ماتریس دارای خاصیت بازتابی است زیرا تمام درایه های قطر اصلی آن یک هستند.ولی ماتریس دارای خاصیت بازتابی نیست زیرا تمام درایه های قطر اصلی آن یک نیستند.
گراف متناظر با رابطه بازتابی
گراف متناظر با رابطه ی بازتابی، گرافی است که تمام رئوس آن دارای حلقه (loop) باشد.
مثال «3»
تصویر 1 نشان دهنده ی گرافی است که دارای خاصیت بازتابی است زیرا تمام رئوس آن دارای حلقه است .و تصویر 2 نشان دهنده ی گرافی است که خاصیت بازتابی ندارد زیرا رئوس a,b آن دارای حلقه نمی باشند.
بستار بازتابی رابطه R
اگر رابطه دارای خاصیت بازتابی نباشد رابطه ی که شامل بوده و خاصیت بازتابی نیز دارد و زیر مجموعه ی هر رابطه ی دیگری که شامل است نیز باشد بستار بازتابی رابطه ی نامیده می شود.
مثال «4»
همانطور که در مثال 1 دیدید رابطهٔ بازتابی نیست.حال اگر زوج مرتب را به رابطه ی بیفزاییم رابطه ی بدست می آید که همان بستار بازتابی رابطه ی نامیده می شود.