جهت مشاهده مطالب کارشناسان و کاربران در این موضوع کلیک کنید   

موضوع: $$اصول موضوع اجتماع$$

  1. #1

    تاریخ عضویت
    جنسیت مرداد ۱۳۸۷
    نوشته
    375
    تشکر:
    1
    حضور
    6 ساعت 48 دقیقه
    دریافت
    218
    آپلود
    7
    گالری
    259

    $$اصول موضوع اجتماع$$




    اصل موضوع اجتماع

    از ویکی‌پدیا، دانشنامهٔ آزاد


    پرش به: ناوبری, جستجو
    فهرست مندرجات

    [نهفتن]
    [ویرایش] بحث غیر رسمی

    فرض کنید A و B دو مجموعه باشند. در این صورت طبیعی است که بخواهیم اعضای دو مجموعه مفروض را در یک مجموعه فراگیر به صورت توام در اختیار داشته باشیم. یکی از راههای توصیف چنین مجموعه‌ فراگیری در صورت وجود این است که شرط کنیم این مجموعه همه عناصری را که حداقل به یکی از دو عضو زوج {A,B} تعلق دارند، شامل باشد. توجه کنید که {A,B} بنابر اصل موضوع زوج سازی یک مجموعه است.
    این نحوه فرمول بندی، خود به خود نوعی تعمیم وسیع را به ذهن راه می‌دهد، بدین صورت که چنین ساختمانی، نه فقط برای یک زوج مجموعه، بلکه در مورد هر دسته دلخواه از مجموعه‌ها قابل اعمال است. به عبارت دیگر فرض کنید C دسته‌ای دلخواه از مجموعه‌ها باشد. آیا می‌توان مجموعه‌ای فراگیر در اختیار داشت که شامل همه عناصری باشد که به حداقل یک عضو C متعلق باشند؟
    برای پاسخ به این سوال به اصل مجموعه‌ ساز جدیدی به نام اصل موضوع اجتماع (Axiom of union) نیاز داریم.
    [ویرایش] اصل موضوع اجتماع

    اصل موضوع اجتماع بیان می‌کند:
    $$اصول موضوع اجتماع$$ یا به بیان دیگر برای هر دسته دلخواه از مجموعه‌ها، مجموعه‌ای وجود دارد که شامل همه عناصری است که حداقل به یکی از مجموعه‌های دسته مفروض متعلق باشند.
    به بیان دیگر اگر C دسته‌ای از مجموعه‌ها باشد، مجموعه‌ای چون U وجود دارد که اگر X∈C موجود باشد به طوریکه x∈X آنگاه x∈U.
    $$اصول موضوع اجتماع$$ اما توجه داشته باشید که مجموعه فراگیر U که تا به حال وجود آن را بر اساس اصل موضوع اجتماع تضمین کرده‌ایم، ممکن است بیش از مورد نیاز فراگیر باشد و شامل عناصری باشد که به هیچ یک از عناصر X در دسته C متعلق نباشند چرا که اصل موضوع اجتماع بیان می‌کند U شامل عناصر مجموعه‌های X در C است ولی تضمین نمی‌کند که این مجموعه‌ شامل اعضای دیگری نیست.
    برای رفع این مشکل و ایجاد مجموعه‌ای که دقیقاً شامل همه عناصری باشد که به حداقل یکی از مجموعه‌های دسته C متعلق باشند کافی است اصل موضوع تصریح را به کار گرفته و مجموعه:
    {به ازاء یک x∈U: x∈X; X∈C} را تشکیل دهیم. در این صورت شرط لازم و کافی برای اینکه x∈U ای متعلق به این مجموعه باشد این است که X∈C ای موجود باشد که x∈X(یعنی x به حداقل یکی از مجموعه‌های دسته C متعلق باشد.) به زبان منطق ریاضی داریم:
    $$اصول موضوع اجتماع$$. اصل موضوع گسترش یگانگی این مجموعه را تضمین می‌کند و لذا می‌توان برای آن نام و نماد مخصوصی را اختصاص داد. این مجموعه را اجتماع دسته C از مجموعه‌ها می‌خوانیم و با نمادهای $$اصول موضوع اجتماع$$ و $$اصول موضوع اجتماع$$ نمایش می‌دهیم و مطابق تعریف
    $$اصول موضوع اجتماع$$ اگر دسته C از مجموعه‌ها، تهی باشد در این صورت مطابق تعریف اجتماع آن نیز تهی خواهد بود. پس اجتماع دسته‌ای تهی از مجموعه‌ها تهی است. همچنین اگر A و B دو مجموعه باشند، دسته {C={A,B بنابر اصل موضوع زوج سازی یک مجموعه است و نیز بنابر اصل موضوع اجتماع مجموعه U شامل همه عناصری که به حداقل یکی از مجموعه‌های C متعلق می‌باشند وجود دارد. در این صورت اجتماع دسته C را اجتماع دو مجموعه A و B می‌گوییم و آن را به صورت A∪B نشان می‌دهیم و داریم:
    $$اصول موضوع اجتماع$$ پس بنا به تعریف {A∪B={x∈A∨x∈B. و لذا داریم:
    $$اصول موضوع اجتماع$$ با توجه به تعاریف فوق روابط زیر را داریم (اثبات این روابط با استفاده از تعاریف ساده است. البته بر هر علاقه‌مند ریاضی واجب است که حداقل یکبار آنها را اثبات کند)
    • A∪Φ=A
    • A∪B=B∪A (اجتماع خاصیت جابجایی دارد)
    • A∪(B∪C)=(A∪B)∪C (اجتماع خاصیت شرکت پذیری دارد)
    • A∪A=A (اجتماع خاصیت خود توانی دارد)
    • A∪B=B اگر و فقط اگر A⊆B
    [ویرایش] اشتراک مجموعه‌ها

    حال فرض کنید A و B دو مجموعه باشند. در این صورت ممکن است این سوال پیش بیاید که آیا مجموعه‌ای وجود دارد که شامل همه عناصری باشد که هم در A و هم در B وجود دارند. پاسخ مثبت است.
    می‌توان مجموعه {x∈A∈B} یا مجموعه {x∈B∈A} را تشکیل داد که به آن اشتراک دو مجموعه A و B می‌گوییم و آن را به صورت A∩B نشان می‌دهیم. حال اگر A و B دو مجموعه باشند برطبق اصل موضوع اجتماع مجموعه U شامل همه عناصر متعلق به A یا B وجود دارد. حال می‌توان اشتراک A و B را به صورت مجموعه {A∩B={x∈A∧x∈B تعریف کرد. واضح است که از این تعریف نتیجه می‌شود x∈A∩B اگر و فقط اگر x∈A و x∈B. یا به نماد ریاضی:
    $$اصول موضوع اجتماع$$ همانند خواصی که برای اجتماع بیان کردیم خواص زیر را در مورد اشتراک داریم:
    • A∩Φ=Φ
    • A∩B=B∩A (اشتراک خاصیت جابجایی دارد)
    • A∩(B∩C)=(A∩B)∩C (اشتراک خاصیت شرکت پذیری دارد)
    • A∩A=A (اشتراک خاصیت خود توانی دارد)
    • A∩B=B اگر و فقط اگر B⊆A
    • (A∪(B∩C)=(A∪B)∩(A∪C (اجتماع روی اشتراک توزیع پذیر است)
    • (A∩(B∪C)=(A∩B)∪(A∩C (اشتراک روی اجتماع توزیع پذیر است)
    حال ممکن است این سوال پیش بیاید که همانطور که اجتماع دسته C از مجموعه‌ها را به عنوان تعمیمی از اجتماع یک جفت مجموعه تعریف کردیم می‌توان مفهوم اشتراک را نیز برای دسته‌ای از مجموعه‌ها تعمیم دارد؟
    فرض کنید C دسته‌ای از مجموعه‌ها باشد و بخواهیم مجموعه‌ای را داشته باشیم که دقیقاً شامل همه عناصری باشد که به هر یک از مجموعه‌های دسته C متعلق باشند یعنی مجموعه‌ای که دقیقاً شامل عناصر مشترک میان مجموعه‌های متعلق به C باشد. آیا چنین مجموعه‌ای وجود دارد؟
    پاسخ به این سوال تاحدی شبیه به پاسخی است که در مورد اجتماع دسته C از مجموعه‌ها داده شد با این تفاوت که در تشکیل این مجموعه احتیاطی خاص لازم است. اگر C دسته‌ای از مجموعه‌ها باشد در این صورت بدیهی است که C می‌تواند تهی یا ناتهی باشد. ابتدا حالت دوم را که به نظر سر راست می‌رسد بررسی می‌کنیم:
    • فرض می کنیم C دسته‌ای ناتهی از مجموعه‌ها باشد. می‌خواهیم به این سوال پاسخ دهیم که آیا مجموعه‌ای وجود دارد که دقیقاً شامل عناصری باشد که به هریک از مجموعه‌های دسته C متعلق باشند؟
    چون C ناتهی است پس یک مجموعه چون A وجود دارد که A∈C. حال با به کار گیری اصل موضوع تصریح مجموعه‌ V را به صورت {برای هر x∈A: x∈X; X∈C} تشکیل می دهیم و این مجموعه دقیقاً همان مجموعه مورد نظر ماست چرا که دقیقاً شامل عناصری است که به هریک از مجموعه‌های X در C متعلق‌اند یعنی x∈V اگر و فقط اگر برای هر X (اگر X∈C آنگاه x∈X) حال سعی می کنیم مجموعه‌ ارائه شده را به گونه‌ای بهتر معرفی کنیم چرا که وابستگی V به A پنداری بیش نمی‌باشد و V مستقل از A قابل تعریف است.
    بنابر اصل موضوع اجتماع کلیه عناصر موجود در مجموعه‌های دسته C را می‌توان در مجموعه‌ای چون U (اجتماع دسته C) یافت. حال مجموعه {برای هر x∈U: x∈X; X∈C} را تشکیل می‌دهیم. اصل موضوع گسترش یگانگی این مجموعه را تضمین می‌کند و آن را اشتراک دسته C از مجموعه‌ها می‌نامیم و همانند اجتماع آن را به صورت $$اصول موضوع اجتماع$$ یا $$اصول موضوع اجتماع$$ نشان می‌دهیم. پس پاسخ سوال مطرح شده در حالتی که C ناتهی است مثبت است.
    • حال فرض می‌کنیم C دسته‌ای تهی باشد. در این حالت چه طور؟ آیا می‌توان $$اصول موضوع اجتماع$$ را همانند حالت قبل تعریف کرد و اساساً چنین چیزی یک مجموعه‌ است.
    بیاید فرض کنیم $$اصول موضوع اجتماع$$ مجموعه‌ باشد. در این صورت بر طبق تعریف $$اصول موضوع اجتماع$$. حال برای اینکه این مجموعه را بشناسیم کافی است بدانیم که دارای چه عناصری است.عنصر x به این مجموعه متعلق است اگر و فقط اگر برای هر X متعلق به تهی، x∈X برای تعیین عناصر این مجموعه طبق معمول سوالهای در مورد مجموعه تهی ببینیم چه عناصری در این مجموعه قرار نمی‌گیرند و در شرط مجموعه صدق نمی‌کنند؟
    اگر برای هر X در تهی، x∈X درست نباشد، در این صورت باید X در تهی باشد چنان که x به X متعلق نباشد ولی چنین چیزی محال است چون تهی اصلاً هیچ X ای در تهی وجود ندارد. پس هیج x ای نیست که نتواند در شرط مذکور صدق کند و نتیجتاً هر x در این شرط صدق می‌کند و به عبارت دیگر مجموعه‌ای که ما تعریف کردیم مجموعه‌ای جامع است که شامل همه چیز است که می دانیم چنین مجموعه‌ای وجود ندارد(ر.ک پارادکس راسل). پس در حالتی که دسته C تهی باشد اشتراک دسته C از مجموعه‌ها وجود ندارد.
    به این ترتیب تا اینجا متوجه شدیم که:
    برای هر دسته ناتهی از مجموعه‌ها، مجموعه‌ای چون V وجود دارد که دقیقاً شامل همه عناصری است که به هریک از عناصر مجموعه C متعلق باشند و این مجموعه اشتراک دسته غیر تهی از مجموعه‌ها است.
    اما اینکه ما، فقط به این دلیل که در جایی از کارمان ممکن است مجموعه‌ای تهی از کار در آید، دائم مجبور باشیم قید و استثنا قایل شویم اسباب درد سر است. فرض کنید C دسته‌ای از مجموعه‌ها باشد. در این صورت اگر فرض کنیم اعضای C همگی زیرمجموعه مجموعه مفروضی چون U هستند در هر حال چه C تهی باشد و چه نباشد با معنی است و در حالتی که C تهی باشد برابر خود U است. ب این ترتیب به سوال مربوط به اشتراک نیز پاسخ دادیم.
    [ویرایش] همچنین ببینید

    [ویرایش] منابع


    • مشارکت‌کنندگان ویکی‌پدیا، «Axiom of u

    مـــــا از قدیــــم طــــایفه ای سینــه خستــه ایــم
    مـــــا بچـــه هــــای مــادر پهلــــو شکســــته ایــم
    امــــــروز اگـــــر سیـــنـــه و زنـــجـــیــــر می زنیم
    فردا به عــشــــق فــاطـــمه شمــشیر می زنیم
    مـــا را پیــــامـبــر ، قبیـله سـلـمــان خطـاب کرد
    روی غــرور و غـــیـرت مــا هـــــم حــســــاب کرد
    ازمـــا بــتـــــرس! طــایــفـــه ای پــــر اراده ایـــــم
    ما مثل کوه پشت سر سید علـــی ایستاده ایم

  2. تشکرها 2


  3.  

اطلاعات موضوع

کاربرانی که در حال مشاهده این موضوع هستند

در حال حاضر 1 کاربر در حال مشاهده این موضوع است. (0 کاربران و 1 مهمان ها)

کلمات کلیدی این موضوع

اشتراک گذاری

اشتراک گذاری

مجوز های ارسال و ویرایش

  • شما نمیتوانید موضوع جدیدی ارسال کنید
  • شما امکان ارسال پاسخ را ندارید
  • شما نمیتوانید فایل پیوست کنید.
  • شما نمیتوانید پست های خود را ویرایش کنید
  •  
^

ورود

ورود