اجتماع مجزا

اجتماع مجزا  یا اجتماع متمایز  در ریاضیات، برای یک خانواده از  از مجموعه‌ها برابر یک مجموعه  (با نماد  ) با یک تابع یک‌به‌یک برای هر  به   است، به این روش که تصاویر این توابع یک‌به‌یک، تشکیل یک افراز از  را می‌دهند (یعنی، هر عنصر از  دقیقا به یکی از این تصاویر تعلق دارند). اجتماع مجزا از یک خانواده از مجموعه‌های دوبه‌دو مجزا برابر اجتماع‌شان است. به زبان نظریه رسته‌ها، اجتماع مجزا برابر هم‌ضرب یا coproduct از رسته مجموعه‌ها است. از این رو اجتماع مجزا تاحدودی به صورت برابر با یک تناظر‌دوسویه تعریف شده است.

یک روش استاندارد برای ساخت اجتماع مجزا آن است که  را به صورت مجموعه زوج‌های مرتب  تعریف کنیم، به این شیوه که  باشد و توابع یک‌به‌یک   توسط  برقرار باشد.

مثال 
مجموعه‌های  و  را درنظر بگیرید. می‌توان عناصر مجموعه را براساس ریشه مجموعه اندیس (نمایه) کرد، این‌کار از طریق ساخت مجموعه‌های مرتبط زیر انجام می‌شود

که در آن عنصر دوم در هر زوج با زیرنویس مجموعه ریشه منطبق است (برای مثال،  در  با زیرنویس  منطبق است و غیره). اجتماع مجزای  را به این روش می‌توان محاسبه نمود:

تعریف 
دلیل وجود دو تعریف، مربوط به جمع مستقیم داخلی و خارجی است.

نوع اول:اجتماع دو مجموعهٔ مجزا 
یک مجموعه  اجتماع مجزای سیستم مجموعه‌ها می‌شود،  از زیرمجموعه‌های  و نوشته می‌شود:

وقتی شرایط زیر برقرار باشد:
  اگر × بدین معنی است که  زوج مجزا هستند.
 ، این بدین معنی است که   اجتماع مجموعه‌های  می‌باشد.

نوع دوم:اجتماع دلخواه مجموعه‌های مجزا 
مجموعه‌های برای  داده‌شده‌اند، بدین ترتیب مجموعهٔ زیر:

اجتماع مجموعه‌های مجزای می‌شود، زیرا زیرمجموعه‌ها همگی به صورت مصنوعی از یکدیگر مجزا بودند.

مثال

مثال برای تعریف اول 
اجتماع مجزای  و .
 هر دو مجموعه مجزا هستند.
 
  اجتماع مجموعه‌های  و  می‌باشد ←  .
 در اینجا مجموعه‌های  و  افرازی از مجموعهٔ  هستند.

مثال برای تعریف دوم 
اجتماع مجزای مجموعه‌های  و  .

منابع 

عملیات روی مجموعه‌ها
مفاهیم پایه در نظریه مجموعه‌ها
نظریه مجموعه‌ها