# 컴팩트성 ## 개요 **컴팩트성**(compactness)은 일반 위상수학에서 가장 중요한 개념 중 하나로, 공간의 "크기"와 "구조"에 대한 정보를 제공하는 위상적 성질이다. 직관적으로, 컴팩트 공간은 "유한한 것처럼 행동하는" 무한 집합이라 할 수 있다. 이 개념은 해석학, 함수해석학, 대수기하학 등 수학 전반에서 널리 활용되며, 특히 연속함수의...

# 관계 관계(Relation)는 집합론에서 개 이상의 객체 사이의 연결성을 수학적으로 정의한으로, 수학 전반에서 기초적인 도구로 사용된다. 특히 집합의 원소들 사이에 어떤 조건이나 규칙에 따라 연결이 이루어지는지를 형식 기술할 수 있으며, 함수, 순서, 동치 관계 등 다양한 수학 구조의 기반이 된다. 이 문서에서는 집합론에서의 '관계'의 정의, 종류, ...

Agda Agda는 함수형 프로그래밍 언어이자 **정형 증명기**(proof assistant)로, 수학적 정리의 형식적 증명과 소프트웨어의 정확성 검증을 위해 설계된 고급 언어입니다. Agda는 **의존 타입**(dependent types)을 지원하여, 프로그램의 구조와 논리적 성질을 타입 시스템에 직접 반영할 수 있어, 프로그램이 요구된 사양을 만족...

범주론 ## 개요 범주론(Category Theory)은 수학의 분야로, 다양한 수학적 구조와 그 사이의 관계를 추상적으로 다루는 이이다. 1940년대에 샘UEL 에일렌버그(Samuel Eilenberg와 새먼 매클레인(Saunders Mac Lane)에 의해 위상수학과 호몰로지 대수학의 개념을 일반하기 위해 도입되었으며 오늘날에는 수학 전반은 물론 컴...

# 집합 연산 집합 연산(Set Operations)은 수, 특히 집합론(Set)에서 두 개의 집합을 조합하거나 비교하여 새로운 집합을 생성하는 기본적인 방법을 의미합니다. 집합은 서로 다른 원소(element)의 모임으로 정의되며, 이소들 사이의계를 분석하고작하기 위해 다양한 연산이 사용됩니다. 집합 연산은 수학 전반뿐 아니라 컴퓨터 과학, 논리학, 통...