दूसरे रैखिक बीजगणित पाठ्यक्रम में टेंसर उत्पादों को पढ़ाना

मैं रैखिक बीजगणित पाठ्यक्रम के दूसरे वर्ष में टेंसर उत्पादों को पेश करना चाहता हूं। जनसांख्यिकी विशिष्ट है: गणित, भौतिकी, कंप्यूटर विज्ञान आदि के छात्र, जिनके पास पहले से ही रैखिक प्रणालियों पर ध्यान केंद्रित करने वाला पाठ्यक्रम था। पाठ्यक्रम भी विशिष्ट है: हम रैखिक बीजगणित का सही तरीके से पालन करेंगे, वेक्टर रिक्त स्थान की मूल बातें, फिर ईजेनथिंग्स/विकर्णीकरण + आंतरिक उत्पादों पर छंद लगाएंगे। हम भागफल रिक्त स्थान को छोड़ देते हैं।

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

मैं टेंसर पेश करने के दो सामान्य तरीके देखता हूं: या तो इस स्तर के लिए एक बिल्कुल अमूर्त लेंस के माध्यम से (सार्वभौमिक संपत्ति, द्विरेखीय रूप, और फिर $V\otimes W$ के लिए एक प्रस्तुति), या एक अत्यंत आधार-उन्मुख दृष्टिकोण जो टेंसरों को उनके उत्पाद के लिए एक निश्चित नियम का पालन करते हुए बहुआयामी सरणियों के रूप में वर्णित करता है, जैसे कि। मुझे लगता है कि इनके बीच का एक रास्ता होना चाहिए जिससे रैखिक बीजगणित में दूसरा कोर्स करने वाले छात्रों को फायदा हो सके।

मुझे लगता है कि यह वास्तव में गणितीय नींव में एक दिलचस्प अंतर की ओर इशारा करता है। मेरे लिए टेंसर उत्पाद का वर्णन करने का सबसे साफ-सुथरा तरीका बस निम्नलिखित है:

इसके लिए सार्वभौमिक गुणों के बारे में कुछ भी कहने या मुक्त वेक्टर रिक्त स्थान का उपयोग करके टेंसर उत्पाद का निर्माण करने की आवश्यकता नहीं है, जिस पर मुझे संदेह है अंततः मूलभूत मुद्दों से निपटने के लिए एक हैक है: क्या आपको यह सुरुचिपूर्ण नहीं लगता कि दो परिमित-आयामी वेक्टर स्थानों $V, W$ के टेंसर उत्पाद का निर्माण करने के लिए, जो कि परिमित-आयामी भी है, हमें पहले इसे पास करना होगा एक अत्यंत अनंत-आयामी मध्यवर्ती वेक्टर स्थान $F(V \times W)$, इसे एक अत्यंत अनंत-आयामी उप-स्थान द्वारा उद्धृत करने से पहले? यह मध्यवर्ती स्थान कई छात्रों के लिए बहुत भ्रमित करने वाला है और हम इससे सहमत हैं