موضوع مقاله: ریخت (ریاضیات) | مخاطب: عمومی | لحن: دانشنامه‌ای | ساختار: عنوان، مقدمه، 3 بخش، جمع‌بندی | مقاله: | # ریخت (ریاضیات) | مقدمه: ریخت یا ریختار در ریاضیات و به‌خصوص در نظریه رسته‌ها (که آنجا پیکان نام دارد)، یک «نگاشت حافظِ ساختار» از یک «ساختار ریاضی» به «ساختار دیگر هم نوع» است. | ## بخش 1: ریخت (ریاضیات) | در نظریه مجموعه‌ها، ریختار همان تابع است؛ در جبر خطی، همان نگاشت خطی است؛ در نظریه گروه‌ها همان هم‌ریختی‌های گروهی است، و در توپولوژی، ریختار همان تابع پیوسته است و غیره. در نظریه رسته‌ها، ریختار مفهومی گسترده‌تر و مشابه است: نیازی نیست که اشیای ریاضی درگیر حتماً مجموعه باشد، و رابطه بین آن‌ها می‌تواند متفاوت با نگاشت باشد، اگرچه ریختار بین اشیاء موجود در یک رسته معین باید مشابه نگاشت رفتار کند، یعنی باید یک عمل انجمنی را بپذیرد مثل ترکیب توابع. مطالعه ریختارها و ساختارهایی (که شیء نام دارد) است که روی آن تعریف شده‌اند، یک فعالیت اساسی در نظریه رسته‌ها است. بیشتر اصطلاح‌های ریختارها، مثل بینش مبنایی آن‌ها، از رسته‌های ملموس گرفته شده‌اند، که در آن «اشیاء» همان «مجموعه‌هایی با یک ساختار اضافی» هستند، و «ریختارها»، همان «توابع حافظ-ساختار» هستند. مطالعه پیکان‌ها و اشیاء که به روی آنها تعریف شده‌اند، ایده‌ای اساسی در نظریه رسته هاست. بسیاری از اصطلاحات مربوط به ریخت‌ها و همچنین شهود پشتشان، از رسته‌های ملموس می‌آیند، که در آنها اشیاء به سادگی مجموعه‌هایی با ساختار اضافی و ریخت‌ها، توابع حافظ ساختارند. یک ریختار f با مبدأ X و مقصد Y به صورت f: X → Y نوشته می‌شود، و به صورت نموداری توسط یک از X به Y نمایش داده می‌شود. برای بسیاری از رسته‌های معمول، اشیاء مجموعه هستند (که اغلب یک ساختار اضافی هم دارند) و ریختارها توابعی از یک شیء به شیء دیگر هستند. ترکیب دو ریختار f و g وقتی تعریف دقیق دارد که که مقصد f برابر مبدأ g باشد، و به صورت g ∘ f (یا گاهی به صورت ساده‌تر gf) نمایش داده می‌شوند. انجمنی h ∘ (g ∘ f) = (h ∘ g) ∘ f برقرار است هر وقت همه ترکیب‌ها تعریف شده باشد، یعنی وقتیکه مقصد f برابر مبدأ g باشد و مقصد g برابر مبدأ h باشد. برای رسته‌های محکم (رسته‌ای که در آن اشیاء برابر مجموعه‌ها (همراه با ساختار اضافی) هستند، و ریختارها همان توابع حافظ-ساختار هستند)، ریختار همانی برابر تابع همانی است، و ترکیب برابر ترکیب معمولی توابع است. توجه کنید که عبارت hom-set گاهی نام اشتباهی است، زیرا لازم نیست که گردآورد ریختارها حتماً یک مجموعه باشد؛ یک مجموعه که در آن Hom(X, Y) برای همه اشیای X و Y یک مجموعه است، محلی کوچک نامیده می‌شود. | ## بخش 2: ریخت (ریاضیات) | دقت کنید که دامنه و هم‌دامنه در حقیقت بخشی از اطلاعاتی است که یک ریختار را تعیین می‌کنند. برای مثال، در رسته مجموعه‌ها، که در آن ریختارها تابع هستند، دو تابع به صورت مجموعه جفت‌مرتب می‌تواند برابر باشند (می‌توانند برد مشابهی داشته باشند) درحالی‌که ممکن است هم‌دامنه متفاوتی داشته باشند. از این رو بسیاری از نویسندگان ضروری می‌دانند تا کلاس-هوم‌ها Hom(X, Y) مجزا باشند. این موضوع در عمل مشکل‌ساز نیست، زیرا اگر این مجزابودن برقرار نباشد، می‌توان با پیونددادن دامنه و هم‌دامنه به ریختار از آن مطمئن شد (مثلا به عنوان مولفه‌های دوم و سوم یک سه‌تایی مرتب). به یک مونوریختار به صورت خلاصه مونو هم گفته می‌شود، و به صورت صفتی از واژه مونیک هم استفاده می‌شود.Jacobson (2009), p. ریختارهای دارای وارون چپ همیشه مونوریختار هستند، اما همیشه برعکس آن برقرار نیست؛ یک مونوریختار ممکن است وارون چپ نداشته باشد. شرط پوشا بودن قوی‌تر از شرط مونوریختار بودن است، اما از شرط منوریختار تجزبه‌ای ضعیف‌تر است. به اپی‌ریختار به صورت خلاصه اپی هم گفته می‌شود، و ما می‌توانیم از صفت اپیک هم استفاده کنیم. یک ریختار f دارای وارون راست است یا یک ریختار مجزا است اگر یک ریختار g: Y → X موجود باشد که f ∘ g idY برقرار باشد. ریختارهایی که وارون راست دارند همیشه اپی‌ریختار هستند، اما برعکس همیشه درست نیست، یعنی یک اپی‌ریختار ممکن است وارون راست نداشته باشد. اگر یک مونوریختار f توسط یک وارون چپ g تجزیه شود، آنوقت g یک اپی‌ریختار تجزیه‌ای با وارون راست f است. شرط پوشا بودن قوی‌تر از شرط اپی‌ریختار بودن است، اما ضعیف‌تر از اپی‌ریختار تجزیه‌ای بودن است. | ## بخش 3: ریخت (ریاضیات) | در رسته مجموعه‌ها، این بیانیه که «هر پوشا یک بخش دارد» هم‌ارز با اصل موضوع انتخاب است. اگر یک ریختار هم راست-وارون و هم چپ-وارون داشته باشد، آنوقت این دو وارون برابر هستند، از این رو f یک ایزوریختار است، و به g به سادگی وارون برای f نامیده می‌شود. برای مثال، در رسته حلقه‌های جابجایی، شمول Z → Q یک دوریختار است که ایزوریختار نیست. بااین‌حال، هر ریختاری که هم اپی‌ریختار و هم یک مونوریختار تجزیه‌ای است، یا اینکه هم یک مونوریختار باشد و هم یک اپی‌ریختار تجزیه‌ای باشد، آنوقت باید حتما یک ایزوریختار هم باشد. یک رسته، مثل یک مجموعه، که در آن هر دوریختار یک ایزوریختار هم هست، یک رسته متوازن نام دارد. اندوریختار و اتوریختار یک ریختار f: X → X (یعنی، یک ریختار که مبدأ و مقصد همانی دارد) یک اندوریختار X است. یک اتوریختار، یک ریختار است که هم اندوریختار است و هم ایزوریختار است، و در هر رسته، اتوریختار یک شیء همیشه یک گروه می‌سازد، که گروه اتوریختار برای شیء نامیده می‌شود. مثال‌ها برای ساختارهای جبری که در جبر معمول هستند، مثل گروه، حلقه، مدول و غیره، ریختارها معمولاً همریخت هستند و مفاهیم ایزوریختار، اتوریختار، اندوریختار، اپی‌ریختار، و مونوریختار مشابه موارد تعریف شده در بالا هستند. با این حال در حالت حلقه‌ها، «اپی‌ریختار» معمولاً به صورت مترادف با «پوشا بودن» درنظر گرفته می‌شود، اگرچه اپی‌ریختار حلقه‌ایهم وجود دارد که پوشا نیست (مثلا وقتیکه اعداد صحیح را در اعداد گویا توکار سازی کرده‌ایم). در رسته فضاهای توپولوژیکی، ریختارها توابع پیوسته اند و ایزوریختارها، هومئومورفیسم نامیده می‌شوند. اگرچه تناظرهای دوسویه (یعنی، ایزوریختار برای مجموعه‌ها) هم هستند که هومئومورفیسم نیستند. | ## جمع‌بندی | در رسته منیفولدهای هموار، ریختارها همان توابع هموار هستند، و ایزومورفیسم‌ها دیفئومورفیسم نامیده می‌شوند.