שיכון סגרה – הבדלי גרסאות
תוכן שנמחק תוכן שנוסף
מ עיצוב |
מ ←תכנות: הגהה |
||
שורה 12:
=== הגדרה באמצעות מכפלה טנזורית ===
==
'''טענה:''' יריעת סגרה <math>\Sigma^{n,m}_k</math>
שורה 19:
של כל המשוואות מהצורה
<center><math>z_{ij} z_{rl} - z_{il} z_{rj} = 0</math></center>
באשר <math>i,r = 0,...,n</math> ו-<math>j,l = 0 , ... , m </math>. יתר על כן, העתקת סגרה מגדירה [[איזומורפיזם]] מ- <math>\mathbb{P}^n_k \times \mathbb{P}^m_k</math> ליריעת סגרה.
{| class="toccolours collapsible collapsed"
! הוכחה
|-
|
החלק המרכזי בהוכחה הוא
<center><math>\mathcal{V} \left( z_{ij} z_{rl} - z_{il} z_{rj} \ \mid \ 0 \le i,r \le n \ , \ 0 \le j,l \le m \right) </math>
</center>
| |||