کلاس هم‌ارزی

در ریاضیات، اگر عناصر یک مجموعه  دارای یک مفهوم هم‌ارزی باشند (که این موضوع توسط یک رابطه هم‌ارزی صوری‌سازی می‌شود)، آنوقت می‌توان مجموعه  را به کلاس‌های هم‌ارزی تجزیه کرد. این کلاس‌های هم‌ارزی به این شیوه ساخته می‌شوند که عناصر  و  به یک کلاس هم‌ارزی تعلق دارند، اگر و تنها اگر، با هم هم‌ارز باشند.

به صورت صوری، اگر یک مجموعه  و یک رابطه هم‌ارزی  روی  تعریف شده باشد، کلاس هم‌ارزی یک عنصر  در  که توسط  نشان داده می‌شود، برابر مجموعه زیر است:

برای عناصری که با  هم‌ارز هستند. این موضوع از ویژگی‌های تعریف کننده روابط هم‌ارزی قابل اثبات است، که در آن کلاس‌های هم‌ارزی یک افراز از  می‌سازد. این افراز (یعنی مجموعه کلاس‌های هم‌ارزی) را گاهی مجموعه خارج‌قسمتی، یا فضای خارج‌قسمتی برای  توسط  هم می‌نامند و توسط  نشان داده می‌شود.

وقتیکه مجموعه  یک ساختار دارد (مثل یک عمل گروهی یا یک توپولوژی) و نیز رابطه هم‌ارزی  با این ساختار سازگار است، آنوقت مجموعه خارج‌قسمتی معمولاً ساختار مشابهی از مجموعه والد خود به ارث می‌برد. مثال‌های آن شامل فضاهای خارج‌قسمتی در جبر خطی، فضاهای خارج‌قسمتی در توپولوژی، گروه‌های خارج‌قسمتی، فضاهای همگن، حلقه‌های خارج‌قسمتی، مونویدهای خارج‌قسمتی، و رده‌های خارج‌قسمتی است.

مثال‌ها 
 اگر  برابر مجموعه همه خودروها باشد، و  برابر رابطه هم‌ارزی «دارای رنگ مشابه اند» باشد، آنوقت یک کلاس هم‌ارزی خاص شامل خودروهای سبز است و  همان مجموعه همه رنگ‌های خودروها است.
 فرض کنید که  مجموعه همه مستطیل‌ها در یک صفحه باشد، و  برابر رابطه هم‌ارزی «دارای مساحت مشابه اند» باشد، آنوقت برای هر عدد حقیقی مثبت ، یک کلاس هم‌ارزی برای همه مستطیل‌هایی که مساحتی برابر  دارند، موجود است.
 رابطه هم‌ارزی پیمانه ۲ را روی مجموعه اعداد صحیح  به این صورت که  اگر و فقط اگر تفاضل آن‌ها یعنی  یک عدد زوج باشد. این رابطه به دقیقاً کلاس هم‌ارزی منجر می‌شود: یک کلاس شامل همه اعداد زوج، و دیگری شامل همه اعداد فرد است. به کمک قلاب مربعی دور یک عضو کلاس برای نشان‌دادن یک کلاس هم‌ارزی تحت این رابطه،  و  همه یک عنصر مشابه برای  را نشان می‌دهند.
 فرض کنید  برابر مجموعه همه زوج‌مرتب‌های اعداد صحیح  با  غیرصفر باشد؛ و یک رابطه هم‌ارزی  روی  تعریف کنیم به‌این‌صورت که  اگر و فقط اگر  باشد، آنوقت کلاس هم‌ارزی برای زوج  را می‌توان توسط عدد گویای  شناساند؛ و از این رابطه هم‌ارزی و کلاس‌های هم‌ارزی آن می‌توان استفاده کرد تا به یک تعریف صوری از مجموعه اعداد گویا رسید. از همین ساختار را می‌توان به میدان نسبتی برای هر حوزه صحیح تعمیم داد.
 اگر  شامل همه خطوط، مثلاً در فضای اقلیدسی، باشد، و  به معنی آن باشد که  و  دو خط موازی هستند، آنوقت مجموعه خطوطی که با هم موازی‌اند یک کلاس هم‌ارزی می‌سازد، مادامیکه یک خط با خودش موازی درنظر گرفته می‌شود. در این حالت، هر کلاس هم‌ارزی یک نقطه در بینهایت را معین می‌کند.

تعریف و نماد 
یک رابطه هم‌ارزی روی یک مجموعه  یک رابطه دوتایی  روی  است که این سه ویژگی را برآورده می‌کند:
  برای همه  برقرار است (بازتابی)
  رابطه  را برای همه  پیامد بدهد، (تقارنی)
 اگر  و  باشد، آنوقت  برای همه  برقرار باشد (ترایایی).

کلاس هم‌ارزی یک عنصر  را معمولاً توسط  یا  نشان می‌دهند، و به صورت مجموعه  از عناصری تعریف می‌شود که با  توسط  مرتبط اند. واژه «کلاس» در اصطلاح «کلاس هم‌ارزی» را معمولاً به صورت هم‌معنی با واژه «مجموعه» در نظر می‌گیرند، با این حال، بعضی از کلاس‌های هم‌ارزی مجموعه نیستند، بلکه کلاس محض هستند. برای مثال، «ایزوریختار بودن» یک رابطه هم‌ارزی روی گروه‌ها است، و کلاس‌های هم‌ارزی آن، که آن‌ها را کلاس‌های ایزوریختار می‌نامند، مجموعه نیستند.

مجموعه همه کلاس‌های هم‌ارزی در  در رابطه با یک رابطه هم‌ارزی  به صورت  نشان داده می‌شود، و  به پیمانه  (یا یک مجموعه خارج‌قسمتی از  توسط ) نامیده می‌شود. نگاشت پوشای  از  روی  که هر عنصر را به کلاس هم‌ارزی‌اش نگاشت می‌دهد، را تابع پوشای کانونی یا تصویر کانونی می‌نامند.

هر عنصر یک کلاس هم‌ارزی، آن کلاس را معین می‌کند، و می‌توان برای «نمایش» از آن استفاده کرد. وقتیکه چنین عنصری انتخاب شود، به آن یک نماینده کلاس گفته می‌شود. انتخاب نماینده در هر کلاس یک تابع یک‌به‌یک از  به  تعریف می‌کند. به دلیل آنکه ترکیب آن با تابع پوشای کانونی برابر همانی  است، به چنین تابع یک‌به‌یکی، وقتیکه از اصطلاحات نظریه رسته‌ها استفاده شود، یک برش گفته می‌شود.

گاهی‌اوقات، برشی وجود دارد که ار بقیه «طبیعی‌تر» است. در این حالت، به آن نماینده‌ «نماینده کانونی» گفته می‌شود. برای مثال، در حساب پیمانه‌ای، برای هر عدد صحیح  که از  است، تجانس به پیمانه  یک رابطه هم‌ارزی روی اعداد صحیح است، که در آن دو عدد صحیح  و  هم‌ارز هستند، در این حالت، گفته می‌شود که «متجانس» هستند- اگر  بر عدد  بخش‌پذیر باشد؛ این موضوع به صورت  نشان داده می‌شود. هر کلاس شامل یک عدد صحیح غیر-منفی یکتا است که از  کوچکتر است، و این اعداد صحیح نماینده‌های کانونی هستند.

استفاده از نماینده برای نمایش کلاس امکان می‌دهد تا از درنظرگرفتن صریح کلاس به صورت مجموعه اجتناب شود. در این حالت، تابع پوشای کانونی که یک عنصر را به کلاس آن نگاشت می‌دهد، توسط تابعی که یک عنصر را به نماینده کلاسش نگاشت می‌دهد، می‌توان جایگزین کرد. در مثال قبل، این تابع به صورت  نشان داده شده‌است، و باقی‌مانده تقسیم اقلیدسی  به  را تولید می‌کند.

ویژگی‌ها 
هر عنصر  از  یک عضو از کلاس هم‌ارزی  است. هر دو کلاس هم‌ارزی  و  یا برابراند یا مجزا هستند. ازاین‌رو، مجموعه همه کلاس‌های هم‌ارزی  یک افراز از  می‌سازد: هر عنصر  فقط و فقط به یک کلاس هم‌ارزی تعلق دارد. به صورت معکوس، هر افراز از  از یک رابطه هم‌ارزی به دست می‌آید، به این روش که براساس آن  است اگر و فقط اگر  و  به یک مجموعه مشابه از افراز تعلق داشته باشد.

از ویژگی‌های یک رابطه هم‌ارزی این موضوع قابل دستیابی است:
 اگر و تنها اگر  باشد.

به زبان دیگر، اگر  یک رابطه هم‌ارزی روی یک مجموعه  باشد، و  و  دو عنصر از  باشند، آنوقت این بیانیه‌ها معادل هستند:

نمایش گرافیکی 

یک گراف بدون‌جهت را می‌توان به هر رابطه متقارن روی یک مجموعه  منتسب کرد، که در آن راس‌ها همان عناصر  هستند و دو راس  و  متصل هستند اگر و فقط اگر  باشد. از بین این گراف‌ها می‌توان به گراف روابط هم‌ارزی اشاره کرد؛ آن‌ها به صورت گراف‌هایی مشخص می‌شوند که مولفه‌های متصل‌شان همان کلیک (خوشه) هستند.

نامتغیر 
اگر  یک رابطه هم‌ارزی روی  باشد و  یک ویژگی عناصر  باشد به این‌صورت که هر وقت  باشد،  در صورتی درست است که  درست باشد، آنوقت ویژگی  را یک نامتغیر از  می‌نامند، یا به آن تحت رابطه  خوش‌تعریف می‌نامند.

یک حالت بخصوص معمول وقتی رخ می‌دهد که  یک تابع از  به مجموعه دیگر  باشد؛ اگر  وقتی برقرار باشد که  باشد، آنوقت گفته می‌شود که  تحت  نامتغیر کلاسی است یا به صورت ساده‌تر تحت  نامتغیر است. این موضوع، برای مثال، در نظریه کاراکتر از گروه‌های متناهی رخ می‌دهد. بعضی از نویسندگان، از عبارت «سازگار با » یا فقط «حرمت‌نگهداری » به جای «نامتغیر تحت » استفاده می‌کنند.

هر تابع  تحت  «نامتغیر کلاسی» است، که براساس آن  است اگر و فقط اگر  باشد. کلاس هم‌ارزی  برابر مجموعه همه عناصر در  است که به  متناظر می‌شوند، یعنی، کلاس  برابر تصویر وارون  است. به این رابطه هم‌ارزی هسته  گفته می‌شود.

به صورت کلی‌تر، یک تابع می‌تواند آرگومان‌های هم‌ارز (تحت یک رابطه هم‌ارزی  روی ) را به مقادیر هم‌ارز (تحت یک رابطه هم‌ارزی  روی ) نگاشت دهد. چنین تابعی یک ریختار از مجموعه‌ها است که به یک رابطه هم‌ارزی مجهز می‌باشد.

فضای خارج‌قسمتی در توپولوژی 
در توپولوژی، یک فضای خارج‌قسمتی برابر فضای توپولوژیکی است که روی مجموعه کلاس‌های هم‌ارزی یک رابطه هم‌ارزی روی یک فضای توپولوژیکی تشکیل شده‌است، که از توپولوژی فضای اصلی برای ساخت توپولوژی روی مجموعه کلاس‌های هم‌ارزی استفاده می‌کند.

در جبر مجرد، روابط هم‌نهشتی روی مجموعه مبنای یک جبر به جبر امکان می‌دهد تا یک جبر را روی کلاس‌های هم‌ارزی رابطه القا کند، که به آن جبر خارج‌قسمتی گفته می‌شود. در جبر خطی، یک فضای خارج‌قسمتی یک فضای برداری است که توسط گروه خارج‌قسمتی گرفتن تشکیل شده‌است، که در آن هوموریختارهای خارج‌قسمتی یک نگاشت خطی هستند. با تعمیم، در جبر مجرد، عبارت فضای خارج قسمتی را می‌توان برای ماژول‌های خارج‌قسمتی، حلقه‌های خارج‌قسمتی، گروه‌های خارج‌قسمتی یا هر جبر خارج‌قسمتی استفاده کرد. با این‌حال، استفاده از این اصطلاح برای حالت‌های عمومی‌تر را می‌توان توسط تشابه با مدارهای یک عمل گروهی باشد.

مدارهای یک عمل گروهی روی یک مجموعه را می‌توان فضای خارج‌قسمتی عمل روی مجموعه نامید، مخصوصاً وقتیکه مدارهای عمل گروهی برابر هم‌دسته راست زیرگروه یک گروه باشد، که از عمل زیرگروه روی گروه توسط ترجمه چپ پدیدار می‌شود، یا متناسب با آن توسط هم‌دسته چپ به صورت مدارها تحت ترجمه راست پدیدار می‌شود.

یک زیرگروه نرمال یک گروه توپولوژیکی، که روی گروه توسط عمل ترجمه عمل می‌کند، در مفهوم توپولوژی، جبر مجرد، و عمل‌های گروهی به صورت همزمان یک فضای خارج‌قسمتی است.

اگرچه اصطلاح را می‌توان برای مجموعه کلاس‌های هم‌ارزی هر رابطه هم‌ارزی (محتملا با ساختار بیشتر) استفاده کرد، هدف از استفاده از این اصطلاح معمولاً مقایسه نوع رابطه هم‌ارزی روی یک مجموعه  با یک رابطه هم‌ارزی است که یک ساختار را روی مجموعه کلاس‌های هم‌ارزی از ساختار با نوع مشابه روی  القا می‌کند، یا مقایسه با مدارهای عمل گروه است. هم مفهوم یک ساختار که توسط یک رابطه هم‌ارزی حفظ می‌شود، و هم مطالعه نامتغیرها تحت عمل‌های گروهی، منجر به تعریف نامتغیرها برای رابطه‌های هم‌ارزی داده شده در بالا می‌شود.

پانویس

منابع 

جبر
روابط دوتایی
نظریه مجموعه‌ها
هم‌ارزی