ریاضیات

حدها و هم‌حدها در نظریهٔ رده‌ها

۱. ایدهٔ کلی حد

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

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

۲. نمودار نمایه

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

D : J → C

در این‌جا J ردهٔ نمایه، C ردهٔ اصلی و D نموداری در ردهٔ C است.

هر شیء از J به‌وسیلهٔ D به یک شیء از C و هر ریخت در J به‌وسیلهٔ D به یک ریخت در C فرستاده می‌شود.

۳. مخروط روی یک نمودار

یک مخروط روی نمودار D شامل داده‌های زیر است:

۱. شیئی مانند L در ردهٔ C؛

۲. برای هر شیء j از ردهٔ J، ریختی از L به D(j):

πⱼ : L → D(j)

این ریخت‌ها باید با همهٔ ریخت‌های نمودار سازگار باشند. بنابراین اگر u : j → k ریختی در J باشد، باید داشته باشیم:

D(u) ∘ πⱼ = πₖ

این رابطه، شرط سازگاری مخروط نامیده می‌شود.

۴. تعریف حد

حد نمودار D، مخروطی است که آن را با نماد زیر نشان می‌دهیم:

(L , πⱼ)

این مخروط باید دارای خاصیت جهان‌شمول باشد؛ یعنی برای هر مخروط دیگر مانند (M , μⱼ)، دقیقاً یک ریخت از M به L وجود داشته باشد که همهٔ مثلث‌های مربوط را جابه‌جا کند.

u : M → L

شرط سازگاری این ریخت چنین است:

πⱼ ∘ u = μⱼ

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

۵. یکتایی حد تا یکریختی

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

بنابراین در نظریهٔ رده‌ها معمولاً نمی‌گوییم حد کاملاً یکتا است؛ بلکه می‌گوییم حد تا یکریختی یکتا است.

۶. مثال: حاصل‌ضرب دو شیء

فرض کنید A و B دو شیء از ردهٔ C باشند. حاصل‌ضرب A و B شیئی مانند P است که همراه با دو ریخت زیر داده می‌شود:

p₁ : P → A

p₂ : P → B

برای هر شیء X و هر دو ریخت f و g به شکل زیر:

f : X → A

g : X → B

باید دقیقاً یک ریخت مانند 〈f , g〉 از X به P وجود داشته باشد که:

p₁ ∘ 〈f , g〉 = f

p₂ ∘ 〈f , g〉 = g

پس حاصل‌ضرب، حد نموداری است که از دو شیء A و B تشکیل شده است.

        X
       / \
      f g
     / \
    A B
 
        │
        ▼
 
        P
      / \
    p₁ p₂
   ▼ ▼
  A B

۷. مثال: شیء نهایی

شیء نهایی در ردهٔ C، شیئی مانند ۱ است که برای هر شیء X دقیقاً یک ریخت از X به ۱ وجود دارد:

! : X → ۱

شیء نهایی نمونه‌ای از حد است. در ردهٔ مجموعه‌ها، مجموعهٔ تک‌عضوی شیء نهایی است؛ زیرا از هر مجموعه به آن دقیقاً یک تابع وجود دارد.

۸. ایدهٔ کلی هم‌حد

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

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

۹. هم‌مخروط

یک هم‌مخروط روی نمودار D شامل شیئی مانند C و خانواده‌ای از ریخت‌هاست:

ιⱼ : D(j) → C

اگر u : j → k ریختی در ردهٔ نمایه باشد، شرط سازگاری هم‌مخروط چنین است:

ιₖ ∘ D(u) = ιⱼ

۱۰. تعریف هم‌حد

هم‌حد نمودار D، هم‌مخروطی جهان‌شمول است. آن را معمولاً با نماد زیر نشان می‌دهیم:

(C , ιⱼ)

برای هر هم‌مخروط دیگر مانند (N , νⱼ)، دقیقاً یک ریخت از C به N وجود دارد که شرط زیر را برقرار می‌کند:

v ∘ ιⱼ = νⱼ

هم‌حد نیز، مانند حد، تا یکریختی یکتا است.

۱۱. مثال: هم‌ضرب دو شیء

هم‌ضرب دو شیء A و B شیئی مانند Q است که با دو ریخت طبیعی همراه است:

i₁ : A → Q

i₂ : B → Q

برای هر شیء X و هر دو ریخت زیر:

f : A → X

g : B → X

دقیقاً یک ریخت از Q به X وجود دارد که با هر دو ریخت داده‌شده سازگار است:

[f , g] : Q → X

به‌گونه‌ای که:

[f , g] ∘ i₁ = f

[f , g] ∘ i₂ = g

هم‌ضرب، هم‌حد نموداری است که از دو شیء A و B تشکیل می‌شود.

۱۲. مثال: شیء ابتدایی

شیء ابتدایی در ردهٔ C، شیئی مانند ۰ است که برای هر شیء X دقیقاً یک ریخت از ۰ به X وجود دارد:

! : ۰ → X

در ردهٔ مجموعه‌ها، مجموعهٔ تهی شیء ابتدایی است؛ زیرا از مجموعهٔ تهی به هر مجموعه دقیقاً یک تابع وجود دارد.

۱۳. رابطهٔ دوگان میان حد و هم‌حد

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

این اصل دوگانگی یکی از نیرومندترین روش‌های استدلال در نظریهٔ رده‌هاست. هر قضیه‌ای که تنها با زبان رده‌ها بیان شود، معمولاً یک صورت دوگان نیز دارد.

۱۴. نمونه‌های مهم حدها و هم‌حدها

برخی ساختارهای آشنا را می‌توان به صورت حد یا هم‌حد تعریف کرد:

• حاصل‌ضرب، یک حد است.
• هم‌ضرب، یک هم‌حد است.
• شیء نهایی، یک حد است.
• شیء ابتدایی، یک هم‌حد است.
• فاصله‌گیر دو ریخت، یک حد است.
• هم‌فاصله‌گیر دو ریخت، یک هم‌حد است.
• حاصل‌ضرب فیبری، یک حد است.
• هم‌جمع، یک هم‌حد است.

۱۵. جمع‌بندی

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

حاصل‌ضرب، شیء نهایی و بسیاری از ساختارهای شناخته‌شده، نمونه‌هایی از حد هستند. هم‌ضرب، شیء ابتدایی و ساختارهای پیونددهنده نیز نمونه‌هایی از هم‌حد به شمار می‌روند.

اهمیت اصلی حد و هم‌حد در خاصیت جهان‌شمول آن‌هاست؛ زیرا این خاصیت، هم وجود ساختار و هم یکتایی آن را تا یکریختی تضمین می‌کند.