کۆمەڵە (ماتماتیک)

یەکتربڕینی کۆمەڵەکانی A و B کە بە شێوەی A ∩ B نیشان دەدرێ.

لە ماتماتیکدا، کۆمەڵە گردوکۆی شتگەلی جیاجیایە. کۆمەڵە لە بنەڕەتیترین تێگەیشتەکانی ماتماتیکە. ئەگەرچی تیۆریی کۆمەڵە لە کۆتاییی سەدەی نۆزدەھەمدا داھێنرا، بەڵام، ئێستاکە بەشێکی ھەمیشە حازری ماتماتیکە. وەکوو بنەڕەتێکە کە دەکرێ ھەموو ماتماتیک لەسەری بینا بکرێتەوە.

پێناسە

گیۆرگ کانتۆر داھێنەری تیۆریی کۆمەڵە، ئاوا کۆمەڵە دەناسێنێ:

کۆمەڵە ئەوەیە کە ئۆبژەگەلی جیاجیا و دیاریکراوی ھەستپێکردنمان یا فکرکردنەوەمان، پێکەوە لە ناو سەرجەمێکدا خڕ ببنەوە - ئەم ئۆبژانە دەبنە ئەندامانی کۆمەڵەکە.

ئاندامانی کۆمەڵە دەکرێ ھەر شتێ بن، بۆ نموونە، دار، بەرد، ژمارە، مرۆڤ، پیتەکانی ئەلفوبێ. وا باوە کۆمەڵەکان بە پیتی گەورە نیشان بدرێن. کە دەڵێن «کۆمەڵەکانی A و B یەکسانن» یانی A و B ڕێک ھەمان ئەندامانیان ھەیە (ھەر ئەندامی A ئەندامی Bیە و بەپێچەوانەش).

لە کۆمەڵە نابێ ھیچ ئەندامێ دووبارە بێتەوە. ھەموو ئەو کارانەی بە کۆمەڵەکان دەکرێن، وەک یەکگرتن و یەکتربڕین و ئەمانە، ئەم تایبەتمەندییە کە ئەندام دەبێ تاقانە بێ و دووبارە نەبێتەوە، دەپارێزن. بە پێچەوانەی پاشیەکییەوە، ڕیزی ھەڵکەوتنی ئەندامەکانی کۆمەڵە گرنگ نییە. واتە، بۆ نموونە، کۆمەڵەی {A، B، C} یەکسانە لەگەڵ کۆمەڵەی {C، B، A}.

لە ڕاستیدا، ئەو پێناسەیە لە سەرەوە بۆ کۆمەڵە کرا «تەواو» نییە و، لە ماتماتیکدا تێگەیشتەی کۆمەڵە بەبێ پێناسە وەردەگیردرێ.

ئەندامەتی

وتاری سەرەکی: ئەندام (ماتماتیک)

ئەگەر B کۆمەڵەیەک بێ و، x ئەندامی B، دەنووسن x ∈ B و، دەیخوێننەوە «x لە Bدایە» یا «x ھیی Bیە». ئەگەر y ئەندامی B نەبێ، ئەوە دەنووسرێ y ∉ B و، دەخوێنرێتەوە «y ھیی B نییە» یا «y لە Bدا نییە».

بۆ نموونە، لە بابەت کۆمەڵەکانی A = {1, 2, 3, 4} و B = {blue, white, red} و F = {n | n is an integer, and 0 ≤ n ≤ 19} -ەوە دەکرێ بڵێین

4 ∈ A و 12 ∈ F

20 ∉ F و green ∉ B

کۆمەڵەی بەتاڵ

وتاری سەرەکی: کۆمەڵەی بەتاڵ

کۆمەڵەی بەتاڵ (یا کۆمەڵەی چۆڵ) بەو کۆمەڵە تاقانەیە دەوترێ کە ھیچ ئەندامی نییە و، بە یەکێ لەم سیمبۆلانە نیشان دەدرێ ∅، $\emptyset$، { }، ϕ، یا ϕ.

ژێرکۆمەڵەکان

وتاری سەرەکی: ژێرکۆمەڵە

ئەگەر ھەر ئەندامێکی کۆمەڵەی A لە Bشدا ببێ، ئەوسا دەڵێن A ژێرکۆمەڵەی Bیە، یا لە نێو Bدایە و، دەنووسن A ⊆ B یا B ⊇ A. ئەوەش ڕەوایە بوترێ B ژوورکۆمەڵەی A یە، یا B لەخۆگری Aیە. دوو کۆمەڵە یەکسانن ئەگەر یەکتریان لە خۆ گرتبێ، یا بە واتایەکی دی، ژێرکۆمەڵەی یەکتر بن. A ⊆ B و B ⊆ A ھاوسەنگە لەگەڵ A = B.

ئەگەر A ژێرکۆمەڵەی B بێ، بەڵام یەکسان نەبێ لەگەڵیا، ئەوسا دەڵێن A ژێرکۆمەڵەی ڕاست و پاکی Bیە و، ئاوا دەنووسرێ A ⊊ B.

نموونەکان:

• کۆمەڵەی ھەموو مرۆڤەکان ژێرکۆمەڵەیەکی کۆمەڵەی ھەموو گواندارەکانە.
• {1, 3} ⊂ {1, 2, 3, 4}
• {1, 2, 3, 4} ⊆ {1, 2, 3, 4}

کۆمەڵەی بەتاڵ ژێرکۆمەڵەی ھەموو کۆمەڵەکانە و، ھەر کۆمەڵەیەکیش ژێرکۆمەڵەی خۆیەتی:

• ∅ ⊆ A.
• A ⊆ A.

کۆمەڵە گرینگەکانی ماتماتیک

نواندنی کۆمەڵە گرینگەکانی ماتماتیک بە دیاگرامی ڤێن

• کۆمەڵەی ژمارە سروشتییەکان

$N=\{1,2,3,...\}$

• کۆمەڵەی ژمارە حیسابییەکان

$W=\{0,1,2,3,...\}$

• کۆمەڵەی ژمارە تەواوەکان

$Z=\{...,-1,0,1,...\}$

• کۆمەڵەی ژمارە ڕێژەیییەکان

$Q=\{{\frac {m}{n}}|m,n\in Z,n\neq 0\}$

• کۆمەڵەی ژمارە ناڕێژەییەکان

• کۆمەڵەی ژمارە ڕاستەقینەکان

$R=Q\cup Q'$

• کۆمەڵەی ژمارە ئاوێتەکان

$C=\left\{a+ib|a,b\in R,i^{2}=-1\right\}$