| r1 ➤ r2 |
| 1 | [Include(틀:가져옴,O=오메가, C=[[https://creativecommons.org/licenses/by-nc-sa/3.0/deed.ko|CC BY-NC-SA 3.0]], L=[[https://web.archive.org/web/20160412201311/http://mathwiki.net/index.php?title=%EC%8A%A4%ED%82%B4&printable=yes|링크]])[분류:가져온 문서/오메가]] |
| 60 | 이제 [math(f:X→Y)]가 스킴의 사상일 때 우리는 [math(y∈Y)]이면 그 fibre [math(f^{−1}(y))]를 생각할 수 있다. 이는 [math(X)] 위의 부분스킴(subscheme)이 된다. 하지만 우리는 이것만으로 뭔가를 좀 더 알기 힘들 것 같으므로 다음 개념을 소개한다. [math(X→S←Y)]라는 스킴의 diagram이 주어져있을때 이것의 pullback을 [math(X×_SY)]라고 적자. 스킴의 pullback은 언제나 존재함이 알려져있고 그러므로 이 역시 잘 정의된다. 이제 [math(k(y)→O_Y)]로 만드는 사상 [math(\text{Spec}\,k(y)\to Y)]를 생각하면 우리는 [math(X\to Y\leftarrow \text{Spec}\,k(y))]라는 diagram을 만들 수 있으며 [math(X\times_{Y}\text{Spec}\,k(y))]를 새로운 fibre의 정의로 삼자. 이것은 자명하게 [math(k(y))] 위의 스킴이며 위상적으로 생각하면 [math(f^{−1}(y))]하고 위상동형이 되므로 완벽한 fibre의 재탄생이 된다. |
| 61 | |
| 62 | [Include(틀:가져옴,O=오메가, C=[[https://creativecommons.org/licenses/by-nc-sa/3.0/deed.ko|CC BY-NC-SA 3.0]], L=[[https://web.archive.org/web/20160412201311/http://mathwiki.net/index.php?title=%EC%8A%A4%ED%82%B4&printable=yes|링크]])] |
