اجتماع مجزا
اجتماع مجزا (به انگلیسی: disjoint union) یا اجتماع متمایز (به انگلیسی: discriminated union) در ریاضیات، برای یک خانواده از از مجموعهها برابر یک مجموعه (با نماد ) با یک تابع یکبهیک برای هر به است، به این روش که تصاویر این توابع یکبهیک، تشکیل یک افراز از را میدهند (یعنی، هر عنصر از دقیقا به یکی از این تصاویر تعلق دارند). اجتماع مجزا از یک خانواده از مجموعههای دوبهدو مجزا برابر اجتماعشان است. به زبان نظریه رستهها، اجتماع مجزا برابر همضرب یا coproduct از رسته مجموعهها است. از این رو اجتماع مجزا تاحدودی به صورت برابر با یک تناظردوسویه تعریف شده است.
یک روش استاندارد برای ساخت اجتماع مجزا آن است که را به صورت مجموعه زوجهای مرتب تعریف کنیم، به این شیوه که باشد و توابع یکبهیک توسط برقرار باشد.
مثال ویرایش
مجموعههای و را درنظر بگیرید. میتوان عناصر مجموعه را براساس ریشه مجموعه اندیس (نمایه) کرد، اینکار از طریق ساخت مجموعههای مرتبط زیر انجام میشود
تعریف ویرایش
دلیل وجود دو تعریف، مربوط به جمع مستقیم داخلی و خارجی است.
نوع اول:اجتماع دو مجموعهٔ مجزا ویرایش
یک مجموعه اجتماع مجزای سیستم مجموعهها میشود، از زیرمجموعههای و نوشته میشود:
وقتی شرایط زیر برقرار باشد:
- اگر × بدین معنی است که زوج مجزا هستند.
- ، این بدین معنی است که اجتماع مجموعههای میباشد.
نوع دوم:اجتماع دلخواه مجموعههای مجزا ویرایش
مجموعههای برای دادهشدهاند، بدین ترتیب مجموعهٔ زیر:
اجتماع مجموعههای مجزای میشود، زیرا زیرمجموعهها همگی به صورت مصنوعی از یکدیگر مجزا بودند.
مثال ویرایش
مثال برای تعریف اول ویرایش
اجتماع مجزای و .
- هر دو مجموعه مجزا هستند.
- اجتماع مجموعههای و میباشد ← .
- در اینجا مجموعههای و افرازی از مجموعهٔ هستند.
مثال برای تعریف دوم ویرایش
اجتماع مجزای مجموعههای و .
منابع ویرایش
مشارکتکنندگان ویکیپدیا. «Disjunkte Vereinigung». در دانشنامهٔ ویکیپدیای آلمانی ، بازبینیشده در ۱۳ آوریل ۲۰۱۱.