오래 못 할 짓 하지 않기

[ 이산 수학 ] 15. 관계(2) 본문

2학년 2학기/이산수학

[ 이산 수학 ] 15. 관계(2)

쫑알bot 2023. 11. 13. 13:29
728x90

 

Relations with Matrix

 

 

Matrix로 R을 나타내려면, Zero-one matrix로 한다.

해당 원소가 존재하면 1, 그렇지 않으면 0으로.

 

 

A = {1,2,3} and B = {1,2} 가 있고, R은 A → B이다. R = (a,b)형태이고 a ∈ A, b ∈ B이다.

R의 조건은 a>b이다. 그런 경우 R의 원소는  {(2,1), (3,1),(3,2)} 이다.

 

 

예제)

이거 보고 몇 번째 원소들이 있는지도 파악 가능해야함

 

 

 


종류별 R의 Matrix 모양

 

Reflexive : 그냥 대각선으로 1 쭈루루룩


 

Symmetric : (a,b)가 있으면 (b,a)도 있어야 함

                       반대로 (a,b)가 없으면 (b,a)도 없어야함 

 

위와 같은 형태

 


Antisymmetric : (a,a)빼고는 대칭인 거 있으면 안 됨

                            (a,b) (b,a) 대칭이면 안 됨, 둘 다 없거나 하나만 있거나 해야함

 

위와 같다.

 

예제)

 

대각선 , 대칭을 분석해본다.

 

답)

 

 


Digraphs for Relations

 

 

각 종류별로는?

 

 

Reflxivity : 자기 자신으로 화살표를 던져야 한다.

Symmetry : (X ,Y) 로 가는 edge가 있으면                                   → (Y, X)도 있어야 한다.

Antisymmetry : (X , Y) 로 가는 edge가 있는데 X=Y 가 아니면    → (Y, X) 는 있으면 안 된다.

Transitivity : (X,Y) 랑 (Y,Z)가 edge가 있으면                               → (X,Z)도 있어야 한다.

 

 예제1)

 

Reflxivity : X = a는 loop인데 나머지는 아님

Symmetry : (조건) → (충족해야하는 것) 이건데 애초에 조건이 false이므로 true

Antisymmetry  위와 같다 

Transitivity       위 같

 

 

 

 

 


 

Closures of R

 

 

Closure of R with respect to P

= 성질 P(ex. reflexive,symmetry 등등..) 을 지니고, R을 포함할 수 있는 가장 작은 집합 S

 

+ Antisymmetry 는 만들 수 없음. 원소를 더하는 건 가능한데, 빼는 건 안 되기 때문에 

 

1) P를 지니고 있어야 함

2) R도 데리고 있어야 함

3) P를 만족하기 위한 원소를 추가할 수 있음 (최소한으로 추가하셈)

 

 

 

S가 R보다 더 큰 집합이다.

 

 

 

 

 ex)

 

위 R은 A에 대해 reflexive하지 않다. 어떻게 reflexive하게 바꾸되, R을 포함한 가장 작은 집합을 만들 수 있을까?

 

(2,2) (3,3)을 더한다. R에 없긴한데 어차피 R을 포함하긴 하니까 ㄱㅊ

R을 포함하고 있는 새로운 S가 Reflxive 하니까 ㅇㅋ

 

 

추가 예제)

 


추가 예제)

 

Transitive closure는 P를 만족하기 위해 추가하면 할수록

추가해야하는 원소가 더 많아지기 때문에 복잡해진다. 

 


추가 예제)

 

 

 

PDF에 더 있으니 찾아보기

 

 

(출처)

한동대학교 최희열교수님 - 이산수학

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

[ 이산 수학 ] 17. 그래프  (0) 2023.11.24
[ 이산 수학 ] 16. 관계(3)  (0) 2023.11.16
[ 이산 수학 ] 14. 관계  (0) 2023.11.10
[ 이산 수학 ] 13. 확률 분포  (0) 2023.11.06
[ 이산 수학 ] 12. 조건부 확률 2  (0) 2023.10.30