헤이팅 대수

위키백과, 우리 모두의 백과사전.
둘러보기로 가기 검색하러 가기

순서론논리학에서, 헤이팅 대수(영어: Heyting algebra)는 직관 논리의 명제들의 격자와 유사한 성질을 갖는 격자이다. 고전 논리를 나타내는 불 대수에서 일부 조건을 약화시켜 얻은 개념이다.

정의[편집]

헤이팅 대수(영어: Heyting algebra)는 다음 조건을 만족시키는 이항 연산 이 갖추어져 있는 유계 격자 이다.

  • (함의의 성질) 모든 에 대하여, 가 서로 동치이다.

주어진 격자 위에 헤이팅 대수 구조가 존재한다면, 이 구조는 유일하다. 헤이팅 대수의 정의는 범주론적으로 다음과 같이 기술할 수 있다. 헤이팅 대수는 다음 조건을 만족시키는 (범주로 간주한) 부분 순서 집합 이다.

  • (의 존재) 모든 유한 극한이 존재한다.
  • (의 존재) 모든 유한 쌍대극한이 존재한다.
  • (의 존재) 데카르트 닫힌 범주이다.

헤이팅 대수에서의 부정 은 최소 원소(거짓)를 함의하는 것이다.

성질[편집]

함의 관계[편집]

다음과 같은 함의 관계가 성립한다.

완비 격자 완비 헤이팅 대수 완비 불 대수
시그마 대수
원순서 집합부분 순서 집합 유계 격자 헤이팅 대수 불 대수

불 대수가 될 조건[편집]

헤이팅 대수 에 대하여, 다음 조건들이 서로 동치이다.

  • 불 대수이다.
  • (이중 부정의 삭제) 항등 함수이다.
  • (배중률) 모든 원소 에 대하여, 이다.

[편집]

불 대수는 헤이팅 대수를 이룬다. 이 경우, 함의 연산은

이다.

위상 공간 열린집합들의 (포함 관계에 대한) 부분 순서 집합완비 헤이팅 대수를 이룬다. 이 경우 헤이팅 대수의 각 연산은 다음과 같다.

위상수학 완비 헤이팅 대수

직관 명제 논리에서, 명제들의 격자는 헤이팅 대수를 이룬다. 마찬가지로, 모든 헤이팅 대수는 어떤 초직관 논리의 명제 격자와 동형이다.

(작은) 토포스에서, 모든 대상의 부분 대상부분 순서 집합은 헤이팅 대수를 이룬다. 즉, 토포스의 내부 논리는 직관 논리이다.

역사[편집]

아런트 헤이팅직관 논리를 형식화하기 위하여 도입하였다.[1][2][3]

참고 문헌[편집]

  1. Heyting, A. (1930). “Die formalen Regeln der intuitionistischen Logik I”. 《Sitzungsberichte der Königlich Preussischen Akademie der Wissenschaften zu Berlin》: 42–56. JFM 56.0823.01. 
  2. Heyting, A. (1930). “Die formalen Regeln der intuitionistischen Logik II”. 《Sitzungsberichte der Königlich Preussischen Akademie der Wissenschaften zu Berlin》: 57–71. JFM 56.0823.01. 
  3. Heyting, A. (1930). “Die formalen Regeln der intuitionistischen Logik III”. 《Sitzungsberichte der Königlich Preussischen Akademie der Wissenschaften zu Berlin》: 158–169. JFM 56.0823.01. 

외부 링크[편집]