கணங்களின் இயற்கணிதம்

கணிதத்தில், கணங்களின் இயற்கணிதம் (the algebra of sets) என்பது  கணங்கள்,  கணங்களின் சேர்ப்பு, வெட்டு, நிரப்பிகாணல் ஆகிய கணக்-கோட்பாட்டுச் செயல்கள்,  கணங்களின் சமத்தன்மைக்கும், உள்ளடக்கலுக்குமான உறவுகள் ஆகியவற்றுக்கான பண்புகளையும் விதிகளையும் வரையறுப்பதோடு, இந்த கணச் செயல்களும் உறவுகளும் கொண்ட கணக்கீடுகளுக்கான முறையான வழிமுறைகளையும்  அளிக்கிறது.

கணங்களின் இயற்கணிதத்தின் அடிப்படைப் பண்புகள் 

கணங்களுக்கான சேர்ப்பு (), வெட்டு () ஆகிய இரு ஈருறுப்புச் செயலிகளும் பல முற்றொருமைகளை நிறைவு செய்கின்றன.  அவற்றுள் பல, நிலையான பெயர்களையும் பெற்றுள்ளன.
 பரிமாற்றுத்தன்மை:
 
 
 சேர்ப்புப் பண்பு:
 
 
 பங்கீட்டுப் பண்பு:
 
 

எண்கணிதத்தின் கூட்டல், பெருக்கல் செயலிகளுக்கு ஒத்தவையாக கணங்களின் சேர்ப்பு, வெட்டு ஆகிய இரு செயல்களையும் கொள்ளலாம். எண்கணித கூட்டல், பெருக்கலைப் போலவே இவையும் பரிமாற்று விதியையும், சேர்ப்பு விதியையும் நிறைவு செய்கின்றன. மேலும் வெட்டுச் செயலானது சேர்ப்புச் செயலின் மீது பங்கீட்டு விதியை நிறைவு செய்யும். எண்கணிதத்தில் போலல்லாது, இங்கு சேர்ப்புச் செயலும் வெட்டின் மீது பங்கீட்டு விதியை நிறைவு செய்யும்.

வெற்றுக் கணம் , அனைத்து கணம்  இவை இரண்டும் நிரப்பி செயலுடன் இணைந்து மேலும் இரு பண்புகள் அமைகின்றன. ( என்பது கணம்  இன் நிரப்பு கணத்தின் குறியீடு. இது  எனவும் குறிக்கப்படுகிறது).  வெற்றுக் கணத்தில் உறுப்புகளே கிடையாது; அனைத்து கணத்தில், குறிப்பிட்ட  சூழலுக்கேற்றபடி சாத்தியமான அனைத்து உறுப்புகளும் அடங்கும்.

 முற்றொருமை:
 
 
 நிரப்பி:
 
 

எண்கணிதத்தில், கூட்டல் முற்றொருமை உறுப்பாக 0 உம், பெருக்கல் முற்றொருமை உறுப்பாக 1 உம் இருப்பதுபோல,  வெற்றுக்கணமான , சேர்ப்புச் செயலுக்கான முற்றொருமை உறுப்பாகவும்,  அனைத்து கணமான , வெட்டுச் செயலிக்கான முற்றொருமை உறுப்பாகவும் உள்ளன.

மேலே தரப்பட்ட ஐந்து விதிகளும் அடிப்படையானவை. பிற விதிகளை இவற்றைலிருந்து பெற்றுக்கொள்ள முடியும்.

இருமைக் கோட்பாடு 
மேலே தரப்பட்டுள்ள முற்றொருமைகள் ஒவ்வொன்றையும் ஒரே சோடி விதியில் அமைந்த ஒரு விதியாகக் கொள்ளலாம். ஏனெனில் அவை ஒவ்வொன்றிலும்     இரண்டையும் பரிமாற்றக் கிடைக்கும் விதிகளும் உண்மையானவையாக இருக்கும். இதேபோல ,  இரண்டையும் பரிமாற்றுவதால் பெறப்படும் விதிகளும் உண்மையானவையாக இருக்கும்.

கணங்களின் இயற்கணிதத்தில் இப்பண்பு மிகவும் வலுவானதொரு பண்பாகவுள்ளது. இப்பண்பு கணங்களின்  இருமைக் கோட்பாடு ஆகும். இக்கோட்பாட்டின்படி, கணங்களுக்கான ஏதேனுமொரு முற்றொருமையில் சேர்ப்பு (), வெட்டு () ஆகிய இரு குறியீடுகளையும் பரிமாற்றம் அல்லது அனைத்து கணம், வெற்றுகணம் குறியீடுகளைப் ( , ) பரிமாற்றம் செய்வதன் மூலம் அந்த முற்றொருமையின் இருமையைப் பெறலாம். தனக்குத்தானே இருமையாக இருக்கும் முற்றொருமையானது தன்-இருமை எனப்படுகிறது.

சேர்ப்பு/வெட்டுச் செயலிகளுக்கான கூடுதல் விதிகள் 
அனைத்து கணம்  இன் இரு உட்கணங்கள் ,  எனில் கீழுள்ள முற்றொருமைகள் உண்மையாகும்:
 தன்னடுக்கு விதிகள்:
 
 
 ஆதிக்க விதிகள்:
 
 
 உறிஞ்சுமை விதிகள்:
 
 

தன்னடுக்கு விதிக்கான நிறுவல்:

மேலுள்ள நிறுவலின் இருமை நிறுவலானது, சேர்ப்புச் செயலியின் தன்னடுக்கு விதியின் இருமை விதியின் நிறுவலாக, அதாவது வெட்டுச் செயலிக்கான தன்னடுக்கு விதியின் நிறுவலாக அமைவதைப் பின்வரும் நிறுவலின் மூலம் காணலம்:

நிறுவல்:

இரு கணங்களின் வெட்டு கணத்தை வேறுபாட்டுக் கணத்தின் மூலமாகவும் எழுதலாம்:

நிரப்பிகளுக்கான கூடுதல் விதிகள் 

கீழுள்ளவை நிரப்பிகளைக் கொண்டுள்ள ஐந்து முக்கிய விதிகளாகும்:

அனைத்து கணம்  இன் இரு உட்கணங்கள் ,  எனில்:
 த மோர்கனின் விதி:
 
 
 இரட்டை நிரப்பி அல்லது சுருள்வு விதி:
 
 அனைத்து கணம், வெற்றுக் கணத்துக்கான நிரப்பி விதிகள்:
 
 

இருமுறை நிரப்பி காணலின் விளைவு, தன்-இருமையாக அமையும்.

அடுத்து தரப்பட்டுள்ள விதியும் தன்-இருமையானது. மேலும் இவை நிரப்பி விதிகளை நிறைவு செய்வது நிரப்பிகள் மட்டுமே என்பதையும் வலியுறுத்துகின்றது.

அனைத்து கணம்  இன் இரு உட்கணங்கள் ,  எனில்:

 நிரப்பிகளின் தனித்துவம்:
 ,   எனில்,

உள்ளடங்கலுக்கான இயற்கணிதம் 

கண உள்ளடங்கல், அதாவது ஒரு கணமானது மற்றொரு கணத்தின் உட்கணமாக இருக்கும் ஈருறுப்பு உறவானது, பகுதி வரிசையாக இருக்கும் என்பதை காட்டுகிறது:

, ,  என்பன மூன்று கணங்கள் எனில் பின்வரும் கூற்றுகள் உண்மையாக இருக்கும்:
 எதிர்வு உறவு:
 
 எதிர்சமச்சீர் உறவு:
  and  if and only if 
 கடப்பு உறவு:
 If  and , then 

,  and  ஆகியவை  கணத்தின் உட்கணங்கள் எனில் பின்வரும் கூற்றுகள் உண்மையானவை:
 
 
 If  and , then 
 
 If  and , then 

 என்பது சேர்ப்பு, வெட்டு, நிரப்பி ஆகியவற்றைக் கொண்ட பல்வேறு கூற்றுகளுக்குச் சமானமானதாகும் என்பதைக் கீழ்வருவன காட்டுகின்றன:

,  இரு கணங்கள் எனில் கீழுள்ளவை சமானக் கூற்றுகளாகும்:

சார் நிரப்பிகளின் இயற்கணிதம் 

சார் நிரப்பிகள் வேறுபாட்டுக் கணங்கள் தொடர்பான முற்றொருமைகள்:

அனைத்து கணம் ; அதன் உட்கணங்கள் ,  and  எனில்:

மேற்கோள்கள் 

 Stoll, Robert R.; Set Theory and Logic, Mineola, N.Y.: Dover Publications (1979) . "The Algebra of Sets", pp 16—23.
 Courant, Richard, Herbert Robbins, Ian Stewart, What is mathematics?: An Elementary Approach to Ideas and Methods, Oxford University Press US, 1996. . "SUPPLEMENT TO CHAPTER II THE ALGEBRA OF SETS".

வெளியிணைப்புகள் 

 Operations on Sets at ProvenMath
கணச் செயல்கள்
கணக் கோட்பாட்டு அடிப்படை கருத்துருக்கள்