عمل دوتایی
از ویکیپدیا، دانشنامهٔ آزاد.
عمل دوتایی از مهمترین و پرکاربرد ترین مفاهیم در جبر مجرد است.
فهرست مندرجات |
[ویرایش] آشنایی
شاید تابه حال فرایندهای زیادی را دیده باشید که طی آن دو چیز با هم ترکیب میشوند و شی سوم متمایزی را حاصل می دهند.
مثلاً تصور کنید در یک کلاس درس معلم کلاس میگوید "ب"، "آ" و دانش آموزان باهم فریاد میزنند "با". این بار معلم میگوید "ب"، "و" و اینبار دانشآموزان فریاد میزنند "بو" و یا در مثالی دیگر در طبیعت ملکولهای هیدروژن و اکسیژن با هم ترکیب شده و ماده سومی چون آب را پدید میآورد.
این ها همگی نمونههایی از اعمالی دوتایی هستند که در طی آنها دو عنصر شرکت کننده عنصر سومی را پدید میآورند.
اعمال دوتایی و به دنبال آن ساختارهای جبری از مهمترین و مقدماتیترین مفاهیم در جبر مجرد هستند. در ادامه به تعریف دقیق یک عمل دوتایی در جبر میپردازیم و ویژگیهای آنها را بررسی میکنیم.
[ویرایش] عمل دوتایی
یک عمل دوتایی روی مجموعه ناتهی G تابعی است چون
از G×G به توی G که به هر عضو (a,b) از G×G یک عضو یکتا چون C از G را نسبت میدهد.
لازم به یادآوری است که G×G حاصل ضرب دکارتی G در خودش است.
با توجه به تعریف یک عمل دوتایی، یک عمل دوتایی چون * روی یک مجموعه ناتهی G باید واجد شرایط زیرباشد:
- عمل دوتایی روی کل دامنه خود یعنی G×G تعریف شده باشد.
- عمل دوتایی * یک تابع خوش تعریف از G×G به توی G باشد یعنی به هر عضو G×G عنصر یکتایی از G را نسبت میدهد.
- حاصل ترکیب دو عضو (a,b) تحت یک عمل دوتایی باید متعلق به G باشد. به عبارت دیگر مجموعه G نسبت به عمل دوتایی خود بسته باشد.
- عمل دوتایی را که سبب ترکیب هر دو عضو مجموعه ناتهی G میشود، معمولا با * یا ° نمایش میدهیم.
برای نمایش اینکه، * یک عمل دوتایی تعریف شده در مجموعه ناتهی G باشد مینویسم (*,G) و برای هر (a,b) عضو G×G، حاصل عمل * روی زوج مرتب (a,b) را به صورت (a,b)* یا معمولتر به فرم a*b نشان می دهیم و معمولاً برای سهولت در نوشتن a*b را نیز به صورت ab مینویسیم.
همچنین معمولاً یک عمل دوتایی روی یک مجموعه را با دو نماد جمعی + و ضربی . نشان میدهیم که نباید آنها را با جمع و ضرب اعداد خلط کرد.
اگر عمل دوتایی را به فرم جمعی نشان دهیم حاصل عمل + را روی (a,b) به صورت a+b نشان میدهیم و اگر عمل عمل را با نماد ضربی نشان دهیم حاصل عمل را به صورت a.b یا ab نشان میدهیم.
[ویرایش] مثال هایی از اعمال دوتایی
- مجموعه عداد صحیح را در نظر بگیرید، عمل * را روی
را به صورت زیر تعریف میکنیم:
که همان عمل جمع اعداد صحیح است و به آسانی دیده میشود * یک عمل دوتایی است.
- مجموعه اعداد طبیعی را در نظر بگیرید. * با ضابطه زیر ، یک عمل دوتایی است:
اما عمل فوق در اعداد صحیح و اعداد گویا عمل دوتایی نمیباشد. زیرا به عنوان مثال
یا
ولی در مجموعه اعداد حقیقی عمل فوق ، یک عمل دوتایی است.
- عمل * را در مجموعه دلخواه A به صورت زیر تعریف میکنیم:
عمل * در مجموعه اعداد گویا یک عمل دوتایی نیست . چرا که به ازای a=b جواب a*b تعریف نشده میشود.
[ویرایش] بسته بودن نسبت به یک عمل
مجموعه اعداد صحیح و عمل جمع اعداد را در نظر بگیرید. عمل جمع اعداد یک عمل دوتایی روی مجموعه اعداد صحیح است و بدیهی است که با توجه به تعریف عمل دوتایی روی
برای هر دو عدد صحیح a و b عدد a+b نیز عددی صحیح است.
حال مجموعه اعداد صحیح زوج
که زیرمجموعهای از
است را در نظر بگیرید. برای هر دو عضو این مجموعه چون m و n چون مجموع دو عدد زوج، عددی زوج است عدد m+n زوج است پس متعلق به مجموعه اعداد صحیح زوج است.
به عبارت برای هر
داریم 
در این حالت اصطلاحاً میگوییم مجموعه اعداد صحیح زوج تحت عمل جمع بسته است.
اما همواره برای هر زیرمجموعه Z چنین نیست. مثلاً مجموعه اعداد صحیح فرد
را در نظر بگیرید. مجموع دو عدد صحیح فرد عددی زوج است که دیگر به مجموعه اعداد صحیح فرد تعلق ندارد پس برای هر
داریم
در این حالت میگوییم مجموعه اعداد صحیح فرد تحت عمل جمع بسته نمیباشد.
اگر G یک مجموعه ناتهی و * یک عمل دوتایی تعریف شده روی G باشد و E زیرمجموعه ای ناتهی از G باشد، می گوییم E تحت عمل G بسته است در صورتیکه به ازای هر a,b∈E داشته باشیم a*b∈E.
به عنوان مثال:
[ویرایش] ویژگیهای اعمال دوتایی
یک عمل دوتایی روی یک مجموعه می تواند دارای برخی ویژگیهای خاص باشد.
[ویرایش] شرکت پذیری
فرض کنید * یک عمل دوتایی روی مجموعه ناتهی G باشد. در این صورت میگوییم عمل * روی G شرکت پذیر است هرگاه برای هر a,b,c متعلق به مجموعه G داشته باشیم: a*(b*c)=(a*b)*c
به عنوان مثال:
- در مجموعه اعداد صحیح عمل * را به صورت زیر بیان میکنیم:
تحت عمل * شرکت پذیر است.
- روی مجموعه اعداد صحیح عمل * را به صورت زیر بیان میکنیم :
عمل * روی
خاصیت شرکت پذیری دارد.
- عمل تفاضل در مجموعه اعداد حقیقی خاصیت شرکت پذیری ندارد.
[ویرایش] نیمگروه
مجموعه (*,G) یک نیمگروه است هر گاه عمل * روی G شرکت پذیر باشد. به عنوان مثال مجموعه اعداد طبیعی به همراه عمل جمع یک نیم گروه است ولی مجوعه اعداد صحیح به همراه عمل تفاضل یک نیم گروه نمی باشد.
- هرگاه
مجموعه توابع پیوسته به روی اعداد حقیقی باشد ، آنگاه
تحت عمل جمع توابع ، یک نیمگروه است. - مجموعه توابع تعریف شده روی اعداد حقیقی تحت عمل ترکیب توابع ، یک نیمگروه است.
[ویرایش] جابجایی
فرض کنید G مجموعهای ناتهی و * یک عمل دوتایی روی G باشد. در این صورت عمل * را روی G جابجایی میگوییم هرگاه برای هر دو عضو a و b متعلق به مجموعه G داشته باشیم a*b=b*a.
به عنوان مثال عمل جمع اعداد روی اعداد طبیعی عملی جابجایی است و عمل تفریق روی مجموعه اعداد حقیقی دارای خاصیت جاجایی نمیباشد.
[ویرایش] عضو خنثی
فرض کنید G مجموعهای ناتهی و * یک عمل دوتایی تعریف در G باشد. در این صورت عضو e متعلق مجموعه G را عضو خنثی یا همانی G نسبت به عمل * میگوییم هرگاه برای هر a متعلق به مجموعه G داشته باشیم: e*a=a*e=a
اگر e عضو G چنان باشد که برای هر a عضو G داشته باشیم a*e=a آنگاه e را عضو خنثی راست میگوییم و اگر برای هر a متعلق به G داشته باشیم e*a=aآنگاه e را عضو خنثی چپ میگوییم.
به عناون مثال در مجموعه اعداد صحیح به همراه عمل جمع عدد صحیح صفر عضو خنثی عمل جمع است و عضو خنثی ضرب در مجموعه ماتریسهای مربعی از مرتبه n ماتریس همانی است.
حال ممکن است این سوال پیش بیاید که آیا یک مجموعه نسبت به یک عمل دوتایی میتواند دارای دو عضو خنثی باشد؟ قضیه زیر بیان می کند عضو خنثی یک ساختمان جبری در صورت وجود یکتاست.
- قضیه
- عضو خنثی یک ساختمان جبری در صورت وجود منحصر بفرد است.
- برهان
- فرض کنید (*,G) یک ساختمان جبری با دو عضو خنثی e1 و e2 باشد. نشان میدهیم e1=e2
چون e2∈G و e1 عضو خنثی G نسبت به عمل * است داریم
- e1 * e2 = e2
و چون e1∈G و e2 عضو خنثی G است داریم:
- e1 * e2 = e1
که دو تساوی اخیر نشان می دهد e1=e2 و حکم ثابت می شود.
[ویرایش] عضو معکوس
فرض کنید G یک مجموعه ناتهی و * یک عمل دوتایی روی G باشد و e عضو خنثی G نسبت به عمل * باشد. در این صورت عضو a متعلق به G را نسبت به عمل * وارون پذیر (معکوس پذیر) مینامیم هرگاه عضوی چون b موجود باشد که a*b=b*a=e.
همچنین اگر b چنان موجود باشد که a*b=e گوییم b معکوس راست a است و اگر bچنان باشد که b*a=e آنگاه b را معکوس چپ a مِینامیم.
[ویرایش] همچنین ببینید
[ویرایش] منابع
- دی.اس.مالک-جال.ان.مردسون-ام.ک.سن. اساس جبر مجرد. ترجمهٔ دکتر محمد رضا رجب زاده مقدم-سید محمد داورپناه. مشهد: دانشگاه امام رضا(ع)، 1380، ISBN 964-6582-29-x.
- دان ساراسینو. جبر مجرد. ترجمهٔ محمد رضا فلکی. مشهد: نشر اقلیدس، 1381، ISBN 964-91210-9-9.
- اسرائیل ناتان هراشتاین. جبر مجرد. ترجمهٔ دکتر علی اکبر عالم زاده. تهران: موسسه انتشارات علمی دانشگاه صنعتی شریف، 1381، ISBN 964-6379-02-8.
- مشارکتکنندگان ویکیپدیا، «Binary operation»، ویکیپدیای انگلیسی، دانشنامهٔ آزاد. (بازیابی در 24 آگوست 2007).








