रेखांकन का टेन्सर उत्पाद

ग्राफ सिद्धांत में, टेंसर उत्पाद G × H}ग्राफ का } (असतत गणित) $G$ और $H$ ऐसा ग्राफ है
 * शीर्ष (ग्राफ सिद्धांत) का सेट $G × H$ कार्टेशियन उत्पाद है $V(G) × V(H)$; और
 * शिखर $(g,h)$ और $(g',h' )$ में सटे हुए हैं $G × H$ अगर और केवल अगर
 * $g$ लगी हुई है $g'$ में $G$, और
 * $h$ लगी हुई है $h'$ में $H$.

टेंसर उत्पाद को प्रत्यक्ष उत्पाद, क्रोनकर उत्पाद, श्रेणीबद्ध उत्पाद, कार्डिनल उत्पाद, संबंधपरक उत्पाद, कमजोर प्रत्यक्ष उत्पाद या संयोजन भी कहा जाता है। द्विआधारी संबंधों पर एक ऑपरेशन के रूप में, टेन्सर उत्पाद को अल्फ्रेड नॉर्थ व्हाइटहेड और बर्ट्रेंड रसेल द्वारा उनके गणितीय सिद्धांत  (#) में पेश किया गया था।). यह ग्राफ़ के आसन्न मैट्रिक्स के क्रोनकर उत्पाद के बराबर भी है।

अंकन $G × H$ भी (और पूर्व में सामान्य रूप से था) एक अन्य निर्माण का प्रतिनिधित्व करने के लिए उपयोग किया जाता है जिसे ग्राफ़ के कार्टेशियन उत्पाद के रूप में जाना जाता है, लेकिन आजकल अधिक सामान्यतः टेंसर उत्पाद को संदर्भित करता है। क्रॉस प्रतीक दो किनारों के टेन्सर उत्पाद से उत्पन्न दो किनारों को नेत्रहीन रूप से दिखाता है। इस उत्पाद को ग्राफ़ के मज़बूत गुणनफल के साथ भ्रमित नहीं होना चाहिए।

उदाहरण

 * टेंसर उत्पाद $G × K_{2}$ एक द्विपक्षीय ग्राफ है, जिसे द्विपक्षीय डबल कवर कहा जाता है $G$. पीटरसन ग्राफ का द्विदलीय डबल कवर Desargues ग्राफ है: $K_{2} × G(5,2) = G(10,3)$. एक पूर्ण ग्राफ का द्विदलीय दोहरा आवरण $K_{n}$ एक क्राउन ग्राफ (एक पूर्ण द्विदलीय ग्राफ) है $K_{n,n}$ माइनस सही मिलान )।
 * स्वयं के साथ एक पूर्ण ग्राफ़ का टेंसर उत्पाद रूक के ग्राफ़ का पूरक (ग्राफ़ सिद्धांत) है। इसके शीर्षों को a में रखा जा सकता है $n$-by-$n$ ग्रिड, ताकि प्रत्येक शीर्ष उन शीर्षों के निकट हो जो ग्रिड की एक ही पंक्ति या स्तंभ में नहीं हैं।

गुण
टेन्सर उत्पाद उत्पाद (श्रेणी सिद्धांत)|श्रेणी-सैद्धांतिक उत्पाद है जो रेखांकन और ग्राफ समरूपता की श्रेणी में है। यानी एक समरूपता $G × H$ समरूपता की एक जोड़ी से मेल खाती है $G$ और करने के लिए $H$. विशेष रूप से, एक ग्राफ $I$ एक समरूपता को स्वीकार करता है $G × H$ अगर और केवल अगर यह एक समरूपता को स्वीकार करता है $G$ और में $H$.

इसे देखने के लिए, एक दिशा में, समरूपता की एक जोड़ी का निरीक्षण करें $fG : I → G$ और $fH : I → H$ एक समरूपता पैदा करता है


 * $$\begin{cases} f : I \to G \times H \\ f(v) = \left (f_G(v), f_H(v) \right ) \end{cases}$$

दूसरी दिशा में, एक समरूपता $f : I → G × H$ को अनुमानों के समरूपता के साथ बनाया जा सकता है


 * $$\begin{cases} \pi_G : G \times H \to G \\ \pi_G((u,u')) = u \end{cases} \qquad \qquad \begin{cases} \pi_H : G \times H \to H \\ \pi_H((u,u')) = u' \end{cases}$$

समरूपता प्राप्त करने के लिए $G$ और करने के लिए $H$.

का आसन्न मैट्रिक्स $G × H$ क्रोनकर उत्पाद है | क्रोनकर (टेंसर) के आसन्न मैट्रिक्स का उत्पाद है $G$ और $H$.

यदि एक ग्राफ को टेंसर उत्पाद के रूप में प्रदर्शित किया जा सकता है, तो कई अलग-अलग प्रतिनिधित्व हो सकते हैं (टेंसर उत्पाद अद्वितीय गुणनखंड को संतुष्ट नहीं करते हैं) लेकिन प्रत्येक प्रतिनिधित्व में इरेड्यूसिबल कारकों की समान संख्या होती है। टेंसर उत्पाद ग्राफ़ को पहचानने और ऐसे किसी भी ग्राफ़ का गुणनखंड खोजने के लिए एक बहुपद समय एल्गोरिथ्म देता है।

या तो $G$ या $H$ द्विपक्षीय ग्राफ है, तो उनका टेंसर उत्पाद भी है। $G × H$ जुड़ा हुआ है अगर और केवल अगर दोनों कारक जुड़े हुए हैं और कम से कम एक कारक द्विदलीय नहीं है। विशेष रूप से द्विदलीय दोहरा आवरण $G$ जुड़ा हुआ है अगर और केवल अगर $G$ जुड़ा हुआ है और गैर-द्विपक्षीय है।

हेडेटनीमी अनुमान, जिसने एक टेन्सर उत्पाद की रंगीन संख्या के लिए एक सूत्र दिया था, को किसके द्वारा अप्रमाणित किया गया था? .

ग्राफ़ का टेन्सर उत्पाद ग्राफ़ और ग्राफ़ समरूपता की श्रेणी को एक सममित मोनोइडल श्रेणी बंद मोनोइडल श्रेणी की संरचना से लैस करता है। होने देना $G0$ ग्राफ़ के शीर्षों के अंतर्निहित सेट को निरूपित करता है $G$. आंतरिक घर $[G, H]$ के कार्य हैं $f : G0 → H0$ शीर्ष और किनारे के रूप में $f : G0 → H0$ को $f' : G0 → H0$ जब भी कोई किनारा ${x, y}$ में $G$ तात्पर्य ${f (x), f&thinsp;' (y)}$ में $H$.

यह भी देखें

 * ग्राफ उत्पाद
 * रेखांकन का मजबूत उत्पाद