차이점

이 페이지의 선택한 이전 버전과 현재 버전 사이의 차이점을 보여줍니다.

차이 보기로 연결

부분순서 [2010-07-12 22:59]
lifthrasiir 새로 만듦
부분순서 [2011-05-30 18:25] (현재)
줄 4: 줄 4:
  
   * $$\forall a \in X.\, (a,a) \in R$$;   * $$\forall a \in X.\, (a,a) \in R$$;
-  * $$\forall a \in X.\, \forall b \in X.\, (a,b) \in R \rightarrow (b,a) \notin R$$;+  * $$\forall a \in X.\, \forall b \in X.\, \left( a \ne b \wedge (a,b) \in R \right) \rightarrow (b,a) \notin R$$;
   * $$\forall a \in X.\, \forall b \in X.\, \forall c \in X.\, \left( (a,b) \in R \wedge (b,c) \in R \right) \rightarrow (a,c) \in R$$.   * $$\forall a \in X.\, \forall b \in X.\, \forall c \in X.\, \left( (a,b) \in R \wedge (b,c) \in R \right) \rightarrow (a,c) \in R$$.
  
 반대로 부분 순서 $$R$$이 존재하는 집합 $$X$$를 **부분 순서 집합**(partially ordered set, **poset**)이라 한다. 부분 순서는 많은 의미에서 [[비교연산]]의 일반화이지만 "비교 불가능한 원소"(즉, $$(a,b) \notin R \wedge (b,a) \notin R$$인 두 원소 $$a,\,b \in X$$)가 존재할 수 있다는 점에서 [[완전순서]]와는 차이가 있다. 반대로 부분 순서 $$R$$이 존재하는 집합 $$X$$를 **부분 순서 집합**(partially ordered set, **poset**)이라 한다. 부분 순서는 많은 의미에서 [[비교연산]]의 일반화이지만 "비교 불가능한 원소"(즉, $$(a,b) \notin R \wedge (b,a) \notin R$$인 두 원소 $$a,\,b \in X$$)가 존재할 수 있다는 점에서 [[완전순서]]와는 차이가 있다.
  
 +{{tag>수학}}

도쿠위키DokuWiki-custom(rev 9085d92e02)을 씁니다.
마지막 수정 2011-05-30 18:25 | 외부 편집기