수천 년에 이르는 수학의 긴 역사에 비추어볼 때, 집합론은 어느날 갑자기 생겨난 새로운 분야이다. 그러나 집합론은 세상에 나오자마자 수학을 공부하는 사람이라면 누구나 알아야 하는 기본이 되었다. 실제로 19세기 후반 집합론이 나온 이후 20세기 이후의 거의 모든 수학은 집합에 그 기반을 두게 되었으며, 집합은 수학을 기술하는 언어로 자리잡았다. 수학은 기존에 알고 있던 내용으로부터 새로운 내용을 논리적으로 구성하는 학문이다. 따라서, 끊임없이 ‘왜’라는 질문을 던지게 되며, 도대체 어디에서부터 논의를 시작해야 하는가, 어디까지 당연한 것으로 받아들여야 하는가 하는 문제에 부딪히게 되는데, 결국 집합론에 이르게 된다. 그러므로 집합론은 논리학뿐 아니라 인간의 ‘앎’이란 무엇인가 하는 보다 깊은 철학적인 문제와 맞닿게 된다. 이 책의 목적은 수학을 공부하는 데에 꼭 필요한 언어를 배우는 것이다. 본격적인 집합론을 체계적으로 공부하는 것은 아니기 때문에, 어려운 개념이나 기호는 피하고 모든 논의를 상식적인 선에서 시작한다. 처음에는 대부분의 집합론 교재에서 첫머리에 나오는 공리조차 언급하지 않고 그냥 받아들인다. 이 책의 또 다른 목적은 자연수, 정수, 유리수, 실수 등을 구성하는 것이다. 공집합 ∅에서 출발하여 자연수를 구성할 뿐 아니라 초등학교에서부터 배우는 더하기와 곱하기를 ‘정의’ 하고 결합법칙과 교환법칙 및 배분법칙 등을 ‘증명’하게 된다. 이를 바탕으로 정수, 유리수, 실수를 구성하고, 고등미적분이나 해석개론에서 대개 공리로 받아들이는 ‘완비성 공리’ 를 증명한다. 집합론의 핵심은 무한집합의 성질을 공부하는 것인데, 이 책에서는 그 초보적인 내용을 공부한다. 자연수가 가지는 기능의 핵심은 순서를 매기고 개수를 세는 것이다. 무한집합에 대하여 이러한 일을 할 수 있는 새로운 ‘무한수’를 도입하게 되면서부터 인류는 그 전에 감히 들여다볼 수 없었던 ‘무한’의 세계를 좀더 자세히 이해할 수 있게 되었다. 이 책은 이러한 세 가지 목적에 부합되도록 구성되었다. 먼저 제1장에서 집합의 연산, 함수, 그리고 수학에서 가장 기본인 동치관계 및 순서 등 모든 분야의 수학에서 필수적으로 사용되는 용어들을 정의하고 간단한 성질을 살펴본다. 이를 통하여 수학에서 가장 기본적인 언어인 ‘같다’, ‘크다’, ‘작다’ 등의 개념을 명확하게 할 수 있다. 이를 바탕으로 제2장에서 자연수, 정수, 유리수, 실수 등 수집합을 구성하고 이들의 연산과 순서를 정의한다. 실수의 구성은 데데킨트와 칸토어의 방법 두 가지를 살펴보는데, 두 가지 방법은 결국 같은 결론에 다다르게 된다. 제3장에서 이 책의 핵심인 무한집합을 공부하는데, 무한집합의 순서와 개수를 세는 서수 및 기수를 도입하고 그 성질을 알아본다. 끝으로, 제4 장에서 이 책에서 사용한 공리들에 대하여 잠시 살펴본다. -머리말 중에서-

머리말 ∙ iii

1 장 기본 개념 

1.1 명제와 집합 ∙ 3 

1.2 동치관계 ∙ 14 

1.3 함수 ∙ 24 

1.4 순서 ∙ 33 

2 장 수의 체계 

2.1 자연수 ∙ 43 

2.2 정수와 유리수 ∙ 53 

2.3 데데킨트 절단과 실수 ∙ 63 

2.4 코시 수열과 실수 ∙ 69 

2.5 완비순서체 ∙ 77 

3 장 무한집합 

3.1 선택공리 ∙ 89 

3.2 선택공리의 응용 ∙ 97 

3.3 정렬집합과 서수 ∙ 101 

3.4 무한집합과 선택공리 ∙ 108 

3.5 기수의 연산과 순서 ∙ 113 

3.6 서수와 기수의 정의 ∙ 121 

4장 공리계 

4.1 집합론의 공리 ∙ 129 

4.2 무모순성과 독립성 ∙ 132 

참고 문헌 ∙ 137 찾아보기 ∙ 139

계승혁

저서

<기초미적분학>,<집합과 수의 체계>,<실해석>,<기초복소해석> 등

 

등록된 사용후기

사용후기 쓰기 새 창 더보기

사용후기가 없습니다.

등록된 상품문의

상품문의 쓰기새 창 더보기

상품문의가 없습니다.

배송정보

교환/반품 정보