இருவழிக்கோப்பு
[[Image:Bijection.svg|thumb|200px|இருவழிச் சார்பு, ''f'': ''X'' → ''Y'',  X = {1, 2, 3, 4}; Y = {A, B, C, D}. எடுத்துக்காட்டு: ''f''(1) = D.]]
 
 [[கணிதம்|கணிதத்தில்]]  &lt;math&gt;f: X \rightarrow Y&lt;/math&gt; என்ற ஒரு [[சார்பு|சார்பில்]]/[[கோப்பில்]]  ஒவ்வொரு  &lt;math&gt;y \in Y&lt;/math&gt; க்கும்  &lt;math&gt;f(x) = y&lt;/math&gt; ஆக இருக்கும்படி ஒரே ஒரு &lt;math&gt; x \in X&lt;/math&gt;  இருக்குமானால்  அது அரு '''இருவழிக்கோப்பு''' (''Bijection'') எனப்படும். வேறுவிதமாகச்சொன்னால்  &lt;math&gt;Y&lt;/math&gt; இலுள்ள ஒவ்வொரு உறுப்பு &lt;math&gt;y&lt;/math&gt; க்கும்  &lt;math&gt;X&lt;/math&gt; இல் ஒரு தனிப்பட்ட  [[முன்னுரு]] இருக்கும். ''X'' = ''Y'' ஆக இருந்தால் அந்த இருவழிக் கோப்பு, ''[[வரிசைமாற்றம்]]'' ஆகும்.&lt;ref&gt;{{harvnb|Hall|1959|p=3}}&lt;/ref&gt; ஒரு கணத்தின் அனைத்து வரிசைமாற்றங்களின் கணமானது [[சமச்சீர் குலம்|சமச்சீர் குலமாக]] இருக்கும். இருவழிக்கோப்புகள் [[உள்ளிடுகோப்பு]], [[முழுக்கோப்பு]] ஆகிய இரண்டுமாக இருக்கும்.&lt;ref&gt;{{Cite web|url=https://brilliant.org/wiki/bijection-injection-and-surjection/|title=Bijection, Injection, And Surjection {{!}} Brilliant Math &amp; Science Wiki|website=brilliant.org|language=en-us|access-date=2019-12-07}}&lt;/ref&gt;
 
 [[ஜார்ஜ் கேண்டர்]] தான் முதன்முதலில் இதைப்பற்றிய ஒரு முக்கியமான தேற்றத்தை நிறுவினார்: அதாவது, X இலிருந்து Y க்கும், Y இலிருந்து  X க்கும் இரண்டு உள்ளிடுகோப்புகள் இருந்தால்   X, Y இரண்டுக்கும் இடையில் ஒரு இருவழிக்கோப்பு இருந்தாகவேண்டும் என்ற தேற்றம். இதற்கு [[கேண்டர்-பர்ன்ஸ்டைன் தேற்றம்]] எனப்பெயர்.
 
 == துல்லியமான வரையறை ==
 
 &lt;math&gt;f: X \rightarrow Y&lt;/math&gt; என்ற கோப்பு இருவழிக்கோப்பாவதற்கு இலக்கணம்:
 
 &lt;math&gt;\forall y \in F,\, \exist x \in E,\, f(x)=y&lt;/math&gt;
 
 == எடுத்துக்காட்டுகள் ==
 === உலகவழக்கில் ஒரு எடுத்துக்காட்டு ===
 [[Image:Bijection.svg|thumb|200px|இருவழிக்கோப்பு.]]
 சுற்றுலாப்பயணிகளின் கூட்டமொன்று இராத்தங்க, எல்லா அறைகளும் காலியாக இருக்கும் ஒரு விடுதியில் வந்து சேருகின்றனர்.  ஒவ்வொரு பயணிக்கும் அறை வழங்க வேண்டும், ஒரு பயணிக்கு ஒரேயொரு அறை வழங்க வேண்டும் ஆகிய விதிகளுக்கு உட்பட்டு அறைகள் வழங்கும் முறையை ஒருகோப்பாக விவரிக்கலாம். (பயணிகள் கணம்: X ; அறைகள் கணம்: Y.)
 
 ஒவ்வொரு பயணிக்கும் ஒரு தனி அறை கிடைக்கவேண்டுமென்றால், அறைகளின் எண்ணிக்கை பயணிகளின் எண்ணிக்கையைவிடக் குறைவாக இருக்கக்கூடாது. அப்பொழுது ஒவ்வொரு பயணிக்கும் ஒரு தனி அறை கிடைக்கும். இது [[உள்ளிடுகோப்பு]] 
 
 ஒவ்வொரு அறையும்  நிரப்பப்படவேண்டுமென்றால், பயணிகளின் எண்ணிக்கை அறைகளின் எண்ணிக்கையைவிடக் குறைவாக இருக்கக்கூடாது. அப்பொழுது ஒவ்வொரு அறையிலும் குறைந்த பட்சம் ஒரு பயணியாவது இருப்பர். இது [[முழுக்கோப்பு]] 
 
 சில  அறைகள் நிரப்பப்படாமலும், சில அறைகளில் ஒன்றுக்கு மேற்பட்ட பயணிகளும் இருக்கும்படி செய்யப்பட்ட கோப்பு, உள்ளிடுகோப்புமல்ல, முழுக்கோப்புமல்ல. இதை வெறும் [[உட்கோப்பு]] (''into map'') என்று  மட்டும் சொல்லலாம்.
 
 பயணிகளின் எண்ணிக்கையும் அறைகளின் எண்ணிக்கையும் சமமாக இருந்தால், ஒவ்வொரு பயணிக்கும் ஒரு தனி அறை கிடைக்கும். ஒரு அறையும் காலியாக இருக்காது. இது இருவழிக்கோப்பு (''bijective map; bijection; one-one onto map''). அதாவது, இது உள்ளிடுகோப்பு, முழுக்கோப்பு ஆகிய இரு பண்புகளையும் கொண்டது.
 
 === கணித எடுத்துக்காட்டுகளும் மாற்றுக்காட்டுகளும் ==
 
 :&lt;math&gt;f : \mathbf{R} \rightarrow \mathbf{R}&lt;/math&gt; 
 : &lt;math&gt;f(x) = 2x - 1&lt;/math&gt; 
 இது ஒரு இருவழிக்கோப்பு. ஏனென்றால் y = 2x - 1 க்குச்சரியானதாக f இன் ஆட்களத்தில்  ஒரே ஒரு &lt;math&gt;(y +1)/2  = x&lt;/math&gt; இருக்கிறது.
 
 மாறாக,  
 : &lt;math&gt;g: \mathbf{R} \rightarrow \mathbf{R}&lt;/math&gt; 
 : &lt;math&gt;g(x) = x^2&lt;/math&gt; 
 :இருவழிக்கோப்பல்ல. இதற்கு இரண்டு காரணங்கள். ஒன்று அது உள்ளிடுகோப்பல்ல; ஏனென்றால், எடுத்துக்காட்டாக,  &lt;math&gt;g(1) = g(-1)&lt;/math&gt;
 : மற்றும் முழுக்கோப்புமல்ல; ஏனென்றால்,  எடுத்துக்காட்டாக, &lt;math&gt;y = -1&lt;/math&gt; க்கு முன்னுரு கிடையாது.
 : ஏதாவதொரு காரணமே அது இருவழிக்கோப்பல்ல என்பதற்குப் போதுமானது.
 
 மாறாக, அதே சார்பு &lt;math&gt;g&lt;/math&gt; க்கு, ஆட்களத்தையும் இணையாட்களத்தையும் மாற்றி அமைத்து அதை இருவழிக்கோப்பாக்க முடியும்:
 : &lt;math&gt;h: \mathbf{R}^{+} \rightarrow \mathbf{R}^{+}&lt;/math&gt; 
 : &lt;math&gt;h(x) = x^2&lt;/math&gt;
 இது இருவழிக்கோப்பு. ஏனென்றால் ஒவ்வொரு  &lt;math&gt;y&lt;/math&gt; க்கும் ஒரே ஒரு  &lt;math&gt;x = \surd y&lt;/math&gt;  என்ற முன்னுரு இருக்கிறது.
 
 : &lt;math&gt;f: Z \rightarrow  Z&lt;/math&gt;  இங்கு  Z முழுஎண்களின் கணம்.
 :  &lt;math&gt;f(n) = n + 1&lt;/math&gt;
 : இது ஒரு இருவழிக்கோப்பு.
 
 : &lt;math&gt;exp: \mathbf{R} \rightarrow \mathbf{R}&lt;/math&gt; 
 : &lt;math&gt;f(x) =  e^x&lt;/math&gt;
 : இருவழிக்கோப்பல்ல. ஏனென்றால், எடுத்துக்காட்டாக, &lt;math&gt;\mathbf{R}&lt;/math&gt;இல்   &lt;math&gt;f(x) = -1&lt;/math&gt; க்குத் தீர்வு கிடையாது.
 : ஆனால், இணையாட்களத்தை &lt;math&gt;\mathbf{R}^{+} = (0, \infty)&lt;/math&gt; க்கு மாற்றினால், அது இருவழிக்கோப்பாகும். அதனுடைய [[நேர்மாறு உறுப்பு|நேர்மாறு]] இயல்[[மடக்கை]]ச்சார்பாகும்.
 
 :* &lt;math&gt;f: \mathbf{R} \rightarrow [-1, 1]&lt;/math&gt;
 :  &lt;math&gt;f(x) = sin x&lt;/math&gt; 
 இது ஒரு இருவழிக்கோப்பல்ல; ஏனென்றால், எடுத்துக்காட்டாக, ஆட்களத்திலுள்ள &lt;math&gt;\pi /6&lt;/math&gt;, &lt;math&gt;5\pi /6&lt;/math&gt; இரண்டும் 1/2 என்ற ஒரே மதிப்பிற்குச் செல்கிறது.
 
 மாறாக,
 
 :* &lt;math&gt;g: [-\pi/2, \pi/2] \rightarrow  [-1, 1]&lt;/math&gt;
 :  &lt;math&gt;g(x) = sin x&lt;/math&gt;இருவழிக்கோப்பாகிறது.
 
 == இதர பண்புகள் ==
 [[Image:Bijective_composition.svg|thumb|300px|முதல் கோப்பு (g) உள்ளிடுகோப்பகவும், இரண்டாவது (f)  முழுக்கோப்பாகவும் உள்ள சேர்வை  &lt;math&gt;f \circ g&lt;/math&gt;]]
 
 * &lt;math&gt;f:\mathbf{R}\rightarrow \mathbf{R}&lt;/math&gt; ஒரு இருவழிக்கோப்பானால், அதனுடைய வரைவு ஒவ்வொரு கிடைக்கோட்டையும்  ஒரே ஒரு புள்ளியில் சந்திக்கும்.
 * &lt;math&gt;f: X \rightarrow Y&lt;/math&gt; ஒரு இருவழிக்கோப்பாக இருக்கவேண்டுமென்றால்:
 :: &lt;math&gt;f \circ g : Y \rightarrow Y  =  I : Y \rightarrow  Y&lt;/math&gt; மற்றும்  
 :: &lt;math&gt;g \circ f : X \rightarrow X  =  I: X \rightarrow  X&lt;/math&gt; ஆக இருக்கும்படி
 :: &lt;math&gt;g: Y \rightarrow  X&lt;/math&gt;  என்ற ஒரு கோப்பு இருக்கவேண்டும். இந்த  &lt;math&gt;g&lt;/math&gt;  தான் &lt;math&gt; f&lt;/math&gt; இன் நேர்மாற்றுக்கோப்பு; &lt;math&gt;g&lt;/math&gt;  இன் நேர்மாறு  &lt;math&gt;f&lt;/math&gt;.
 * &lt;math&gt;f \circ g&lt;/math&gt; ஒரு இருவழிக்கோப்பானால், &lt;math&gt;f&lt;/math&gt; முழுக்கோப்பாகவும் &lt;math&gt; g&lt;/math&gt; உள்ளிடுகோப்பாகவும் இருந்தாகவேண்டும். (படிமம் பார்க்கவும்)
 * &lt;math&gt;f,&lt;/math&gt; &lt;math&gt;g&lt;/math&gt; இரண்டும்  இருவழிக்கோப்பாக இருந்தால், &lt;math&gt;f \circ g&lt;/math&gt;  இருவழிக்கோப்பாக இருக்கும். மேலும், 
 :  &lt;math&gt;(f \circ g)^{-1} = g \circ f&lt;/math&gt; ஆக இருக்கும்.
 * &lt;math&gt;X&lt;/math&gt;இலிருந்து &lt;math&gt;X&lt;/math&gt;க்கே வரையறுக்கப்பட்ட எல்லா இருவழிக்கோப்புகளும்  ' &lt;math&gt;\circ&lt;/math&gt; என்ற தொகுப்பு விதிக்கு ஒரு [[குலம் (கணிதம்)|குலமாகும்]]. இக்குலம், X இன் '''சமச்சீர்குலம்''' எனப்படும். இச் சமச்சீர் குலத்தின் குறியீடு: S(X)  அல்லது &lt;math&gt;S_X&lt;/math&gt;
 
 == இருவழிக்கோப்பும் எண்ணளவையும் ==
 
 Xம்  Yம் முடிவுறு கணங்களாக இருக்கும்போது Xஇலிருந்து    Yக்கு ஒரு இருவழிக்கோப்பு இருக்குமானால், X இலுள்ள உறுப்புகளின் எண்ணிக்கையும்  Y இலுள்ள உறுப்புகளின் எண்ணிக்கையும் சமமாக இருக்கவேண்டும்.
 
 இவையே முடிவுறாகணங்களாக இருந்தால், இரண்டு கணங்களின் எண்ணளவைகள் ஒன்றாக இருக்கவேண்டும்.
 
 == இவற்றையும் பார்க்கவும் ==
 * [[முழுக்கோப்பு]]
 * [[உள்ளிடுகோப்பு]]
 
 == மேற்கோள்கள் ==
 {{Reflist}}
 
 == நூலாதாரங்கள்==
 * {{cite book|first=Marshall Jr. |last=Hall|author-link=Marshall Hall (mathematician)|title=The Theory of Groups|year=1959|publisher=MacMillan}}
 * {{cite book|last=Wolf|title=Proof, Logic and Conjecture: A Mathematician's Toolbox|year=1998|publisher=Freeman}}
 * {{cite book|last=Sundstrom|title=Mathematical Reasoning: Writing and Proof|url=https://archive.org/details/mathematicalreas0000sund|year=2003|publisher=Prentice-Hall}}
 * {{cite book|last1=Smith|last2=Eggen|last3=St.Andre|title=A Transition to Advanced Mathematics (6th Ed.)|year=2006|publisher=Thomson (Brooks/Cole)}}
 * {{cite book|last=Schumacher|title=Chapter Zero: Fundamental Notions of Abstract Mathematics|year=1996|publisher=Addison-Wesley}}
 * {{cite book|last=O'Leary|title=The Structure of Proof: With Logic and Set Theory|year=2003|publisher=Prentice-Hall}}
 * {{cite book|last=Morash|title=Bridge to Abstract Mathematics|publisher=Random House}}
 * {{cite book|last=Maddox|title=Mathematical Thinking and Writing|year=2002|publisher=Harcourt/ Academic Press}}
 * {{cite book|last=Lay|title=Analysis with an introduction to proof|year=2001|publisher=Prentice Hall}}
 * {{cite book|last1=Gilbert|last2=Vanstone|title=An Introduction to Mathematical Thinking|year=2005|publisher=Pearson Prentice-Hall}}
 * {{cite book|last1=Fletcher|last2=Patty|title=Foundations of Higher Mathematics|publisher=PWS-Kent}}
 * {{cite book|last1=Iglewicz|last2=Stoyle|title=An Introduction to Mathematical Reasoning|publisher=MacMillan}}
 * {{cite book|last=Devlin|first=Keith|title=Sets, Functions, and Logic: An Introduction to Abstract Mathematics|year=2004|publisher=Chapman &amp; Hall/ CRC Press}}
 * {{cite book|last1=D'Angelo|last2=West|title=Mathematical Thinking: Problem Solving and Proofs|url=https://archive.org/details/isbn_8800003757534|year=2000|publisher=Prentice Hall}}
 * {{cite book|last=Cupillari|author-link= Antonella Cupillari |title=The Nuts and Bolts of Proofs|year= 1989 |url=https://archive.org/details/nutsboltsofproof00anto|url-access=registration|publisher=Wadsworth|isbn= 9780534103200 }}
 * {{cite book|last=Bond|title=Introduction to Abstract Mathematics|publisher=Brooks/Cole}}
 * {{cite book|last1=Barnier|last2=Feldman|title=Introduction to Advanced Mathematics|year=2000|publisher=Prentice Hall}}
 * {{cite book|last=Ash|title=A Primer of Abstract Mathematics|publisher=MAA}}
 
 ==வெளியிணைப்புகள்==
 {{Commons category|Bijectivity}}
 * {{springer|title=Bijection|id=p/b016230}}
 * {{MathWorld|title=Bijection|urlname=Bijection}}
 * [http://jeff560.tripod.com/i.html Earliest Uses of Some of the Words of Mathematics: entry on Injection, Surjection and Bijection has the history of Injection and related terms.]
 
 
 [[பகுப்பு:கணக் கோட்பாடு]]
 [[பகுப்பு:சார்புகளும் கோப்புகளும்]]
 [[பகுப்பு:கணித உறவுகள்]]