خاصیت شرکت‌پذیری

خاصیت شرکت‌پذیری (به انگلیسی: associative property) یا خاصیت انجمنی در ریاضیات، یک ویژگی برای بعضی عمل‌های دوتایی است که بر اساس آن «مرتب‌سازی مجدد پرانتزها» در یک عبارت، نتیجه را تغییر نمی‌دهد. در منطق گزاره‌ای، شرکت‌پذیری یک قاعده جایگزینی معتبر برای عبارات در اثبات منطقی است.

شرکت‌پذیری اهمیت زیادی در جبر مجرد دارد و یکی از چهار اصل از «اصول موضوع نظریه گروه‌ها» است که ساختار جبری گروه با استفاده از آن‌ها تعریف می‌شود.

تعریف

فرض کنیم * عملی دوتایی در مجموعه ناتهی A باشد. عمل * را شرکت‌پذیر خوانیم در صورتی که به ازای هر a و b و c از A,

a*(b*c) = (a*b)*c

مثال‌ها

اعمال جمع و ضرب در اعداد (حقیقی و مختلط) شرکت‌پذیرند؛ زیرا همواره

a+(b+c) = (a+b)+c

و

a×(b×c) = (a×b)×c

اما عمل تفریق شرکت‌پذیر نیست. به عنوان مثال:

۵-(۴–۲) ≠ (۲–۵)-۴

اعمال اجتماع و اشتراک در مجموعه‌ها شرکت‌پذیرند؛ یعنی برای هر سه مجموعه دلخواه A و B و C,

A\cup (B\cup C)=(A\cup B)\cup C=A\cup B\cup C\quad

A\cap (B\cap C)=(A\cap B)\cap C=A\cap B\cap C\quad

عمل ترکیب تابع شرکت‌پذیر است. هرگاه $h : S \to T$ و $g : T \to U$ و $f : U \to V$ آنگاه $f \circ (g \circ h) = (f \circ g) \circ h$

جستارهای وابسته

منابع

مصاحب، غلامحسین (۱۳۸۱). آنالیز ریاضی. اول. تهران: امیرکبیر. شابک ۹۶۴-۰۰-۰۶۳۰-۰.
هرشتاین، آی.ان. (۱۳۸۷). جبر مجرد. ترجمهٔ علی‌اکبر عالم‌زاده. تهران: مؤسسه انتشارات علمی دانشگاه صنعتی شریف. شابک ۹۷۸-۹۶۴-۶۳۷۹-۰۲-۲.

This article is issued from Wikipedia. The text is licensed under Creative Commons - Attribution - Sharealike. Additional terms may apply for the media files.