헤이팅 대수

틀:위키데이터 속성 추적 틀:대수 구조 순서론과 논리학에서 헤이팅 대수(틀:Llang)는 직관 논리의 명제들의 격자와 유사한 성질을 갖는 격자이다. 고전 논리를 나타내는 불 대수에서 일부 조건을 약화시켜 얻은 개념이다.

정의

헤이팅 대수(틀:Llang)는 다음 조건을 만족시키는 이항 연산 $⟹:H\times H\to H$이 갖추어져 있는 유계 격자 $(H,\le ,\wedge ,\vee ,\mathrm{\top }\mathrm{\perp },⟹)$이다.

• (함의의 성질) 모든 $a,b,c\in H$에 대하여, $c\wedge a\le b$와 $c\le a⟹b$가 서로 동치이다.

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

• ($\wedge$ 및 $\mathrm{\top }$의 존재) 모든 유한 극한이 존재한다.
• ($\vee$ 및 $\mathrm{\perp }$의 존재) 모든 유한 쌍대극한이 존재한다.
• ($⟹$의 존재) $P$는 데카르트 닫힌 범주이다.

헤이팅 대수에서의 부정 $\mathrm{\neg }:H\to H$은 최소 원소(거짓)를 함의하는 것이다.

$\mathrm{\neg }a=a⟹\mathrm{\perp }$

성질

함의 관계

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

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

불 대수가 될 조건

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

• $H$는 불 대수이다.
• (이중 부정의 삭제) $\mathrm{\neg }\mathrm{\neg }:H\to H$는 항등 함수이다.
• (배중률) 모든 원소 $a\in H$에 대하여, $a\vee \mathrm{\neg }a=\mathrm{\top }$이다.

예

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

$a⟹b=\mathrm{\neg }a\vee b$

이다.

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

위상수학	완비 헤이팅 대수
$U\subset V$	$U\le V$
$X$	$\mathrm{\top }$
$\varnothing$	$\mathrm{\perp }$
$U\cap V$	$U\wedge V$
$U\cup V$	$U\vee V$
$\mathrm{int}\left(\bigcap _{\alpha }{U}_{\alpha }\right)$	$\underset{\alpha }{\bigwedge }{U}_{\alpha }$
$\bigcup _{\alpha }{U}_{\alpha }$	$\underset{\alpha }{\bigvee }{U}_{\alpha }$
$\mathrm{int}((X\setminus U)\cup V)$	$U⟹V$
$\mathrm{int}(X\setminus U)$	$\mathrm{\neg }U$

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

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

역사

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

같이 보기

• 초직관 논리

외부 링크

• 틀:Eom
• 틀:매스월드
• 틀:Nlab
• 틀:Nlab