موضوع مقاله: کلاس هم‌ارزی | مخاطب: عمومی | لحن: دانشنامه‌ای | ساختار: عنوان، مقدمه، 3 بخش، جمع‌بندی | مقاله: | # کلاس هم‌ارزی | مقدمه: دو مثلث چپ هم‌نهشت هستند، درحالیکه مثلث سوم و چهارم هم‌نهشت هیچ مثلث دیگر نشان داده شده اینجا نیستند؛ بنابراین، دو مثلث اول در یک کلاس هم‌ارزی هستند، درحالیکه مثلث‌های سوم و چهارم هرکدام در کلاس هم‌ارزی خودشان هستند. | ## بخش 1: کلاس هم‌ارزی | در ریاضیات، اگر عناصر یک مجموعه دارای یک مفهوم هم‌ارزی باشند (که این موضوع توسط یک رابطه هم‌ارزی صوری‌سازی می‌شود)، آنوقت می‌توان مجموعه را به کلاس‌های هم‌ارزی تجزیه کرد. این کلاس‌های هم‌ارزی به این شیوه ساخته می‌شوند که عناصر و به یک کلاس هم‌ارزی تعلق دارند، اگر و تنها اگر، با هم هم‌ارز باشند. به صورت صوری، اگر یک مجموعه و یک رابطه هم‌ارزی روی تعریف شده باشد، کلاس هم‌ارزی یک عنصر در که توسط نشان داده می‌شود، برابر مجموعه زیر است: برای عناصری که با هم‌ارز هستند. این موضوع از ویژگی‌های تعریف کننده روابط هم‌ارزی قابل اثبات است، که در آن کلاس‌های هم‌ارزی یک افراز از می‌سازد. این افراز (یعنی مجموعه کلاس‌های هم‌ارزی) را گاهی مجموعه خارج‌قسمتی، یا فضای خارج‌قسمتی برای توسط هم می‌نامند و توسط نشان داده می‌شود. وقتیکه مجموعه یک ساختار دارد (مثل یک عمل گروهی یا یک توپولوژی) و نیز رابطه هم‌ارزی با این ساختار سازگار است، آنوقت مجموعه خارج‌قسمتی معمولاً ساختار مشابهی از مجموعه والد خود به ارث می‌برد. مثال‌های آن شامل فضاهای خارج‌قسمتی در جبر خطی، فضاهای خارج‌قسمتی در توپولوژی، گروه‌های خارج‌قسمتی، فضاهای همگن، حلقه‌های خارج‌قسمتی، مونویدهای خارج‌قسمتی، و رده‌های خارج‌قسمتی است. مثال‌ها اگر برابر مجموعه همه خودروها باشد، و برابر رابطه هم‌ارزی «دارای رنگ مشابه اند» باشد، آنوقت یک کلاس هم‌ارزی خاص شامل خودروهای سبز است و همان مجموعه همه رنگ‌های خودروها است. فرض کنید که مجموعه همه مستطیل‌ها در یک صفحه باشد، و برابر رابطه هم‌ارزی «دارای مساحت مشابه اند» باشد، آنوقت برای هر عدد حقیقی مثبت ، یک کلاس هم‌ارزی برای همه مستطیل‌هایی که مساحتی برابر دارند، موجود است. رابطه هم‌ارزی پیمانه ۲ را روی مجموعه اعداد صحیح به این صورت که اگر و فقط اگر تفاضل آن‌ها یعنی یک عدد زوج باشد. این رابطه به دقیقاً کلاس هم‌ارزی منجر می‌شود: یک کلاس شامل همه اعداد زوج، و دیگری شامل همه اعداد فرد است. به کمک قلاب مربعی دور یک عضو کلاس برای نشان‌دادن یک کلاس هم‌ارزی تحت این رابطه، و همه یک عنصر مشابه برای را نشان می‌دهند. فرض کنید برابر مجموعه همه زوج‌مرتب‌های اعداد صحیح با غیرصفر باشد؛ و یک رابطه هم‌ارزی روی تعریف کنیم به‌این‌صورت که اگر و فقط اگر باشد، آنوقت کلاس هم‌ارزی برای زوج را می‌توان توسط عدد گویای شناساند؛ و از این رابطه هم‌ارزی و کلاس‌های هم‌ارزی آن می‌توان استفاده کرد تا به یک تعریف صوری از مجموعه اعداد گویا رسید. اگر شامل همه خطوط، مثلاً در فضای اقلیدسی، باشد، و به معنی آن باشد که و دو خط موازی هستند، آنوقت مجموعه خطوطی که با هم موازی‌اند یک کلاس هم‌ارزی می‌سازد، مادامیکه یک خط با خودش موازی درنظر گرفته می‌شود. تعریف و نماد یک رابطه هم‌ارزی روی یک مجموعه یک رابطه دوتایی روی است که این سه ویژگی را برآورده می‌کند: برای همه برقرار است (بازتابی) رابطه را برای همه پیامد بدهد، (تقارنی) اگر و باشد، آنوقت برای همه برقرار باشد (ترایایی). | ## بخش 2: کلاس هم‌ارزی | کلاس هم‌ارزی یک عنصر را معمولاً توسط یا نشان می‌دهند، و به صورت مجموعه از عناصری تعریف می‌شود که با توسط مرتبط اند. واژه «کلاس» در اصطلاح «کلاس هم‌ارزی» را معمولاً به صورت هم‌معنی با واژه «مجموعه» در نظر می‌گیرند، با این حال، بعضی از کلاس‌های هم‌ارزی مجموعه نیستند، بلکه کلاس محض هستند. برای مثال، «ایزوریختار بودن» یک رابطه هم‌ارزی روی گروه‌ها است، و کلاس‌های هم‌ارزی آن، که آن‌ها را کلاس‌های ایزوریختار می‌نامند، مجموعه نیستند. مجموعه همه کلاس‌های هم‌ارزی در در رابطه با یک رابطه هم‌ارزی به صورت نشان داده می‌شود، و به پیمانه (یا یک مجموعه خارج‌قسمتی از توسط ) نامیده می‌شود. نگاشت پوشای از روی که هر عنصر را به کلاس هم‌ارزی‌اش نگاشت می‌دهد، را تابع پوشای کانونی یا تصویر کانونی می‌نامند. هر عنصر یک کلاس هم‌ارزی، آن کلاس را معین می‌کند، و می‌توان برای «نمایش» از آن استفاده کرد. به دلیل آنکه ترکیب آن با تابع پوشای کانونی برابر همانی است، به چنین تابع یک‌به‌یکی، وقتیکه از اصطلاحات نظریه رسته‌ها استفاده شود، یک برش گفته می‌شود. برای مثال، در حساب پیمانه‌ای، برای هر عدد صحیح که از است، تجانس به پیمانه یک رابطه هم‌ارزی روی اعداد صحیح است، که در آن دو عدد صحیح و هم‌ارز هستند، در این حالت، گفته می‌شود که «متجانس» هستند- اگر بر عدد بخش‌پذیر باشد؛ این موضوع به صورت نشان داده می‌شود. هر کلاس شامل یک عدد صحیح غیر-منفی یکتا است که از کوچکتر است، و این اعداد صحیح نماینده‌های کانونی هستند. استفاده از نماینده برای نمایش کلاس امکان می‌دهد تا از درنظرگرفتن صریح کلاس به صورت مجموعه اجتناب شود. در این حالت، تابع پوشای کانونی که یک عنصر را به کلاس آن نگاشت می‌دهد، توسط تابعی که یک عنصر را به نماینده کلاسش نگاشت می‌دهد، می‌توان جایگزین کرد. در مثال قبل، این تابع به صورت نشان داده شده است، و باقی‌مانده تقسیم اقلیدسی به را تولید می‌کند. ازاین‌رو، مجموعه همه کلاس‌های هم‌ارزی یک افراز از می‌سازد: هر عنصر فقط و فقط به یک کلاس هم‌ارزی تعلق دارد. به صورت معکوس، هر افراز از از یک رابطه هم‌ارزی به دست می‌آید، به این روش که براساس آن است اگر و فقط اگر و به یک مجموعه مشابه از افراز تعلق داشته باشد. از بین این گراف‌ها می‌توان به گراف روابط هم‌ارزی اشاره کرد؛ آن‌ها به صورت گراف‌هایی مشخص می‌شوند که مولفه‌های متصل‌شان همان کلیک (خوشه) هستند. | ## بخش 3: کلاس هم‌ارزی | نامتغیر اگر یک رابطه هم‌ارزی روی باشد و یک ویژگی عناصر باشد به این‌صورت که هر وقت باشد، در صورتی درست است که درست باشد، آنوقت ویژگی را یک نامتغیر از می‌نامند، یا به آن تحت رابطه خوش‌تعریف می‌نامند. یک حالت بخصوص معمول وقتی رخ می‌دهد که یک تابع از به مجموعه دیگر باشد؛ اگر وقتی برقرار باشد که باشد، آنوقت گفته می‌شود که تحت نامتغیر کلاسی است یا به صورت ساده‌تر تحت نامتغیر است. بعضی از نویسندگان، از عبارت «سازگار با » یا فقط «حرمت‌نگهداری » به جای «نامتغیر تحت » استفاده می‌کنند. کلاس هم‌ارزی برابر مجموعه همه عناصر در است که به متناظر می‌شوند، یعنی، کلاس برابر تصویر وارون است. به صورت کلی‌تر، یک تابع می‌تواند آرگومان‌های هم‌ارز (تحت یک رابطه هم‌ارزی روی ) را به مقادیر هم‌ارز (تحت یک رابطه هم‌ارزی روی ) نگاشت دهد. فضای خارج‌قسمتی در توپولوژی در توپولوژی، یک فضای خارج‌قسمتی برابر فضای توپولوژیکی است که روی مجموعه کلاس‌های هم‌ارزی یک رابطه هم‌ارزی روی یک فضای توپولوژیکی تشکیل شده است، که از توپولوژی فضای اصلی برای ساخت توپولوژی روی مجموعه کلاس‌های هم‌ارزی استفاده می‌کند. در جبر مجرد، روابط هم‌نهشتی روی مجموعه مبنای یک جبر به جبر امکان می‌دهد تا یک جبر را روی کلاس‌های هم‌ارزی رابطه القا کند، که به آن جبر خارج‌قسمتی گفته می‌شود. در جبر خطی، یک فضای خارج‌قسمتی یک فضای برداری است که توسط گروه خارج‌قسمتی گرفتن تشکیل شده است، که در آن هوموریختارهای خارج‌قسمتی یک نگاشت خطی هستند. با تعمیم، در جبر مجرد، عبارت فضای خارج قسمتی را می‌توان برای ماژول‌های خارج‌قسمتی، حلقه‌های خارج‌قسمتی، گروه‌های خارج‌قسمتی یا هر جبر خارج‌قسمتی استفاده کرد. با این‌حال، استفاده از این اصطلاح برای حالت‌های عمومی‌تر را می‌توان توسط تشابه با مدارهای یک عمل گروهی باشد. مدارهای یک عمل گروهی روی یک مجموعه را می‌توان فضای خارج‌قسمتی عمل روی مجموعه نامید، مخصوصاً وقتیکه مدارهای عمل گروهی برابر هم‌دسته راست زیرگروه یک گروه باشد، که از عمل زیرگروه روی گروه توسط ترجمه چپ پدیدار می‌شود، یا متناسب با آن توسط هم‌دسته چپ به صورت مدارها تحت ترجمه راست پدیدار می‌شود. یک زیرگروه نرمال یک گروه توپولوژیکی، که روی گروه توسط عمل ترجمه عمل می‌کند، در مفهوم توپولوژی، جبر مجرد، و عمل‌های گروهی به صورت همزمان یک فضای خارج‌قسمتی است. اگرچه اصطلاح را می‌توان برای مجموعه کلاس‌های هم‌ارزی هر رابطه هم‌ارزی (محتملا با ساختار بیشتر) استفاده کرد، هدف از استفاده از این اصطلاح معمولاً مقایسه نوع رابطه هم‌ارزی روی یک مجموعه با یک رابطه هم‌ارزی است که یک ساختار را روی مجموعه کلاس‌های هم‌ارزی از ساختار با نوع مشابه روی القا می‌کند، یا مقایسه با مدارهای عمل گروه است. | ## جمع‌بندی | هم مفهوم یک ساختار که توسط یک رابطه هم‌ارزی حفظ می‌شود، و هم مطالعه نامتغیرها تحت عمل‌های گروهی، منجر به تعریف نامتغیرها برای رابطه‌های هم‌ارزی داده شده در بالا می‌شود.