From Wikipedia, the free encyclopedia
در ریاضیات، اگر عناصر یک مجموعه دارای یک مفهوم همارزی باشند (که این موضوع توسط یک رابطه همارزی صوریسازی میشود)، آنوقت میتوان مجموعه را به کلاسهای همارزی تجزیه کرد. این کلاسهای همارزی به این شیوه ساخته میشوند که عناصر و به یک کلاس همارزی تعلق دارند، اگر و تنها اگر، با هم همارز باشند.
به صورت صوری، اگر یک مجموعه و یک رابطه همارزی روی تعریف شده باشد، کلاس همارزی یک عنصر در که توسط [1] نشان داده میشود، برابر مجموعه زیر است:[2] برای عناصری که با همارز هستند. این موضوع از ویژگیهای تعریف کننده روابط همارزی قابل اثبات است، که در آن کلاسهای همارزی یک افراز از میسازد. این افراز (یعنی مجموعه کلاسهای همارزی) را گاهی مجموعه خارجقسمتی، یا فضای خارجقسمتی برای توسط هم مینامند و توسط نشان داده میشود.
وقتیکه مجموعه یک ساختار دارد (مثل یک عمل گروهی یا یک توپولوژی) و نیز رابطه همارزی با این ساختار سازگار است، آنوقت مجموعه خارجقسمتی معمولاً ساختار مشابهی از مجموعه والد خود به ارث میبرد. مثالهای آن شامل فضاهای خارجقسمتی در جبر خطی، فضاهای خارجقسمتی در توپولوژی، گروههای خارجقسمتی، فضاهای همگن، حلقههای خارجقسمتی، مونویدهای خارجقسمتی، و ردههای خارجقسمتی است.
یک رابطه همارزی روی یک مجموعه یک رابطه دوتایی روی است که این سه ویژگی را برآورده میکند:[6][7]
کلاس همارزی یک عنصر را معمولاً توسط یا نشان میدهند، و به صورت مجموعه از عناصری تعریف میشود که با توسط مرتبط اند.[2] واژه «کلاس» در اصطلاح «کلاس همارزی» را معمولاً به صورت هممعنی با واژه «مجموعه» در نظر میگیرند، با این حال، بعضی از کلاسهای همارزی مجموعه نیستند، بلکه کلاس محض هستند. برای مثال، «ایزوریختار بودن» یک رابطه همارزی روی گروهها است، و کلاسهای همارزی آن، که آنها را کلاسهای ایزوریختار مینامند، مجموعه نیستند.
مجموعه همه کلاسهای همارزی در در رابطه با یک رابطه همارزی به صورت نشان داده میشود، و به پیمانه (یا یک مجموعه خارجقسمتی از توسط ) نامیده میشود.[8] نگاشت پوشای از روی که هر عنصر را به کلاس همارزیاش نگاشت میدهد، را تابع پوشای کانونی یا تصویر کانونی مینامند.
هر عنصر یک کلاس همارزی، آن کلاس را معین میکند، و میتوان برای «نمایش» از آن استفاده کرد. وقتیکه چنین عنصری انتخاب شود، به آن یک نماینده کلاس گفته میشود. انتخاب نماینده در هر کلاس یک تابع یکبهیک از به X تعریف میکند. به دلیل آنکه ترکیب آن با تابع پوشای کانونی برابر همانی است، به چنین تابع یکبهیکی، وقتیکه از اصطلاحات نظریه رستهها استفاده شود، یک برش گفته میشود.
گاهیاوقات، برشی وجود دارد که ار بقیه «طبیعیتر» است. در این حالت، به آن نماینده «نماینده کانونی» گفته میشود. برای مثال، در حساب پیمانهای، برای هر عدد صحیح m که از 1 است، تجانس به پیمانه m یک رابطه همارزی روی اعداد صحیح است، که در آن دو عدد صحیح a و b همارز هستند، در این حالت، گفته میشود که «متجانس» هستند- اگر m بر عدد بخشپذیر باشد؛ این موضوع به صورت نشان داده میشود. هر کلاس شامل یک عدد صحیح غیر-منفی یکتا است که از کوچکتر است، و این اعداد صحیح نمایندههای کانونی هستند.
استفاده از نماینده برای نمایش کلاس امکان میدهد تا از درنظرگرفتن صریح کلاس به صورت مجموعه اجتناب شود. در این حالت، تابع پوشای کانونی که یک عنصر را به کلاس آن نگاشت میدهد، توسط تابعی که یک عنصر را به نماینده کلاسش نگاشت میدهد، میتوان جایگزین کرد. در مثال قبل، این تابع به صورت نشان داده شده است، و باقیمانده تقسیم اقلیدسی a به m را تولید میکند.
هر عنصر از یک عضو از کلاس همارزی است. هر دو کلاس همارزی و یا برابراند یا مجزا هستند. ازاینرو، مجموعه همه کلاسهای همارزی یک افراز از میسازد: هر عنصر فقط و فقط به یک کلاس همارزی تعلق دارد.[9] به صورت معکوس، هر افراز از از یک رابطه همارزی به دست میآید، به این روش که براساس آن است اگر و فقط اگر و به یک مجموعه مشابه از افراز تعلق داشته باشد.[10]
از ویژگیهای یک رابطه همارزی این موضوع قابل دستیابی است: اگر و تنها اگر باشد.
به زبان دیگر، اگر یک رابطه همارزی روی یک مجموعه باشد، و و دو عنصر از باشند، آنوقت این بیانیهها معادل هستند:
یک گراف بدونجهت را میتوان به هر رابطه متقارن روی یک مجموعه منتسب کرد، که در آن راسها همان عناصر هستند و دو راس و متصل هستند اگر و فقط اگر باشد. از بین این گرافها میتوان به گراف روابط همارزی اشاره کرد؛ آنها به صورت گرافهایی مشخص میشوند که مولفههای متصلشان همان کلیک (خوشه) هستند.[4]
اگر یک رابطه همارزی روی باشد و یک ویژگی عناصر باشد به اینصورت که هر وقت باشد، در صورتی درست است که درست باشد، آنوقت ویژگی را یک نامتغیر از مینامند، یا به آن تحت رابطه خوشتعریف مینامند.
یک حالت بخصوص معمول وقتی رخ میدهد که یک تابع از به مجموعه دیگر باشد؛ اگر وقتی برقرار باشد که باشد، آنوقت گفته میشود که تحت نامتغیر کلاسی است یا به صورت سادهتر تحت نامتغیر است. این موضوع، برای مثال، در نظریه کاراکتر از گروههای متناهی رخ میدهد. بعضی از نویسندگان، از عبارت «سازگار با » یا فقط «حرمتنگهداری » به جای «نامتغیر تحت » استفاده میکنند.
هر تابع تحت «نامتغیر کلاسی» است، که براساس آن است اگر و فقط اگر باشد. کلاس همارزی برابر مجموعه همه عناصر در است که به متناظر میشوند، یعنی، کلاس برابر تصویر وارون است. به این رابطه همارزی هسته گفته میشود.
به صورت کلیتر، یک تابع میتواند آرگومانهای همارز (تحت یک رابطه همارزی روی ) را به مقادیر همارز (تحت یک رابطه همارزی روی ) نگاشت دهد. چنین تابعی یک ریختار از مجموعهها است که به یک رابطه همارزی مجهز میباشد.
در توپولوژی، یک فضای خارجقسمتی برابر فضای توپولوژیکی است که روی مجموعه کلاسهای همارزی یک رابطه همارزی روی یک فضای توپولوژیکی تشکیل شده است، که از توپولوژی فضای اصلی برای ساخت توپولوژی روی مجموعه کلاسهای همارزی استفاده میکند.
در جبر مجرد، روابط همنهشتی روی مجموعه مبنای یک جبر به جبر امکان میدهد تا یک جبر را روی کلاسهای همارزی رابطه القا کند، که به آن جبر خارجقسمتی گفته میشود. در جبر خطی، یک فضای خارجقسمتی یک فضای برداری است که توسط گروه خارجقسمتی گرفتن تشکیل شده است، که در آن هوموریختارهای خارجقسمتی یک نگاشت خطی هستند. با تعمیم، در جبر مجرد، عبارت فضای خارج قسمتی را میتوان برای ماژولهای خارجقسمتی، حلقههای خارجقسمتی، گروههای خارجقسمتی یا هر جبر خارجقسمتی استفاده کرد. با اینحال، استفاده از این اصطلاح برای حالتهای عمومیتر را میتوان توسط تشابه با مدارهای یک عمل گروهی باشد.
مدارهای یک عمل گروهی روی یک مجموعه را میتوان فضای خارجقسمتی عمل روی مجموعه نامید، مخصوصاً وقتیکه مدارهای عمل گروهی برابر همدسته راست زیرگروه یک گروه باشد، که از عمل زیرگروه روی گروه توسط ترجمه چپ پدیدار میشود، یا متناسب با آن توسط همدسته چپ به صورت مدارها تحت ترجمه راست پدیدار میشود.
یک زیرگروه نرمال یک گروه توپولوژیکی، که روی گروه توسط عمل ترجمه عمل میکند، در مفهوم توپولوژی، جبر مجرد، و عملهای گروهی به صورت همزمان یک فضای خارجقسمتی است.
اگرچه اصطلاح را میتوان برای مجموعه کلاسهای همارزی هر رابطه همارزی (محتملا با ساختار بیشتر) استفاده کرد، هدف از استفاده از این اصطلاح معمولاً مقایسه نوع رابطه همارزی روی یک مجموعه با یک رابطه همارزی است که یک ساختار را روی مجموعه کلاسهای همارزی از ساختار با نوع مشابه روی القا میکند، یا مقایسه با مدارهای عمل گروه است. هم مفهوم یک ساختار که توسط یک رابطه همارزی حفظ میشود، و هم مطالعه نامتغیرها تحت عملهای گروهی، منجر به تعریف نامتغیرها برای رابطههای همارزی داده شده در بالا میشود.
Seamless Wikipedia browsing. On steroids.
Every time you click a link to Wikipedia, Wiktionary or Wikiquote in your browser's search results, it will show the modern Wikiwand interface.
Wikiwand extension is a five stars, simple, with minimum permission required to keep your browsing private, safe and transparent.