떡밥위키
최근 변경
최근 토론
특수 기능
파일 올리기
작성이 필요한 문서
고립된 문서
고립된 분류
분류가 되지 않은 문서
편집된 지 오래된 문서
내용이 짧은 문서
내용이 긴 문서
차단 내역
RandomPage
라이선스
IP 사용자
18.191.85.94
설정
다크 모드로 전환
로그인
전순서 관계
(r8 편집)
닫기
RAW 편집
미리보기
[[분류:집합론]][[분류:떡밥위키 학문 프로젝트]][[분류:순서론]] [목차] == 개요 == [[이항 관계]]의 일종으로, 우리가 일상에서 늘 사용하고 편안하게 느끼는 [[순서 관계]]이다. [[자연수]], [[정수]], [[실수]] 등 일반인이 사용하는 수 체계 대부분이 전순서이므로 직관과 논리가 문제없이 통해 [[개비스콘|마음이 편안해지는 것]]을 느낄 수 있다. [[복소수]] 이상부터는 일반적인 전순서를 정의할 수 없으므로 뇌절이 시작된다. 그치만 전순서도 공리적으로 따지고 보면 졸라 이상한 결과를 많이 만들어낸다. 특히 [[극한]]과 결합될 경우. == 정의 == [[부분순서 관계]]의 정의에서 반사성(reflexivity) 조건을 강한 연결성(strong connectivity)로 바꾼 것뿐이다. 구체적으로는 아래 성질을 모두 만족하는 이한 관계 [math(\preceq)]를 [[집합]] [math(A)]위의 전순서 관계라고 하며, [math((A, \preceq))]를 전순서 집합이라고 한다. 1. [math(\forall x, y \in A (x \preceq y \lor y \preceq x))] (강한 연결성; strong connectivity) 1. [math(\forall x, y \in A (x \preceq y \land y \preceq x \to x = y))] (반대칭성; anti-symmetricity) 1. [math(\forall x, y, z \in A (x \preceq y \land y \preceq z \to x \preceq z))] (추이성; transitivity) == 기타 == 일반적으로 유한집합은 전순서 집합이어야 정렬이 가능하다. [[정렬 원리|무한집합을 정렬]]하기 위해선... [[선택공리]]를 살펴보자.
요약
문서 편집을
저장
하면 당신은 기여한 내용을
CC BY-NC-SA 2.0 KR
으로 배포하고 기여한 문서에 대한 하이퍼링크나 URL을 이용하여 저작자 표시를 하는 것으로 충분하다는 데 동의하는 것입니다. 이
동의는 철회할 수 없습니다.
비로그인 상태로 편집합니다. 로그인하지 않은 상태로 문서 편집을 저장하면, 편집 역사에 본인이 사용하는 IP(18.191.85.94) 주소 전체가 영구히 기록됩니다.
저장
사용자
18.191.85.94
IP 사용자
로그인
회원가입
최근 변경
[불러오는 중...]