Remove ads
From Wikipedia, the free encyclopedia
تیۆریی کۆمەڵە (بە ئینگلیزی: Set theory) لقێکی لۆژیکی ماتماتیکییە کە کۆمەڵەکان تاوتوێ دەکات. بە گشتی کۆمەڵەکان دەتوانن ھەر شتێک بن، بەڵام لە تیۆریی کۆمەڵەکاندا، زۆرتری ئەو شتانەی بەکار دێن شتە ماتماتیکییەکانن. زمانی تیۆریی کۆمەڵەکان دەتوانرێت بۆ پێناسەی ھەموو شتێکی ماتماتیکی بەکار ببردرێت. توێژینەوە نوێکان، سەبارەت بە تیۆریی کۆمەڵەکان لەلایەن گیۆرگ کانتۆر و ڕیچارد دێدێکیند لە دەیەی حەفتای سەدەی ھەژدەھەمی زایینی دەستی پێ کرد. دوای دۆزینەوەی پارادۆکسەکانی تیۆریی سروشتی کۆمەڵەکان، کۆمەڵێک سیستمی بەڵگەنەویستی لە سەرەتاکانی سەدەی بیستەم پێشکەش کرا کە بەناوبانگترینیان بریتین لە بەڵگەنەویستی زرملۆ-فرانکێل و بەڵگەنەویستی ھەڵبژاردن. توێژینەوە ھاوچەرخەکان، سەبارەت بە تیۆریی کۆمەڵەکان زۆر بابەتی جیاواز لەخۆ دەگریت لە پێکھاتەی ھێڵی ژمارە ڕاستەقینەکان بگرە ھەتا تاوتوێکردنی ھاوئاھەنگیی ژمارە گەورەکان.
تیۆریی کۆمەڵەکان بە پەیوەندییەکی دوانی نێوان شتێک وەکوو o و کۆمەڵێک وەکوو A دەست پێ دەکات. کاتێک o ئەندامێکی کۆمەڵی A بێت، بە زمانی بیرکاری بەم شێوە دەریدەبڕن o ∈ A. کاتێک ھەموو ئەندامانی A ئەندامی کۆمەڵی B بن، A ژێرکۆمەڵێکی Bیە، کە بە زمانی بیرکاری بەم شێوە A ⊆ B ھێما دەکرێت. بۆ نموونە، {١، ٢} ژێرکۆمەڵێکی کۆمەڵەی {١، ٢، ٣}یە. بەڵام {١، ٤} ژێرکۆمەڵێکی ئەم کۆمەڵە نییە.
کردارەکان لەسەر کۆمەڵەکان، لە تیۆریی کۆمەڵەکاندا، ھاوشێوەی کردارەکان لەسەر ژمارەکانە لە ژمێرەی جیاکاری و تەواوکاریدا.
یەکگرتن[١] کاتێک A و B، دوو کۆمەڵە بن، دەتوانن پێکەوە کۆ بکرێنەوە، کۆمەڵەی A ∪ B، کۆمەڵەی ھەموو ئەو شتانەیە کە یان ئەندامی کۆمەڵی Aن، یان ئەندامی کۆمەڵی B یان ئەندامی ھەردووک لەو دوو کۆمەڵەن. بۆ نموونە یەکگرتن یان یەکێتیی {١، ٢، ٣} و {٢، ٣، ٤} دەکاتە کۆمەڵەی {١، ٢، ٣، ٤}.
ھەندێک لە تایبەتمەندییە بنەڕەتییەکانی یەکگرتن بریتیین لە:
بۆ نموونە یەکتربڕینی {١، ٢، ٣} و {٢، ٣، ٤} دەکاتە کۆمەڵەی {٢، ٣}.
ھەندێک لە تایبەتمەندییە بنەڕەتییەکانی یەکتربڕین بریتیین لە:
ھەندێک لە تایبەتمەندییە بنەڕەتییەکانی لێکدانی دێکارتی بریتیین لە:
Seamless Wikipedia browsing. On steroids.
Every time you click a link to Wikipedia, Wiktionary or Wikiquote in your browser's search results, it will show the modern Wikiwand interface.
Wikiwand extension is a five stars, simple, with minimum permission required to keep your browsing private, safe and transparent.