이분법

Dichotomy
이 화상에서 유니버설 세트 U(사각형 전체)는 2개의 세트 A(분홍색)와 그 보체c A(회색)로 이분화된다.

이분법 /daɪkttmimi/는 전체(또는 집합)를 2개의 부분(하위 집합)으로 분할한 것입니다.즉, 이 두 개의 부품은

  • 공동 완전성: 모든 것이 한 부분 또는 다른 부분에 속해야 합니다.
  • 상호 배타적: 어떤 것도 동시에 양쪽 부품에 속할 수 없습니다.

개념 A가 있고, B와 비B로 분할되어 있는 경우, B는 비B에 포함되어 있지 않기 때문에 서로 배타적이고, A를 모두 커버하고 있기 때문에, 함께 A를 부여하기 때문에, B는 서로 배타적이고, B는 서로 배타적이다.

이러한 분할은 종종 초당이라고도 불린다.

이렇게 형성된 두 부분은 보완물이다.논리적으로 파티션은 하나의 명제가 있고 다른 명제가 아닌 경우 반대입니다.

연속형 변수 또는 다중 범주형 변수를 이항 변수로 처리하는 것을 이분법이라고 합니다.이분화 고유의 이산화 오류는 모델링 목적으로 일시적으로 무시됩니다.

어원학

이분법이라는 용어는 그리스어에서 유래했다: 그리스어 δα μμα dichotomia는 δα dicha "둘로 나누기"와 ομα tom "절개, 절개"에서 유래했다.

사용방법 및 예시

  • 집합론에서 이분관계 RaRb, bRa 중 하나이지만 둘 [1]다 아닌 것이다.
  • 잘못된 이분법은 두 가지 조건 중 하나 또는 두 가지 조건을 모두 충족시키지 못하는 것으로 추정되는 이분법으로 구성된 비공식 오류입니다. 즉, 공동으로 완전하지 않거나 상호 배타적이지 않습니다.가장 일반적인 형태에서는 사실상 다른 대안이 가능한 경우, 두 기업이 완전한 것처럼 표시된다.경우에 따라서는, 넓은 중간 지반이 있음에도 불구하고, 상호 배타적인 것처럼 제시될 수 있다(미분포 중간 참조).
  • 이분법의 한 가지 유형은 이분법 분류입니다. 즉, 대상을 두 그룹으로 재귀적으로 나누어 분류합니다.Lewis Carroll이 설명하듯이, "분할의 프로세스에 의해 하나의 클래스를 2개의 작은 클래스로 분할한 후, 우리는 각 클래스를 2개의 작은 클래스로 분할할 수 있습니다.그리고 이 과정은 반복할 때마다 두 배의 수가 반복될 수 있습니다.예를 들어 "책"을 "구"와 "신"으로 나눌 수 있습니다(즉, "구"가 아님). 그 후 "영어"와 "외국어"(즉, "비영어")로 나누어 4개의 클래스를 [3]받을 수 있습니다.
  • 통계학에서 이분법 데이터는 처음 두 가지 측정 수준, 즉 명목 측정 수준(예: 국적 측정 시 "영국" 대 "미국")과 서수 측정 수준(예: "높은" 대 "짧은")에만 존재할 수 있다.이분법적으로 측정된 변수를 더미 변수라고 합니다.
  • 컴퓨터 과학, 특히 프로그래밍 언어 공학에서 이분법은 언어 설계에서 기본적인 이중성이다.예를 들어 C++메모리 모델에 이분법(히프 대 스택)이 있는 반면 Java는 유형 시스템에 이분법(참조 대 원시 데이터 유형)이 있습니다.

「 」를 참조해 주세요.

레퍼런스

  1. ^ Komjath, Peter; Totik, Vilmos (2006). Problems and Theorems in Classical Set Theory. Springer Science & Business Media. p. 497. ISBN 978-0-387-30293-5.
  2. ^ Baronett, Stan (2013). Logic. Oxford University Press. p. 134.
  3. ^ Carroll, Lewis (1897), Symbolic Logic, vol. 1.3.2 (4th ed.), London: Macmillan and Co., Ltd.