موضوع مقاله: جمع مستقیم | مخاطب: عمومی | لحن: دانشنامه‌ای | ساختار: عنوان، مقدمه، 3 بخش، جمع‌بندی | مقاله: | # جمع مستقیم | مقدمه: برای مثال، جمع مستقیم که در آن همان فضای مختصات حقیقی است، برابر فضای دکارتی است. | ## بخش 1: جمع مستقیم | برای آنکه ببینید چگونه جمع مستقیم در جبر مجرد استفاده می‌شود، یک ساختار ابتدایی‌تر در جبر مجرد، یعنی گروه آبلی را در نظر بگیرید. جمع مستقیم دو گروه آبلی و یک گروه آبلی دیگر است که شامل زوج‌مرتب‌های است که در آن با ساختار زیر، و است. برای جمع زوج‌مرتب‌ها، ما جمع را به صورت تعریف می‌کنیم؛ به زبان دیگر، جمع به صورت مختصاتی تعریف می‌شود. از یک فرایند مشابه برای تعریف جمع مستقیم دو فضای برداری یا دو مدول استفاده می‌شود. ما همچمنین می‌توانیم جمع مستقیم را با هر تعداد متناهی از جمع‌وند تشکیل دهیم، برای مثال، را تعریف کنیم با این شرط که و هر سه ساختارهای جبری هم‌نوع باشند (مثلا، همه گروه آبلی باشند، یا همه فضای برداری باشند). این موضوع وابسته به این است که جمع مستقیم از بابت ایزوریختار انجمنی است؛ یعنی، برقرار است، برای هر ساختار جبری ، ، و که هم‌نوع هستند. جمع مستقیم از بابت ایزوریختار هم جابه‌جایی است، یعنی برای هر ساختار جبری و که هم‌نوع هستند، برقرار است. جمع مستقیم تعداد متناهی گروه آبلی، فضای برداری، یا مدول به صورت رسمی با ضرب مستقیم متناظر ایزوریختار است. در حالتیکه در آن اشیای نامتناهی ترکیب می‌شوند، جمع مستقیم و ضرب مستقیم ایزوریختار نیستند، این موضوع حتی برای گروه آبلی، فضای برداری یا مدول‌ها هم برقرار نیست. برای مثال، جمع مستقیم و ضرب مستقیم نسخه‌های نامتناهی (شمارا) از اعداد صحیح را درنظر بگیرید. یک عنصر در فضای برداری یک ترتیب نامتناهی، مثل (۱٬۲٬۳,...) است، اما در جمع مستقیم، این نیازمندی موجود است که همه ولی تعداد متناهی از مختصات صفر باشد، از این‌رو ترتیب (۱٬۲٬۳,...) یک عنصر از ضرب مستقیم است ولی عنصری از جمع مستقیم نیست، درحالیکه (۱٬۲٬۰٬۰٬۰,...) یک عنصر از هر دو است. معمولاً وقتیکه یک علامت + استفاده بشود، همه ولی تعداد متناهی از مختصات باید صفر باشد، درحالیکه اگر حالتی از ضرب استفاده شود، همه ولی تعداد متناهی از مختصات باید ۱ باشد. به زبان فنی‌تر، اگر جمع‌وندها باشند، جمع مستقیم را به صورت مجموعه تاپل‌های تعریف می‌کنیم، که در آن است به این‌صورت که برای همه ولی تعداد متناهی از i برقرار باشد. جمع مستقیم در ضرب مستقیم موجود است، ولی وقتیکه مجموعه اندیس نامتناهی است، به صورت مؤکد کوچکتر است، زیرا ضرب‌های مستقیم این محدودیت را ندارند که همه ولی تعداد متناهی از مختصات باید صفر باشد.Thomas W. اگر یک خانواده اندیسی از ساختارهای داده شود، که توسط اندیس‌دهی شده‌است، جمع مستقیم را می‌توان به صورت نوشت. در حالت گروه‌ها، اگر عمل گروه به صورت نوشته شود، از عبارت «جمع مستقیم» استفاده می‌شود، درحالیکه اگر عمل گروه به صورت نوشته شود، از عبارت «ضرب مستقیم» استفاده می‌شود. | ## بخش 2: جمع مستقیم | وقتیکه مجموعه اندیس نامتناهی باشد، جمع مستقیم مشابه ضرب مستقیم نیست، زیرا جمع مستقیم این نیازمندی اضافی را دارد که همه ولی تعداد متناهی از مختصات باید صفر باشد. جمع‌های مستقیم دورنی و بیرونی جمع‌های مستقیم درونی و بیرونی متفاوت هستند، اگرچه هر دو ایزوریختار هستند. اگر اول جمع‌وندها تعریف شوند، و سپس جمع مستقیم در عبارت جمع‌وند تعریف شود، آنوقت ما یک جمع مستقیم بیرونی داریم. برای مثال، اگر ما اول اعداد حقیقی را تعریف کنیم و سپس را تعریف کنیم، آنوقت گفته می‌شود که جمع مستقیم بیرونی است. از جهت دیگر، اگر اول یک ساختار جبری را تعریف کنیم و سپس را به صورت جمع مستقیم دو زیرساختار و بنویسیم، آنوقت گفته می‌شود که جمع مستقیم، دورنی است. در این‌حالت، هر عنصر را می‌توان به صورت یکتا به صورت ترکیب جبری از عناصر و یک عنصر از بیان نمود. برای مثال یک جمع مستقیم درونی، را در نظر بگیرید (یعنی اعداد صحیح در پیمانه شش)، که عناصر آن هستند. انواع جمع مستقیم جمع مستقیم گروه‌های آبلی جمع مستقیم گروه‌های آبلی یک مثال پیش‌نمون از یک جمع مستقیم است. اگر دو تا از این گروه‌ها به صورت و را داشته باشیم، جمع مستقیم آن‌ها مشابه ضرب مستقیم آن‌ها است؛ یعنی، مجموعه زیربنایی برابر ضرب دکارتی است و عمل گروه به صورت مولفه‌ای تعریف می‌شود: این تعریف به جمع مستقیم برای تعداد متناهی از گروه آبلی تعمیم می‌یابد. برای یک خانواده دلخواه از گروه‌ها که توسط اندیس‌دهی شده‌است، آن‌ها یعنی برابر زیرگروه از ضرب مستقیم است، که شامل عناصر است، که تکیه‌گاه متناهی دارد، که در آن طبق تعریف، وقتی دارد، اگر که برابر عنصر همانی است برای همه ولی تعداد متناهی برقرار باشد.Joseph J. جمع مستقیم مدول‌ها جمع مستقیم مدول‌ها یک ساختار است که چندین مدول را در یک مدول جدید ترکیب می‌کند. آشناترین مثال‌های این ساختار وقتی رخ می‌دهد که فضاهای برداری را درنظر گرفته باشیم، که مدول‌هایی روی یک میدان هستند. در این رسته، ضرب متناهی و همضرب پذیرفته می‌شود و جمع مستقیم می‌تواند هرکدام از آن‌ها باشد، رجوع کنید به دوضرب. حالت کلی: در نظریه رسته‌ها، جمع مستقیم معمولاً، ولی نه همیشه، همضربی در رسته اشیاء ریاضی مورد نظر است. جمع مستقیم دربرابر همضرب در رسته گروه‌ها بااین‌حال، جمع مستقیم (که به صورت مشابه با جمع مستقیم گروه‌های آبلی تعریف شده‌است) برابر همضرب گروه‌های و در رسته گروه‌ها . ازاین‌رو در این رسته، یک جمع مستقیم رسته‌ای را به صورت ساده یک همضرب می‌نامند، تا از هر اشتباه ممکن جلوگیری شود. | ## بخش 3: جمع مستقیم | جمع مستقیم نمایش گروه جمع مستقیم نمایش گروه، جمع مستقیم مدول‌های مبنا را تعمیم می‌دهد، و یک کنش گروهی به آن اضافه می‌کند. بخصوص، اگر به ما یک گروه و دو نمایش و از داده شود (یا به صورت کلی‌تر، دو -مدول داده شود، جمع مستقیم نمایش‌ها برابر می‌شود، که کنش در آن مولفه-گون است، یعنی، راه معادل دیگر برای تعریف جمع مستقیم به صورت زیر است: اگر به ما دو نمایش و داده شود، آنوقت فضای برداری برای جمع مستقیم برابر است، و هوموریختار توسط به دست می‌آید، که در آن همان نگاشت طبیعی است که توسط عمل مولفه-گون مثل بالا به دست می‌آید. بعلاوه، اگر دارای بعد متناهی باشند، آوقت، با این شرط که پایه‌های ، و ماتریس-مقدار باشد. بعلاوه، اگر ما با و به صورت مدول روی حلقه گروهی رفتار کنیم، که در آن همان میدان است، آنوقت جمع مستقیم نمایش‌های و برابر جمع مستقیم‌شان و به صورت مدول‌های است. زیرا هوموریختارهای حلقه‌ای طبیعی از و دریافت نمی‌کند: بخصوص، نگاشت که را به می‌فرستد، یک هوموریختار حلقه‌ای نیست، زیرا نمی‌تواند ۱ را به بفرستد (با این فرض که در قرار دارد). ازاین‌رو یک همضرب در رسته حلقه‌ها نیست، و نباید به صورت یک جمع مستقیم نوشته شود. (همضرب در رسته حلقه‌های جابجایی برابر ضرب تنسوری از حلقه‌ها است., section I.11 در رسته حلقه‌ها، همضرب توسط یک ساختار مشابه با ضرب آزاد گروه‌ها به دست می‌آید) استفاده از اصطلاحات و نماد جمع مستقیم مخصوصاً وقتی مشکل‌زا است که با خانواده نامتناهی از حلقه‌ها سروکار داریم: اگر یک گردآورد نامتناهی از حلقه‌های غیربدیهی باشد، آنوقت جمع مستقیم گروه‌های جمعی مبنا را می‌توان به ضرب جمله-گون مجهز نمود، اما این منجر به یک rng (رونگ) می‌شود، یعنی، یک حلقه که همانی ضربی ندارد. جمع مستقیم ماتریس‌ها برای ماتریس‌های اختیاری و ، جمع مستقیم به صورت ماتریس بلوکی قطری از و تعریف می‌شود، اگر هر دو ماتریس مربعی باشند (و اگر نباشد، باید یک ماتریس بلوکی مشابه باشد). جمع مستقیم فضاهای برداری توپولوژیکی یک فضای برداری توپولوژیکی (TVS) مثل فضای باناخ، را یک برای دو زیرفضای برداری و می‌نامند اگر نگاشت جمعی زیر یک ایزوریختار از فضاهای برداری توپولوژیکی باشد، (یعنی این نگاشت خطی یک هوموریختار دوسویه باشد)، که در آن‌حالت و را در می‌نامند. این موضوع وقتیکه به صورت گروه‌های توپولوژیکی جمعی درنظر گرفته شوند هم درست است (که از این‌رو ضرب نرده‌ای را درنظر نمی‌گیریم)، همان جمع مستقیم توپولوژیکی از زیرگروه‌های توپولوژیکی و است. اگر یک زیرفضای برداری از فضاهای برداری مختلط یا حقیقی باشد، آنوقت همیشه یک زیرفضای برداری از دیگر وجود دارد، که ، به این صورت که یک برای و است (که فقط و فقط وقتی رخ می‌دهد که نگاشت جمع یک ایزوریختار فضای برداری باشد. دربرابر جمع‌های مستقیم جبری، وجود چنین متممی برای جمع‌های مستقیم توپولوژیکی تضمین نشده‌است. یک زیرفضای برداری از را یک می‌نامند، اگر یک زیرفضای برداری از موجود باشد که برابر جمع مستقیم توپولوژیکی از و باشد. برای مثال، هر زیرفضای برداری از TVS هاوسدورف که یک زیرمجموعه بسته نیست، الزاماً نامتممی است. اما هر فضای باناخ که فضای هیلبرت نیست، الزاماً شامل چمد زیرفضای برداری بسته غیرمتممی است. هوموریختارها جمع مستقیم به یک هوموریختار تصویری برای هر j در I و یک هم‌تصویر برای هر j در I مجهز است. | ## جمع‌بندی | اگر یک ساختار جبری دیگر (با ساختار اضافی مشابه) و هوموریختارهای برای هر j در I داده شده باشد، آنوقت یک هوموریختار یکتای وجود دارد که جمع gj‌ها نامیده شده، به این‌صورت که برای همه j‌ها برقرار است.