집합 26

함수 (function)란?

집합 A에서 집합 B로 정의된 함수 f는 다음 두가지 조건을 만족하는 관계입니다. ⅰ) 정의역이 A와 같습니다 : dom(R) = A 즉 모든 a∈A에 대해서, (a,b)∈f를 만족하는 b가 집합 B에 존재합니다. (A의 원소중 f의 정의에 사용되지 않은 것이 없다는 뜻입니다.) ⅱ) (a,b)∈f 이고 (a,c)∈f 이면 b=c 즉 정의역의 한 원소에 (f를 통해) 대응하는 상의 원소의 개수는 하나라는 뜻입니다. 예를들어 다음 그림과 같이 정의된 관계 f의 경우 : f = {(δ,a), (γ,b)} ω∈A가 관계 f의 정의역에 포함되지 않으므로 조건ⅰ)을 만족시키지 않아 함수가 되지 않습니다. 그리고 관계 f가 다음 그림과 같이 정의된 경우 : f = {(ω,c), (δ,a), (δ,c), (γ,b)}..

집합 2012.08.15

역관계 (inverse relation)

역관계는 이항관계에서 그 관계를 갖는 원소의 순서를 바꾼것을 뜻합니다. 간단히 말해 aRb일때 Q를 R의 역관계라고 정의하면 bQa가 되는 것입니다. R의 역관계는 기호로 을 사용하며 다음과 같이 정의됩니다. 예를들어 관계 R이 남자친구 관계인 경우 aRb이면 a는 b의 남자친구이다가 됩니다. 여기서 Q를 R의 역관계라고 합시다. 그러면 Q는 aRb를 만족하는 (a,b)에 대해서 (b,a)들의 집합이 되므로 여자친구 관계라고 해석할 수 있습니다. R이 크다 관계인 경우는 R의 역관계는 작다 관계가 되겠네요

집합 2012.08.13

관계 (relation)란?

두 집합 A, B에서 정의된 관계는 A의 원소와 B의 원소로 이루어진 순서쌍의 집합을 뜻합니다. 즉 관계 R은 A와 B의 데카르트 곱의 부분집합이 됩니다. (a,b)∈R일때 aRb라고 적으며 a는 b와 R 관계이다 (a is R-related to b)라고 읽습니다. 실수의 집합에서 크다, 작다, 같다, 크거나같다 등등도 모두 관계이며 ×의 부분집합으로 정의됩니다. 어떤 관계 R의 한 원소 (a,b)를 그림으로 다음과 같이 나타낼 수 있습니다. 관계의 특성을 이해할 때 이렇게 그림으로 나타내는 방식을 자주 사용합니다. 위의 정의는 정확히 말해 이항관계 (binary relation)입니다. 즉 어떤 두 대상 사이의 관계인 것이고 이것을 일반화시켜 n개의 대상 사이의 관계 (n항 관계 : n-ary rel..

집합 2012.08.13

데카르트 곱 (cartesian product)

데카르트 곱은 공집합이 아니 집합들로부터 새로운 집합을 만드는 한가지 방법입니다. 일반적으로 두 집합의 데카르트 곱을 고려하며 집합 A, B가 공집합이 아닐때 A, B의 데카르는 곱은 다음과 같이 정의됩니다. 즉, A×B는 A의 원소가 첫번째 원소, B의 원소가 두번째 원소인 순서쌍들의 집합입니다. 예를들어 A = { a, b, c }, B = { 1, 2 }이면 A×B={ (a,1), (a,2), (b,1), (b,2), (c,1), (c,2) }가 됩니다. 세개 이상의 집합에 대한 데카르트 곱은 다음과 같이 정의됩니다. 이것은 두 집합의 데카르트 곱을 순차적으로 적용했다고 생각하시면 됩니다. 예를들어 4개의 집합에 대한 데카르트 곱의 경우 다음과 같습니다. 실수 전체 집합 의 데카르트곱 ×은 2차원 ..

집합 2012.08.10

구간 (interval) : 개구간, 폐구간, 반개구간, 반폐구간

구간 (interval)은 실수의 집합 중에서 그 집합의 임의의 두 원소 사이의 원소가 모두 그 집합에 포함되는 집합입니다. 구간은 끝점 (end point)의 포함 여부에 따라 개구간, 폐구간등으로 나눠 집니다. 임의의 실수 a, b가 a< b일때 { x ∈ | a < x < b }는 a, b에 의해 정해지는 개구간 (open interval)이라고 하고 기호로 (a,b)로 나타냅니다. { x ∈ | a ≤ x ≤ b }는 a, b에 의해 정해지는 폐구간 (closed interval)이라고 하고 기호로 [a,b]로 나타냅니다. { x ∈ | a ≤ x < b } 또는 { x ∈ | a < x ≤ b }는 a, b에 의해 정해지는 반개구간 (half-open interval) 이라고 하고 기호로 [a,..

집합 2012.07.22

유한번 (finite) / 가산번 (countable)의 합집합 혹은 교집합

유한번의 합집합 또는 교집합은 말 그대로 합집합 또는 교집합을 유한번 하는 것입니다. 자연수 n에 대해서 또는 로 표현되는 경우를 말합니다. 예를들어 집합의 모임 A가 유한번의 합집합에 대해 닫혀있다는 말은 A의 원소 중 유한개를 뽑아서 합집합을 하면 A에 포함된다는 뜻입니다. 가산번의 합집합 또는 교집합은 말 그대로 합집합 또는 교집합을 가산번 하는 것입니다. 또는 로 표현되는 경우를 말합니다. 예를들어 집합의 모임 A가 가산번의 합집합에 대해 닫혀있다는 말은 A의 원소를 가산적으로 무한개 (countably infinite)를 뽑아서 합집합을 해도 A에 포함된다는 뜻입니다. 집합의 수열 A1, A2, A3, …를 잡을때 같은 집합을 잡을 수도 있습니다. 예를들어 A=A1, B=A2=A3=…

집합 2012.07.21