Set Theory

이 글에서는 자연수의 덧셈, 곱셈, 거듭제곱을 정의하고 이 연산의 기본 성질을 살펴본다. 덧셈, 곱셈, 거듭제곱의 정의 정리 1.  자연수의 연산의 정의. (1) 다음 두 조건을 모두 만족시키는 함수 \(+:\mathbb{N}\times\mathbb{N}\rightarrow\mathbb{N}\)이 유일하게 존재한다. 임의의 자연수 \(n\)에 대하여 \(n+0 = n\), 임의의 자연수 \(n,\) \(m\)에 대하여 \(n+m^+ = (n+m)^+ .\) (2) 다음 두 …

수학적 귀납법은 정의역이 자연수 집합인 함수의 성질을 밝힐 때뿐만 아니라 정의역이 자연수 집합인 함수를 정의할 때도 사용된다. 예컨대 \(a\)가 \(0\)이 아닌 실수이고 \(n\)이 자연수일 때 \[a^0 = 0 ,\quad a^{n+1} = a^n \times a\] 라고 정의하면, 모든 자연수 \(n\)에 대하여 거듭제곱 \(a^n\)이 정의된다. 이와 같은 방법으로 정의된 함수를 귀납적으로 정의된 …

거듭제곱집합과 데카르트 곱 ZF6. 거듭제곱집합 공리; Power set axiom. \(x\)가 집합이라고 하자. 그러면 \(x\)의 모든 부분집합만을 원소로 갖는 집합이 존재한다. \(x\)가 집합일 때 \(x\)의 모든 부분집합만을 원소로 갖는 집합은 유일하다. 그러므로 다음과 같이 정의한다. 정의 1. \(x\)가 집합일 때, \(x\)의 모든 부분집합만을 원소로 갖는 집합을 \(x\)의 거듭제곱집합(power set) 또는 멱집합이라고 …

집합론의 언어 집합론의 언어 \(\mathcal{L}\)이란 일차술어논리(FOPC; first order predicate calculus)에 이항관계기호 ‘∈’이 추가된 것이다. 여기서 이항관계기호 ‘∈’는 집합(set)이라고 불리는 두 대상 \(x\)와 \(X\) 사이의 ‘원소 관계’ \(x\in X\)를 나타낸다. 이로써 언어 \(\mathcal{L}\)은 다음과 같은 기호로 구성된 언어이다. 논리외적기호 ‘∈’ 논리기호 ‘∧’, ‘∨’, ‘￢’, ‘→’, ‘∀’, ‘∃’, ‘＝’ 괄호 ‘(’, ‘)’ …