## شعر آغازین
تابعگر آنگاه که ساختار نگه دارد
نه راهِ ریخت را گم کند، نه پیوند را کم کند
اگر هر ریختِ مقصد از مبدأ برآید
«پُر» است؛ اگر هر ریخت در آن شناخته آید
چپ، حدهایِ متناهی را پاس میدارد
راست، همحد را به سامان میآرد
دو رسته اگر به هم آیینهوار شوند
به نامِ همارزی، همخانهوار شوند
و چون رفتوآمدشان به هم سازگار شود
دو تابعگر، زوجِ الحاقدار شود
---
```html
تابعگرهای کامل، چپ، راست، وفادار و زوجهای الحاقی
۱. تابعگر میان دو رده
فرض کنید C و D دو رده باشند. یک تابعگر F از C به D، هر شیء و هر ریخت را بهگونهای سازگار از ردهٔ C به ردهٔ D میفرستد:
F : C → D
این تابعگر باید دو شرط اساسی را حفظ کند:
F(۱A) = ۱F(A)
F(g ∘ f) = F(g) ∘ F(f)
شرط نخست، حفظ ریخت همانی و شرط دوم، حفظ ترکیب ریختهاست.
۲. تابعگر کامل یا پُر
در بسیاری از متون، واژهٔ Full را «کامل» ترجمه میکنند؛ اما برای جلوگیری از اشتباه با Complete، بهتر است آن را «پُر» نیز بنامیم.
تابعگر F را پُر مینامیم هرگاه برای هر دو شیء A و B در C، نگاشت زیر پوشا باشد:
Fₐ,ᵦ : HomC(A , B) → HomD(F(A) , F(B))
پوشا بودن یعنی هر ریخت میان F(A) و F(B) در ردهٔ مقصد، دستکم تصویر یک ریخت از A به B در ردهٔ مبدأ باشد.
به بیان ساده، تابعگر پُر هیچ ریختی را که میان تصاویر دو شیء وجود دارد، بیمنشأ باقی نمیگذارد.
۳. تابعگر وفادار
تابعگر F را وفادار مینامیم هرگاه برای هر دو شیء A و B، نگاشت القایی روی مجموعههای هوم یکبهیک باشد:
Fₐ,ᵦ : HomC(A , B) → HomD(F(A) , F(B))
یکبهیک بودن یعنی اگر دو ریخت f و g در ردهٔ C پس از اعمال F برابر شوند، خودِ آن دو ریخت نیز برابر باشند:
F(f) = F(g) ⇒ f = g
پس تابعگر وفادار، ریختهای متفاوت را با یکدیگر درنمیآمیزد.
۴. تابعگر کاملاً وفادار
اگر تابعگر F همزمان پُر و وفادار باشد، آن را کاملاً وفادار مینامیم.
در این حالت، برای هر دو شیء A و B، نگاشت زیر دوسویی است:
HomC(A , B) ≅ HomD(F(A) , F(B))
بنابراین همهٔ اطلاعات مربوط به ریختهای میان A و B، بدون کموکاست در تصاویر آنها حفظ میشود.
۵. تفاوت تابعگر پُر و وفادار
| نوع تابعگر | ویژگی نگاشت هوم | معنای ساده |
|---|---|---|
| وفادار | یکبهیک | ریختهای متفاوت را یکی نمیکند. |
| پُر | پوشا | هر ریخت مقصد از یک ریخت مبدأ میآید. |
| کاملاً وفادار | یکبهیک و پوشا | اطلاعات ریختها دقیقاً حفظ میشود. |
۶. تابعگر چپکامل
تابعگر چپکامل، تابعگری است که حدهای متناهی را حفظ میکند.
اگر D یک نمودار متناهی در ردهٔ C باشد و حد آن وجود داشته باشد، تابعگر F چپکامل است هرگاه:
F(lim D) ≅ lim(F ∘ D)
این یکریختی باید با ساختار مخروطی حد سازگار باشد.
بهطور معمول، چپکامل بودن شامل حفظ این ساختارهاست:
- شیء نهایی؛
- حاصلضرب متناهی؛
- هسته؛
- فاصلهگیر؛
- حدهای متناهی عمومی.
در ردههای آبلی، تابعگر چپکامل معمولاً هستهها و دنبالههای دقیق چپ را حفظ میکند.
۷. تابعگر راستکامل
تابعگر راستکامل، تابعگری است که همحدهای متناهی را حفظ میکند:
F(colim D) ≅ colim(F ∘ D)
در اینجا، colim نماد همحد نمودار است.
بهطور معمول، راستکامل بودن شامل حفظ این ساختارهاست:
- شیء ابتدایی؛
- همضرب متناهی؛
- کوکرنل؛
- همفاصلهگیر؛
- همحدهای متناهی عمومی.
در ردههای آبلی، تابعگر راستکامل معمولاً کوکرنلها و دنبالههای دقیق راست را حفظ میکند.
۸. نکتهٔ مهم دربارهٔ «کامل»
دو اصطلاح زیر را نباید با یکدیگر اشتباه کرد:
- تابعگر پُر: Full؛ یعنی نگاشتهای هوم آن پوشا هستند.
- تابعگر کامل از نظر حدی: Complete یا Limit-preserving؛ یعنی حدها یا همحدها را حفظ میکند.
بنابراین «تابعگر پُر» با «تابعگر چپکامل» یا «تابعگر راستکامل» یک مفهوم نیست.
۹. دو ردهٔ معادل
دو ردهٔ C و D را معادل یا همارز مینامیم هرگاه دو تابعگر زیر وجود داشته باشند:
F : C → D
G : D → C
و دو تبدیل طبیعی وارونگونه نیز وجود داشته باشد:
η : ۱C ⇒ G ∘ F
ε : F ∘ G ⇒ ۱D
اگر مؤلفههای η و ε همگی یکریختی باشند، آنگاه مینویسیم:
G ∘ F ≅ ۱C
F ∘ G ≅ ۱D
این روابط میگویند که دو تابعگر، دو رده را تا یکریختی طبیعی به یکدیگر بازمیگردانند.
۱۰. معیار همارزی ردهها
یک تابعگر F : C → D، همارزی ردهها را ایجاد میکند اگر سه ویژگی زیر را داشته باشد:
- وفادار باشد؛
- پُر باشد؛
- از نظر اشیا اساساً پوشا باشد.
منظور از پوشایی اساسی روی اشیا این است که برای هر شیء B در D، شیئی مانند A در C وجود داشته باشد بهگونهای که:
F(A) ≅ B
پس برای همارزی، لازم نیست هر شیء مقصد دقیقاً تصویر یک شیء مبدأ باشد؛ کافی است تا یکریختی با چنین تصویری داشته باشد.
۱۱. زوج تابعگرهای الحاقی
فرض کنید دو تابعگر زیر داشته باشیم:
F : C → D
G : D → C
میگوییم F تابعگر چپالحاق و G تابعگر راستالحاق است و مینویسیم:
F ⊣ G
اگر برای هر شیء A در C و هر شیء B در D، یک تناظر طبیعی میان مجموعههای هوم زیر وجود داشته باشد:
HomD(F(A) , B) ≅ HomC(A , G(B))
این تناظر، تعریف اصلی الحاق میان F و G است.
۱۲. معنای شهودی الحاق
تابعگر F دادهای را از ردهٔ C به ردهٔ D میبرد و تابعگر G آن را در جهت مقابل بررسی میکند. الحاق میگوید ریختهای خارجشونده از F(A) به B، دقیقاً با ریختهای خارجشونده از A به G(B) متناظرند.
در اینجا F و G الزاماً وارون یکدیگر نیستند؛ اما میان آنها هماهنگی عمیقی برقرار است.
۱۳. واحد و همواحد الحاق
از هر زوج الحاقی F ⊣ G، دو تبدیل طبیعی بنیادی به دست میآید.
واحد الحاق، تبدیل طبیعی زیر است:
η : ۱C ⇒ G ∘ F
مؤلفهٔ آن در شیء A چنین است:
ηA : A → G(F(A))
همواحد الحاق، تبدیل طبیعی زیر است:
ε : F ∘ G ⇒ ۱D
مؤلفهٔ آن در شیء B چنین است:
εB : F(G(B)) → B
۱۴. روابط مثلثی الحاق
واحد و همواحد باید دو رابطهٔ مثلثی را برقرار کنند:
εF(A) ∘ F(ηA) = ۱F(A)
G(εB) ∘ ηG(B) = ۱G(B)
این روابط تضمین میکنند که رفتوبرگشتهای حاصل از واحد و همواحد، ساختار را بهدرستی به خودِ آن بازمیگردانند.
۱۵. نمونهٔ الحاق آزاد و فراموشکار
تابعگر فراموشکار از ردهٔ گروهها به ردهٔ مجموعهها، ساختار گروهی را کنار میگذارد و تنها مجموعهٔ زیرین گروه را نگه میدارد:
U : Grp → Set
در جهت مقابل، تابعگر گروه آزاد، به هر مجموعه، گروه آزادی نسبت میدهد:
F : Set → Grp
این دو تابعگر یک زوج الحاقی تشکیل میدهند:
F ⊣ U
یعنی برای هر مجموعهٔ X و هر گروه G، تناظر طبیعی زیر برقرار است:
HomGrp(F(X) , G) ≅ HomSet(X , U(G))
معنای این رابطه آن است که هر تابع از X به مجموعهٔ زیرین G، بهطور یکتا به یک همریختی گروهی از گروه آزاد F(X) به G گسترش مییابد.
۱۶. تفاوت الحاق و همارزی
در همارزی ردهها، دو تابعگر تقریباً وارون یکدیگرند و ترکیب آنها به تابعگر همانی، بهطور طبیعی یکریخت است.
اما در الحاق، یک تابعگر چپ و یک تابعگر راست وجود دارند که میان مجموعههای هوم تناظر طبیعی ایجاد میکنند. این دو تابعگر الزاماً وارون یکدیگر نیستند.
| مفهوم | شرط اصلی |
|---|---|
| تابعگر پُر | نگاشتهای هوم پوشا هستند. |
| تابعگر وفادار | نگاشتهای هوم یکبهیک هستند. |
| تابعگر چپکامل | حدهای متناهی را حفظ میکند. |
| تابعگر راستکامل | همحدهای متناهی را حفظ میکند. |
| همارزی ردهها | دو تابعگر، وارون طبیعی یکدیگرند. |
| زوج الحاقی | میان مجموعههای هوم تناظر طبیعی وجود دارد. |
۱۷. جمعبندی نهایی
تابعگر وفادار، تفاوت میان ریختها را حفظ میکند؛ تابعگر پُر، همهٔ ریختهای مقصد را از ریختهای مبدأ پدید میآورد؛ و تابعگر کاملاً وفادار، هر دو ویژگی را یکجا دارد.
تابعگر چپکامل، حدهای متناهی را نگه میدارد و تابعگر راستکامل، همحدهای متناهی را حفظ میکند.
دو رده هنگامی معادلاند که دو تابعگر، آنها را تا یکریختی طبیعی به یکدیگر بازگردانند. در مقابل، دو تابعگر F و G هنگامی زوج الحاقیاند که رابطهٔ طبیعی زیر برقرار باشد:
HomD(F(A) , B) ≅ HomC(A , G(B))
الحاق، پلی میان دو رده است؛ همارزی، بازگشتِ تقریباً کامل از آن پل؛ و لم یُونِدا، آینهای که در آن همهٔ این روابط چهرهٔ حقیقی خود را نشان میدهند.
```
### خلاصهٔ نمادین
```text
تابعگر پُر:
HomC(A , B) → HomD(F(A) , F(B))
پوشا
تابعگر وفادار:
F(f) = F(g) ⇒ f = g
تابعگر کاملاً وفادار:
HomC(A , B) ≅ HomD(F(A) , F(B))
چپکامل:
F(lim D) ≅ lim(F ∘ D)
راستکامل:
F(colim D) ≅ colim(F ∘ D)
همارزی:
G ∘ F ≅ ۱C
F ∘ G ≅ ۱D
الحاق:
F ⊣ G
HomD(F(A) , B) ≅ HomC(A , G(B))
```
**نکتهٔ اصطلاحی:** در این متن، «تابعگر پُر» معادل Full و «تابعگر چپکامل و راستکامل» بهترتیب معادل حفظ حدهای متناهی و همحدهای متناهی است؛ این دو معنای «کامل» نباید با یکدیگر آمیخته شوند.
در این وبلاگ به ریاضیات و کاربردهای آن و تحقیقات در آنها پرداخته می شود. مطالب در این وبلاگ ترجمه سطحی و اولیه است و کامل نیست.در صورتی سوال یا نظری در زمینه ریاضیات دارید مطرح نمایید .در صورت امکان به آن می پردازم. من دوست دارم برای یافتن پاسخ به سوالات و حل پروژه های علمی با دیگران همکاری نمایم.در صورتی که شما هم بامن هم عقیده هستید با من تماس بگیرید.