שיכון סגרה – הבדלי גרסאות
תוכן שנמחק תוכן שנוסף
←הגדרה באמצעות מכפלה טנזורית: {{פסקה בעבודה}} -- end |
MathKnight (שיחה | תרומות) מ ←הגדרה באמצעות מכפלה טנזורית: הגהה |
||
שורה 21:
<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> ו
<center><math>s_{V,W}:\mathbb P(V)\times \mathbb P(W) \to \mathbb P(V\otimes W)</math></center>
להיות
<div style="text-align: center;">
<math> \begin{array}{rcl} \mathbb{P}(V)\times \mathbb P(W) & \longrightarrow & \mathbb P(V\otimes W) \\
\left( v , w \right) & \longmapsto & v \otimes w \end{array}</math>
</div>
<math>.k^{n+1} \otimes k^{m+1}\cong k^{(n+1) \cdot (m+1)}</math>
|