جمع مستقیم (به انگلیسی: direct sum) عملی از جبر مجرد (شاخه‌ای از ریاضیات) است. برای مثال، جمع مستقیم که در آن همان فضای مختصات حقیقی است، برابر فضای دکارتی است. برای آنکه ببینید چگونه جمع مستقیم در جبر مجرد استفاده می‌شود، یک ساختار ابتدایی‌تر در جبر مجرد، یعنی گروه آبلی را در نظر بگیرید. جمع مستقیم دو گروه آبلی و یک گروه آبلی دیگر است که شامل زوج‌مرتب‌های است که در آن با ساختار زیر، و است. برای جمع زوج‌مرتب‌ها، ما جمع را به صورت تعریف می‌کنیم؛ به زبان دیگر، جمع به صورت مختصاتی تعریف می‌شود. از یک فرایند مشابه برای تعریف جمع مستقیم دو فضای برداری یا دو مدول استفاده می‌شود.

ما همچمنین می‌توانیم جمع مستقیم را با هر تعداد متناهی از جمع‌وند تشکیل دهیم، برای مثال، را تعریف کنیم با این شرط که و هر سه ساختارهای جبری هم‌نوع باشند (مثلا، همه گروه آبلی باشند، یا همه فضای برداری باشند). این موضوع وابسته به این است که جمع مستقیم از بابت ایزوریختار انجمنی است؛ یعنی، برقرار است، برای هر ساختار جبری ، ، و که هم‌نوع هستند. جمع مستقیم از بابت ایزوریختار هم جابه‌جایی است، یعنی برای هر ساختار جبری و که هم‌نوع هستند، برقرار است.

جمع مستقیم تعداد متناهی گروه آبلی، فضای برداری، یا مدول به صورت رسمی با ضرب مستقیم متناظر ایزوریختار است. بااین‌حال، این موضوع برای بعضی از اشیای جبری، مثل گروه‌های غیرآبلی نادرست است.

در حالتیکه در آن اشیای نامتناهی ترکیب می‌شوند، جمع مستقیم و ضرب مستقیم ایزوریختار نیستند، این موضوع حتی برای گروه آبلی، فضای برداری یا مدول‌ها هم برقرار نیست. برای مثال، جمع مستقیم و ضرب مستقیم نسخه‌های نامتناهی (شمارا) از اعداد صحیح را درنظر بگیرید. یک عنصر در فضای برداری یک ترتیب نامتناهی، مثل (۱٬۲٬۳,...) است، اما در جمع مستقیم، این نیازمندی موجود است که همه ولی تعداد متناهی از مختصات صفر باشد، از این‌رو ترتیب (۱٬۲٬۳,...) یک عنصر از ضرب مستقیم است ولی عنصری از جمع مستقیم نیست، درحالیکه (۱٬۲٬۰٬۰٬۰,...) یک عنصر از هر دو است. معمولاً وقتیکه یک علامت + استفاده بشود، همه ولی تعداد متناهی از مختصات باید صفر باشد، درحالیکه اگر حالتی از ضرب استفاده شود، همه ولی تعداد متناهی از مختصات باید ۱ باشد. به زبان فنی‌تر، اگر جمع‌وندها باشند، جمع مستقیم

را به صورت مجموعه تاپل‌های تعریف می‌کنیم، که در آن است به این‌صورت که برای همه ولی تعداد متناهی از i برقرار باشد. جمع مستقیم در ضرب مستقیم موجود است، ولی وقتیکه مجموعه اندیس نامتناهی است، به صورت مؤکد کوچکتر است، زیرا ضرب‌های مستقیم این محدودیت را ندارند که همه ولی تعداد متناهی از مختصات باید صفر باشد.[۱]

مثال‌ها ویرایش

صفحه-xy، یک فضای برداری دوبعدی، را می‌توان به صورت جمع مستقیم دو فضای برداری یک-بعدی، با نام محورهای x و y در نظر گرفت. در این جمع مستقیم، محورهای x و y فقط در مبدأ تقاطع دارند (یعنی بردار صفر). جمع به صورت مختصاتی تعریف می‌شود، یعنی   است، که مشابه جمع برداری است.

اگر دو ساختار   و   داده شود، جمع مستقیم آن‌ها به صورت   نوشته می‌شود. اگر یک خانواده اندیسی از ساختارهای   داده شود، که توسط   اندیس‌دهی شده‌است، جمع مستقیم را می‌توان به صورت   نوشت. هر Ai یک جمع‌وند مستقیم از A نامیده می‌شود. اگر مجموعه اندیس متناهی باشد، جمع مستقیم مشابه ضرب مستقیم است. در حالت گروه‌ها، اگر عمل گروه به صورت   نوشته شود، از عبارت «جمع مستقیم» استفاده می‌شود، درحالیکه اگر عمل گروه به صورت   نوشته شود، از عبارت «ضرب مستقیم» استفاده می‌شود. وقتیکه مجموعه اندیس نامتناهی باشد، جمع مستقیم مشابه ضرب مستقیم نیست، زیرا جمع مستقیم این نیازمندی اضافی را دارد که همه ولی تعداد متناهی از مختصات باید صفر باشد.

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

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

از جهت دیگر، اگر اول یک ساختار جبری   را تعریف کنیم و سپس   را به صورت جمع مستقیم دو زیرساختار   و   بنویسیم، آنوقت گفته می‌شود که جمع مستقیم، دورنی است. در این‌حالت، هر عنصر   را می‌توان به صورت یکتا به صورت ترکیب جبری از عناصر   و یک عنصر از   بیان نمود. برای مثال یک جمع مستقیم درونی،   را در نظر بگیرید (یعنی اعداد صحیح در پیمانه شش)، که عناصر آن   هستند. این را می‌توان به صورت جمع مستقیم دورنی   بیان نمود.

انواع جمع مستقیم ویرایش

جمع مستقیم گروه‌های آبلی ویرایش

جمع مستقیم گروه‌های آبلی یک مثال پیش‌نمون از یک جمع مستقیم است. اگر دو تا از این گروه‌ها به صورت   و   را داشته باشیم، جمع مستقیم آن‌ها   مشابه ضرب مستقیم آن‌ها است؛ یعنی، مجموعه زیربنایی برابر ضرب دکارتی   است و عمل گروه   به صورت مولفه‌ای تعریف می‌شود:

 
این تعریف به جمع مستقیم برای تعداد متناهی از گروه آبلی تعمیم می‌یابد. برای یک خانواده دلخواه از گروه‌ها   که توسط   اندیس‌دهی شده‌است، جمع مستقیم آن‌ها[۲] یعنی
 
برابر زیرگروه از ضرب مستقیم است، که شامل عناصر   است، که تکیه‌گاه متناهی دارد، که در آن طبق تعریف،   وقتی تکیه‌گاه متناهی دارد، اگر که   برابر عنصر همانی   است برای همه ولی تعداد متناهی   برقرار باشد.[۳] جمع مستقیم از یک خانواده نامتناهی   از گروه‌های غیربدیهی یک زیرگروه سره از گروه ضربی   است.

جمع مستقیم مدول‌ها ویرایش

جمع مستقیم مدول‌ها یک ساختار است که چندین مدول را در یک مدول جدید ترکیب می‌کند.

آشناترین مثال‌های این ساختار وقتی رخ می‌دهد که فضاهای برداری را درنظر گرفته باشیم، که مدول‌هایی روی یک میدان هستند. این ساختار به فضاهای باناخ و فضاهای هیلبرت تعمیم می‌یابد.

جمع مستقیم رسته‌ها ویرایش

یک رسته جمعی، یک انتزاع از ویژگی‌های رسته مدول‌ها است.[۴][۵] در این رسته، ضرب متناهی و همضرب پذیرفته می‌شود و جمع مستقیم می‌تواند هرکدام از آن‌ها باشد، رجوع کنید به دوضرب.

حالت کلی:[۲] در نظریه رسته‌ها، جمع مستقیم معمولاً، ولی نه همیشه، همضربی در رسته اشیاء ریاضی مورد نظر است. برای مثال، در رسته گروه‌های آبلی، جمع مستقیم همان همضرب است. این موضوع در رسته مدول‌ها هم درست می‌باشد.

جمع مستقیم دربرابر همضرب در رسته گروه‌ها ویرایش

بااین‌حال، جمع مستقیم   (که به صورت مشابه با جمع مستقیم گروه‌های آبلی تعریف شده‌است) برابر همضرب گروه‌های   و   در رسته گروه‌ها نیست.[۶] ازاین‌رو در این رسته، یک جمع مستقیم رسته‌ای را به صورت ساده یک همضرب می‌نامند، تا از هر اشتباه ممکن جلوگیری شود.

جمع مستقیم نمایش گروه ویرایش

جمع مستقیم نمایش گروه، جمع مستقیم مدول‌های مبنا را تعمیم می‌دهد، و یک کنش گروهی به آن اضافه می‌کند. بخصوص، اگر به ما یک گروه   و دو نمایش   و   از   داده شود (یا به صورت کلی‌تر، دو  -مدول داده شود، جمع مستقیم نمایش‌ها برابر   می‌شود، که کنش   در آن مولفه-گون است، یعنی،

 
راه معادل دیگر برای تعریف جمع مستقیم به صورت زیر است:

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

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

 
به دست می‌آید.

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

جمع مستقیم حلقه‌ها ویرایش

بعضی از نویسندگان از جمع مستقیم   دو حلقه موقعی صحبت می‌کنند که منظورشان ضرب مستقیم   است، اما باید از این‌کار اجتناب کرد[۷] زیرا   هوموریختارهای حلقه‌ای طبیعی از   و   دریافت نمی‌کند: بخصوص، نگاشت   که   را به   می‌فرستد، یک هوموریختار حلقه‌ای نیست، زیرا نمی‌تواند ۱ را به   بفرستد (با این فرض که   در   قرار دارد). ازاین‌رو   یک همضرب در رسته حلقه‌ها نیست، و نباید به صورت یک جمع مستقیم نوشته شود. (همضرب در رسته حلقه‌های جابجایی برابر ضرب تنسوری از حلقه‌ها است.[۸] در رسته حلقه‌ها، همضرب توسط یک ساختار مشابه با ضرب آزاد گروه‌ها به دست می‌آید)

استفاده از اصطلاحات و نماد جمع مستقیم مخصوصاً وقتی مشکل‌زا است که با خانواده نامتناهی از حلقه‌ها سروکار داریم: اگر   یک گردآورد نامتناهی از حلقه‌های غیربدیهی باشد، آنوقت جمع مستقیم گروه‌های جمعی مبنا را می‌توان به ضرب جمله-گون مجهز نمود، اما این منجر به یک rng (رونگ) می‌شود، یعنی، یک حلقه که همانی ضربی ندارد.

جمع مستقیم ماتریس‌ها ویرایش

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

 

جمع مستقیم فضاهای برداری توپولوژیکی ویرایش

یک فضای برداری توپولوژیکی (TVS)   مثل فضای باناخ، را یک جمع مستقیم توپولوژیکی برای دو زیرفضای برداری   و   می‌نامند اگر نگاشت جمعی زیر

 
یک ایزوریختار از فضاهای برداری توپولوژیکی باشد، (یعنی این نگاشت خطی یک هوموریختار دوسویه باشد)، که در آن‌حالت   و   را متمم توپوبوژیکی در   می‌نامند. این موضوع وقتیکه به صورت گروه‌های توپولوژیکی جمعی درنظر گرفته شوند هم درست است (که از این‌رو ضرب نرده‌ای را درنظر نمی‌گیریم)،   همان جمع مستقیم توپولوژیکی از زیرگروه‌های توپولوژیکی   و   است. اگر این درست باشد و اگر   هاوسدورف باشد، آنوقت   و   باید حتماً زیرفضاهای بسته   باشند.

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

یک زیرفضای برداری   از   را یک (از نظر توپولوژی) زیرفضای متتم‌دار از   می‌نامند، اگر یک زیرفضای برداری   از   موجود باشد که   برابر جمع مستقیم توپولوژیکی از   و   باشد. یک زیرفضای برداری موقعی نامتممی است که یک زیرفضای متتمی نباشد. برای مثال، هر زیرفضای برداری از TVS هاوسدورف که یک زیرمجموعه بسته نیست، الزاماً نامتممی است. هر زیرفضای برداری بسته از یک فضای هیلبرت متمم‌دار است. اما هر فضای باناخ که فضای هیلبرت نیست، الزاماً شامل چمد زیرفضای برداری بسته غیرمتممی است.

هوموریختارها ویرایش

جمع مستقیم   به یک هوموریختار تصویری   برای هر j در I و یک هم‌تصویر   برای هر j در I مجهز است.[۹] اگر یک ساختار جبری دیگر   (با ساختار اضافی مشابه) و هوموریختارهای   برای هر j در I داده شده باشد، آنوقت یک هوموریختار یکتای   وجود دارد که جمع gj‌ها نامیده شده، به این‌صورت که   برای همه j‌ها برقرار است. از این‌رو در یک رسته مناسب، جمع مستقیم همان همضرب است.

پانویس ویرایش

  1. Thomas W. Hungerford, Algebra, p.60, Springer, 1974, شابک ‎۰۳۸۷۹۰۵۱۸۹
  2. ۲٫۰ ۲٫۱ Direct Sum in nLab
  3. Joseph J. Rotman, The Theory of Groups: an Introduction, p. 177, Allyn and Bacon, 1965
  4. «"p.45"» (PDF). بایگانی‌شده از اصلی (PDF) در ۲۲ مه ۲۰۱۳. دریافت‌شده در ۲۹ آوریل ۲۰۲۲.
  5. "Appendix" (PDF). Archived from the original (PDF) on 2006-09-17. Retrieved 2014-01-14.
  6. "Counterexamples for products and coproduct". Planetmath. Retrieved 2021-07-23.
  7. Math StackExchange on direct sum of rings vs. direct product of rings.
  8. (Lang 2002), section I.11
  9. Heunen, Chris (2009). Categorical Quantum Models and Logics. Pallas Proefschriften. Amsterdam University Press. p. 26. ISBN 978-9085550242.

منابع ویرایش