عنوان کلی: مونادها و جبرهای مونادی؛ بازگشت از الحاق به ساخت>
۱. ترکیب یک3>
عنوانهای جزئی
۱. ترکیب یک جفت الحاقی و پیدایش موناد
۲. تعریف موناد با ضرب و یکای طبیعی
۳. جبرهای یک موناد و تفسیر ساختاری آنها
۴. مثال موضعیسازی و بررسی دقیق کاملبودن تابعگرها
مبانی مثال
در مبحث پیشین، دیدیم که یک جفت تابعگر الحاقی، میان دو رده پلی طبیعی برقرار میکند:
L : C → D , R : D → C
Hom_D(L(X), Y) ≅ Hom_C(X, R(Y))
اکنون میخواهیمای بر رده از ترکیب این دو تابعگر چه ساختار تازهای بر رده C پدید میآید. ترکیب تابعگر الحاقی چپ با تابعگر الحاقی راست، یک موناد میسازد:
T = R ∘ L : C → C
موناد را میتوان روشی دانست برای ثبتِ «ساختار افزودهشده» بر یک شیء. تابعگر T هر شیء X را به شیئی تبدیل میکند که ممکن است اطلاعات، عناصر یا عملیات جدیدی در خود داشته باشد.
مقدمه
موناد یکی از مهمترین مفاهیم نظریه ردههاست؛ زیرا بسیاری از ساختارهای جبری، توپولوژیک و محاسباتی را در قالبی واحد بیان میکند. گروه آزاد، فضای برداری آزاد، جبر توابع، فشردهسازی و حتی برخی ساختارهای محاسباتی را میتوان با زبان مونادها بررسی کرد.
اگر الحاق را پلی میان دو جهان بدانیم، موناد اثری است که این سفر رفتوبرگشتی بر جهان نخست باقی میگذارد. از C به D میرویم و با R به C بازمیگردیم؛ حاصل این رفتوبرگشت، ساختاری است که نشان میدهد چه چیزهایی در مسیر افزوده یا دگرگون شدهاند.
بدنه
۱. تعریف موناد
یک موناد روی رده C شامل سه داده است:
۱. یک تابعگر:
T : C → C
۲. یک تبدیل طبیعی به نام یکای موناد:
η : Id_C ⇒ T
۳. یک تبدیل طبیعی به نام ضرب موناد:
μ : T ∘ T ⇒ T
برای هر شیء X در C، این دادهها ریختهای زیر را فراهم میکنند:
η_X : X → T(X)
μ_X : T(T(X)) → T(X)
ریخت η_X شیء X را وارد ساختار مونادی میکند و ریخت μ_X دو مرحله ساختارسازی را به یک مرحله فرو میکاهد.
دو رابطه اساسی موناد عبارتاند از:
μ_X ∘ T(η_X) = id_{T(X)}
μ_X ∘ η_{T(X)} = id_{T(X)}
و رابطه شرکتپذیری:
μ_X ∘ T(μ_X) = μ_X ∘ μ_{T(X)}
رابطه نخست میگوید افزودن ساختار تهی، تغییری در ساختار موجود ایجاد نمیکند. رابطه دوم میگوید اگر ساختار را دو بار ایجاد کنیم، ترتیب فروکاستن آن اهمیتی ندارد.
۲. موناد حاصل از یک جفت الحاقی
از جفت الحاقی زیر:
L : C → D , R : D → C
موناد زیر بر رده C به دست میآید:
T = R ∘ L
یکای این موناد همان یکای الحاق است:
η : Id_C ⇒ R ∘ L
ضرب موناد از همیکای الحاق ساخته میشود:
μ = R ∘ ε ∘ L
در این فرمول، ابتدا شیء X با L به رده D منتقل میشود، سپس همیکای الحاق ساختارهای اضافی را در D فرو میکاهد و سرانجام با R به رده C بازمیگردیم.
به همین ترتیب، ترکیب L ∘ R نیز روی رده D یک کوموناد پدید میآورد:
G = L ∘ R
پس هر جفت الحاقی، دستکم دو ساختار طبیعی ایجاد می طبیعی ایجاد میکند:
T = R ∘p>
G = L ∘ R
نخستین ساختار موناد و دومین ساختار کوموناد است.
۳. جبر یک موناد
فرض کنید T یک موناد روی C باشد. یک جبر T شامل یک شیء X و یک ریخت ساختاری است:
a : T(X) → X
این ریخت باید دو شرط را برآورده کند:
a ∘ η_X = id_X
a ∘ μ_X = a ∘ T(a)
تعبیر این روابط چنین است:
- جبر T راهی برای فروکاستن ساختار مونادی T(X) به خود X است.
- یکای موناد نباید ساختار X را تغییر دهد.
- اگر ساختار دو بار اعمال شود، میتوان ابتدا آن را درونی فروکاست یا یکباره به صورت کلی فروکاست؛ نتیجه یکسان است.
رده جبرهای یک موناد را معمولاً با Cᵀ نشان میدهند. تابعگر فراموشکارp>
Uᵀ : Cᵀ → C
هر جبر را به شیء زیرین آن میفرستد و ساختار ریختی a را کنار میگذارد.
۴. مثال: موناد گروه آزاد
تابعگر فراموشکار زیر را در نظر بگیرید:
U : Grp → Set
این تابعگر هر گروه را به مجموعه زیرین آن میفرستد. تابعگر الحاقی چپ آن، تابعگر گروه آزاد است:
F : Set → Grp
برای هر مجموعه X، گروه آزاد F(X) شامل تمام کلمات ساختهشده از عناصر X و وارونهای آنهاست.
الحاق به صورت زیر نوشته میشود:
Hom_Grp(F(X), G) ≅ Hom_Set(X, U(G))
از این الحاق، موناد زیر روی Set به دست میآید:
T = U ∘ F
در اینجا T(X) مجموعه کلمات آزاد ساختهشده از X است. ضرب موناد، کلماتِ کلمات را به یک کلمه واحد تبدیل میکند:
μ_X : T(T(X)) → T(X)
این عمل را میتوان «گشودن لایههای تو در تو» نامید.
جبرهای این موناد، در شرایط مناسب، همان گروهها هستند؛ زیرا یک گروه راهی منسجم برای تفسیر کلمات آزاد و تبدیل آنها به عناصر واقعی خود دارد.
۵. مثال: موضعیسازی و ساختار مونادی
در مبحث پیشین، موضعیسازی را در قالب یک ویژگی جهانی بررسی کردیم. اگر موضعیسازی را به صورت یک تابعگر از رده حلقهها به خود آن در نظر بگیریم، میتوان نوشت:
T(R) = S⁻¹R
و نگاشت طبیعی ورود حلقه به موضعیسازی آن:
η_R : R → S⁻¹R
در این نگاه، η_R هر عنصر r را به¹R
در این نگاه، η_R هر عنصر r را به دوباره انجام شود، یعنی:
T(T(R)) = S⁻¹(S⁻¹R)
ضرب موناد این دو مرحله را به یک مرحله تبدیل میکند:
μ_R : S⁻¹(S⁻¹R) → S⁻¹R
این ریخت از این حقیقت ناشی میشود که پس از وارونپذیر کردن عناصر S، وارونپذیر کردن دوباره آنها اطلاعات تازهای به دست نمیدهد.
در این مثال، موضعیسازی رفتاری ایدمپوتنت دارد؛ یعنی انجام دوباره آن، تا حد یکریختی، همان نتیجه نخست را میدهد:
S⁻¹(S⁻¹R) ≅ S⁻¹R
پس موناد موضعیسازی، ساختاری را نمایش میدهد که پس از یک بار اعمال، به حالت پایدار میرسد.
۶. تمایز میان زیررده کامل و تابعگر کامل
در اینجا نیز باید دو مفهوم را از یکدیگر جدا نگه داشت:
- **زیررده کامل:**
اگر ردهای از جبرهای موناد را در رده بزرگتری از ساختارها در نظر بگیریم، زیررده زمانی کامل است که میان دو شیء آن، تمام ریختهای موجود در رده مادر نیز در زیررده حضور داشته باشند.
- **تابعگر کامل:**
تابعگر Uᵀ زمانی کامل است که هر ریخت میان اشیای زیرین که با ساختارهای مونادی سازگار باشد، از یک ریخت یکتا میان جبرهای مونادی حاصل شود.
تابعگر فراموشکار معمولاً وفادار است؛ زیرا یک ریخت ساختاری را نمیتواند به دو ریخت متفاوت بفرستد. اما کاملبودن آن نیازمند بررسی دقیق است. هر نگاشت میان اشیای زیرین الزاماً ساختار مونادی را حفظ نمیکند.
برای نمونه، هر تابع میان دو مجموعه، الزاماً همریختی میان گروههای آزاد متناظر نیست. باید شرط سازگاری با ضرب، یکا و وارون رعایت شود.
نتایج
۱. هر جفت تابعگر الحاقی، با ترکیب رفتوبرگشتی خود، یک موناد و یک کوموناد تولید میکند.
۲. موناد شامل تابعگر T، یکای طبیعی η و ضرب طبیعی μ است.
۳. جبر یک موناد، روشی منسجم برای تفسیر ساختار افزودهشده T(X) بر شیء X است.
۴. گروههای آزاد، فضاهای برداری آزاد و بسیاری از ساختارهای جبری را میتوان با مونادها توصیف کرد.
۵. موضعیسازی حلقهها نمونهای از ساختاری است که پس از یک بار اعمال به حالت پایدار میرسد.
۶. کاملبودن تابعگر فراموشکار با کاملبودن زیررده یکسان نیست؛ نخستین ویژگی درباره پوشایی روی هومستهاست و دومین ویژگی درباره حفظ تمام ریختهای رده مادر در یک زیررده است.
جمعبندی نهایی
الحاق، راه رفتن میان دو جهان است؛
رفتن میان دو جهان است؛
موناد، نقش آن سفر ساختاری افزوده میشود و سپس در نظمی یگانه فروکاسته میگردد، مونادی در پس پرده حضور دارد. در جبر، گروه آزاد و موضعیسازی با این زبان روشن میشوند؛ در هندسه، ساختارهای موضعی و جهانی چهرهای تازه مییابند؛ و در نظریه ردهها، رفتوبرگشت تابعگرها به معماری درونی اشیاء بدل میشود.
از این پس، میتوان گام بلندتری برداشت و پرسید:
آیا هر موناد از یک الحاق پدید میآید؟
پاسخ این پرسش ما را به قضیه بازسازی، جبرهای ایلنبرگ–مور و همارزی میان الحاق و ساختارهای مونادی خواهد رساند.
در این وبلاگ به ریاضیات و کاربردهای آن و تحقیقات در آنها پرداخته می شود. مطالب در این وبلاگ ترجمه سطحی و اولیه است و کامل نیست.در صورتی سوال یا نظری در زمینه ریاضیات دارید مطرح نمایید .در صورت امکان به آن می پردازم. من دوست دارم برای یافتن پاسخ به سوالات و حل پروژه های علمی با دیگران همکاری نمایم.در صورتی که شما هم بامن هم عقیده هستید با من تماس بگیرید.