बहुरेखीय मानचित्र

For क्रिप्टोग्राफी में उपयोग किए जाने वाले बहुरेखीय मानचित्र, see क्रिप्टोग्राफिक मल्टीलाइनर मैप.

रेखीय बीजगणित में, बहुरेखीय मानचित्र कई चरों का फलन (गणित) है जो प्रत्येक चर में पृथक रूप से रेखीय फलन होता है। अधिक त्रुटिहीन रूप से, बहु-रेखीय मानचित्र फलन है

$f\colon V_{1}\times \cdots \times V_{n}\to W{\text{,}}$

जहाँ $V_{1},\ldots ,V_{n}$ और $W$ निम्नलिखित संपत्ति के साथ वेक्टर रिक्त स्थान (या मॉड्यूल (गणित) क्रमविनिमेय रिंग पर) हैं: प्रत्येक के लिए $i$, यदि सभी चर $v_{i}$ को स्थिर रखा जाता है, तो $f(v_{1},\ldots ,v_{i},\ldots ,v_{n})$ का रैखिक कार्य $v_{i}$ है I

चर का बहुरेखीय मानचित्र रेखीय मानचित्र है, और दो चरों का द्विरेखीय मानचित्र होता है। सामान्यतः, k चरों के बहुरेखीय मानचित्र को 'k-रैखिक मानचित्र' कहा जाता है। यदि बहुरेखीय मानचित्र का कोडोमेन अदिशों का क्षेत्र है, तो इसे बहुरेखीय रूप कहा जाता है। बहुरेखीय मानचित्र और रूप बहुरेखीय बीजगणित में अध्ययन की मूलभूत वस्तुएँ हैं।

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

उदाहरण

• कोई भी द्विरेखीय मानचित्र बहुरेखीय मानचित्र होता है। उदाहरण के लिए, सदिश स्थान पर कोई भी आंतरिक उत्पाद बहुरेखीय मानचित्र है, जैसा कि सदिशों का क्रॉस उत्पाद है $\mathbb {R} ^{3}$.
• मैट्रिक्स का निर्धारक वर्ग मैट्रिक्स के कॉलम (या पंक्तियों) का वैकल्पिक रूप बहुरेखीय कार्य है।
• यदि $F\colon \mathbb {R} ^{m}\to \mathbb {R} ^{n}$ सहज कार्य है|सी^k फ़ंक्शन, फिर $k\!$वें का व्युत्पन्न $F\!$ प्रत्येक बिंदु पर $p$ इसके डोमेन में सममित कार्य के रूप में देखा जा सकता है $k$-रैखिक प्रकार्य $D^{k}\!F\colon \mathbb {R} ^{m}\times \cdots \times \mathbb {R} ^{m}\to \mathbb {R} ^{n}$.

समन्वय प्रतिनिधित्व

इस प्रकार है:

$f\colon V_{1}\times \cdots \times V_{n}\to W{\text{,}}$

परिमित-आयामी वेक्टर रिक्त स्थान के मध्य बहु-रैखिक मानचित्र बनें, जहां $V_{i}\!$ , $d_{i}\!$, और $W\!$ आयाम है यदि हम $d\!$. आधार चयन करते हैं तो (रैखिक बीजगणित) $\{{\textbf {e}}_{i1},\ldots ,{\textbf {e}}_{id_{i}}\}$ प्रत्येक के लिए $V_{i}\!$ और आधार $\{{\textbf {b}}_{1},\ldots ,{\textbf {b}}_{d}\}$ के लिए $W\!$ (वैक्टर के लिए बोल्ड का उपयोग करके), स्केलर्स के संग्रह को परिभाषित कर सकते हैं इसके $A_{j_{1}\cdots j_{n}}^{k}$ द्वारा

$f({\textbf {e}}_{1j_{1}},\ldots ,{\textbf {e}}_{nj_{n}})=A_{j_{1}\cdots j_{n}}^{1}\,{\textbf {b}}_{1}+\cdots +A_{j_{1}\cdots j_{n}}^{d}\,{\textbf {b}}_{d}.$

यदि स्केलर्स $\{A_{j_{1}\cdots j_{n}}^{k}\mid 1\leq j_{i}\leq d_{i},1\leq k\leq d\}$ पूर्ण रूप से बहु-रेखीय कार्य निर्धारित करें $f\!$. विशेष रूप से है, यदि

${\textbf {v}}_{i}=\sum _{j=1}^{d_{i}}v_{ij}{\textbf {e}}_{ij}\!$

के लिए $1\leq i\leq n\!$, तब

$f({\textbf {v}}_{1},\ldots ,{\textbf {v}}_{n})=\sum _{j_{1}=1}^{d_{1}}\cdots \sum _{j_{n}=1}^{d_{n}}\sum _{k=1}^{d}A_{j_{1}\cdots j_{n}}^{k}v_{1j_{1}}\cdots v_{nj_{n}}{\textbf {b}}_{k}.$

उदाहरण

आइए ट्रिलिनियर फलनलें

$g\colon R^{2}\times R^{2}\times R^{2}\to R,$

जहाँ V_i = R², d_i = 2, i = 1,2,3, और W = R, d = 1.

प्रत्येक के लिए आधार V_i है $\{{\textbf {e}}_{i1},\ldots ,{\textbf {e}}_{id_{i}}\}=\{{\textbf {e}}_{1},{\textbf {e}}_{2}\}=\{(1,0),(0,1)\}.$ होने देना

$g({\textbf {e}}_{1i},{\textbf {e}}_{2j},{\textbf {e}}_{3k})=f({\textbf {e}}_{i},{\textbf {e}}_{j},{\textbf {e}}_{k})=A_{ijk},$

जहाँ $i,j,k\in \{1,2\}$. दूसरे शब्दों में, स्थिर $A_{ijk}$ आधार सदिशों के आठ संभावित त्रिगुणों में से पर फलन मान है (चूंकि तीन में से प्रत्येक के लिए दो विकल्प हैं $V_{i}$), अर्थात्:

$\{{\textbf {e}}_{1},{\textbf {e}}_{1},{\textbf {e}}_{1}\},\{{\textbf {e}}_{1},{\textbf {e}}_{1},{\textbf {e}}_{2}\},\{{\textbf {e}}_{1},{\textbf {e}}_{2},{\textbf {e}}_{1}\},\{{\textbf {e}}_{1},{\textbf {e}}_{2},{\textbf {e}}_{2}\},\{{\textbf {e}}_{2},{\textbf {e}}_{1},{\textbf {e}}_{1}\},\{{\textbf {e}}_{2},{\textbf {e}}_{1},{\textbf {e}}_{2}\},\{{\textbf {e}}_{2},{\textbf {e}}_{2},{\textbf {e}}_{1}\},\{{\textbf {e}}_{2},{\textbf {e}}_{2},{\textbf {e}}_{2}\}.$

प्रत्येक वेक्टर ${\textbf {v}}_{i}\in V_{i}=R^{2}$ आधार वैक्टर के रैखिक संयोजन के रूप में व्यक्त किया जा सकता है

${\textbf {v}}_{i}=\sum _{j=1}^{2}v_{ij}{\textbf {e}}_{ij}=v_{i1}\times {\textbf {e}}_{1}+v_{i2}\times {\textbf {e}}_{2}=v_{i1}\times (1,0)+v_{i2}\times (0,1).$

तीन सदिशों के मनमाने संग्रह पर फलन मान ${\textbf {v}}_{i}\in R^{2}$ के रूप में व्यक्त किया जा सकता है

$g({\textbf {v}}_{1},{\textbf {v}}_{2},{\textbf {v}}_{3})=\sum _{i=1}^{2}\sum _{j=1}^{2}\sum _{k=1}^{2}A_{ijk}v_{1i}v_{2j}v_{3k}.$

या, विस्तारित रूप में

${\begin{aligned}g((a,b),(c,d)&,(e,f))=ace\times g({\textbf {e}}_{1},{\textbf {e}}_{1},{\textbf {e}}_{1})+acf\times g({\textbf {e}}_{1},{\textbf {e}}_{1},{\textbf {e}}_{2})\\&+ade\times g({\textbf {e}}_{1},{\textbf {e}}_{2},{\textbf {e}}_{1})+adf\times g({\textbf {e}}_{1},{\textbf {e}}_{2},{\textbf {e}}_{2})+bce\times g({\textbf {e}}_{2},{\textbf {e}}_{1},{\textbf {e}}_{1})+bcf\times g({\textbf {e}}_{2},{\textbf {e}}_{1},{\textbf {e}}_{2})\\&+bde\times g({\textbf {e}}_{2},{\textbf {e}}_{2},{\textbf {e}}_{1})+bdf\times g({\textbf {e}}_{2},{\textbf {e}}_{2},{\textbf {e}}_{2}).\end{aligned}}$

टेंसर उत्पादों से संबंध

बहुरेखीय नक्शों के बीच स्वाभाविक रूप से एक-से-पत्राचार होता है

$f\colon V_{1}\times \cdots \times V_{n}\to W{\text{,}}$

और रैखिक नक्शे

$F\colon V_{1}\otimes \cdots \otimes V_{n}\to W{\text{,}}$

जहाँ $V_{1}\otimes \cdots \otimes V_{n}\!$ के टेंसर उत्पाद को दर्शाता है $V_{1},\ldots ,V_{n}$. कार्यों के बीच संबंध $f\!$ और $F\!$ सूत्र द्वारा दिया गया है

$f(v_{1},\ldots ,v_{n})=F(v_{1}\otimes \cdots \otimes v_{n}).$

== n×n मेट्रिसेस == पर बहुरेखीय कार्य पर बहु-रेखीय कार्यों पर विचार किया जा सकता है n×n कम्यूटेटिव रिंग पर मैट्रिक्स K मैट्रिक्स की पंक्तियों (या समतुल्य रूप से कॉलम) के समारोह के रूप में पहचान के साथ। होने देना A ऐसा मैट्रिक्स हो और a_i, 1 ≤ i ≤ n, की पंक्तियाँ हों A. फिर मल्टीलाइनर फलनD के रूप में लिखा जा सकता है

$D(A)=D(a_{1},\ldots ,a_{n}),$

संतुष्टि देने वाला

$D(a_{1},\ldots ,ca_{i}+a_{i}',\ldots ,a_{n})=cD(a_{1},\ldots ,a_{i},\ldots ,a_{n})+D(a_{1},\ldots ,a_{i}',\ldots ,a_{n}).$

यदि हम जाने दें ${\hat {e}}_{j}$ प्रतिनिधित्व करते हैं {{mvar|j}पहचान मैट्रिक्स की }वीं पंक्ति, हम प्रत्येक पंक्ति को व्यक्त कर सकते हैं a_i योग के रूप में

$a_{i}=\sum _{j=1}^{n}A(i,j){\hat {e}}_{j}.$

की बहुरेखीयता का उपयोग करना D हम फिर से लिखते हैं D(A) जैसा

$D(A)=D\left(\sum _{j=1}^{n}A(1,j){\hat {e}}_{j},a_{2},\ldots ,a_{n}\right)=\sum _{j=1}^{n}A(1,j)D({\hat {e}}_{j},a_{2},\ldots ,a_{n}).$

प्रत्येक के लिए इस प्रतिस्थापन को जारी रखना a_i हमें मिलता है, के लिए 1 ≤ i ≤ n,

$D(A)=\sum _{1\leq k_{1}\leq n}\ldots \sum _{1\leq k_{i}\leq n}\ldots \sum _{1\leq k_{n}\leq n}A(1,k_{1})A(2,k_{2})\dots A(n,k_{n})D({\hat {e}}_{k_{1}},\dots ,{\hat {e}}_{k_{n}}).$

इसलिए, D(A) विशिष्ट रूप से कैसे निर्धारित किया जाता है D पर कार्य करता है ${\hat {e}}_{k_{1}},\dots ,{\hat {e}}_{k_{n}}$.

उदाहरण

2×2 मैट्रिक्स के मामले में हमें मिलता है

$D(A)=A_{1,1}A_{1,2}D({\hat {e}}_{1},{\hat {e}}_{1})+A_{1,1}A_{2,2}D({\hat {e}}_{1},{\hat {e}}_{2})+A_{1,2}A_{2,1}D({\hat {e}}_{2},{\hat {e}}_{1})+A_{1,2}A_{2,2}D({\hat {e}}_{2},{\hat {e}}_{2})\,$

जहाँ ${\hat {e}}_{1}=[1,0]$ और ${\hat {e}}_{2}=[0,1]$. यदि हम प्रतिबंधित करते हैं $D$ तब वैकल्पिक कार्य होना $D({\hat {e}}_{1},{\hat {e}}_{1})=D({\hat {e}}_{2},{\hat {e}}_{2})=0$ और $D({\hat {e}}_{2},{\hat {e}}_{1})=-D({\hat {e}}_{1},{\hat {e}}_{2})=-D(I)$. दे $D(I)=1$ हमें 2×2 आव्यूहों पर निर्धारक फलन प्राप्त होता है:

$D(A)=A_{1,1}A_{2,2}-A_{1,2}A_{2,1}.$

गुण

• बहुरेखीय मानचित्र का मान शून्य होता है जब उसका कोई तर्क शून्य होता है।

यह भी देखें

• बीजगणितीय रूप
• बहुरेखीय रूप
• सजातीय बहुपद
• सजातीय कार्य
• टेन्सर