Banach의 고정 소수점 정리는 비어 있지 않은 완전한 미터법 공간 있으면 균일하게 수축하는 함수 는 고유 한 고정 소수점 갖습니다 . 그러나,이 정리의 증거는 선택의 공리가 필요합니다. 우리는 에서 반복을 시작하기 위해 임의의 요소 를 선택해야 합니다. Cauchy 시퀀스 입니다. F : → μ ( F ) ∈ F , …
법선 벡터 의해 결정된 일련의 초평면이 주어지면 , 그 셀 유형 (또는 부호 벡터)은 모든 벡터 입니다. 벡터 존재 되도록 과 모두 보유 . 여기서 은 내부 곱을 나타내고 부호 ( x ) 는 0이 아닌 실수 x 의 부호 ( + 또는 - )를 나타냅니다 .h1, … , h미디엄∈ …
1999 년 워크숍 논문 "PCF의 메트릭 모델" 에서 Martín Escardó는 완전한 초음파 공간과 비 확장 맵 범주에서 PCF를 간단하게 해석 할 수 있음을 보여주었습니다. 그는이 모델이 적절하고 타임 아웃 구문 (즉, 유한 한 수의 단계에 대해 인수를 실행하는 연산자) 내에서 종료되지 않으면 응답을 생성하거나 오류를 표시하는 연산자를 추가 할 수 …