ریاضیات

۲۷. چرا این الحاق مهم است؟

اهمیت این الحاق تنها در یک هم‌ارزی فنی نیست؛ بلکه در این است که دو زبان متفاوت را به هم می‌دوزد:

یکی زبانِ ساختن از راه تانسور،

و دیگری زبانِ توصیف از راه هوم.

در زبان تانسور، مدول را می‌سازیم، تکثیر می‌کنیم، و از دادهٔ پایه، ساختمان‌های تازه پدید می‌آوریم.

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

align="right">

الحاق می‌گوید این دو زبان بیگانه نیستند؛

هر یک آینهٔ دیگری است.

۲۸. صورت فنیِ نتیجه

اگر M یک مدول آزاد با پایهٔ {e_i} باشد، آنگاه برای هر مدول N و P داریم:

Hom_ℤ(M ⊗_ℤ N , P)

≅

Hom_ℤ(N , Hom_ℤ(M , P))

این همان قلب الحاق است.

سمت چپ می‌گوید:

«یک نگاشت از تانسور به P»

و سمت راست می‌گوید:

«یک نگاشت از N به فضای همهٔ نگاشت‌های M به P».

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

۲۹. تفسیر عنصر به عنصر

اگر f یکی از اعضای

Hom_ℤ(M ⊗_ℤ N , P)

باشد، آنگاه همتای آن در سوی دیگر، نگاشتی است که هر n از N را به یک همریختی از M به P می‌فرستد.

یعنی برای هر n، تابعی داریم:

m ↦ f(m ⊗ n)

این همان تصویری است که الحاق به ما می‌دهد:

هر نگاشتِ دومتغیرهٔ تانسوری، به صورت نگاشتی یک‌متغیره به فضای هوم بازنویسی می‌شود.

۳۰. در مدول آزاد نامتناهی

حال اگر

M = ⊕_i∈I ℤ

باشد، آنگاه:

M ⊗_ℤ N ≅ ⊕_i∈I N

و نیز:

Hom_ℤ(M , P) ≅ ∏_i∈I P

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

تانسور، داده را در جمع مستقیم می‌نشاند؛

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

تفاوت این دو در حالت نامتناهی بسیار بنیادی است:

جمع مستقیم، فقط خانواده‌های با پشتیبانی متناهی را می‌پذیرد؛

اما حاصل‌ضرب مستقیم، هیچ چنین محدودیتی ندارد.

۳۱. معنای رده‌ایِ این تفاوت

از دید رده‌ای، این تفاوت یعنی:

تانسور یک سازندهٔ آزاد است؛

هوم یک آشکارسازِ ناظر.

تانسور از دلِ اجزاء پراکنده، شیئی تازه می‌سازد.

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

الحاق میان این دو، همان تعادل لطیفِ «ساختن» و «دیدن» است.

۳۲. جمع‌بندی نهاییِ این بخش

پس اگر بخواهیم این بحث را در یک جمله فشرده کنیم، می‌گوییم:

الحاقِ تانسور و هوم، قانونِ ترجمهٔ ساختن به توصیف است.

در مدول‌های آزاد نامتناهی، این قانون از همه روشن‌تر دیده می‌شود:

چون در آنجا، جمع مستقیم و حاصل‌ضرب مستقیم درست در برابر هم می‌ایستند؛

یکی با پشتیبانی متناهی،

و دیگری با گسترهٔ بی‌قید.

از این‌رو، الحاق نه فقط یک هم‌ارزی فرمال،

بلکه پلی است میان هندسهٔ ساختار و منطقِ مشاهده.

اگر خواستی، در ادامه می‌توانم همین متن را به صورت «بخش ۳۳ به بعد» هم ادامه بدهم؛ مثلاً با

«نمونهٔ صریح روی پایهٔ شمارا»،

یا

«ارتباط با مدول‌های بازنمایی‌پذیر و Yoneda».