اشتراک (نظریه مجموعه‌ها): تفاوت میان نسخه‌ها

محتوای حذف‌شده محتوای افزوده‌شده
Rezabot (بحث | مشارکت‌ها)
جز ربات: حذف میان‌ویکی موجود در ویکی‌داده: ۴۱ میان‌ویکی
خط ۲:
 
== تعریف ==
اگر S [[مجموعه|مجموعه‌ای]]‌ای ناتهی از مجموعه‌ها باشد و <math>X\in S</math> عضو دلخواهی از S، اشتراک همه اعضای S که آن‌را با <math>\bigcap S</math> یا <math>\bigcap_{A\in S}A</math> نشان می‌دهیم به‌صورت زیر تعریف می‌شود:
 
<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
{{پایان چپ‌چین}}
 
{{عملیات دوتایی}}
 
خط ۴۳:
[[رده:عملیات دوتایی]]
[[رده:مفاهیم پایه در نظریه مجموعه‌ها]]
[[رده:ویکی‌سازی رباتیک]]