Set Theory

📖 Intuitive Set Theory: From Finite Sets to the Transfinite (PDF) This book is an introduction to set theory that begins from the intuitive viewpoint most readers naturally bring to the subject and leads, by careful stages, to two of its deepest themes: Cantor’s theory of infinite size and the …

이 글에서는 자연수의 덧셈, 곱셈, 거듭제곱을 정의하고 이 연산의 기본 성질을 살펴본다. 덧셈, 곱셈, 거듭제곱의 정의 정리 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}\)은 다음과 같은 기호로 구성된 언어이다. 논리외적기호 ‘∈’ 논리기호 ‘∧’, ‘∨’, ‘￢’, ‘→’, ‘∀’, ‘∃’, ‘＝’ 괄호 ‘(’, ‘)’ …