رابطه بازتابی

از testwiki
پرش به ناوبری پرش به جستجو

الگو:Stack در ریاضیات، رابطهٔ بازتابی[۱] الگو:به انگلیسی رابطه‌ای است که برای یک مجموعهٔ ناتُهی تعریف می‌شود و به رابطهٔ دوتایی‌ای می‌گویند که همهٔ عناصر مجموعه آن رابطه را با خودشان داشته باشند.[۲]

هر رابطهٔ همانی یک رابطهٔ بازتابی است با این حال هر رابطهٔ بازتابی لزوماً همانی نیست.الگو:Sfn

مثال «1»

اگر A={1,2,3} و رابطهٔ دوتایی R1 به صورت R1={(1,1),(2,2),(2,3),(3,3)} تعریف شود، آنگاه R1 یک رابطهٔ بازتابی خواهد بود. ولی رابطهٔ R2={(1,1),(2,2),(2,3),(3,2)} بازتابی نیست زیرا با وجود اینکه 3A، اما (3,3)R2.الگو:Sfn

ماتریس متناظر با رابطه بازتابی

ماتریس متناظر با رابطه ی بازتابی، ماتریسی است که همه ی درایه های قطر اصلی آن یک باشد. بنابرین ماتریس M = [mi,j] با n سطر و n ستون دارای خاصیت بازتابی است اگر:

mi,j=1 if i=ji,j{1,2,,n}.

مثال «2»

ماتریس M1=[100010011] دارای خاصیت بازتابی است زیرا تمام درایه های قطر اصلی آن یک هستند.ولی ماتریس M2=[100010010] دارای خاصیت بازتابی نیست زیرا تمام درایه های قطر اصلی آن یک نیستند.

گراف متناظر با رابطه بازتابی

گراف متناظر با رابطه ی بازتابی، گرافی است که تمام رئوس آن دارای حلقه (loop) باشد.

مثال «3»

تصویر 1 نشان دهنده ی گرافی است که دارای خاصیت بازتابی است زیرا تمام رئوس آن دارای حلقه است .و تصویر 2 نشان دهنده ی گرافی است که خاصیت بازتابی ندارد زیرا رئوس a,b آن دارای حلقه نمی باشند.

پرونده:Reflexive relation graph.png
تصویر 1
پرونده:Not reflexive relation graph.png
تصویر 2

بستار بازتابی رابطه R

اگر رابطه R دارای خاصیت بازتابی نباشد رابطه ی R که شامل R بوده و خاصیت بازتابی نیز دارد و زیر مجموعه ی هر رابطه ی دیگری که شامل R است نیز باشد بستار بازتابی رابطه ی R نامیده می شود.

مثال «4»

همانطور که در مثال 1 دیدید رابطهٔ R2={(1,1),(2,2),(2,3),(3,2)} بازتابی نیست.حال اگر زوج مرتب (3,3) را به رابطه ی R2 بیفزاییم رابطه ی R2={(1,1),(2,2),(2,3),(3,2),(3,3)} بدست می آید که همان بستار بازتابی رابطه ی R2 نامیده می شود.

جستارهای وابسته

پانویس

الگو:پانویس

منابع

الگو:چپ‌چین

الگو:پایان چپ‌چین