ریاضیات

# کنار اقیانوس؛ جایی میان ساحل و بی‌کرانگی

کنار آب آمدم، موج از دور

زبان می‌ریخت بر شن‌های مهجور

نه دریا را توانستم شمردن

نه از یک قطره، راهی برگزیدن

کنار اقیانوس، دیگر درون تاریکی مطلق نیستیم؛ اما هنوز به خشکی کامل نیز نرسیده‌ایم. ساحل، مرزی است میان دو جهان: جهانِ محدود و جهانِ بی‌کران، جهانِ مشاهده و جهانِ عمق.

در نظریهٔ رده‌ها نیز چنین مرزهایی فراوان‌اند. گاهی یک شیء درون یک رده قرار دارد، اما رفتار آن در برابر اشیای بیرونی، ساختار عمیق‌تری را آشکار می‌کند.

---

## ۱. ساحل به‌عنوان مرز

اقیانوس را O و ساحل را S در نظر بگیریم. ورود ساحل به اقیانوس با یک نگاشت همراه است:

i : S → O

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

- شکل مرز؛

- مسیرهای ورود و خروج؛

- نقاط اتصال؛

- حفره‌ها؛

- و رابطه با نواحی مجاور.

در توپولوژی، اگر S زیرمجموعه‌ای از O باشد، می‌توان ساختار القایی را روی S در نظر گرفت. اما از این نکته نباید فوراً نتیجه گرفت که S یک زیرردهٔ کامل از ردهٔ مربوط به O است.

برای سخن‌گفتن از زیرردهٔ کامل، باید ردهٔ مادر و اشیای آن را دقیقاً مشخص کنیم.

---

## ۲. زیرردهٔ کامل؛ ساحلی که هیچ صدایی را حذف نمی‌کند

فرض کنیم A زیررده‌ای از B باشد. A زیرردهٔ کامل است هرگاه برای هر دو شیء X و Y در A، همهٔ ریخت‌های موجود در B میان آن‌ها در A نیز وجود داشته باشند:

Hom_A(X, Y) = Hom_B(X, Y)

در استعارهٔ ساحل، یعنی اگر دو شیء روی ساحل قرار دارند، هیچ مسیر یا رابطه‌ای که در اقیانوس میان آن‌ها وجود دارد، هنگام ورود به ساحل حذف نشود.

اما یک ناحیهٔ ساحلی معمولی ممکن است فقط برخی مسیرها را نگه دارد. در این حالت، زیرردهٔ مورد نظر کامل نیست.

پس:

> هر ساحلی زیرردهٔ کامل نیست؛

> ساحل کامل، ساحلی است که تمام رابطه‌های درونی‌اش را از اقیانوس به ارث برده باشد.

---

## ۳. تابع‌گر محدودشدن؛ آوردن اقیانوس به ساحل

اگر F یک کلاف روی اقیانوس باشد، می‌توان آن را به ساحل محدود کرد:

i⁎F

این ساختار، اطلاعات F را از اقیانوس به ساحل می‌آورد.

در اینجا با یک تابع‌گر محدودشدن روبه‌رو هستیم:

i⁎ : Sh(O) → Sh(S)

این تابع‌گر، داده‌های سراسری یا موضعی اقیانوس را به ساحل منتقل می‌کند.

اما انتقال اطلاعات همیشه بازگشت‌پذیر نیست. ممکن است دو کلاف متفاوت روی اقیانوس، روی ساحل یکسان دیده شوند:

i⁎F ≅ i⁎G

بی‌آنکه خود F و G روی کل اقیانوس هم‌ریخت باشند.

این همان محدودیت مشاهده است:

> ساحل، تصویر اقیانوس را می‌بیند؛

> اما هر تصویر، تمام اقیانوس نیست.

---

## ۴. تابع‌گر کامل؛ آیا هر صدای ساحل از اقیانوس آمده است؟

اکنون پرسش دیگری مطرح می‌شود. آیا هر ریخت میان دو ساختار روی ساحل، از یک ریخت میان ساختارهای اقیانوس به‌دست می‌آید؟

برای تابع‌گر i⁎، کامل بودن یعنی برای هر F و G، نگاشت

Hom_O(F, G) → Hom_S(i⁎F, i⁎G)

پوشا باشد.

اگر این نگاشت پوشا باشد، هر رابطه‌ای که میان محدودشدن‌های F و G روی ساحل دیده می‌شود، از رابطه‌ای در کل اقیانوس آمده است.

اما اگر پوشا نباشد، ساحل می‌تواند رابطه‌هایی پدیدار کند که در توصیف سراسری اقیانوس منشأ مستقیمی ندارند.

بنابراین باید دقیق گفت:

- کامل‌بودن i⁎ به پوشایی نگاشت هوم‌ست‌ها مربوط است؛

- کامل‌بودن زیرردهٔ اشیای ساحل به برابری هوم‌ست‌ها با ردهٔ مادر مربوط است؛

- این دو مفهوم یکی نیستند.

---

## ۵. الحاق؛ رفت‌وآمد میان ساحل و دریا

محدودکردن یک کلاف به ساحل معمولاً در پیوند با تابع‌گرهای دیگری قرار می‌گیرد. ممکن است تابع‌گرهای امتداد مستقیم یا امتداد با پشتیبان فشرده داشته باشیم:

i⁎ ⊣ i₊

یا در شرایطی دیگر:

i₊ ⊣ i!

معنای دقیق این نمادها به رده‌های موردنظر و شرایط ساختاری وابسته است.

یک الحاق، تناظری طبیعی میان هوم‌ست‌ها فراهم می‌کند:

Hom_S(i⁎F, G) ≅ Hom_O(F, i₊G)

یعنی دادن یک ریخت از محدودشدن F به G روی ساحل، با دادن ریختی از F به امتداد G در اقیانوس متناظر است.

ساحل و اقیانوس دو قلمرو جدا نیستند؛ میان آن‌ها رفت‌وآمدی رده‌ای برقرار است.

---

## ۶. موج‌ها و حدها

اگر چند فرایند به‌سوی ساحل نزدیک شوند، می‌توان از حد سخن گفت. در رده‌ها، حد شیئی است که تمام داده‌های سازگار را یک‌جا جمع می‌کند.

برای یک دیاگرام D، حد آن چنین نمایش داده می‌شود:

lim D

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

اما وجود حد همگانی نیست. وجود آن به کامل‌بودن رده و شکل دیاگرام وابسته است.

اگر C رده‌ای کامل باشد، هر دیاگرام کوچک در C حد دارد. همچنین اگر تابع‌گری F حدها را حفظ کند، آنگاه:

F(lim D) ≅ lim(FD)

ولی این نتیجه تنها با فرض‌های دقیق معتبر است. نزدیکی استعاری به ساحل، به‌تنهایی حفظ حد را ثابت نمی‌کند.

---

## ۷. رد پاها در شن؛ کوهومولوژی ساحل

هر موج که عقب می‌نشیند، ردی بر شن باقی می‌گذارد. برخی ردها پاک می‌شوند و برخی در ساختار ساحل باقی می‌مانند.

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

Γ(X, −)

چپ‌دقیق است، اما الزاماً راست‌دقیق نیست. شکست راست‌دقیق‌بودن با مشتق‌های راست آن اندازه‌گیری می‌شود:

Hⁿ(X, F) = RⁿΓ(X, F)

در کنار اقیانوس، این را چنین می‌فهمیم:

- هر قطعه از ساحل داده‌ای محلی دارد؛

- داده‌ها در نواحی مشترک شاید سازگار باشند؛

- اما ممکن است هیچ تصویر سراسری از همهٔ ساحل ساخته نشود؛

- این ناتوانی، در کوهومولوژی ثبت می‌شود.

کوهومولوژی، علم ردپاهای پاک‌نشدنی است.

---

## ۸. مرز ساحل و دنبالهٔ دقیق

برای بررسی ارتباط میان یک ساختار، زیرساختار و خارج‌قسمت آن، دنبالهٔ کوتاه دقیق داریم:

0 → A → B → C → 0

این دنباله می‌گوید:

- A در B وارد شده است؛

- B به C نگاشت می‌شود؛

- هستهٔ نگاشت دوم، دقیقاً تصویر نگاشت نخست است؛

- و نگاشت آخر پوشاست.

در کلاف‌ها یا مجتمع‌ها، از چنین دنباله‌ای دنبالهٔ طویل دقیق کوهومولوژی به‌دست می‌آید:

⋯ → Hⁿ(A) → Hⁿ(B) → Hⁿ(C) → Hⁿ⁺¹(A) → ⋯

عضو اتصال، داده‌ای را که در C دیده می‌شود به انسدادی در A تبدیل می‌کند. این عضو مانند موجی است که از مرز ساحل عبور می‌کند و اطلاعات را از یک درجه به درجهٔ دیگر می‌برد.

---

## ۹. ساحل و مخروط

اگر ریختی میان دو مجتمع داشته باشیم:

f : A → B

مخروط آن، تفاوت ساختاری میان A و B را در خود جمع می‌کند:

A → B → Cone(f) → A[1]

در استعارهٔ ساحل، مخروط مانند ناحیه‌ای است که اختلاف سطح و عمق در آن آشکار می‌شود.

اگر مخروط از دید همولوژیک تهی باشد، f شبه‌یکریختی است:

Hⁿ(f) : Hⁿ(A) ≅ Hⁿ(B)

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

---

## نتیجه؛ کنار اقیانوس، نه بیرون از آن

کنار اقیانوس ایستادیم؛ نه در خشکی مطلق بودیم و نه در تاریکی اعماق. ساحل، جایگاه مشاهده و ترجمه است.

در اینجا آموختیم:

- ورود ساحل به اقیانوس با یک نگاشت نمایش داده می‌شود؛

- زیرردهٔ کامل، همهٔ ریخت‌های ردهٔ مادر را میان اشیای خود حفظ می‌کند؛

- تابع‌گر کامل، نگاشت هوم‌ست‌ها را پوشا می‌سازد؛

- محدودکردن کلاف، اطلاعات اقیانوس را به ساحل می‌آورد؛

- الحاق، رفت‌وآمد طبیعی میان ساحل و دریا فراهم می‌کند؛

- کوهومولوژی، شکست تبدیل داده‌های محلی به داده‌های سراسری را ثبت می‌کند؛

- مخروط، تفاوت‌های پنهان میان دو ساختار را آشکار می‌سازد.

موجی آمد و بر شن نوشت:

> نه ساحل از دریا جداست،

> نه دریا از ساحل بی‌نیاز؛

> یکی مرزِ دیدن است،

> و دیگری ژرفای معنا.