최근 수정 시각 : 2025-02-18 00:34:03

완비 범주


[[대수학|대수학
Algebra
]]
{{{#!wiki style="margin: 0 -10px -5px; min-height: calc(1.5em + 5px)"
{{{#!folding [ 펼치기 · 접기 ]
{{{#!wiki style="margin: -5px -1px -11px"		 이론
기본 대상 연산 · 항등식(가비의 이 · 곱셈 공식(통분 · 약분) · 인수분해) · 부등식(절대부등식) · 방정식(/풀이 · 근(무연근 · 허근 · 비에트의 정리(근과 계수의 관계) · 제곱근(이중근호 · 개방법) · 환원 불능) · 부정 · 불능) · 비례식 · 다항식 · 산술(시계 산술)
수 체계 자연수(소수) · 정수(음수) · 유리수 · 실수(무리수(대수적 무리수 · 초월수) · 초실수) · 복소수(허수) · 사원수 · 팔원수 · 대수적 수 · 벡터 공간
다루는 대상과 주요 토픽
대수적 구조
군(group) 대칭군 · 기본군 · 자유군 · 리 군 · 괴물군 · 점군 · 순환군 · 군의 작용 · 동형 정리 · 실로우 정리
환(ring) 아이디얼
체(field) 갈루아 이론 · 분해체
대수 가환대수 · 리 대수 · 불 대수(크로네커 델타)
마그마·반군·모노이드 자유 모노이드 · 가환 모노이드
선형대수학 벡터 · 행렬 · 텐서(텐서곱) · 벡터 공간(선형사상) · 가군(module) · 내적 공간(그람-슈미트 과정 · 수반 연산자)
정리·추측
대수학의 기본정리 · 나머지 정리 · 유클리드 호제법 · 부분분수분해 · PID 위의 유한생성 가군의 기본정리 · 산술·기하 평균 부등식 · 바이어슈트라스 분해 정리 · 호지 추측미해결 · 가환대수에서의 호몰로지 추측미해결
관련 하위 분야
범주론 함자 · 수반 · 자연 변환 · 모나드 · 쌍대성 · 토포스 이론 · 타입 이론
대수 위상수학 연속변형성 · 사슬 복합체 · 호몰로지 대수학(호몰로지 · 코호몰로지) · mapping class group · 닐센-서스턴 분류 · 호프대수
대수기하학 대수다양체 · 층 · 스킴 · 에탈 코호몰로지 · 모티브
대수적 정수론 타원곡선 · 디오판토스 방정식 · 유리근 정리 · 모듈러성 정리
가환대수학 스펙트럼 정리
표현론 실베스터 행렬
기타 및 관련 문서
수학 관련 정보 · 추상화 · 1학년의 꿈 · 노름 · 혼합계산 · 분배법칙 · 교환법칙 · 결합법칙 · 교재 · 과일 분수방정식 문제 }}}}}}}}}

1. 개요2. 완비 범주의 정의 및 성질3. 예시: 완비 범주4. 공완비 범주
4.1. 정의4.2. 쌍대극한의 성질4.3. 주요 예시4.4. 공완비 범주의 예4.5. 응용4.6. 공완비 범주의 역사
5. 응용6. 관련 문서

1. 개요

完備範疇 / Complete Category

완비 범주는 범주론에서 모든 작은 다이어그램에 대한 극한이 존재하는 범주를 말한다. 완비 범주는 수학적 구조의 일반적 성질을 연구하는 데 필수적인 도구이며, 위상수학, 대수학, 논리학 등 다양한 분야에서 응용된다.

2. 완비 범주의 정의 및 성질

  • 완비 범주의 정의

      • 범주 [math(C)]가 완비 범주라는 것은 [math(C)]의 모든 작은 다이어그램 [math(F : J \to C)]에 대해 극한 [math(\text{lim } F)]이 존재함을 의미한다. 즉, 임의의 작은 범주 [math(J)]와 다이어그램 [math(F : J \to C)]에 대해 다음 조건을 만족하는 대상 [math(L)]이 존재한다:
      [math(L)]은 다음의 보편 성질을 만족하는 대상이다:

      [math(\forall X \in C, \exists! h : X \to L, \text{such that } h \circ \phi_j = \phi'_j, \forall j \in J)]
  • 극한의 보편 성질

      • 극한은 다음과 같은 보편 성질로 정의된다:
      임의의 대상 [math(C)]에서 다이어그램 [math(F)]로의 사상 [math(h)]이 존재하면, 유일한 사상 [math(u)]이 존재하여 이를 표현할 수 있다:

      [math(h = u \circ \pi)]
  • 끝과 시작의 존재

      • 완비 범주에서는 모든 다이어그램에 대해 끝 (terminal object)과 시작 (initial object)이 존재한다.
  • 곱과 당김의 존재

      • 완비 범주는 모든 대상에 대한 곱과 당김을 가지며, 이는 작은 다이어그램에 대한 극한의 구체적인 예이다.

3. 예시: 완비 범주

  • 집합의 범주

      • 집합의 범주 [math(Set)]는 완비 범주이다. 모든 작은 다이어그램에 대해 극한이 존재하며, 이는 곱집합, 당김, 끝 등이 포함된다. 예를 들어, 두 집합 [math(A, B)]의 곱은 다음과 같이 표현된다:
      [math(A \times B = \{(a, b) \mid a \in A, b \in B\})]
  • 위상 공간의 범주

      • 위상 공간의 범주 [math(Top)]도 완비 범주이다. 모든 작은 다이어그램에 대해 극한이 존재하며, 위상적 곱과 당김 등이 포함된다.

4. 공완비 범주

共完備範疇/Cocomplete Category

공완비 범주는 범주론에서 모든 작은 다이어그램에 대한 쌍대극한 (Colimit)이 존재하는 범주를 말한다. 공완비 범주는 범주 내에서 정보를 "확장"하는 도구로, 다양한 수학적 구조를 분석하고 응용하는 데 중요한 역할을 한다.

4.1. 정의

공완비 범주란, 범주 [math(C)]가 다음 성질을 만족할 때 공완비라고 한다:
  • [math(C)]의 모든 작은 다이어그램 [math(F : J \to C)]에 대해 쌍대극한 [math(\text{colim } F)]이 존재한다.
  • 쌍대극한은 보편 성질을 만족한다.
보편 성질: 임의의 대상 [math(X \in C)]와 사상 [math(\psi_j : F(j) \to X)]이 주어졌을 때, 유일한 사상 [math(h : L \to X)]이 존재하여 [math(\psi_j = h \circ \phi_j)]를 만족한다.

4.2. 쌍대극한의 성질

  • 보편적 특성

      • 쌍대극한은 주어진 다이어그램의 모든 정보를 하나의 대상 [math(L)]로 "확장"하는 방식으로 정의된다. 이때, [math(L)]은 보편성을 만족하여 다른 모든 대상을 유일하게 참조할 수 있다.
  • 대칭성

      • 쌍대극한은 극한의 대칭적 개념으로, 범주론에서의 대칭성과 이중성을 연구하는 데 핵심적인 역할을 한다.

4.3. 주요 예시

  • 쌍대곱 (Coproduct)

      • 두 대상 [math(A, B)]의 쌍대곱 [math(A \amalg B)]은 다음 보편 성질을 만족한다:
      임의의 대상 [math(X)]와 사상 [math(f : A \to X, g : B \to X)]이 주어졌을 때, 유일한 사상 [math(h : A \amalg B \to X)]이 존재하여 [math(h \circ \iota_A = f, \ h \circ \iota_B = g)]를 만족한다.
  • 푸시아웃 (Pushout)

      • 사상 [math(f : A \to B)]와 [math(g : A \to C)]가 주어졌을 때, 푸시아웃 [math(P)]은 다음 다이어그램의 쌍대극한이다:
[math(\begin{array}{ccc}
A & \xrightarrow{f} & B \\
\downarrow{g} & & \downarrow \\
C & \to & P
\end{array})]
  • 시작 (Initial Object)

      • 범주 [math(C)]에서의 시작은 다이어그램이 없는 경우의 쌍대극한으로 간주된다. 이는 모든 대상 [math(X \in C)]에 대해 유일한 사상 [math(0 \to X)]이 존재하는 대상을 의미한다.

4.4. 공완비 범주의 예

  • 집합의 범주

      • 집합의 범주 [math(Set)]는 공완비 범주이다. 모든 작은 다이어그램에 대해 쌍대극한이 존재하며, 이는 쌍대곱, 푸시아웃, 시작 등이 포함된다.
  • 위상 공간의 범주

      • 위상 공간의 범주 [math(Top)]는 공완비 범주이다. 예를 들어, 두 위상 공간의 쌍대곱은 위상적 쌍대합으로 정의된다.
  • 대수적 구조의 범주

      • 군, 환, 가군 등 대수적 구조의 범주도 공완비 범주이다. 이는 자유곱, 푸시아웃 등의 구조를 통해 나타난다.

4.5. 응용

  • 데이터 확장

      • 공완비 범주는 데이터를 "확장"하는 방식으로 모델링한다. 이는 범주론에서의 다이어그램 이론과 호몰로지 이론에서 중요한 역할을 한다.
  • 대수학

      • 대수학에서 공완비 범주는 자유 대수 구조를 정의하거나, 대수적 구조 간의 관계를 분석하는 데 사용된다.
  • 위상수학

      • 위상수학에서는 공완비 범주가 위상 공간 간의 관계를 연구하거나, 새로운 위상 공간을 구성하는 데 활용된다.

4.6. 공완비 범주의 역사

공완비 범주의 개념은 에일린버그와 맥레인이 범주론을 체계화하는 과정에서 도입되었다. 이후 공완비 범주는 대수학과 위상수학의 다양한 응용에서 핵심적인 역할을 하며 발전해왔다.

5. 응용

  • 완비 범주의 응용

      • 완비 범주는 위상수학, 대수학, 논리학 등 다양한 분야에서 사용된다. 예를 들어, 위상 공간의 구조적 관계를 분석하거나, 대수적 구조 간의 관계를 설명하는 데 유용하다.
  • 공완비 범주의 응용

      • 공완비 범주는 범주론에서 다이어그램 확장을 연구하거나, 데이터의 확장적 성질을 설명하는 데 활용된다. 예를 들어, 호몰로지 이론에서의 기본 구조 연구에 활용된다.

6. 관련 문서

분류