이 페이지의 선택한 이전 버전과 현재 버전 사이의 차이점을 보여줍니다.
부분순서 [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>수학}} |