கேள்வி: கணங்களின் இயற்கணிதம் பற்றி தகவல் சொல்.
பதில்: கணிதம், கணங்களின் இயற்கணிதம் (''the algebra of sets'') என்பது கணம் (கணிதம்), கணங்களின் சேர்ப்பு (கணக் கோட்பாடு), வெட்டு (கணக் கோட்பாடு), நிரப்பு கணம் ஆகிய கணக்-கோட்பாட்டுச் செயல் (கணிதம்), கணங்களின் சமன் (கணிதம்), உட்கணம் ஈருறுப்பு உறவு ஆகியவற்றுக்கான பண்புகளையும் விதிகளையும் வரையறுப்பதோடு, இந்த கணச் செயல்களும் உறவுகளும் கொண்ட கணக்கீடுகளுக்கான முறையான வழிமுறைகளையும் அளிக்கிறது.
கேள்வி: கணங்களின் இயற்கணிதம் - கணங்களின் இயற்கணிதத்தின் அடிப்படைப் பண்புகள் பற்றி தகவல் சொல்.
பதில்: கணங்களுக்கான சேர்ப்பு (கணக் கோட்பாடு) (), வெட்டு (கணக் கோட்பாடு) () ஆகிய இரு ஈருறுப்புச் செயலிகளும் பல முற்றொருமை (கணிதம்) நிறைவு செய்கின்றன. அவற்றுள் பல, நிலையான பெயர்களையும் பெற்றுள்ளன. Here: Sect.4 assume all set operation to be of equal செயலியை அமல்படுத்தும் வரிசை முறை, and make full use of parentheses. So does this article.}} : பரிமாற்றுத்தன்மை: :* :* : சேர்ப்புப் பண்பு: :* :* : பங்கீட்டுப் பண்பு: :* :* எண்கணிதத்தின் கூட்டல் (கணிதம்), பெருக்கல் (கணிதம்) செயலிகளுக்கு ஒத்தவையாக கணங்களின் சேர்ப்பு, வெட்டு ஆகிய இரு செயல்களையும் கொள்ளலாம். எண்கணித கூட்டல், பெருக்கலைப் போலவே இவையும் பரிமாற்று விதியையும், சேர்ப்பு விதியையும் நிறைவு செய்கின்றன. மேலும் வெட்டுச் செயலானது சேர்ப்புச் செயலின் மீது பங்கீட்டு விதியை நிறைவு செய்யும். எண்கணிதத்தில் போலல்லாது, இங்கு சேர்ப்புச் செயலும் வெட்டின் மீது பங்கீட்டு விதியை நிறைவு செய்யும். வெற்றுக் கணம் , அனைத்து கணம் {{tmath|1= \boldsymbol{U} }} இவை இரண்டும் நிரப்பு கணம் செயலுடன் இணைந்து மேலும் இரு பண்புகள் அமைகின்றன. ( என்பது கணம் இன் நிரப்பு கணத்தின் குறியீடு. இது எனவும் குறிக்கப்படுகிறது). வெற்றுக் கணத்தில் உறுப்புகளே கிடையாது; அனைத்து கணத்தில், குறிப்பிட்ட சூழலுக்கேற்றபடி சாத்தியமான அனைத்து உறுப்புகளும் அடங்கும். : முற்றொருமை: :* :* {{tmath|1= A \cap \boldsymbol{U} = A }} : நிரப்பி: :* {{tmath|1= A \cup A^\complement = \boldsymbol{U} }} :* எண்கணிதத்தில், கூட்டல் முற்றொருமை உறுப்பாக 0 உம், பெருக்கல் முற்றொருமை உறுப்பாக 1 உம் இருப்பதுபோல, வெற்றுக்கணமான , சேர்ப்புச் செயலுக்கான முற்றொருமை உறுப்பாகவும், அனைத்து கணமான {{tmath|1= \boldsymbol{U} }}, வெட்டுச் செயலிக்கான முற்றொருமை உறுப்பாகவும் உள்ளன. மேலே தரப்பட்ட ஐந்து விதிகளும் அடிப்படையானவை. பிற விதிகளை இவற்றைலிருந்து பெற்றுக்கொள்ள முடியும்.
கேள்வி: கணங்களின் இயற்கணிதம் - இருமைக் கோட்பாடு என்பது என்ன?
பதில்: மேலே தரப்பட்டுள்ள முற்றொருமைகள் ஒவ்வொன்றையும் ஒரே சோடி விதியில் அமைந்த ஒரு விதியாகக் கொள்ளலாம். ஏனெனில் அவை ஒவ்வொன்றிலும் இரண்டையும் பரிமாற்றக் கிடைக்கும் விதிகளும் உண்மையானவையாக இருக்கும். இதேபோல , {{tmath|1= \boldsymbol{U} }} இரண்டையும் பரிமாற்றுவதால் பெறப்படும் விதிகளும் உண்மையானவையாக இருக்கும். கணங்களின் இயற்கணிதத்தில் இப்பண்பு மிகவும் வலுவானதொரு பண்பாகவுள்ளது. இப்பண்பு கணங்களின் ''இருமைக் கோட்பாடு'' ஆகும். இக்கோட்பாட்டின்படி, கணங்களுக்கான ஏதேனுமொரு முற்றொருமையில் சேர்ப்பு (), வெட்டு () ஆகிய இரு குறியீடுகளையும் பரிமாற்றம் அல்லது அனைத்து கணம், வெற்றுகணம் குறியீடுகளைப் ( {{tmath|1= \boldsymbol{U} }}, ) பரிமாற்றம் செய்வதன் மூலம் அந்த முற்றொருமையின் இருமையைப் பெறலாம். தனக்குத்தானே இருமையாக இருக்கும் முற்றொருமையானது ''தன்-இருமை'' எனப்படுகிறது.
கேள்வி: கணங்களின் இயற்கணிதம் - சேர்ப்பு/வெட்டுச் செயலிகளுக்கான கூடுதல் விதிகள் பற்றி விளக்கவும்.
பதில்: அனைத்து கணம் {{tmath|1= \boldsymbol{U} }} இன் இரு உட்கணம் , எனில் கீழுள்ள முற்றொருமைகள் உண்மையாகும்: : தன்னடுக்கு (கணிதம்) விதிகள்: :* :* : ஆதிக்க விதிகள்: :* {{tmath|1= A \cup \boldsymbol{U} = \boldsymbol{U} }} :* : உறிஞ்சுமை விதிகள்: :* :* ''தன்னடுக்கு விதிக்கான நிறுவல்:'' {| |- | | {{tmath|1= =(A \cup A) \cap \boldsymbol{U} }} | வெட்டுச் செயலிக்கான முற்றொருமை விதி |- | | | சேர்ப்புச் செயலிக்கான நிரப்பி விதி |- | | |வெட்டு மீதான சேர்ப்பின் பங்கீட்டு விதி |- | | | வெட்டுச் செயலிக்கான நிரப்பி விதி |- | | | சேர்ப்புச் செயலிக்கான முற்றொருமை விதி |- |} மேலுள்ள நிறுவலின் இருமை நிறுவலானது, சேர்ப்புச் செயலியின் தன்னடுக்கு விதியின் இருமை விதியின் நிறுவலாக, அதாவது வெட்டுச் செயலிக்கான தன்னடுக்கு விதியின் நிறுவலாக அமைவதைப் பின்வரும் நிறுவலின் மூலம் காணலம்: ''நிறுவல்:'' {| |- | | | சேர்ப்புச் செயலிக்கான முற்றொருமை விதி |- | | | வெட்டுச் செயலிக்கான நிரப்பி விதி |- | | | சேர்ப்புச் செயலியின் மீதான வெட்டின் பங்கீட்டு விதி |- | | {{tmath|1= =A \cap \boldsymbol{U} }} | சேர்ப்புச் செயலிக்கான நிரப்பி விதி |- | | | வெட்டுச் செயலிக்கான முற்றொருமை விதி |- |} இரு கணங்களின் வெட்டு கணத்தை வேறுபாட்டுக் கணம் மூலமாகவும் எழுதலாம்: :
கேள்வி: கணங்களின் இயற்கணிதம் - நிரப்பிகளுக்கான கூடுதல் விதிகள் பற்றி நீங்கள் என்ன அறிந்துள்ளீர்கள்?
பதில்: கீழுள்ளவை நிரப்பிகளைக் கொண்டுள்ள ஐந்து முக்கிய விதிகளாகும்: அனைத்து கணம் {{tmath|1= \boldsymbol{U} }} இன் இரு உட்கணம் , எனில்: : த மோர்கனின் விதி: :* :* : இரட்டை நிரப்பி அல்லது சுருள்வு (கணிதம்) விதி: :* : அனைத்து கணம், வெற்றுக் கணத்துக்கான நிரப்பி விதிகள்: :* {{tmath|1= \varnothing^\complement = \boldsymbol{U} }} :* {{tmath|1= \boldsymbol{U}^\complement = \varnothing }} இருமுறை நிரப்பி காணலின் விளைவு, தன்-இருமையாக அமையும். அடுத்து தரப்பட்டுள்ள விதியும் தன்-இருமையானது. மேலும் இவை நிரப்பி விதிகளை நிறைவு செய்வது நிரப்பிகள் மட்டுமே என்பதையும் வலியுறுத்துகின்றது. அனைத்து கணம் {{tmath|1= \boldsymbol{U} }} இன் இரு உட்கணம் , எனில்: : நிரப்பிகளின் தனித்துவம்: :* {{tmath|1= A \cup B = \boldsymbol{U} }}, எனில்,
கேள்வி: கணங்களின் இயற்கணிதம் - உள்ளடங்கலுக்கான இயற்கணிதம் பற்றி நீங்கள் என்ன அறிந்துள்ளீர்கள்?
பதில்: உட்கணம், அதாவது ஒரு கணமானது மற்றொரு கணத்தின் உட்கணமாக இருக்கும் ஈருறுப்பு உறவு, பகுதி வரிசையாக இருக்கும் என்பதை காட்டுகிறது: , , என்பன மூன்று கணங்கள் எனில் பின்வரும் கூற்றுகள் உண்மையாக இருக்கும்: : எதிர்வு உறவு: :* : எதிர்சமச்சீர் உறவு: :* and if and only if : கடப்பு உறவு: :* If and , then , and ஆகியவை கணத்தின் உட்கணங்கள் எனில் பின்வரும் கூற்றுகள் உண்மையானவை: :* :* :* If and , then :* :* If and , then என்பது சேர்ப்பு, வெட்டு, நிரப்பி ஆகியவற்றைக் கொண்ட பல்வேறு கூற்றுகளுக்குச் சமானமானதாகும் என்பதைக் கீழ்வருவன காட்டுகின்றன: , இரு கணங்கள் எனில் கீழுள்ளவை சமானக் கூற்றுகளாகும்: :* :* :* :* :*
கேள்வி: கணங்களின் இயற்கணிதம் - சார் நிரப்பிகளின் இயற்கணிதம் பற்றி தகவல் சொல்.
பதில்: நிரப்பு கணம் வேறுபாட்டுக் கணங்கள் தொடர்பான முற்றொருமைகள்: அனைத்து கணம் {{tmath|1= \boldsymbol{U} }}; அதன் உட்கணங்கள் , and எனில்: :* :* :* :* :* :* :* :* :* :* :* :* {{tmath|1= \boldsymbol{U} \setminus A = A^\complement }} :* {{tmath|1= A \setminus \boldsymbol{U} = \varnothing }}
கேள்வி: கணங்களின் இயற்கணிதம் - வெளியிணைப்புகள் என்பது என்ன?
பதில்: * [http://www.apronus.com/provenmath/btheorems.htm Operations on Sets at ProvenMath] பகுப்பு:கணச் செயல்கள் பகுப்பு:கணக் கோட்பாட்டு அடிப்படை கருத்துருக்கள்