اشتراک (نظریه مجموعهها): تفاوت میان نسخهها
محتوای حذفشده محتوای افزودهشده
جز ربات: حذف میانویکی موجود در ویکیداده: ۴۱ میانویکی |
جز ویکیسازی رباتیک(۷.۵) >مجموعه مرجع+تمیز (۸.۵) |
||
خط ۲:
== تعریف ==
اگر S [[مجموعه|مجموعهای]]
<div align = "left">
خط ۱۰:
مجموعه بالا طبق [[اصل تصریح]] وجود دارد و با استفاده از [[اصل موضوع گسترش]] میتوان نشان داد که یکتاست.
اشتراک "صفر"تا مجموعه در حالت کلی تعریف نمیشود؛ اما در یک مسئله خاص اگر [[مجموعه مرجع]] U باشد، تعریف میشود <math>\bigcap\phi := U</math>.
اشتراک دو مجموعه دلخواه A و B را با <math>A\cap B</math> نشان داده و میخوانیم "A اشتراک B". اشتراک سه مجموعه A، B و C را با <math>A\cap B\cap C</math>،... و اشتراک n مجموعه <math>A_1,A_2,\cdots,A_n</math> را با <math>A_1\cap A_2\cap\cdots\cap A_n</math> نشان میدهیم. میتوان نشان داد که
خط ۳۳:
== منابع ==
{{پانویس}}
{{چپچین}}
* Enderton, H. B. ''Elements of Set Theory'', 2nd edition, ACADEMIC Press, Inc., 1977. ISBN 7-238440-12-0
{{پایان چپچین}}
{{عملیات دوتایی}}
خط ۴۳:
[[رده:عملیات دوتایی]]
[[رده:مفاهیم پایه در نظریه مجموعهها]]
[[رده:ویکیسازی رباتیک]]
|