문맥 (context)
집합론에서, 정규 함수(正規函數, normal function)는 그 도함수를 취할 수 있는, 정의역과 공역이 순서수의 모임인 연속 증가 함수이다. 이를 사용하여 매우 큰 가산 순서수들을 나타낼 수 있다.
가 다음 조건을 만족시킨다면 정규 함수라고 한다.
성질
정규 함수는 다음 성질들을 만족시킨다.
existsvarsigmacolonsigma=varsigma+1이라고 하자. 그렇다면 extstyle f(sup S)=sup_{alpha^{도함수
베블런 고정점 정리(Veblen固定點定理, Veblen fixed-point theorem)에 따르면, f의 고정점들의 모임의 상한은 kappa이다.
이다.
이에 따라, 정규 함수 f의 도함수(導函數, derivative) f'colonkappa okappa를 다음과 같이 정의할 수 있다.
정규 함수의 도함수 역시 정규 함수이다. 따라서, 이를 반복하여 모든 유한 순서수 n에 대하여 도함수를 다음과 같이 정의할 수 있다.
은 kappa와 순서 동형이며, 따라서 이를 열거하여 f^{(alpha)}(gamma)를 위 공통 고정점 집합의 alpha번째 원소로 정의할 수 있다.
이와 같이, f의 초한 도함수들을 모두 정의할 수 있다. 이 초한 함수열을 f의 베블런 위계(Veblen hierarchy)라고 한다.
특히, 순서수 delta에 대하여 delta진 베블런 위계(base-delta Veblen hierarchy)란 정규 함수 alphamapstodelta^alpha에 대한 베블런 위계를 뜻하며, 정규 함수를 명시하지 않고 "베블런 위계"라고 하면 alphamapstoomega^alpha의 베블런 위계를 뜻한다.
예
다음과 같은 함수들은 정규 함수이다.
지시문 (instruction)
주어진 원문을 읽고 필요한 정보를 파악하여, 원문에 근거해 질문에 답하라.
질문 (question)
집합론에서 정규 함수가 갖는 주요 용도는 무엇인가?
추론 과정 (compact_reasoning)
-
1과제 해석
task_interpretation정규 함수의 핵심적인 의의와 용도를 묻는 질문임을 파악한다.
-
2정보 추출
information_extraction본문에서 정규 함수의 정의와 용도에 관한 문장을 탐색한다.
- 정규 함수(正規函數, normal function)는 그 도함수를 취할 수 있는, 정의역과 공역이 순서수의 모임인 연속 증가 함수이다. 이를 사용하여 매우 큰 가산 순서수들을 나타낼 수 있다.
-
3근거 선택
evidence_selection용도와 직접적으로 관련된 '매우 큰 가산 순서수들을 나타낼 수 있다'는 구절을 선택한다.
- 이를 사용하여 매우 큰 가산 순서수들을 나타낼 수 있다.
-
4논리 통합
logical_integration정규 함수의 정의적 특성을 바탕으로 그것이 수행하는 역할을 연결한다.
-
5결론 도출
conclusion_formulation정규 함수는 매우 큰 가산 순서수들을 나타내는 데 사용된다는 결론을 도출한다.
- 이를 사용하여 매우 큰 가산 순서수들을 나타낼 수 있다.
-
6답변 생성
answer_generation질문에 대해 문맥에 근거하여 명확하게 답변을 작성한다.
- 이를 사용하여 매우 큰 가산 순서수들을 나타낼 수 있다.
최종 답변 (final_answer)
정규 함수는 매우 큰 가산 순서수들을 나타내는 데 사용될 수 있다.
핵심 해석 (core_interpretation)
집합론에서 정규 함수는 매우 큰 가산 순서수들을 나타내는 수학적 역할을 수행한다.