스킴 (수학): 두 판 사이의 차이
내용 삭제됨 내용 추가됨
Osteologia (토론 | 기여) 잔글 →그로텐디크 위상 |
Osteologia (토론 | 기여) |
||
177번째 줄:
* '''[[매끄러운 사상]]''': 대략 평탄 사상 가운데, "특수한" (올이 퇴화하는) 점이 없는 것을 뜻한다.
* '''우세 사상'''({{llang|en|dominant morphism}})은 [[상 (수학)|상]]이 [[조밀 집합]]인 스킴 사상이다.
이 밖에도, [[일반위상수학]]에서 사용되는 [[연속 함수]]의 다음과 같은 성질들이 사용된다.
* [[단사 함수]]
* [[전사 함수]]
* [[열린 함수]]
* [[닫힌 함수]]
* [[준콤팩트 함수]]
(그러나 스킴의 [[고유 사상]]은 일반위상수학의 [[고유 사상]]과 관계없다.)
스킴의 사상의 성질 <math>P</math>가 다음 조건을 만족시킨다면, '''밑 변환에 대하여 안정적인 성질'''({{llang|en|property stable under base change}})이라고 한다.<ref name="Hartshorne"/>{{rp|90}}
* 스킴의 사상 <math>f\colon X\to Y</math>가 <math>P</math>를 만족시킨다면, 임의의 스킴 <math>X'</math> 및 사상 <math>X\to X'</math>에 대하여, <math>f\times_XX'\colon X'\to Y\times_XX'</math> 역시 <math>P</math>를 만족시킨다.
예를 들어, 유한형 사상은 밑 변환에 대하여 안정적이다. 밑 변환에 대하여 안정적이지 않은 성질 <math>P</math>에 대하여, '''보편 <math>P</math> 사상'''({{llang|en|universally <math>P</math> morphism}})은 다음과 같은 사상 <math>f\colon X\to S</math>이다.
* 임의의 사상 <math>S'\to S</math>에 대하여, 밑 변환 <math>f'\colon X\times_SS'\to S'</math>은 항상 <math>P</math> 사상이다.
== 예 ==
| |||