분류정리

Classification theorem

수학에서 분류 정리는 분류 문제에 대해 "특정 유형의 대상은 무엇인가, 어느 정도 등가성까지인가?"라고 답한다. 그것은 비중복적인 조사를 제공한다: 각 물체는 정확히 하나의 등급과 동일하다.

분류와 관련된 몇 가지 쟁점은 다음과 같다.

  • 등가성 문제는 "두 개의 객체가 주어진 경우 등가성 여부를 판단"이다.
  • 불변과 함께 실현 가능완전한 불변 세트가 분류 문제를 해결하며,[clarify] 종종 그것을 해결하는 단계가 되기도 한다.
  • 계산 가능한 전체 불변수[clarify] 집합(불변수 집합과 함께 실현 가능)은 분류 문제와 동등성 문제를 모두 해결한다.
  • 표준형식은 분류문제를 해결하며, 더 많은 데이터로, 모든 클래스를 분류할 뿐만 아니라 각 클래스의 구별되는 (캐논형) 요소를 제공한다.

수학에는 아래와 같이 분류 이론이 많이 존재한다.

기하학

대수학

선형대수학

분석

복합분석

수리물리학

참고 항목