ریاضیات

# به جای نهنگ‌ها؛ اقیانوسِ عمیقِ ساختارها

در آن‌سوی سیاهیِ آب‌های دور

نهنگی می‌گذشت آرام و مغرور

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

نه دریا رازِ ژرفِ خویش بخشید

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

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

---

## ۱. نهنگ و منیفلد

بدن نهنگ را می‌توان مانند یک منیفلد در نظر گرفت؛ ساختاری گسترده که در هر ناحیه، از نزدیک، ساده به نظر می‌رسد، اما در مقیاس کلی پیچیدگی فراوان دارد.

در هر نقطهٔ بدن، چارت کوچکی داریم:

φᵢ : Uᵢ → ℝⁿ

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

φⱼ ∘ φᵢ⁻¹

این تابع‌ها نشان می‌دهند که یک بخش از بدن، در دو دستگاه مختصات چگونه دیده می‌شود.

به همین ترتیب، در نظریهٔ رده‌ها، یک شیء بزرگ از راه تصویرهای موضعی و ریخت‌های میان آن‌ها شناخته می‌شود. هیچ چارت واحدی همهٔ نهنگ را در خود جای نمی‌دهد؛ همان‌گونه که هیچ نمایش ابتدایی، همهٔ یک ساختار ریاضی را آشکار نمی‌کند.

---

## ۲. صدای نهنگ و تابع‌گرها

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

این صدا را می‌توان به یک ریخت در رده تشبیه کرد:

f : X → Y

شیء X فرستندهٔ ساختار است، شیء Y گیرنده، و f رابطه‌ای است که اطلاعات را منتقل می‌کند.

اما صدای نهنگ، خود نهنگ نیست. آن تنها تصویری از آن، یا اثری از حضور آن، در محیط است.

در نظریهٔ رده‌ها نیز یک ریخت، شیء را به‌طور کامل در خود جای نمی‌دهد؛ بلکه بخشی از رفتار ساختاری آن را آشکار می‌کند. برای شناخت کامل‌تر یک شیء، باید همهٔ روابط آن با اشیای دیگر را در نظر بگیریم.

این همان نگاه یونسدایی است:

hˣ = Hom(−, X)

هر شیء، از مجموعهٔ راه‌هایی که به آن می‌رسند شناخته می‌شود.

نهنگ را از صدایش می‌شناسیم؛

شیء رده‌ای را از ریخت‌هایش.

---

## ۳. دستهٔ نهنگ‌ها و ردهٔ زیستگاه‌ها

فرض کنیم مجموعه‌ای از نهنگ‌ها و زیستگاه‌هایشان داشته باشیم. می‌توانیم رده‌ای بسازیم که:

- اشیای آن، گونه‌های نهنگ یا نواحی اقیانوس باشند؛

- ریخت‌های آن، مسیرهای مهاجرت، ارتباط‌ها یا تبدیل‌های زیستگاهی باشند.

اگر نهنگی از ناحیهٔ A به ناحیهٔ B برود و سپس از B به C مهاجرت کند، باید ترکیب این دو مسیر با مسیر مستقیم A به C سازگار باشد:

g ∘ f : A → C

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

idₐ : A → A

این دو اصل، همان دو اصل بنیادین رده‌اند:

۱. ترکیب ریخت‌ها باید شرکت‌پذیر باشد؛

۲. هر شیء باید ریخت همانی داشته باشد.

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

---

## ۴. نهنگ به‌مثابه شیء بزرگ

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

در ریاضیات نیز یک شیء ممکن است تنها از راه داده‌های بیرونی دیده شود. اینجا تابع‌گرهای فراموشکار اهمیت می‌یابند.

برای نمونه، تابع‌گر فراموشکار از ردهٔ گروه‌ها به ردهٔ مجموعه‌ها، ساختار گروهی را کنار می‌گذارد و فقط مجموعهٔ زیرین را نگه می‌دارد:

U : Grp → Set

اگر G یک گروه باشد، U(G) فقط عناصر آن را می‌بیند، نه ضرب گروهی را.

مانند آنکه از نهنگ فقط تصویر سطح آب را ببینیم، نه تنفس، حرکت و دستگاه ارتباطی او را.

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

این مثال، تفاوت وفاداری و کامل بودن را روشن می‌کند:

- **وفاداری**: تابع‌گر ریخت‌های متفاوت را به هم نمی‌ریزد؛

- **کامل بودن**: هر ریخت در مقصد از مبدأ آمده باشد.

---

## ۵. اقیانوس به‌مثابه توپس

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

- دما؛

- فشار؛

- شوری؛

- مسیر جریان؛

- حضور گونه‌ها؛

- شدت صدا.

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

تابع‌گر مقاطع سراسری چنین است:

Γ(X, F)

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

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

کوهومولوژی مانند آواز نهنگی است که از ناحیه‌ای به ناحیهٔ دیگر می‌رسد، اما در کل اقیانوس به یک نغمهٔ واحد تبدیل نمی‌شود.

---

## ۶. نهنگ‌ها و همولوژی اقیانوس

اکنون مسیرهای نهنگ‌ها را به زنجیرها و دورهای توپولوژیک تشبیه کنیم.

یک مسیر بسته ممکن است نهنگی باشد که پس از مهاجرت، به نقطهٔ آغاز بازمی‌گردد. اگر این مسیر مرز یک ناحیهٔ قابل پرکردن نباشد، یک کلاس همولوژی ایجاد می‌کند:

H₁ = Ker(∂₁) ⁄ Im(∂₂)

اما اگر مسیر، مرزِ ناحیه‌ای باشد که دریا آن را پر کرده است، حفره‌ای واقعی به شمار نمی‌آید.

در اقیانوس، دو مسیر ممکن است از نظر ظاهری متفاوت باشند، اما اگر بتوان یکی را بدون بریدن و گسستن به دیگری تغییر داد، از دید هموتوپی یکسان‌اند.

نهنگ‌ها نیز مسیرهای گوناگون دارند، اما آنچه اهمیت دارد فقط شکل ظاهری مسیر نیست؛ بلکه این است که آیا مسیرها می‌توانند در فضای زیستگاه، پیوسته به یکدیگر تبدیل شوند یا نه.

---

## ۷. مهاجرت و ترکیب تابع‌گرها

فرض کنید اقیانوس را از سه دید بررسی کنیم:

۱. زیست‌شناسی؛

۲. توپولوژی؛

۳. نظریهٔ رده‌ها.

می‌توانیم تابع‌گرهایی در نظر بگیریم:

F : Ocean → Top

G : Top → Cat

ترکیب آن‌ها چنین می‌شود:

G ∘ F : Ocean → Cat

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

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

- آیا F وفادار است؟

- آیا G کامل است؟

- آیا ترکیب G ∘ F حدها را حفظ می‌کند؟

- آیا دو اقیانوس متفاوت، پس از عبور از این تابع‌گرها یکسان دیده می‌شوند؟

پاسخ به این پرسش‌ها به تعریف دقیق رده‌ها و تابع‌گرها وابسته است.

---

## ۸. نهنگ و موناد

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

از یک الحاق، موناد زیر حاصل می‌شود:

T = R ∘ L

موناد شامل تابع‌گر T، یکا و ضرب است:

η : Id ⇒ T

μ : T ∘ T ⇒ T

در استعارهٔ اقیانوسی:

- یکا، ورود یک ساختار به محیطِ غنی‌تر است؛

- تابع‌گر T، ساختار را در یک زمینهٔ تازه قرار می‌دهد؛

- ضرب μ، ساختارهای تو‌در‌تو را در هم ادغام می‌کند.

اما این تنها استعاره‌ای برای فهم است. یک موناد واقعی باید قوانین دقیق واحدی و شرکت‌پذیری را ارضا کند.

---

## ۹. نهنگ و دوگانگی

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

- نهنگ بر محیط اثر می‌گذارد؛

- محیط بر نهنگ اثر می‌گذارد.

در نظریهٔ رده‌ها، چنین رابطه‌هایی گاهی به صورت الحاق میان دو تابع‌گر ظاهر می‌شوند:

L ⊣ R

این نماد نمی‌گوید L و R یکسان‌اند. می‌گوید میان ریخت‌های حاصل از آن‌ها یک تناظر طبیعی وجود دارد:

Hom_D(LX, Y) ≅ Hom_C(X, RY)

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

---

## ۱۰. اعماق بزرگ‌تر؛ جایی که نهنگ‌ها ناپدید نمی‌شوند

هرچه پایین‌تر می‌رویم، نور کمتر می‌شود، اما نهنگ ناپدید نشده است. فقط ابزار دیدن تغییر کرده است.

در نظریهٔ رده‌ها نیز وقتی از ردهٔ اشیای ساده به ردهٔ مجتمع‌ها و سپس ردهٔ مشتق‌شده می‌رویم، ساختار حذف نمی‌شود؛ زبان توصیف عمیق‌تر می‌گردد.

در سطح نخست، شیء را می‌بینیم.

در سطح دوم، ریخت‌های آن را.

در سطح سوم، هموتوپی ریخت‌ها را.

در سطح چهارم، انسدادهای میان آن‌ها را.

این مسیر را می‌توان چنین خلاصه کرد:

شیء → ریخت → هموتوپی → کوهومولوژی → ردهٔ مشتق‌شده

در هر مرحله، بخشی از ظاهر کنار می‌رود و بخشی از حقیقت پایدارتر می‌شود.

## نتیجه

جای نهنگ‌ها، جایِ زیستن در میان ساختارهای بزرگ است؛ جایی که هر نهنگ، یک شیء، هر آواز، یک ریخت، هر مهاجرت، یک ترکیب، و هر حفرهٔ اقیانوس، یک کلاس همولوژی می‌شود.

در این اقیانوس:

- منیفلد، بدنِ گستردهٔ جهان است؛

- چارت، پنجرهٔ نزدیک ماست؛

- تابع‌گر، زبان انتقال معناست؛

- کلاف، حافظهٔ موضعی آب‌هاست؛

- کوهومولوژی، ناتوانی در یکی‌شدن آوازهاست؛

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

نهنگ آرام از کنار ما گذشت؛

نه برای آنکه پنهان شود،

بلکه برای آنکه نشان دهد:

> هرچه به ژرفا نزدیک‌تر شویم،

> جهان خاموش‌تر نمی‌شود؛

> فقط زبانش از صدا به ساختار،

> و از ساختار به معنا دگرگون می‌گردد.