자리스키 위상: 두 판 사이의 차이

내용 삭제됨 내용 추가됨
15번째 줄:
<math>1</math>이 있는 [[가환환]]<math>A</math>에 대해, <math>{\rm Spec} (A)</math>를 <math>A</math>의 [[환의 스펙트럼|스펙트럼]](모든 [[소 아이디얼]]들의 집합)이라고 하자. 자리스키 위상은 A의 [[아이디얼]] I에 대해 다음 집합을 닫힌 집합으로 정의한다.
:<math>V(I) = \{P \in \operatorname{Spec}\,(A) \mid I \subseteq P\}</math>
이것은 아핀 대수다양체에서 자리스키 위상공간 <math>\mathbb{A}^n</math>에서 <math>S</math>에 대한 닫힌집합 <math>V(S) = \{x \in \mathbb{A}^n \mid f(x) = 0, \forall f \in S\}</math>을 조금 수정하여 확장한 것이다.
 
왜냐면 <math>x \in \mathbb{A}^n</math>, <math>f(x) = 0, \forall f \in S</math>은 <math> f\in M_x, \forall f\in S</math>과 동치 (<math>M_x</math>는 점<math>x \in \mathbb{A}^n</math>에 대응되는 [[극대이데알]]), i.e, <math> S \subseteq M_x</math>.