imported>Booradleyp1: removed Category:கணக் கோட்பாடு; added Category:கணக் கோட்பாட்டு அடிப்படை கருத்துருக்கள் using HotCat

2024-11-25T08:07:04Z

removed Category:கணக் கோட்பாடு; added Category:கணக் கோட்பாட்டு அடிப்படை கருத்துருக்கள் using HotCat

புதிய பக்கம்

[[File:Venn A subset B.svg|150px|thumb|right|''B'' இன் தகு உட்கணம் ''A''; மறுதலையாக ''A'' இன் தகு மேற்கணம் ''B'' என்பதை விளக்கும் [[ஆய்லர் வரைபடம்]].]]
கணிதத்தில், குறிப்பாகக் [[கணக் கோட்பாடு|கணக் கோட்பாட்டில்]], ''A'' என்னும் ஒரு [[கணம் (கணிதம்)|கணத்தின்]] [[உறுப்பு (கணிதம்)|உறுப்புகள்]] அனைத்தும் ''B'' என்னும் இன்னொரு கணத்தில் அமைந்திருந்தால், ''A'' கணமானது ''B'' இன்'''உட்கணம்''' (''Subset'') என்று வழங்கப்படும். சமானமாக, ''B'' கணமானது ''A'' கணத்தின் '''மேற்கணம்''' அல்லது '''மிகை கணம்''' (''superset'') எனப்படும். ''A'' , ''B'' ஆகிய இரு கணங்களும் ஒன்றிடனொன்று ஒன்றலாம்.

<math>A \subseteq B </math> எனில், <math> \forall x \left(x \in A \Rightarrow x \in B\right).</math><ref>{{cite book|last=Rosen|first=Kenneth H.|title=Discrete Mathematics and Its Applications|url=https://archive.org/details/discretemathemat00rose_408|url-access=limited|date=2012|publisher=McGraw-Hill|location=New York|isbn=978-0-07-338309-5|page=[https://archive.org/details/discretemathemat00rose_408/page/n139 119]|edition=7th}}</ref>

உட்கண உறவானது கணங்களின் மீது ஒரு [[பகுதி வரிசை]]யை (partial order) வரையறுக்கும். உட்கணங்களின் இயற்கணிதமானது, உட்கண உறவை ”உள்ளடக்கலாகக்” (inclusion) கருதும் [[பூலிய இயற்கணிதம்|பூலிய இயற்கணிதத்தை]] உருவாக்கும்.

==வரையறை==
பொதுவாகக் கணம் என்பது நன்கு வரையறுக்கப்பட்ட பொருள்களின் தொகுப்பைக் குறிக்கும். உட்கணமும் ஒரு கணத்தையே குறிக்கும். ''B'' என்பது ஒரு வெற்றற்ற கணம் என்க. அதில் ''A'' என்பது ''B'' யின் உட்கணம் எனில், ''A'' யில் உள்ள ஒவ்வொரு உறுப்பும் ''B'' யின் உறுப்பாகும். மாறாக, ''B'' ஆனது ''A'' யின் மிகைக் கணம் அல்லது மேற்கணம் எனவும் அழைக்கலாம்.

:''A'' இன் உறுப்பு ஒவ்வொன்றும் ''B'' இன் உறுப்பாகவும் இருந்தால், ''A'' என்பது ''B'' இன் உட்கணம் என வரையறுக்கப்படுகிறது.
இதன் குறியீடு:
:<math>A \subseteq B</math>,

:இதற்குச் சமானமாகப் ''B'' என்பது ''A''இன் மிகைக் கணம் அல்லது மேற்கணம் எனவும் வரையறுக்கப்படும்.

குறியீடு:
: <math>B \supseteq A.</math>

[[வெற்றுக் கணம்]] (<math>\{ \}</math> அல்லது <math>\varnothing,</math>), உறுப்புகளற்ற கணம் என்பதால் அது எந்தவொரு கணம் ''X'' க்கும் உட்கணமாக இருக்கும்.

==பண்புகள்==
[[File:Subset with expansion.svg|thumb|A ⊆ B ; B ⊆ C எனில் A ⊆ C]]
*ஒரு முடிவுறு கணம் ''A'' , மற்றுமொரு கணம் ''B'' இரண்டின் [[வெட்டு (கணக் கோட்பாடு)|வெட்டு கணத்தின்]] [[எண்ணளவை]]யும், ''A'' இன் எண்ணளவையும் சமமாக இருந்தால், இருந்தால் மட்டுமே, ''A'' ஆனது ''B'' இன் உட்கணமாக இருக்கும். அதாவது,
: <math> A \subseteq B \Leftrightarrow |A \cap B| = |A| </math> என இருந்தால், இருந்தால் மட்டுமே, <math>A \subseteq B</math> ஆகும்.
*A ⊆ B ; B ⊆ C எனில் A ⊆ C ஆக இருக்கும்.

==⊂ , ⊃ குறியீடுகள்==
உட்கணம் மற்றும் மிகைக்கணம் இரண்டையும் குறிப்பதற்குச் சில நூலாசிரியர்கள் ⊊ and ⊋ என்பவற்றுக்குப் பதில் ⊂ , ⊃ என்ற குறியீடுகளைப் பயன்படுத்துகின்றனர்.<ref>{{Citation | author=Walter Rudin | title=Real and complex analysis | publisher=McGraw-Hill | location=New York | edition=3rd | isbn=978-0-07-054234-1 | mr=924157 | year=1987|page=6}}</ref> எடுத்துக்காட்டாக, இவர்களைப் பொறுத்தவரை ஒவ்வொரு கணம் ''A'' க்கும், {{nowrap|''A'' ⊂ ''A''}}.

வேறுசிலர் தகு உட்கணம், தகு மிகைக்கணம் இரண்டையும் குறிப்பதற்கு ⊊ , ⊋ குறிகளுக்குப் பதில் முறையே ⊂ , ⊃ இரண்டையும் பயன்படுத்துகின்றனர்.<ref>{{Citation | title=Subsets and Proper Subsets | url=http://it.edgecombe.edu/homepage/killorant/MAT140/Module1/Subsets.pdf | accessdate=2012-09-07 | archive-date=2013-01-23 | archive-url=https://web.archive.org/web/20130123202559/http://it.edgecombe.edu/homepage/killorant/MAT140/Module1/Subsets.pdf | url-status=dead }}</ref>

== எடுத்துக்காட்டுகள் ==
[[File:PolygonsSet EN.svg|thumb|ஒழுங்கு பல்கோணிகளின் கணமானது பல்கோணிகள் கணத்தின் உட்கணமாக அமையும்]]
* A = {1, 2} ஆனது B = {1, 2, 3} இன் தகு உட்கணமாகும். எனவே A ⊆ B , A ⊊ B என்ற இரு குறியீடுகளுமே உண்மையாகும்.
* D = {1, 2, 3} ஆனது E = {1, 2, 3} இன் உட்கணமாகும். எனவே D ⊆ E உண்மை; D ⊊ E உண்மையில்லை.
* எந்தவொரு கணமும் தனக்குத்தானே உட்கணமாக இருக்கும், ஆனால் தகு உட்கணமாக இருக்காது. (X ⊆ X என்பது உண்மை, ஆனால் X ⊊ X உண்மையில்லை.)
* எந்தவொரு கணத்துக்கும் [[வெற்றுக் கணம்]] (∅) ஒரு உட்கணமாக இருக்கும். வெற்றுக்கணமானது தன்னைத் தவிரப் பிற கணங்கள் அனைத்திற்கும் தகு உட்கணமாக இருக்கும்.
* {''x'': ''x'' ஒரு [[பகா எண்]]; ''x'' > 10} என்பது {''x'': ''x'' ஒரு ஒற்றையெண்; ''x'' > 10} என்ற கணத்தின் தகு உட்கணமாகும்.
* [[இயல் எண்]]களின் கணமானது [[விகிதமுறு எண்]]களின் கணத்தின் தகு உட்கணமாகும்;[[கோட்டுத்துண்டு|கோட்டுத்துண்டிலுள்ள]] [[புள்ளி]]களின் கணமானது ஒரு [[கோடு (வடிவவியல்)|கோட்டின்]] மீதமைந்த புள்ளிகளின் கணத்தின் தகு உட்கணமாகும். இவ்விரு எடுத்துக்காட்டுகளிலும் முழு கணங்களும் உட்கணங்களும் முடிவிலி கணங்களாகவும் சமமான எண்ணளவைகள் கொண்டவையாகவும் இருக்கும்.
*ஆய்லர் படத்தில் மற்றுமொரு எடுத்துக்காட்டு:
<gallery widths="270">
File:Example of A is a proper subset of B.svg|A ஆனது B இன் தகு உட்கணம்
File:Example of C is no proper subset of B.svg|C ஆனது B இன் உட்கணம், ஆனால் தகு உட்கணமல்ல.
</gallery>

==மேற்கோள்கள்==
{{reflist}}
* {{cite book|author=Jech, Thomas|title=Set Theory|publisher=Springer-Verlag|year=2002|isbn=3-540-44085-2}}

== வெளியிணைப்புகள் ==
*{{MathWorld |title=Subset |id=Subset }}

[[பகுப்பு:கணக் கோட்பாட்டு அடிப்படை கருத்துருக்கள்]]
[[பகுப்பு:துப்புரவு முடிந்த விருதுநகர் மாவட்ட ஆசிரியர்கள் தொடங்கிய கட்டுரைகள்]]

உட்கணம் - திருத்த வரலாறு

imported>Booradleyp1: removed Category:கணக் கோட்பாடு; added Category:கணக் கோட்பாட்டு அடிப்படை கருத்துருக்கள் using HotCat