# கார்ட்டீசியன் பெருக்கற்பலன் (கோட்டுருவியல்)



கோட்டுருவியலில் *G* மற்றும் *H* ஆகிய இரு கோட்டுருக்களின் **கார்ட்டீசியன் பெருக்கற்பலன்** (*Cartesian product*) *G* <math>\square</math> *H* என்பது பின்வருமாறு அமையும் கோட்டுருவாகும்  
- *G* <math>\square</math> *H* இன் முனைகளின் கணமானது *G* மற்றும் *H* கோட்டுருக்களின் முனை கணங்களின் கார்ட்டீசியன் பெருக்கற்பலன்.
::*V*(*G* <math>\square</math>) = *H* *V*(*G*) × *V*(*H*);  

- *u* = *v* மற்றும் *u' * , *v' * இரண்டும் *H* இல் அடுத்துள்ள முனைகளாக
:::**அல்லது**  
:*u' * = *v' * மற்றும் *u* , *v* இரண்டும் *G* இல் அடுத்துள்ள முனைகளாக  
:::இருந்தால், இருந்தால் மட்டுமே  
- (*u,u' *) , (*v,v' *) இரண்டும் *G* <math>\square</math> *H* இல் அடுத்துள்ள முனைகளாக இருக்கும்.

சிலசமயங்களில் கோட்டுருக்களின் பெருக்கற்பலன் "பெட்டிப் பெருக்கம்" (*box product*) எனவும் அழைக்கப்படுகிறது [Harary 1969].  

(*F* <math>\square</math> *G*) <math>\square</math> *H* மற்றும் *F* <math>\square</math> (*G* <math>\square</math> *H*) கோட்டுருக்கள் இரண்டும் இயல்பாகவே சம அமைவியமுடையது என்பதால் அவற்றின் கார்ட்டீசியன் பெருக்கல் சேர்ப்புப் பண்பு உடையது.  
:: (*F* <math>\square</math> *G*) <math>\square</math> *H* = *F* <math>\square</math> (*G* <math>\square</math> *H*)  

கோட்டுருக்களின் சம அமைவிய சமானப் பகுதிகளின் மீது வரையறுக்கப்படும்போது கார்ட்டீசியன் பெருக்கல் செயலி பரிமாற்றுத்தன்மை கொண்டது; *G* <math>\square</math> *H* மற்றும் *H* <math>\square</math> *G* இரண்டும் வலிமையாக சம அமைவியமுடையது. ஆனால் பெயரிடப்பட்ட கோட்டுருக்களின் மீது வரையறுக்கப்படும் செயலியாக இது பரிமாற்றுத்தன்மையற்றது.  

## வரலாறு
இன் கூற்றுப்படி கோட்டுருக்களின் கார்ட்டீசியன் பெருக்கற்பலன் 1912 ஆம் ஆண்டில் ஆல்பிரட் நார்த் வொய்ட்ஹெட் மற்றும் ரசலால் வரையறுக்கப்பட்டது. பின்னர் ஆஸ்திரேலியக் கணிதவியலாளர் "ஜெர்த் சபிதுசு"வால் மீண்டும் கண்டறியப்பட்டது.  

## எடுத்துக்காட்டுகள்
- இரு விளிம்புகளின் கார்ட்டீசியன் பெருக்கல் நான்கு முனைகளுடைய சுழற்சி கோட்டுரு
::K<sub>2</sub> <math>\square</math> K<sub>2</sub> = C<sub>4</sub>.  
- K<sub>2</sub> மற்றும் பாதை கோட்டுருக்களின் கார்ட்டீசியன் பெருக்கல் ஒரு ஏணி கோட்டுரு.
::K<sub>2</sub> <math>\square</math> P<sub>n</sub>  
- இரு பாதை கோட்டுருக்களின் கார்ட்டீசியன் பெருக்கல் ஒரு கட்டக் கோட்டுரு
- *n* விளிம்புகளின் கார்ட்டீசியன் பெருக்கல் ஒரு மீகனசதுரம்
:: <math>(K_2)^{\square n} = Q_n.</math>  
: இரு மீகனசதுரக் கோட்டுருக்களின் கார்ட்டீசியன் பெருக்கல் மற்றொரு மீகனசதுரக் கோட்டுரு.  
::Q<sub>i</sub> <math>\square</math> Q<sub>j</sub> = Q<sub>i+j</sub>.  
- இரு இடைநிலைமுனை கோட்டுருக்களின் கார்ட்டீசியன் பெருக்கல் மற்றொரு இடைநிலைமுனை கோட்டுரு.
- K<sub>2</sub> மற்றும் C<sub>n</sub> இரண்டின் கார்ட்டீசியன் பெருக்கல் n-பட்டகத்தின் முனைகள் மற்றும் விளிம்புகளின் கோட்டுரு
- இரு முழுக்கோட்டுருக்களின் கார்ட்டீசியன் பெருக்கல் ரூக்கின் கோட்டுரு.

## பண்புகள்
- ஒரு இணைப்புள்ள கோட்டுருவானது கோட்டுருக்களின் கார்ட்டீசியன் பெருக்கலாக இருந்தால் அதனை பகாக் கோட்டுருக்களின் (மேற்கொண்டு கோட்டுருக்களின் பெருக்கலாகப் பிரிக்க முடியாத கோட்டுருக்கள்) பெருக்கலாகத் தனித்த முறையில் காரணிப்படுத்த முடியும். ஒரு இணைப்பில்லா கோட்டுருவையும் இரு வேறுபட்ட வழிகளில் பகாக் கோட்டுருக்களின் கார்ட்டீசியன் பெருக்கலாக எழுத முடியும் என விளக்கப்பட்டது:
:(K<sub>1</sub> + K<sub>2</sub> + K<sub>2</sub><sup>2</sup>) <math>\square</math> (K<sub>1</sub> + K<sub>2</sub><sup>3</sup>) = (K<sub>1</sub> + K<sub>2</sub><sup>2</sup> + K<sub>2</sub><sup>4</sup>) <math>\square</math> (K<sub>1</sub> + K<sub>2</sub>),  

இதிலுள்ள + குறியானது இணப்பில்லா ஒன்றிப்பையும் மேலொட்டுகள் கார்ட்டீசியன் பெருக்கலின் அடுக்கையும் குறிக்கின்றன.  

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

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

- அலகு தொலைவு கோட்டுருக்களின் கார்ட்டீசியன் பெருக்கற்பலனும் மற்றொரு அலகு தொலைவு கோட்டுரு.

## இயற்கணித கோட்டுருவியல்

கோட்டுரு <math>G_1</math> இன் முனைகளின் எண்ணிக்கை <math>n_1</math>; <math>n_1\times n_1</math> அண்மை அணி <math>\mathbf A_1</math>. கோட்டுரு <math>G_2</math> இன் முனைகளின் எண்ணிக்கை <math>n_2</math>; <math>n_2\times n_2</math> அண்மை அணி <math>\mathbf A_2</math> எனில்:  
<math>G_1</math>, <math>G_2</math> கோட்டுருக்களின் கார்ட்டீசியன் பெருக்கற்பலன் கோட்டுருவின் அண்மை அணி:  
: <math>\mathbf A_{1\square 2} = \mathbf A_1 \otimes \mathbf I_{n_2} + \mathbf I_{n_1} \otimes \mathbf A_2</math>,  

இதில் <math>\otimes</math> - அணிகளின் கிரொனேகேர் பெருக்கத்தின் (Kronecker product) குறியீடு; <math>\mathbf I_n</math> - முற்றொருமை அணி.