چنانچه محفل ریاضی را سودمند یافتید، لطفا برای حمایت از ما به کانال تلگرامی محفل ریاضی بپیوندید!
به محفل ریاضی ایرانیان خوش آمدید! لطفا برای استفاده از تمامی امکانات عضو شوید
+2 امتیاز
158 بازدید
سوال شده در دانشگاه توسط mohammad_9092
برچسب گذاری دوباره توسط AmirHosein

فرض کنید $X$ مجموعه ای نامتناهی و $S_X$(تمام جایگشت های $X$) مجموعه تمام توابع یک به یک و پوشا از $X$ به $X$ باشد. ثابت کنید بین مجموعه های $S_X$ و $2^X$ (دو به توان $X$) یک تناظر یک به یک برقرار است.

مرجع: مبانی جبر-دکتر سید احمد فقیهی- فصل 1- مساله 16
دارای دیدگاه توسط AmirHosein
استاد سید احمد فقیهی آفارانی، استاد کارشناسی‌ام بودند. خیلی برایم جالب شد. ولی یک پرسش از شما دارم، مطمئن هستید ایشان در کتابشان حتما خواسته‌اند از لم زرن استفاده کنید؟ چون در متن پرسش که شما نوشته‌اید هیچ تأکیدی بر استفاده از لم زرن نیامده‌است.
دارای دیدگاه توسط mohammad_9092
+1
سلام دوست عزیز بله بنده ار خود ایشون پرسیدم. لم زرن هم گویا کاربرد داره

1 پاسخ

+2 امتیاز
پاسخ داده شده توسط AmirHosein
ویرایش شده توسط AmirHosein

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

ابتدا سمتی که همان روز نخست به ذهنم رسید. سر درس مبانی ریاضی اتوماتا استاد خسروی فکر کنم چنین ایده‌ای مطرح شده‌بود که به ازای هر زیرمجموعه از $X$ یک جایگشت به این شکل که اعضای انتخاب‌شده توسط آن زیرمجموعه را به خودشان ببرد و سایر اعضا را جابجا کند، نظیر کنیم. ممکن است به حالتی فکر کنید که زیرمجموعهٔ برداشته‌شده همهٔ اعضای $X$ غیر از یک عضو را داشته باشد، در آن صورت اگر همه به غیر از یکی ثابت نگه‌داسته‌شوند برای جایگشتمان تک عضو باقیمانده نیز مجبور به ثابت ماندن می‌شود. چون $X$ نامتناهی است افزودن یک عنصر خارج از $X$ به آن، عدد اصلی مجموعه را تغییر نمی‌دهد. بنابراین به جای $X$ می‌توانید از $X'=X\cup{z}$ استفاده کنید که مطمئن شوید مشکل پیشین روی نمی‌دهد و در آن حالت عضو باقیمانده را با $z$ در جایگشتمان جابجا می‌کنیم که یک ترانهشت می‌شود. برای یک زیرمجموعه (غیر از حالتی که اشاره شد) یک جایگشت یکتا با آن خاصیت وجود ندارد پس باید هر زیرمجموعه که برداشتیم خودمان یک جایگشت دلخواه با آن ویژگی را ثابت بگیریم و نظیر کنیم (چون مجموعهٔ جایگشت‌های با خاصیت خواسته‌شده -پس از افزودن عنصر اضافی- ناتهی است بنا بر اصل انتخاب این کار ممکن است). پس تا اینجا یک تابع یک‌-به-یک از $P(X)$ به $S_X$ ساختیم. این ثابت می‌کند که $|P(X)|\leq|S_X|$. باید سمت برعکس آن را نیز ثابت کنیم.

اینکه چند روز طول کشید تا سمت برعکس را انجام دهم به این دلیل بود که در ابتدا از اینکه جایگشت‌ها تابع هستند و تابع‌ها رابطه‌ هستند می‌خواستم استفاده کنم که اتفاقا مسیر اشتباهی نبود ولی در تمام این چند روز یک اشتباه بزرگ داشتم. هر عبارت از یک رابطه و در نتیجه یک جایگشت عضوی از $X\times X$ است یعنی $\tau(x)=x'$ متناظر به $(x,x')$ است ولی اشتباه اینجا بود که سپس ذهنم با بی‌دقتی خود جایگشت‌ها را عضو $X\times X$ گرفته بود که اشتباه است! بلکه یک جایگشت اجتماع عبارت‌هایش است پس نه عضو بلکه یک زیرمجموعه از $X\times X$ است. اکنون همه چیز روشن شد. $S_X\subseteq P(X)$ که سمت مخالف نامساوی بالا را ثابت می‌کند. $$|P(X)|=|S_X|$$

من از لم زرن استفاده نکردم ولی از آنجا که لم زرن با اصل انتخاب هم‌ارز است حدسم این است که برای قسمت $|P(X)|\leq|S_X|$ از آن باید استفاده کنید.

لطفا ما را در شبکه های اجتماعی دنبال کنید:
به محفل ریاضی ایرانیان خوش آمدید!
امروز : تاریخ شمسی اینجا نمایش داده می‌شود

♥ حمایت مالی

راهنمایی:

  • برای رفتن به سطر بعدی دو بار Enter بزنید.
  •  یک بار Enter یک فاصله محسوب می‌شود.
  •  _ایتالیک_ یا I و **پررنگ** یا B
  •  نقل‌قول با قراردادن > در ابتدای خط یا ❝
  • برای چپ به راست کردن متن کلیدهای Ctrl+Shift سمت چپ کیبورد را فشار دهید
  •  برای تایپ فرمول ابتدا روی ریاضی کلیک کرده و سپس به کمک آیکون‌های موجود فرمول را در بین دو علامت دلار

<math> $ $ </math>

بنویسید.

  •  برای اینکه فرمول در خط بعدی و وسط صفحه قرار گیرد دو علامت دلار اضافی بنویسید

<math> $$ $$ </math>


☑ راهنمایی بیشتر: راهنمای تایپ
82 نفر آنلاین
1 عضو و 81 مهمان در سایت حاضرند
بازدید امروز: 3604
بازدید دیروز: 8256
بازدید کل: 4498727
...