mathematics
23rd September 2010, 08:29 PM
از جمله اصول موضوع نظریه مجموعه‌های تسرملو-فرانکیل اصل موضوع مجموعه تهی است.
بیان رسمی
در قالب عبارات صوری ریاضی این اصل بیان می‌کند http://upload.wikimedia.org/math/a/4/c/a4c2266cd4f31676c09fd9857bb3180e.png
که می‌توان آن را چنین تفسیر کرد: مجموعه ای وجود دارد که هیج عضوی ندارد.
اصل موضوع گسترش یگانگی چنین مجموعه‌ای را تضمین می‌کند ولذا چنین مجموعه‌ای شایسته نام و نماد است. مجموعه بی هیچ عضو را مجموعه تهی می نامیم و ان را با {} یا نمایش می دهیم. پس اصل موضوع مجموعه تهی بیان می‌کند مجموعه تهی وجود دارد.
تفسیر
اصل موضوع مجموعه تهی را می‌توان به نوعی توسط اصل موضوع تصریح نتیجه گرفت. در ابتدا برای آنکه چیزی در اختیار داشته باشیم فرض کنید مجموعه‌ای وجود دارد.
اگر این مجموعه را A بنامیم با استفاده از اصل موضوع تصریح و در نظر گرفت یک گزاره نمای همواره نادرست چون http://upload.wikimedia.org/math/8/1/f/81f68ca7fbb4d442d83f2efe787fb330.png می توان مجموعه http://upload.wikimedia.org/math/7/0/9/709292410677f4333a2cf9bf5c2b64a6.pngرا تشکیل داد که چون هیچ x یافت نمی‌شود که در گزاره نما http://upload.wikimedia.org/math/8/1/f/81f68ca7fbb4d442d83f2efe787fb330.png صدق کند وضوحاً مجموعه مذکور دارای هیچ عضوی نیست.
مطلب اخیر باعث می‌شود، برخی اصل موضوع مجموعه تهی را به عنوان یک قضیه و نه یک اصل قبول کنند. در این شیوه استدلال فرض وجود حداقل یک مجموعه پذیرفته شده است و لذا می‌توان وجود مجموعه تهی را به عنوان قضیه نشان داد.
بیان رسمی
در قالب عبارات صوری ریاضی این اصل بیان می‌کند http://upload.wikimedia.org/math/a/4/c/a4c2266cd4f31676c09fd9857bb3180e.png
که می‌توان آن را چنین تفسیر کرد: مجموعه ای وجود دارد که هیج عضوی ندارد.
اصل موضوع گسترش یگانگی چنین مجموعه‌ای را تضمین می‌کند ولذا چنین مجموعه‌ای شایسته نام و نماد است. مجموعه بی هیچ عضو را مجموعه تهی می نامیم و ان را با {} یا نمایش می دهیم. پس اصل موضوع مجموعه تهی بیان می‌کند مجموعه تهی وجود دارد.
تفسیر
اصل موضوع مجموعه تهی را می‌توان به نوعی توسط اصل موضوع تصریح نتیجه گرفت. در ابتدا برای آنکه چیزی در اختیار داشته باشیم فرض کنید مجموعه‌ای وجود دارد.
اگر این مجموعه را A بنامیم با استفاده از اصل موضوع تصریح و در نظر گرفت یک گزاره نمای همواره نادرست چون http://upload.wikimedia.org/math/8/1/f/81f68ca7fbb4d442d83f2efe787fb330.png می توان مجموعه http://upload.wikimedia.org/math/7/0/9/709292410677f4333a2cf9bf5c2b64a6.pngرا تشکیل داد که چون هیچ x یافت نمی‌شود که در گزاره نما http://upload.wikimedia.org/math/8/1/f/81f68ca7fbb4d442d83f2efe787fb330.png صدق کند وضوحاً مجموعه مذکور دارای هیچ عضوی نیست.
مطلب اخیر باعث می‌شود، برخی اصل موضوع مجموعه تهی را به عنوان یک قضیه و نه یک اصل قبول کنند. در این شیوه استدلال فرض وجود حداقل یک مجموعه پذیرفته شده است و لذا می‌توان وجود مجموعه تهی را به عنوان قضیه نشان داد.