שיכון סגרה – הבדלי גרסאות
תוכן שנמחק תוכן שנוסף
מ ←דוגמה: הגהה |
מ ←תכנות: הגהה |
||
שורה 35:
מקיימות <math>\mathbf{c} = s_{n,m}(\mathbf{a},\mathbf{b})</math> והן היחידות המקיימות זאת. זה נובע מכאן ש-<math>z^0_{i0} z^0_{0j} = z^0_{00} z^0_{ij} = 1 z^0_{ij} = z^0_{ij}</math> לכל <math>0 \le i \le n \ , \ j = 0 , ... , m</math> (אלה המשוואות המגדירות את יריעת האפסים).
|}
טענה זאת מכיחה שיריעת סגרה היא [[יריעה פרויקטיבית]] כמו כן ניתן להסיק מטענה זאת שיריעת סגרה היא ה[[מכפלה (תורת הקטגוריות)|מכפלה]] של <math>\mathbb{P}^n_k</math> ו-<math>\mathbb{P}^m_k</math> ב[[קטגוריה|קטגוריית]] היריעות פרויקטיביות. עבדה זאת
== דוגמה ==
| |||