موضوع مقاله: رابطه دوتایی | مخاطب: عمومی | لحن: دانشنامه‌ای | ساختار: عنوان، مقدمه، 3 بخش، جمع‌بندی | مقاله: | # رابطه دوتایی | مقدمه: یک مثال می‌شود رابطهٔ تقسیم بین مجموعه اعداد اول R و اعداد صحیح z که در آن هر عدد اول به چند عدد صحیح که مضارب آن عدد اول هستند مربوط می‌شود (و با بقیهٔ اعداد که مضرب همان عدد اول نیستند رابطه ندارد). | ## بخش 1: رابطه دوتایی | در این رابطه برای نمونه عدد اول ۲ به همهٔ اعداد زوج که بر ۲ بخش‌پذیرند رابطه دارد مثلاً ۱۰ و ۶ ولی با ۵ و ۹ رابطه ندارد. رابطهٔ دوتایی برای بیش‌تر شاخه‌ها در ریاضیات کاربرد دارد برای مثال برای مدل‌سازی مفاهیمی چون: "بزرگتر" و"تساوی" و "تقسیم" در حساب و تجانس در علم هندسه و... تعریف یک رابطه دوتایی معمولاً به شکل یک سه تایی (X,Y,G ) تعریف می‌شود که X,Y دو مجموعه دلخواه هستند و G یک زیر مجموعه از ضرب دکارتی X*Y دو مجموعه X,Y به ترتیب دامنه و هم‌دامنه نامیده می‌شوند و G گراف. نمادگذاری آخر برای نشان دادن مشخصه‌های تابع روی X,Y برای مجموعه جفت‌های (X,Y ) است. یک رابطه به شکل یک سه‌تایی (X,Y,G) تعریف می‌شود که معمولاً به جای مفهوم تناظر به کار می‌رود. بر اساس تعریف بالا دو رابطه با یک گراف یکسان و دامنه و برد متفاوت دو رابطهٔ متفاوت در نظر گرفته می‌شوند. مخصوصاً در نظریه مجموعه‌ها رابطه دوتایی معمولاً بر پایه جفت‌های داده شده یا گراف مورد نظر شناخته می‌شود. دامنهٔ یک رابطه دوتایی R بر پایه تمامی Xهایی تعریف می‌شود که حداقل یک عضو با این عدد رابطه داشته باشد. بنابراین یک قانون واحد مانند جفت کردن اعداد حقیقی می‌تواند این ایهام را برطرف کند. بستگی به این دارد که آیا تصور رابطه بین دو عدد واقعی است یا نه (واقعاً وجود ندارد) ولی بقیه مجموعه‌ها می‌توانند دامنه‌ای با اعضای مشخص داشته باشند. برای مثال ریاضی‌دانان قدیمی فرض کردند که پوشا بودن یک تابع یک ویژگی تابع شمرده می‌شود در حالی که این دستاورد به اندازه‌ای استفاده می‌شود که موجب بسیاری از تغییرات در علوم مختلف شده‌است. انتخاب بین دو تعریف ارائه شده معمولاً در زمینه‌های پایه مانند دسته‌بندی نظریه‌ها اهمیت پیدا می‌کند. مثال ها: فرض کنید ۴ شیء دارید (توپ و ماشین و عروسک و تفنگ) و ۴ تا آدم (احسان و حسن و حسین و مریم) فرض کنید احسان صاحب توپ است و مریم صاحب عروسک و حسن صاحب ماشین. بنابراین رابطه دوتایی می‌شود: R= توپ و ماشین و عروسک و تفنگ},{احسان و حسن و حسین و مریم توپ و احسان مریم و عروسک حسن و ماشین پس قسمت اول مجموعه‌ای از تمام اشیا است و قسمت دوم زوج مرتب‌های بین این اشیا. | ## بخش 2: رابطه دوتایی | R= توپ و ماشین و عروسک و تفنگ احسان و مریم و حسن احسان و توپ مریم و عروسک حسن و ماشین این دو رابطه مربوط به دو تعریف هستند که گراف یکسان دارند ولی با دو ارتباط متفاوت هستند. رابطهٔ -تایی به‌همان‌گونه که روابط دوتایی، با تعریف فوق، ارتباط مابین عناصر دو مجموعه را نمایش می‌دهد، روابط -تایی را به منظور نمایش ارتباط میان المان‌های موجود در بیش از دو مجموعه تعریف می‌نماییم. حالات خاص روابط دوتایی چند تا از حالات مهم رابطه‌ها بین X,Y در زیر نمایش داده شده است: تراگذری: برای تمام اعداد در دامنه که XRY و تمام Yها در برد که YRZ باید بتوان نتیجه گرفت که XRZ . برای مثال رابطه بزرگ تر: 2 با 5 رابطه دارد یعنی از آن کوچک‌تر است و یک نیز با 2 رابطه دارد و می‌توان گفت که 5 از یک بزرگ تر است و یک با 5 نیز رابطه دارد پس این رابطه خاصیت تراگذری را دارد. طبق این رابطه 4 با 2 رابطه دارد و همچنین 4 با -2 نیز رابطه دارد ولی 2 و -2 برابر نیست. یک به یک: تابعی که هم پوشا باشد و هم خاصیتی تابعی را داسته باشد می‌شود یک به یک. تمام دامنه:به ازای هر X ای در دامنه yای در برد وجود دارد که رابطه R برای آن‌ها وجود دارد. دامنه‌ای که برد برای آن وجود دارد و دامنه‌ای که برد برای آن نیست یعنی اعداد منفی پس این رابطه تمام دامنه نیست. پوشا: به ازای هر Y ای در برد می‌توان Xای در دامنه پیدا کرد که رابطه R را داشته باشد. وارون پذیری: تابعی که هم یک به یک باشد و هم پوشا به‌طوری‌که اگر جای X و Y را برای آن جابجا کنیم باز هم خاصیت تابعی را داشته باشد. چند تا از رابطه‌ها در گراف‌ها به‌طور کلی بحث شد.مجموعه ی رابطه‌ها در روابط دو تایی که روی 2X*x تعریف شده اند جبر بولی نامیده می‌شوند با واروپذیری گسترش یافتند. بعضی از ویژگی‌ها ی روابط دوتایی: بازتابی:برای هر X ای در دامنه باید XRX وجود داشته باشد مثلاً رابطه تساوی. تک بازتابی: به ازای هر X,Y ای اگر XRY وجود داشت باید X=Y نیز وجود داشته باشد.مانند رابطه تساوی. برای مثال رابطه بزرگتر که هر عدد با عدد دیگری فقط می‌تواند یکی از دو حالت بالا را داشته باشد. | ## بخش 3: رابطه دوتایی | سریالی: رابطه‌ای که به ازای هر X عضو دامنه Yای وجود داشته باشد که این رابطه برای آن صدق کند مثلاً رابطه بزرگ تر بودن برای اعداد طبیعی سریالی نیست زیرا عددی که یک از آن بزرگ تر باشد در اعداد طبیعی وجود ندارد ولی در اعداد صحیح می‌توان پیدا کرد پس این رابطه در اعداد طبیعی سریالی نیست ولی در اعداد صحیح سریالی است. هم ارزی: یک مجموعه از اعداد را کلاس همارزی یک عدد می‌نامیم هنگامی که آن عدد و اعداد در آند مجموعه با یکدیگر هم رابطه بازتابی دارند و هم رابطه تقارن و هم رابطه تراگذری داشته باشند.به عبارت دیگر مجموعه تمام اعداد ی که با عدد مورد نظر رابطه دارند را کلاس هم ارزی آن عدد می‌نامیم. رابطه‌ای را که خواص بازتابی و تراگذری و پادتقارن داشته باشد ترتیب جزئی می‌نامیم. عملگرها روی مجمو عه ها: اگر R و S را رابطه بنامیم و X,Y را نیز دو عدد از این مجموعه می‌توانیم عملیات‌های مجازی روی مجموعه‌ها را به صورت زیر بنویسیم: اجتماع: یعنی تمام زوج مرتب‌هایی که یا در R یا S یا در هردوی آن‌ها تعریف می‌شوند. ترکیب: ترکیب SOR یعنی تمام روج مرتب‌های (X,Z) ای که (X,Y) در S وجود دارند و (Y,Z)در Rمثلاً اگر رابطه S,R به شکل زیر باشند می‌توانیم بگوییم: S= 1,2 2,3 R= 1,5 2,7 SOR= 1,7 اگر دو رابطه که یکی دیگری را شامل می‌شود داشته باشیم می‌توانیم رابطه‌ای که شامل تر است را جایگزین قبلی کنیم. وارون: یعنی جابجایی Xها و Yها در تمام زوج مرتب‌های (X,Y) تا به شکل (Y,X) در بیایند.مثلاً اگر مجموعه R به شکل زیر باشد می‌توان دید: R= 1,2 2,3 4,5 R-1= 2,1 3,2 5,4 افزودن بازتابی بسته R: می‌شود اضافه کردن زوج مرتب‌هایی که اگر به R اضافه شوند R یک رابطه بازتابی می‌شود. مکمل R: یعنی مجموعه تمام زوج مرتب‌هایی که در توان 2 مجموعه مرجع قرار دارند ولی در R قرار ندارند.مانند: S={1,2} S2= 1,1 1,2 2,1 2,2 R= 1,1 S-R= 2,1 1,2 2,2 محدوده: محدوده X یعنی مجموعه همه زوج مرتب‌هایی که می‌توان در بک مجموعه ساخت. محدوده افزودن تراگذری یعنی تمام زوج مرتب‌هایی که باید به یک مجموعه اضافه کرد تا آن رابطه تراگذر شود. مثلاً محدوده رابطه پدر بودن برای مرد هاست و رابطه مادر بودن به زن‌ها محدود می‌شود. برای گسترش مفهوم کامل بودن در یک محدوده می‌توان شامل تمام اعداد حقیقی بین X,Y را زد که از X کوچک‌تر و از Y بزرگتراند.این اعداد به بازه بین X,Y محدودند اما بزرگترین عددی که شامل این مجموعه باشد را نمی‌توان یافت پس اصطلاحاً می‌گوییم X سوپریمم این رابطه است یعنی همه اعداد از X کوچک ترند ولی X خودش عضو این مجموعه نیست. در تعریف بالا نمی‌گنجد یعنی در نظریهٔ مجموعه‌ها نمی‌توان آن‌ها را مدل‌سازی کرد مثلاً رابطه تساوی را باید با دامنه و هم دامنه تعریف کرد ولی اندازه این مجموعه‌ها معلوم نیست پس اصطلاح دیگری مانند کلاس را معرفی می کنیم که شامل یک یا چند مجموعه است. اگر یخواهیم اعداد ی که با عددی مانند X رابطه دارند را در یک یا چند مجموعه بگنجانیم همه مجموعه‌ها را در یک کلاس میریزیم و می نویسیم کلاس هم ارزی X. برای مثال کلاس زیرمجموعه‌های یک مجموعه را مجموعه ی توانی آن مجموعه توانی آن مجموعه می نامیم و با نماد P(A) نشان می دهیم که این مجموعه می‌شود کلاس هم ارزی برای رابطه زیر مجموعه بودن در مجموعه A. | ## جمع‌بندی | اهمیت و کاربردها در واقع، همین‌گونه روابط ریاضی و عملیات گوناگون ممکن بر روی آن‌ها است، که بنیان‌های نظری و ریاضی جبر رابطه‌ای، و نیز، فناوری پایگاه‌های رابطه‌ای داده‌ها و سیستم‌های مدیریت آن‌ها را تشکیل می‌دهد.