שיכון סגרה – הבדלי גרסאות

תוכן שנמחק תוכן שנוסף
בארי 27 (שיחה | תרומות)
Yoavd (שיחה | תרומות)
שורה 27:
<center><math>\Sigma^{n,m}_k := s_{n,m} \left( \mathbb{P}^n_k \times \mathbb{P}^m_k \right).</math></center>
=== הגדרה באמצעות מכפלה טנזורית ===
יהיו <math>V</math> ו <math>W</math> מרחבים וקטוריים. יהיו <math>\mathbb P(V)</math> ו-<math>\mathbb P(W)</math> המרחבים הפרויקטיביים המתאימים, ז"אזאת אומרת מרחבי הישרים העוברים דרך הראשית ב-<math>V</math> ו-<math>W</math>. תהי <math>V \otimes W</math> [[מכפלה טנזורית|המכפלה הטנזורית]] של <math>V</math> ו-<math>W</math>. ניתן להגדיר את העתקת סגרה
<center><math>s_{V,W}:\mathbb P(V)\times \mathbb P(W) \to \mathbb P(V\otimes W)</math></center>
להיות ההעתקה המושרית ע"י: