집합

위키백과 ― 우리 모두의 백과사전.

집합(set)은 수학에서 여러 대상들의 모임을 말하며, 집합을 다루는 이론을 집합론이라고 한다. 19세기 말에 개발된 집합론은 수학의 다른 이론들에 비해 역사가 짧은 편이나, 현대 수학의 거의 모든 이론은 집합론을 토대로 이루어져 있다.

이 글은 초등 교육에서 다루어지는 소박한 집합론에 대한 기본적인 소개를 목적으로 한다. 현대의 수학자들은 소박한 집합론이 갖고 있던 역설들을 해결하기 위해 개발된 공리적 집합론을 사용한다.

목차 1 집합의 정의 2 집합의 원소 3 집합의 표현 3.1 원소나열법 3.2 조건제시법 4 포함 관계 5 집합의 기수 6 중요한 집합들 7 같이 보기

[편집] 집합의 정의

집합은 서로 구별되는 대상들을 순서와 무관하게 모은 것이다. 이 때 집합에 속하는 각각의 대상들을 원소라고 한다. 세상에 존재하는 거의 모든 것들은 집합의 원소가 될 수 있으며, 이는 숫자나 대수, 사람, 글자, 집합, 국가와 같은 개념들을 포함한다. 집합은 일반적으로 알파벳의 대문자로 표기한다.

[편집] 집합의 원소

이 부분의 본문은 원소 (수학)입니다.

집합을 이루는 대상 하나하나를 그 집합의 원소라고 한다. 또 어떤 것이 집합의 원소일 때 그것은 그 집합에 속한다라고 한다.

• 집합 : 어떤 조건에 의하여 그 대상이 명확한 모임
• 원소 : 집합을 이루는 대상 하나하나
• 속한다 : 원소 a가 집합 A의 원소일 때, a는 A에 속한다고 하며, 기호 ∈로 나타낸다.
• 공집합 : 원소를 하나도 가지지 않는 집합이며, 기호 ø로 나타낸다

[편집] 집합의 표현

수학에서 집합을 서술하기 위해 일반적으로 사용되는 방법으로는 원소나열법과 조건제시법이 있다.

[편집] 원소나열법

이 방식은 집합에 들어있는 원소들을 직접 나열하는 방식이다.

• {1, 2, 3}
• {흰색, 검은색}

또한, 원소의 수가 많고 원소들 간에 규칙이 있을 때에는 중간을 생략할 수 있다.

• {1, 2, 3, ..., 100} : 1부터 100까지의 자연수가 있는 집합
• {2, 4, 6, ..., 40} : 2부터 40까지의 짝수가 있는 집합

이와 같은 표기를 사용할 때에는 규칙성을 알 수 있어야 한다. 예를 들어, {1, 4, 5, 7, ..., -4}와 같은 집합에서는 중간에 생략된 숫자들이 무엇인지 추측할 수 없다.

[편집] 조건제시법

이 방법은 원소들을 구체적으로 설명하는 대신에, 원소들의 논리적 관계를 기술한다. 예를 들어,

{ x | x는 1부터 10까지의 자연수 }

와 같은 집합이 있다면, 이 집합은 {1, 2, 3, 4, 5, 6, 7, 8, 9, 10}과 동일한 집합이 된다.

이것은 { (원소) | (원소의 조건) }과 같이 표기한다. 여기에서 앞의 원소 부분에 변수가 한 개만 있을 필요는 없다. 예를 들어, 다음의 설명 방식도 가능하다.

{ x+y | x는 1 또는 2, y는 3 또는 4 } = { 4, 5, 6 }

{ (x,y) | x ∈ {1,2}, y ∈ {1,2} } = { (1,1), (1,2), (2,1), (2,2) }

또 다른 예도 있다.

{ x | x < 15 인 짝수 }

[편집] 포함 관계

어떠한 원소가 집합에 속해 있는지를 표기할 때에는 , 기호를 사용한다.

예를 들어, 집합 A가 A = {1, 2, 3, 4}라고 할 때 3이 집합 A에 속한다는 것을 다음과 같이 표기한다.

마찬가지로, 5가 집합 A에 속하지 않는다는 것은 다음과 같이 표기한다.

또한, 집합 A의 모든 원소가 다른 집합 B의 원소가 될 때 A는 B에 포함된다, 또는 B는 A를 포함한다라고 한다. 그리고 A는 B의 부분집합이다.

예를 들어, 집합 A가 A={1,2,3}이고, 집합 B가 B={1,2,3,5,7}일 때, A는 B에 포함되고, B는 A를 포함한다. 이것은 다음과 같이 표기한다.

두 집합 A, B가 가지고 있는 모든 원소가 서로 같다면, 두 집합은 같다(상동)고 말한다. 좀 더 엄밀히 말하면, A가 B의 부분집합이면서, 동시에 B가 A의 부분집합이면 두 집합은 같은 집합이다.

그리고

[편집] 집합의 기수

집합이 가진 원소의 수를 집합의 기수(혹은 크기)라고 한다. 즉, 집합 {1, 2, 3, 4, 5}는 5이다.

기수가 0인 집합도 있으며, 이를 공집합이라 부르고 Ø라는 기호로 나타낸다. 예를 들어, 변이 4개인 삼각형의 집합은 공집합이다.

집합 중에는 자연수의 집합을 비롯해 무한히 많은 원소를 가진 것도 있으며, 이를 무한 집합이라 한다. 반대로, 원소의 수가 유한한 경우는 유한 집합이라 한다.

[편집] 중요한 집합들

다음의 집합들은 수학에서 매우 자주 사용되며, 따라서 특별한 기호를 배정해 나타낸다.

• 은 자연수의 집합이다.
• 는 정수의 집합이다.
• 는 유리수의 집합이다.
• 는 무리수의 집합이다. 간혹 로 쓰기도 한다.
• 은 실수의 집합이다.
• 는 복소수의 집합이다.

[편집] 같이 보기

• 집합론