Type a search term to find related articles by LIMS subject matter experts gathered from the most trusted and dynamic collaboration tools in the laboratory informatics industry.
모형 이론에서 초곱(超곱, 영어: ultraproduct 울트라프로덕트[*])은 여러 구조들의 곱집합의 동치류 집합 위에 정의된 더 큰 구조이다.
형이 인 구조들의 집합 및 위의 극대 필터 가 주어졌다고 하자. 는 부분 순서 집합이므로, 이를 범주로 간주할 수 있다. 그렇다면 다음과 같은 함자를 정의하자.
그렇다면, 의 초곱 은 집합으로서 의 쌍대극한 이다. 이는 구체적으로 다음과 같다. 순서쌍
사이에 다음과 같은 동치 관계를 부여하자.
그렇다면
이다. 여기에 다음과 같은 -구조를 부여한다. 여기서 , , 따위로 쓰자.
이는 형의 구조를 이룬다는 것을 보일 수 있다.
만약 모든 가 공집합이 아니거나, 아니면 라면 에서 인 경우로 국한할 수 있다. 즉,
으로 정의할 수 있다.
만약 모든 들이 같을 경우, 의 초곱을 의 초거듭제곱(超거듭제곱, 영어: ultrapower 울트라파워[*])이라고 한다.
워시 정리(영어: Łoś’ theorem)는 1차 논리의 명제가 초곱에서 성립할 필요충분조건을 제공한다. 부호수 의 구조의 집합 및 극대 필터 및 및 에 대한, 개의 자유 변수를 갖는 1차 논리 명제 에 대하여, 다음 두 조건이 서로 동치이다.
이는 예르지 워시(폴란드어: Jerzy Łoś)가 증명하였다.
라면, 초곱은 단순히 를 얻는다.
실수 집합 는 순서체의 형 의 구조이다. 실수의 집합의 개 초승은 실수의 모든 1차 논리적 성질들을 만족시키며, 이를 초실수라고 한다.