تبلیغات
تبلیغات متنی
دکتر علی پرند فوق تخصص جراحی پلاستیک
طراحی سایت فروشگاهی فروشگاه آنلاین راه‌اندازی کسب‌وکار آنلاین طراحی فروشگاه اینترنتی وبسایت
بهترین دکتر پروتز سینه در تهران
محبوبترینها
بهترین ماساژورهای برقی برای دیسک کمر در بازار ایران
بهترین ماساژورهای برقی برای دیسک کمر در بازار ایران
آفریقای جنوبی چگونه کشوری است؟
بهترین فروشگاه اینترنتی خرید کتاب زبان آلمانی: پیک زبان
با این روش ساده، فروش خود را چند برابر کنید (تست‌شده و 100٪ عملی)
سفر به بالی؛ جزیره‌ای که هرگز فراموش نخواهید کرد!
از بلیط تا تماشا؛ همه چیز درباره جشنواره فجر 1403
دلایل ممنوعیت استفاده از ظروف گیاهی در برخی کشورها
آیا میشود فیستول را عمل نکرد و به خودی خود خوب میشود؟
مزایای آستر مدول الیاف سرامیکی یا زد بلوک
خصوصیات نگین و سنگ های قیمتی از نگاه اسلام
صفحه اول
آرشیو مطالب
ورود/عضویت
هواشناسی
قیمت طلا سکه و ارز
قیمت خودرو
مطالب در سایت شما
تبادل لینک
ارتباط با ما
مطالب سایت سرگرمی سبک زندگی سینما و تلویزیون فرهنگ و هنر پزشکی و سلامت اجتماع و خانواده تصویری دین و اندیشه ورزش اقتصادی سیاسی حوادث علم و فناوری سایتهای دانلود گوناگون
مطالب سایت سرگرمی سبک زندگی سینما و تلویزیون فرهنگ و هنر پزشکی و سلامت اجتماع و خانواده تصویری دین و اندیشه ورزش اقتصادی سیاسی حوادث علم و فناوری سایتهای دانلود گوناگون
آمار وبسایت
تعداد کل بازدیدها :
1860696685
اصل موضوع تصریح
واضح آرشیو وب فارسی:راسخون:
اصل موضوع تصریح منبع:ویکیپدیا، دانشنامهٔ آزاد از جمله اصولی که در نظریه اصل موضوعی مجموعهها مورد نیاز است اصول موضوعی است که بتوانند وجود مجموعههای جدید را تضمین نموده و مجموعههای جدید را برای ما تولید کنند. در نظریه اصل موضوعی مجموعه ها همه نتایج و تعاریف بر پایه اصول موضوع تعریف شده است و هر مطلب در مورد مجموعهها یا باید از اصول موضوع منتج شده باشد. بحث غیر رسمیتقریباً تمامی اصول موضوع نظریه اصل موضوعی مجموعهها (بجز مثلا اصل موضوع گسترش) از جمله اصولی هستند که به منظور تولید مجموعههای جدید از مجموعه های قبل طرح شده اند. اولین و مهمترین اصول از این اصول مجموعه ساز، اصل موضوع تصریح (Axiom of specification) است، که به اصل موضوع تصریح گاهی اصل موضوع زیرمجموعه (Axiom of subset) نیز می‌گویند.این اصل به طور ساده بیان می کند هر حکم یا خاصیت معقول در مورد اعضای یک مجموعه، زیرمجموعه‌ای از آن مجموعه را تعیین می‌کند. حال قبل از بیان دقیق این اصل به یک مثال می‌پردازیم.فرض کنید A مجموعه همه مردان باشد. در این صورت گزاره نمای « x متاهل است. » گزاره نمایی در مورد اعضای A است که برای برخی از عناصر A گزاره‌ای درست و برای برخی دیگر از عناصر A نادرست است.حال با به کار گیری این جمله در مورد اعضای مجموعه A زیرمجموعه‌ای از A تولید می شود که همان « مردان متاهل » است. برای نمایـش این زیرمجمـوعه از مـجمــــوعـــه A از نمــــاد { x متاهل است :x∈A} استفاده میشود. همچنین { x متاهل نسیت :x∈A} بر مجموعه مردان مجرد دلالت دارد.به همین صورت مجموعه {پدر x آدم(ع) است|x∈A} مجموعه دو عضوی هابیل و قابیل را مشخص می‌کند.اصل موضوع تصریحاصل موضوع تصریح بیان می کند اگر (P(x گزاره نمایی در مورد متغییر x باشد، در این صورت:یا در قالب عبارات ملموس تر متناظر با هر مجموعه A و هر گزاره نما(P(xمجموعه‌ای چون B هست که اعضای آن دقیقاً همان عناصری از مجموعه A هستند که در شرط (P(x صدق می‌کنند.مجموعه B را به صورت نمایش می‌دهیم همچنین اصل موضوع گسترش یگانگی مجموعه B را تضمین می‌کند.در مورد استفاده از اصل موضوع تصریح توجه به این نکته لازم است که برای تعیین یک مجموعه، در نظر گرفتن یک شرط یا خاصیت چون (P(x کافی نمی‌باشد بلکه باید مجموعه‌ای نیز باشد که بتوان خاصیت را برای عضوهای آن تعریف کرد. و خلاصه اینکه برای مشخص کردن یک مجموعه کافی نیست وردی بخوانیم، بلکه لازم است مجموعه‌ای در دست داشته باشیم که ورد را برای اعضای آن مجموعه بخوانیم.با این توضیح واضح است که شرط با شرط تفاوت دارد.شرط اول یک مجموعه را مشخص نمی‌‌کند بلکه حالتی کاذب از اصل موضوع تصریح است ولی شرط دوم یک مجموعه را مشخص می‌کند چون در آن شرط (P(x در مورد اعضای یک مجموعه خاص به کار رفته است.این نکته دقیقاً همان چیزی است که از بروز پارادکسها همچون پارادکس راسل جلو گیری می کند.اصول موضوع مجموعه ساز دیگر (همانند اصل موضوع زوج سازی، اصل موضوع اجتماع، اصل موضوع مجموعه توانی و...) حالات خاص کاذبی از اصل موضوع تصریح می‌باشند. همه آنها وجود مجموعه‌ای را بیان می‌کنند که توسط یک شرط خاص مشخص می‌شوند؛اگر قبلاً وجود مجموعه‌ای که شامل همه عناصر مشخصی باشد معلوم باشد، در این صورت وجود مجموعه‌ای که فقط شامل آن عناصر باشد در واقع به عنوان حالت خاصی از اصل موضوع تصریح نتیجه میشود.اگر (P(x گزاره نمایی در مورد x باشد به طوری که xهایی که در (P(x مشخص می‌شوند تشکیل یک مجموعه بدهند، در این صورت می‌توان آن مجموعه را به صورت {x:s(x)} نمایش دهیم.
این صفحه را در گوگل محبوب کنید
[ارسال شده از: راسخون]
[مشاهده در: www.rasekhoon.net]
[تعداد بازديد از اين مطلب: 193]
-
گوناگون
پربازدیدترینها