1. 대칭차집합

    A∪B에서 A∩B를 뺀것. 표시는 A(+)B라고 표시한다.

    ex) A= {1,2,3,4,5} 일때 B={1,3,5,7,9}일때 A(+)B의 값은?


    A∪B = {1,2,3,4,5,7,9}

    A∩B = {1,3,5}


    A(+)B = {2,4,7,9}


    2. 집합연산의 카디날리티

    카디날리티란?

    그 집합의 원소의 개수를 나타낸다. 표시할때는 n(A) or |A| 라고 나타낸다.


    1. |A∪B| = |A| + |B| - |A∩B|

    2. |A∪B∪C| = |A| + |B| + |C| - |A∩B| - |A∩C| - |B∩C| + |A∩B∩C|

    [그림]


    이해가 잘 되지않아 그림으로 만들어서 순차적으로 진행해본다

    |A+B+C|를 했을때 겹친 횟수를 적었다.


    3. 집합연산의 대수법칙

    (논리적 동치관계의 기본법칙과 비슷하다.)

    교환법칙:    A∪B = B∪A, B∩A = A∩B

    결합법칙:    (A∪B)∪C = A∪(B∪C), (A∩B)∩C = A∩(B∩C)

    분배법칙:    A∪(B∩C) = (A∪B)∩(A∪C), A∩(B∪C) = (A∩B)∪(A∩C)

    드모르간 법칙: (A∪B)^c = A^c∩B^c, (A∩B)^c = A^c∪B^c

    항등법칙: A∪∮=A ,A∩∮=∮,A∪U=U, A∩U=A


    4. 분할(Partition)

    집합 S의 분할이란 공집합이 아닌 S의 부분집합의 모임 (모임이기때문에 표시할때 집합으로 감싸주어야한다.)

    4 - 1. 분할의 조건

    1)부분집합에 공집합이 포함되면 안됨

    2) 교집합(혹은 중복되는 것)이 존재하면 안됨

    3) 합쳤을때 분할하기 전 집합이 나와야함


    ex) 집합 A={1,2,3}모든 분할 구하기

    {{1,2,3}}

    {{1,2},3}

    {1,{2,3}}

    {{1,3},2}}

    {{1},{2},{3}}



    5. 곱집합(Cartesian Product)

    A,B에 대하여 A원소 B원서의 모든 순서쌍을 갖춘 것을 곱집합 AxB이라 한다.

    ex) A={1,2} B={3,4}

    AxB={(1,3),(1,4),(2,3),(2,4)}

    BxA={(3,1),(3,2),(4,1),(4,2)}

    AxB =/ BxA 순서도 같아야하기때문에 AxB와 BxA는 다르다. (a,b)=/(b,a)


    6. 관계의 성질

    6 - 1. 관계

    AxB의 부분집합을 A에서 B로의 관계라고 한다.

    a는 b와 R인 관계에 있다. aRb or (a,b)∈R

    관계에 있지 않으면 R, ∈의 가운데에 /를 그어준다


    6 - 2. 반사관계

    임의의 a라는 원소가 A∋a에 대하여 (a,a)∈R이 성립하는 경우

    ex) E = {1,2,3}                -> 한 원소에 대하여 반드시 반사가 존재해야한다.

    R1 = {(1,1),(2,2),(3,3)}

    R2 = E*E

    R3 = {(1,1),(1,2),(2,2),(3,3),(3,2)}        ->반사를 모두 포함하고 다른 것들이 존재하더라도 반사관계이다.


    6 - 3.대칭관계


    (a,b)∈R일때, (b,a)∈R이 성립하는 경우 (대칭관계가 되려면 모두 대칭이거나 하나만 대칭이여도 된다.)

    ex) E = {1,2,3}

    R1 = {(1,1)}            -> 스스로 대칭이므로 대칭관계가 성립한다.

     R2 = {(1,1),(2,1),(1,2)}    -> 다른 원소도 대칭이 있으므로 대칭관계가 성립한다.

    R3 = E*E


    6 - 4. 반대칭관계


    (a,b)∈R이고 (b,a)∈R이면 a=b가 성립하는 경우,즉 서로가 같을때 이외에 대칭이 존재하면 안되는 경우

    ex) E = {1,2,3}

    R1={(1,1),(2,1),(3,2)}        -> 스스로가 같은것 이외에 대칭인것이 없으므로 반대칭관계가 성립한다.

    R2={(1,1),(2,2),(3,3)}

    R3={(1,2)}


    ' > 이산수학' 카테고리의 다른 글

    1. 이산수학  (0) 2017.05.14
    5. 이산수학  (0) 2017.04.15
    3. 이산수학 3  (0) 2017.03.30
    2. 이산수학 2  (0) 2017.03.24
    1. 이산수학  (0) 2017.03.18
    Posted by Config