அடுக்கு கணம்
[[Image:Hasse diagram of powerset of 3.svg|right|thumb|250px| {''x'', ''y'', ''z''}ன் அடுக்கு கண உறுப்புகள்]]
 
 [[கணிதம்|கணிதத்தில்]], ஒரு [[கணம் (கணிதம்)|கணத்தின்]] அனைத்து உட்கணங்களையும்  கொண்ட கணமானது, (வெற்றுக்கணத்தையும்  அதே கணத்தையும் சேர்த்து) அக்கணத்தின் '''அடுக்கு கணம்''' (''Power set'') என அழைக்கப்படுகிறது. கணம் &lt;math&gt;S&lt;/math&gt; ன் அடுக்கு கணத்தினை &lt;math&gt;\mathcal{P}(S)&lt;/math&gt;, ''P''(''S''), &amp;weierp;(''S'')  என்ற குறியீடுகளால் குறிக்கலாம். [[மெய்கோள்|அடிக்கோள்]] [[கணக் கோட்பாடு|கணக்கோட்பாட்டில்]], அடுக்கு கணம் என்ற கருத்தானது, அடுக்கு கண அடிக்கோளின் மூலமாக  கூறப்பட்டுள்ளது. &lt;math&gt;\mathcal{P}(S)&lt;/math&gt;ன் எந்தவொரு உட்கணம் &lt;math&gt;F&lt;/math&gt; ம், &lt;math&gt;S&lt;/math&gt; ன் மீதான கணங்களின் குடும்பம் என அழைக்கப்படுகிறது.
 
 ==எடுத்துக்காட்டுகள்==
 
 * வெற்றுக்கணம் (&lt;math&gt;\varnothing&lt;/math&gt;) இன் உட்கணம் வெற்றுக் கணம் மட்டுமே.
 
 எனவே வெற்றுக்கணத்தின் அடுக்கு கணம்:
 
 :&lt;math&gt;\mathcal{P}(\varnothing&lt;/math&gt;) =&lt;math&gt;\left\{\{\}\right\}\,\!.&lt;/math&gt;
 
 இதன் [[கணம் (கணிதம்)#கணங்களின் எண் அளவை (Cardinality of a set)|முதலெண்]] = 1.
 
 இதனை &lt;math&gt;|\mathcal{P}(\varnothing)| = 2^0&lt;/math&gt;  என எழுதலாம்.
 
 *ஓருறுப்பு கணம் &lt;math&gt;A&lt;/math&gt; = {1}  இன் இரு உட்கணங்கள்,
 
 :&lt;math&gt;\{ \text{ }\}&lt;/math&gt;
 :&lt;math&gt;\{ \text{1}\}&lt;/math&gt;
 
 எனவே &lt;math&gt;A&lt;/math&gt;ன் அடுக்கு கணம்:
 
 :&lt;math&gt;\mathcal{P}(A&lt;/math&gt;)= '''{'''&lt;math&gt;\{ \text{ }\}&lt;/math&gt;, &lt;math&gt;\{ \text{1}\}&lt;/math&gt;'''}'''
 
 இதன் முதலெண் = 2.
 
 இதனை &lt;math&gt;|\mathcal{P}(A)| = 2^1&lt;/math&gt; என எழுதலாம்.
 
 * ஈருறுப்புக் கணம், &lt;math&gt;B&lt;/math&gt; =  { 1, 2 } இன் உட்கணங்கள்,
 
 :&lt;math&gt;\{ \text{1}\},&lt;/math&gt;
 :&lt;math&gt;\{ \text{2}\},&lt;/math&gt;
 :&lt;math&gt;\{ \text{1, 2}\}&lt;/math&gt;
 
 எனவே Bன் அடுக்கு கணம்:
 
 :&lt;math&gt;\mathcal{P}(B&lt;/math&gt;) = '''{'''&lt;math&gt;\{ \text{ }\}&lt;/math&gt;,&lt;math&gt;\{ \text{1}\}&lt;/math&gt;,&lt;math&gt;\{ \text{2}\}&lt;/math&gt;,&lt;math&gt;\{ \text{1, 2}\}&lt;/math&gt;'''}'''
 
 இதன் முதலெண் = 4.
 
 இதனை  &lt;math&gt;|\mathcal{P}(B)| = 2^2&lt;/math&gt; என எழுதலாம்
 
 * மூவுறுப்புக் கணம், &lt;math&gt;C&lt;/math&gt; = {''x'', ''y'', ''z''} இன் உட்கணங்கள்.
 *&lt;math&gt;\{ \text{ }\}&lt;/math&gt; அல்லது &lt;math&gt;\varnothing&lt;/math&gt;,
 *&lt;math&gt;\{ \text{x}\}&lt;/math&gt;
 *&lt;math&gt;\{ \text{y}\}&lt;/math&gt;
 *&lt;math&gt;\{ \text{z}\}&lt;/math&gt;
 *&lt;math&gt;\{ \text{x, y}\}&lt;/math&gt;
 *&lt;math&gt;\{ \text{x, z}\}&lt;/math&gt;
 *&lt;math&gt;\{ \text{y, z}\}&lt;/math&gt;
 *&lt;math&gt;\{ \text{x, y, z}\}&lt;/math&gt;
  
 எனவே &lt;math&gt;C&lt;/math&gt;ன் அடுக்கு கணம்:
 
 :&lt;math&gt;\mathcal{P}(C&lt;/math&gt;) =&lt;math&gt;\left\{\{\}, \{x\}, \{y\}, \{z\}, \{x, y\}, \{x, z\}, \{y, z\}, \{x, y, z\}\right\}\,\!.&lt;/math&gt;&lt;ref&gt;Puntambekar (2007), {{Google books quote|id=IYnkhA92BzIC|pg=SA1-PA2|text=The power set is|p. 1-2}}&lt;/ref&gt;
 
 :இதன் முதலெண் = 8. 
 :இதனை &lt;math&gt;|\mathcal{P}(C)| = 2^3&lt;/math&gt; என எழுதலாம்.
 
 ==பண்புகள்==
 
 *  உதாரணமாக [[இயல் எண்]] கணம் ஒரு &lt;math&gt;S&lt;/math&gt; கணத்தின் எண் அளவை '''|'''&lt;math&gt;S&lt;/math&gt;'''|''' = ''n''  எனில், அடுக்கு கணத்தின் எண் அளவை,  &lt;math&gt;|\mathcal{P}(S)| = 2^n&lt;/math&gt; ஆகும்.&lt;ref name=&quot;computer_footnote&quot;&gt;One can—and for small values of ''n'', computer programmers sometimes do—represent the elements of &lt;math&gt;\mathcal{P}(S)&lt;/math&gt; as ''n''-[[bit]] numbers; the ''m''th bit refers to the presence or absence of the ''m''th element of ''S'' in some ordering chosen by the programmer. There are 2&lt;sup&gt;''n''&lt;/sup&gt; such numbers.&lt;/ref&gt;
 * முடிவுறு அல்லது முடிவுறா கணங்களின் எண்ணளவைகளை விட  அவற்றின் அடுக்கு கணங்களின் எண்ணளவைகள் கண்டிப்பாக அதிகமானவையாக இருக்கும். [[எண்ணுறுமையும் எண்ணுறாமையும்|எண்ணுறு]] முடிவிலா கணங்களின் அடுக்கு கணங்கள் [[எண்ணுறுமையும் எண்ணுறாமையும்|எண்ணுறா]] முடிவிலா கணங்களாக அமையும்.எண்ணுறு முடிவிலா கணம். அதன் அடுக்கு கணத்தின் உறுப்புகளுக்கும் எண்ணுறா முடிவிலா கணமான [[எண்#மெய்யெண்கள்|மெய் எண்]] கணத்திற்கும் இடையே ஒன்றுக்கு- ஒன்று தொடர்பினைக் காண முடியும். எனவே இயலெண் கணத்தின் அடுக்கு கணம் ஒரு எண்ணுறா முடிவிலி கணமாகும்.
 * &lt;math&gt;S&lt;/math&gt; ன் அடுக்கு கணத்தை, [[கணம் (கணிதம்)#ஒன்றிப்புகள்|ஒன்றிப்பு]], [[கணம் (கணிதம்)#வெட்டுகள்|வெட்டு]], [[கணம் (கணிதம்)#நிரப்பிகள்|நிரப்பி]], ஆகிய செயல்களோடு சேர்த்து [[பூலிய இயற்கணிதம்|பூலிய இயற்கணிதத்திற்கு]] ஒரு முன்னுதாரணமாகக் கொள்ளலாம்.  எந்தவொரு முடிவுறு பூலிய இயற்கணிதத்தையும் ஒரு முடிவுறு கணத்தின் அடுக்கு கண பூலியன் இயற்கணிதத்துக்கு சம அமைவியம் (isomorphic)  உள்ளதாகக் காணலாம். ஆனால் முடிவுறா பூலிய இயற்கணிதத்திற்கு இது உண்மையாகாது. முடிவுறா பூலிய இயற்கணிதத்தை அடுக்கு கண பூலிய இயற்கணிதத்தின்கீழ் அமையும் ஒரு பகுதியாகக் கருதலாம்.
 * &lt;math&gt;S&lt;/math&gt;  ன் அடுக்கு கணமானது சமச்சீர் வேறுபாடு (symmetric difference) செயலியைப் பொறுத்து, வெற்றுக்கணத்தை முற்றொருமை உறுப்பாகவும் ஒவ்வொரு கணமும் தனக்குத்தானே நேர்மாறு உறுப்பாகவும் கொண்ட ஒரு [[பரிமாற்றுக் குலம்|ஏபெல் குலமாகவும்]] வெட்டுச் செயலியைப் பொறுத்து, பரிமாற்று [[ஒற்றைக்குலம்|ஒற்றைக்குலமாகவும்]] அமையும். மேலும் [[பங்கீட்டு விதி]]களையும் நிரூபித்து, அடுக்குக்கணமானது இந்த இரு செயல்களைப் பொறுத்து ஒரு பரிமாற்று [[வளையம் (கணிதம்)|வளையமாகும்]] எனக் காட்டலாம்.
 
 ==ஈருறுப்புத் தேற்றத்துடன் தொடர்பு==
 
 அடுக்கு கணம், [[ஈருறுப்புத் தேற்றம்|ஈருறுப்புத் தேற்றத்துடன்]] நெருங்கிய தொடர்புடையது. n உறுப்புகள் கொண்ட கணத்தின் அடுக்கு கணத்தில் k உறுப்புகளைக் கொண்ட உட்கணங்களின் எண்ணிக்கை &lt;math&gt;C(n,k),&lt;/math&gt;  [[சேர்வு (கணிதம்)|சேர்வாக]] அமையும். &lt;math&gt;C(n,k)&lt;/math&gt; என்பது ஈருறுப்புக் குணகம் அல்லது [[ஈருறுப்புக் கெழு]] என்றழைக்கப்படுகிறது.
 
 எடுத்துக்காட்டாக, மூன்று உறுப்புகள் கொண்ட கணத்தின் அடுக்கு கணத்தில்
 
 *&lt;math&gt;C(3, 0) = 1&lt;/math&gt; கணம் 0 உறுப்புகளுடனும் 
 *&lt;math&gt;C(3, 1) = 3&lt;/math&gt; கணங்கள் 1 உறுப்புடனும்
 *&lt;math&gt;C(3, 2) = 3&lt;/math&gt; கணங்கள் 2 உறுப்புகளுடனும்
 *&lt;math&gt;C(3, 3) = 1&lt;/math&gt; கணம் 3 உறுப்புகளுடனும் இருக்கும்.
 
 ==எல்லைக்குட்பட்ட எண்ணளவை கொண்ட உட்கணங்கள்==
 
 k ஐ விடக் குறைந்த எண்ணளவை உடைய &lt;math&gt;S&lt;/math&gt;ன் உட்கணங்கள்  
 &lt;math&gt;\mathcal{P}_{\kappa}(S)&lt;/math&gt; அல்லது &lt;math&gt;\mathcal{P}_{&lt;\kappa}(S) \,.&lt;/math&gt;  என்றும், வெற்றுக்கணத்தைத் தவிர ஏனைய உட்கணங்கள் &lt;math&gt;\mathcal{P}_{\geq 1}(S) \,.&lt;/math&gt; என்றும் குறிக்கப்படுகின்றன.
 
 ==குறிப்புகள்==
 &lt;references/&gt;
 
 ==மேற்கோள்கள்==
 * {{cite book | last=Devlin | first=Keith J. | authorlink=Keith Devlin | title=Fundamentals of contemporary set theory | url=https://archive.org/details/fundamentalsofco0000devl | series=Universitext | publisher=[[Springer-Verlag]] | year=1979 | isbn=0-387-90441-7 | zbl=0407.04003 }}
 * {{cite book | last=Halmos | first=Paul R. | authorlink=Paul Halmos | title=Naive set theory | url=https://archive.org/details/naivesettheory0000halm | series=The University Series in Undergraduate Mathematics | publisher=van Nostrand Company | year=1960 | zbl=0087.04403 }}
 * {{cite book |last=Puntambekar | first=A.A. | title=Theory Of Automata And Formal Languages | year=2007 | publisher=Technical Publications | isbn=978-81-8431-193-8 }}
 
 ==வெளியிணைப்புகள்==
 *{{mathworld|urlname=PowerSet|title=Power Set}}
 *{{planetmath reference|id=136|title=Power set}}
 * {{nlab|id=power+set|title=Power set}}
 * {{nlab|id=power+object|title=Power object}}
 
 [[பகுப்பு:கணக் கோட்பாடு]]
 [[பகுப்பு:நுண்புல இயற்கணிதம்]]