Computer Science/Discrete Mathematics :: 이산수학

이산수학 4강 :: 집합, 집합연산, 대수법칙

HJPlumtree 2022. 3. 29. 08:42

이산수학 4강을 보며 배운내용

 

 

집합

{a, b} => 집합

{{a}, k} => 집합

{a, b, a, c} => 집합이 아니다 같은 원소가 있어서

 

부분집합(subset)

A의 모든 원소가 B의 원소라면

A는 B의 부분집합, A ⊆ B

 

진부분집합(proper subset)

A는 B의 진부분집합이란 말은

B가 A외에 더 있는거

 

상동(equal)

A = B

(A ⊆ B && B ⊆ A)

 

서로소(disjoint)

A ∩ B = Ø

둘이 공유하는 원소가 없네

joint가 아니라는(dis) 말이네

 

분할(partition)

A를 겹치지 않게 분할하고

어떤 부분도 Ø이 아닌거

A = {1, 2, 3, 4}

{Ø, {1, 2}, {3, 4} } => 분할 아니다 Ø 때문에

{ { 1 } { 2 } { 3, 4 } } => 분할 YES

{ { 1, 2, 3, 4 } } => 분할 YES, 와이 낫

 

멱집합(power set)

집합 S ={a, b}

멱집합 P(S) = {Ø, {a}, {b}, {a, b}}

 

 

집합연산

  • 합집합
    A ∪ B
    둘이 가진 원소 모두
  • 교집합
    A ∩ B
    A, B 공통의 원소
  • 차집합
    A - B
    A에 있고 B에는 없고
  • 여집합(보집합)
    U - A
    A빼고 다
  • 대칭차집합
    합집합에서 교집합 제외
  • 곱집합(Cartesian Product)
    A X B
    A의 원소 a, B원소 b로 만드는 순서쌍 (a, b)
    A = {1, 2}, B = {a, b}
    A X B = { (1, a), (1, b), (2, a), (2, b) }

 

 

집합의 대수법칙

합집합의 크기

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

서로소이면, 교집합을 안빼면 되겠구나 빼도 없겠구나

 

집합의 항등식

밑의 법칙이 적용된다

교환법칙, 결합법칙, 분배법칙, 항등법칙, 보수법칙

이중보수법칙, 멱등법칙, 드모르간 법칙, 흡수법칙, 차집합법칙