[μ΄μ‚°μˆ˜ν•™] 6κ°• - 관계

2026. 5. 13. 11:49Β·πŸŽ“λ°©μ†‘ν†΅μ‹ λŒ€ν•™κ΅/πŸ•ΈοΈμ΄μ‚°μˆ˜ν•™

βœ… 1. κΈ°λ³Έμ‚¬ν•­

(1) κ³±μ§‘ν•©

  • κ³±μ§‘ν•©: μ§‘ν•© A와 B의 곱집합은 A X B 둜 ν‘œν˜„μ΄ 되며, A의 μ›μ†Œμ™€ B의 μ›μ†Œμ˜ λͺ¨λ“  μˆœμ„œμŒλ“€μ˜ 집합을 곱집합이라함.
A = {1, 2}, B = {a, b}
κ³±μ§‘ν•© = A X B = {(1, a), (1, b), (2, a), (2, b)}
  • μ‰½κ²Œ 말해, 두 μ§‘ν•© A와 Bμ—μ„œ κ³΅ν†΅λœ μ›μ†Œλ₯Ό μ°ΎλŠ” 것은 ꡐ집합이며, 곱집합은 두 μ§‘ν•©μ˜ μ›μ†Œλ“€μ„ ν•˜λ‚˜μ”© 뽑아 λ§Œλ“€ 수 μžˆλŠ” λͺ¨λ“  κ°€λŠ₯ν•œ 'μˆœμ„œμŒ'의 λͺ¨μž„을 λ§ν•©λ‹ˆλ‹€.

(2) 관계

μ˜ˆμ‹œ: "xλŠ” y보닀 μž‘λ‹€"λΌλŠ” 관계(R)
쑰건: x < y
κ³±μ§‘ν•© 쀑 μ„ νƒλœ μ›μ†Œ: (1, 2), (1, 3), (2, 3)
κ²°κ³Ό: R = {(1, 2), (1, 3), (2, 3)} ⊆ (A X B)
  • 관계: κ³±μ§‘ν•©μ˜ λͺ¨λ“  μ›μ†Œ 쀑 νŠΉμ •ν•œ 쑰건을 λ§Œμ‘±ν•˜λŠ” μˆœμ„œμŒλ“€λ§Œ 골라낸 것을 관계라고 함.
  • 즉, κ΄€κ³„λŠ” κ³±μ§‘ν•© λ‚΄μ˜ λΆ€λΆ„μ§‘ν•©μœΌλ‘œ κ³±μ§‘ν•©μ΄λΌλŠ” 전체 ν‹€ μ•ˆμ—μ„œλ§Œ μ‘΄μž¬ν•˜λ©°, κ³±μ§‘ν•©κ³Ό 쒅속적인 관계λ₯Ό 가짐.

  • 학생집합 X, κ³Όλͺ©μ§‘ν•© Y λ₯Ό ν†΅ν•΄μ„œ μˆ˜κ°•κ΄€κ³„ R을 얻을 수 있음.


βœ… 2. κ΄€κ³„μ˜ ν‘œν˜„

(1) ν™”μ‚΄ν‘œ λ„ν‘œ

  • ν™”μ‚΄ν‘œ λ„ν‘œ: μ§‘ν•© X와 Y μ‚¬μ΄μ˜ κ³±μ§‘ν•©μ˜ λΆ€λΆ„ μ§‘ν•©μ΄λΌλŠ” κ΄€κ³„λΌλŠ” κ°œλ…μ„ ν™”μ‚΄ν‘œλ‘œ ν‘œν˜„ν•˜λŠ” 방식을 μ˜λ―Έν•¨.

  • ν™”μ‚΄ν‘œ λ„ν‘œ 예제1: μ§‘ν•© A와 B의 κ³±μ§‘ν•© A X B 의 μ›μ†Œ (x, y) λŠ” 관계 R을 κ°€μ§€κΈ° μœ„ν•œ ν•„μš”μΆ©λΆ„μ‘°κ±΄μ€ y > x 이기 λ•Œλ¬Έμ—, A μ§‘ν•©μ˜ 1λΆ€ν„° 비ꡐλ₯Ό ν•˜λ©°, μ§‘ν•© R에 μ›μ†Œλ‘œ λ§Œλ“€ λ•Œ {1, 2} 의 μ›μ†Œλ§Œ λ“€μ–΄κ°€κ²Œλ¨. 

  • ν™”μ‚΄ν‘œ λ„ν‘œ 예제2: μ§‘ν•© A와 B의 κ³±μ§‘ν•©(A X B) ν•„μš”μΆ©λΆ„μ‘°κ±΄ x = y 인 κ²½μš°κ°€ S 집합인 경우, S μ§‘ν•©μ˜ μ›μ†ŒλŠ” S = {(1,1),(2,2)} 두 개의 μˆœμ„œμŒλ§Œμ΄ μ§‘ν•© S의 μ›μ†Œκ°€ 됨.

  • ν™”μ‚΄ν‘œ λ„ν‘œ 예제3: λͺ…ν™•ν•œ μ‘°κ±΄μ‹μœΌλ‘œ 관계λ₯Ό μ •μ˜ν•˜λŠ” λŒ€μ‹ μ— T = {} λŠ” 식 λŒ€μ‹  μ—°κ²°λœ κ²°κ³Ό(μˆœμ„œμŒ)λ₯Ό 직접 λ‚˜μ—΄ν•˜μ—¬ 관계λ₯Ό μ •μ˜ν•œ μΌ€μ΄μŠ€μž„.

(2) λ°©ν–₯ κ·Έλž˜ν”„

  • λ°©ν–₯ κ·Έλž˜ν”„: 정점과 κ°„μ„ μœΌλ‘œ 이루어진 ꡬ쑰이며, λ°©ν–₯이 μžˆλŠ” κ·Έλž˜ν”„λ₯Ό μ˜λ―Έν•¨.

  • x,y ∈ X: μ§‘ν•© X에 x, y μ›μ†Œκ°€ μ†ν•΄μžˆλ‹€λŠ” μ˜λ―Έμ΄λ‹€.
  • (x,y) ∈ R: μ§‘ν•© Xλ₯Ό 기반으둜 관계 Rμ—μ„œ x와 y 사이에 관계가 성립함을 λœ»ν•˜λŠ” μˆœμ„œμŒμ„ μ˜λ―Έν•¨.
  • μ΄λ•Œ xλŠ” μ‹œμž‘μ (μ •μ˜μ—­), yλŠ” 끝점(곡역)이 됨. 즉,x -> y 둜 κ°€λŠ” λ°©ν–₯을 κ°€μ§€λŠ” κ·Έλž˜ν”„ ν˜•νƒœκ°€ λœλ‹€λŠ” μ˜λ―Έμž„.

  • 예제1: μ§‘ν•©A = {1,2,3} λ₯Ό 기반으둜 관계 μ§‘ν•© Tμ—λŠ” 관계λ₯Ό κ°€μ§€λŠ” μˆœμ„œμŒμ΄ μ›μ†Œλ‘œ λ“€μ–΄κ°€ 있으며, 이λ₯Ό λ°©ν–₯ κ·Έλž˜ν”„λ‘œ ν‘œν˜„ν•˜λ©΄ μœ„μ™€κ°™μ€ λ°©ν–₯ κ·Έλž˜ν”„κ°€ ν˜•μ„±μ΄ 될 κ²ƒμž„.

(3) λΆ€μšΈν–‰λ ¬

  • 관계-λΆ€μšΈν–‰λ ¬ ν‘œν˜„μ΄λž€: μ§‘ν•© μ‚¬μ΄μ˜ 관계λ₯Ό 컴퓨터가 μ΄ν•΄ν•˜κΈ° μ‰¬μš΄ ν–‰λ ¬ ν˜•νƒœλ‘œ λ³€ν™˜ν•˜λŠ” λ°©λ²•μž„.
  • 두 μ§‘ν•©: μ§‘ν•© X = μ›μ†Œκ°€ m개인 μ§‘ν•©, μ§‘ν•© Y = μ›μ†Œκ°€ n개인 집합이 μ‘΄μž¬ν•¨.
  • 관계 R: 두 μ§‘ν•© μ‚¬μ΄μ˜ 관계 R = Xμ—μ„œ Y둜의 μ–΄λ–€ 관계가 μ •μ˜ λ˜μ–΄μžˆμŒ.
  • λΆ€μšΈν–‰λ ¬ 관계 ν‘œν˜„: 두 μ§‘ν•©μ˜ μ›μ†ŒμΈ x, y 사이에 관계가 μ‘΄μž¬ν•  λ•ŒλŠ” 즉, μ§‘ν•© R에 μ›μ†Œκ°€ μžˆλ‹€λŠ” 의미둜 λΆ€μšΈν–‰λ ¬ 1둜 ν‘œν˜„ λ°˜λŒ€λ‘œ μ§‘ν•© R에 없을 λ•ŒλŠ” 관계가 μ—†λ‹€κ³  νŒλ‹¨ν•˜λ―€λ‘œ λΆ€μšΈν–‰λ ¬ 0으둜 ν‘œν˜„μ΄ 됨.

  • λΆ€μšΈν–‰λ ¬ 예제: μ§‘ν•© A = {1,2,3} λŠ” 관계 μ§‘ν•© T 의 μ›μ†Œλ“€μ˜ μˆœμ„œμŒμ— 맞게 1κ³Ό 0으둜 ν‘œν˜„μ„ 함.
  • μ§‘ν•© T = 관계 μ§‘ν•©μœΌλ‘œ, μˆœμ„œμŒμ„ κ°€μ§€λŠ” μ›μ†Œκ°€ μžˆμ„ λ•Œ λΆ€μšΈν–‰λ ¬μ— 값을 1둜 올렀주고 없을 λ•Œ 0으둜 씀
  • 즉, Mr 이건, Mt이건 κ²°κ΅­ λ‘˜ λ‹€ 관계 집합이며, ν–‰λ ¬λ‘œ λ”°λ‘œ ν‘œν˜„μ„ ν•˜λŠ” κ²ƒμž„.

βœ… 3. κ΄€κ³„μ˜ μ„±μ§ˆ

(1) μ„±μ§ˆμ˜ μ’…λ₯˜

  • κ΄€κ³„μ˜ μ„±μ§ˆ: λ°˜μ‚¬μ  μ„±μ§ˆ, λŒ€μΉ­μ  μ„±μ§ˆ, 좔이적 μ„±μ§ˆμ΄ μ„Έ κ°€μ§€ μ’…λ₯˜κ°€ 있음.
  • μ§‘ν•© Aμ—μ„œμ˜ 관계 R: μ§‘ν•© Aμ—μ„œ μ§‘ν•©A둜의 κ΄€κ³„λ‘œ μ™ΈλΆ€μ˜ λ‹€λ₯Έ μ§‘ν•©κ³Ό μ—°κ²°ν•˜λŠ” 것이 μ•„λ‹Œ, μ§‘ν•© Aμ•ˆμ— μžˆλŠ” μ›μ†Œλ“€λΌλ¦¬ μ„œλ‘œ μ–΄λ–»κ²Œ μ—°κ²°λ˜λŠ”μ§€λ₯Ό λ³΄λŠ” 관계 R을 μ˜λ―Έν•¨.
  • λ°˜μ‚¬μ : λͺ¨λ“  μ›μ†Œκ°€ 자기 μžμ‹ κ³Ό μ—°κ²°λ˜μ–΄ μžˆλŠ” ꡬ쑰λ₯Ό μ˜λ―Έν•˜λ©°, λͺ¨λ“  a ∈ A에 λŒ€ν•˜μ—¬ (a,a) ∈ R이어야 함.
  • λŒ€μΉ­μ : 관계에 λ°©ν–₯μ„± μ—†κ±°λ‚˜ μžˆλ”λΌλ„ μ–‘λ°©ν–₯ ꡬ쑰λ₯Ό μ˜λ―Έν•˜λ©°, (a,b) ∈ R이면 λ°˜λ“œμ‹œ (b,a) ∈ R이어야 함.
  • 좔이적: 관계가 닀리 κ±΄λ„ˆ 전달이 λ˜μ–΄μ•Ό ν•˜λŠ” ꡬ쑰λ₯Ό μ˜λ―Έν•˜λ©°, (a,b) ∈ R 이고 (b,c) ∈ R이면 λ°˜λ“œμ‹œ (a,c) ∈ R 이어야 함.
  • 즉, aμ—μ„œ b둜 κ°€κ³  bμ—μ„œ c둜 κ°€λŠ” 길이 μžˆλ‹€λ©΄, aμ—μ„œ c둜 λ°”λ‘œ κ°€λŠ” 직톡 ν™”μ‚΄ν‘œκ°€ λ°˜λ“œμ‹œ μžˆμ–΄μ•Ό ν•œλ‹€λŠ” μ˜λ―Έμž„.

  • 예제1: R = {(1,1), (2,2), (3,3), ... } λ°˜μ‚¬μ μΈ νŠΉμ§•λ§Œ κ°€μ§€κ³  있기 λ•Œλ¬Έμ— (1)번이 λ‹΅μž„.

  • 예제2: R = {(1,1), (2,2), (3,3), (1,2), (2,1), (1,3), (3,1)...} λ°˜μ‚¬μ μΈ μ„±μ§ˆμ„ 가짐과 λ™μ‹œμ— λŒ€μΉ­μ μΈ μ„±μ§ˆλ„ 가짐. λ‹΅: (1)(2)
  • 관계가 μ‘΄μž¬ν•˜λŠ” λͺ¨λ“  μŒμ— λŒ€ν•΄ μ—­λ°©ν–₯이 μ‘΄μž¬ν•˜κΈ° λ•Œλ¬Έμ— λŒ€μΉ­μ μž„.

  • 예제3: T = {(3,2),(2,1),(3,1)...} 3 -> 2 -> 1 ꡬ쑰 말고도 3 -> 1둜 λ°”λ‘œκ°€λŠ” 직선 μ½”λ“œκ°€ 있기 λ•Œλ¬Έμ— μΆ”μ΄μ μž„.
  • λ°˜μ‚¬μ x: μΆ”κ°€μ μœΌλ‘œ μ§‘ν•©μ˜ λͺ¨λ“  μ›μ†Œ a에 λŒ€ν•΄ (1,1), (2,2), (3,3) 이 μ•„λ‹ˆκΈ° λ•Œλ¬Έμ— λ°˜μ‚¬μ μ΄μ§€ μ•ŠμŒ.
  • λŒ€μΉ­μ x: λ˜ν•œ, 관계λ₯Ό κ°€μ§€λŠ” (3,2), (3,1) 에 λŒ€ν•œ μ—­λ°©ν–₯ 관계가 μ—†κΈ° λ•Œλ¬Έμ— λŒ€μΉ­μ μ΄μ§€ μ•Šλ‹€κ³  λ³Ό 수 있음.

(2) κ΄€κ³„μ˜ μ„±μ§ˆκ³Ό λΆ€μšΈν–‰λ ¬

  • λ°˜μ‚¬μ : μ§‘ν•© A 의 λ°˜μ‚¬μ μΈ νŠΉμ§•μΈ (a,a)의 λ°˜μ‚¬μ  μˆœμ„œμŒμ„ κ°€μ§„λ‹€λ©΄, λΆ€μšΈ ν–‰λ ¬μ—μ„œ μˆœμ„œμŒμ„ κ°€μ§€λŠ” μ›μ†Œμ˜ 값이 1이 될 λ•Œμ˜ λͺ¨μŠ΅μ€ λ°˜μ‚¬μ  νŠΉμ§•μ„ κ°€μ§„λ‹€λ©΄ λŒ€κ°μ„ μ΄ λͺ¨λ‘ 1인 κ²½μš°κ°€ 될 수 있음.
A={1,2,3}
R={(1,1),(2,2),(3,3, ...)}

  • μœ„μ˜ μ˜ˆμ‹œλ₯Ό 보면 μ§‘ν•© A = {1,2,3} 일 λ•Œ, μ§‘ν•© R 의 μ›μ†Œλ“€μ΄ λ°˜μ‚¬μ  μˆœμ„œμŒμ„ κ°€μ§„λ‹€λ©΄ λŒ€κ°μ„ μœΌλ‘œ λͺ¨λ‘ 1이 λ˜λŠ” λͺ¨μŠ΅μ„ λ³Ό 수 있음.

  • λŒ€μΉ­μ : μ§‘ν•© A = {a,b} 인 경우 μ§‘ν•© R = {(a,b), (b,a)} λŒ€μΉ­μ  ν˜•νƒœλ₯Ό λ„μ›Œμ•Ό 함.
A={1,2,3}
R={(1,1),(1,2),(2,1),(2,3),(3,2),(3,3)}

  • μ˜ˆμ‹œλ₯Ό 보면, (1,2) λŒ€μΉ­ (2,1) 을 보면 λŒ€μΉ­μ μΈ μœ„μΉ˜μ— λΆ€μšΈ 행렬이 1인 λͺ¨μŠ΅μ„ λ³Ό 수 있음. (λΆ€μšΈν–‰λ ¬μ—μ„œμ˜ λŒ€μΉ­μ μΈ ν‘œν˜„μž„)

  • 좔이적: a -> b -> c 둜 갈 수 μžˆλ‹€λ©΄ 제일 첫 번째 a -> λ§ˆμ§€λ§‰ c둜 ν•œ λ²ˆμ— 갈 수 μžˆμ–΄μ•Ό ν•˜λŠ” μ„±μ§ˆμž„.

  • 좔이적 νŠΉμ„±μ„ μ§€λ‹ˆλŠ” μ›μ†Œλ“€μ˜ λΆ€μšΈν–‰λ ¬μ˜ 곱을 μ§„ν–‰ν•˜λ©΄ 좔이적 μœ„μΉ˜μ˜ λΆ€μšΈ 행렬을 얻을 수 있음.

(3) κ΄€κ³„μ˜ μ„±μ§ˆκ³Ό λΆ€μšΈν–‰λ ¬ - 예제 풀이

  • 예제1: λͺ¨λ“  μ›μ†Œμ— λŒ€ν•΄μ„œ λ°˜μ‚¬μ μ΄μ–΄μ•Ό ν•˜μ§€λ§Œ, 4λŠ” λ°˜μ‚¬μ μ΄μ§€ μ•ŠκΈ° λ•Œλ¬Έμ— λ°˜μ‚¬μ μ΄ μ•„λ‹˜ 닡은 (1)

  • 예제2: λ°˜μ‚¬μ μ΄μ§€ μ•ŠμœΌλ©°, λŒ€μΉ­μ μ΄ μ•„λ‹˜. 1 -> 2 -> 3 -> 4 와 1 -> 4κ°€ μžˆμœΌλ―€λ‘œ, μΆ”μ΄μ μž„.

  • 예제3: 좔이적x, λŒ€μΉ­μ x, λŒ€κ°μ„ μ΄μ§€λ§Œ 같은 μ›μ†Œκ°€ μ•„λ‹ˆλ―€λ‘œ λ°˜μ‚¬μ μ΄μ§€ μ•ŠμŒ.

βœ… 4. κ΄€κ³„μ˜ μ’…λ₯˜

(1) 역관계

  • 역관계: 기쑴의 관계λ₯Ό λ°˜λŒ€λ‘œ 뒀집은 것을 μ˜λ―Έν•˜λ©°, μ§‘ν•© R이 Xμ—μ„œ Y둜 κ°€λŠ” λ°©ν–₯μ΄μ—ˆλ‹€λ©΄, μ—­κ΄€κ³„λŠ” μ§‘ν•© R-1 둜 Yμ—μ„œ X둜 κ°€λŠ” λ°©ν–₯μž„. 즉, (x,y) 의 μˆœμ„œμŒμ΄ λ’€μ§‘νžŒ (y,x) μˆœμ„œμŒμ˜ μ§‘ν•©μœΌλ‘œ λ³Ό 수 있음.

  • 역관계 예제: 쑰건 y = x - 1이고, xλŠ” μ§‘ν•© A = {1,2,3,4}, yλŠ” μ§‘ν•© B = {0,1,2,3} 에 μ†ν•΄μ•Όν•˜λ©°, μ›λž˜ 관계 R의 μ›μ†Œλ₯Ό 쑰건을 ν†΅ν•΄μ„œ κ΅¬ν•˜κ²Œ 되고(쑰건에 λΆ€ν•©ν•œ 경우 집합에 포함), 이후에 R-1 μ—­κ΄€κ³„λ‘œ λͺ¨λ“  μ›μ†Œλ“€μ„ λ’€μ§‘μ–΄ 역관계λ₯Ό κ΅¬ν•˜κ²Œ 됨.
  • S^-1 의 경우 λ‹¨μˆœνžˆ μ›μ†Œλ“€μ˜ 역관계λ₯Ό ꡬ함.

(2) 합성관계

μ§‘ν•©: A, B, C
R: Aμ—μ„œ B둜의 관계
S: Bμ—μ„œ C둜의 관계
Rκ³Ό S의 합성관계: S β—‹ R ( 합성관계 ν•˜λ‚˜μ˜ μ§‘ν•©μœΌλ‘œ λ³Ό 수 있음. )
S β—‹ R λŠ” A X C (κ³±μ§‘ν•©) 의 λΆ€λΆ„μ§‘ν•©μž„μ„ μ•Œ 수 있음.
  • 합성관계: ν•œ 관계λ₯Ό 거쳐 λ‹€λ₯Έ κ΄€κ³„κΉŒμ§€ μ—°μ†ν•΄μ„œ μ—°κ²° κ°€λŠ₯ν•œ 경우λ₯Ό ν•˜λ‚˜μ˜ μƒˆλ‘œμš΄ κ΄€κ³„λ‘œ λ§Œλ“  것을 μ˜λ―Έν•¨.

  • μ—°κ²° κ°€λŠ₯ν•œ 경우: μœ„μ˜ 그림처럼, 관계 R에 a 뿐만 μ•„λ‹ˆλΌ b μ›μ†Œλ„ λ°˜λ“œμ‹œ ν¬ν•¨ν•΄μ•Όν•˜λ©°(μ—°κ²° κ°€λŠ₯ν•œ bκ°€ "ν•˜λ‚˜λΌλ„ μ‘΄μž¬ν•˜λŠλƒ"λ₯Ό 따짐), 관계 S에 c 뿐만 μ•„λ‹ˆλΌ b μ›μ†Œλ„ λ°˜λ“œμ‹œ ν¬ν•¨λ˜μ–΄ μžˆμ–΄ 관계 Rκ³Ό SλŠ” μ›μ†Œ bλ₯Ό 톡해 ν•©μ„± 관계λ₯Ό 이룰 수 μžˆλŠ” 원리인 κ²ƒμž„.
  • μ§‘ν•© A, B, C -> R: Aμ—μ„œ B둜의 관계, S: Bμ—μ„œ C둜의 관계 -> S β—‹ R: R와 S의 합성관계λ₯Ό μ˜λ―Έν•¨.
  • μ„ΈλΆ€μ μœΌλ‘œλŠ” 각 관계 μ§‘ν•© R, S μ—μ„œ bμ›μ†Œλ₯Ό ν†΅ν•΄μ„œ 연결을 μ§€μ–΄ ν•©μ„±κ΄€κ³„λ‘œ λ§Œλ“œλŠ” 것!

  • 예제1: μ§‘ν•© A, B, C κ°€ μžˆμ„ λ•Œ, A와 BλŠ” R의 관계 집합을 κ°€μ§€λ©°, B와 CλŠ” S의 관계 집합을 κ°€μ§„λ‹€. μ΄λ•Œ, R κ³Ό S 관계집합은 μ„œλ‘œ μ§‘ν•© B의 bμ›μ†Œλ₯Ό ν†΅ν•΄μ„œ 연결이 κ°€λŠ₯ν•˜κΈ° λ•Œλ¬Έμ— 합성관계 S β—‹ R 이 성립이 됨.
  • μ„ΈλΆ€μ μœΌλ‘œ A -> C둜 μ—°κ²°λ˜λŠ” μ§‘ν•©κ°„μ˜ μˆœμ„œμŒμ„ 이룸.

  • 예제2: μ§‘ν•© A, B, C μ—μ„œ 각 관계 μ§‘ν•© R, S λ₯Ό μ΄λ£¨λŠ” μ›μ†Œλ“€μ€ ν•„μš”μΆ©λΆ„μ‘°κ±΄μ— μ˜ν•΄μ„œ μˆœμ„œμŒμ„ 이룰 것이며, ν•΄λ‹Ή μˆœμ„œμŒμ„ 이룬 μ›μ†Œλ“€ μ€‘μ—μ„œ Rκ³Ό S의 ν•©μ„± κ΄€κ³„μ˜ 또 λ‹€λ₯Έ ν•„μš”μΆ©λΆ„μ‘°κ±΄μ— μ˜ν•΄μ„œ S β—‹ R ν•©μ„± 관계λ₯Ό 이룰 수 있음.

(3) 합성관계 - λΆ€μšΈν–‰λ ¬ ν‘œν˜„

  • μ§‘ν•© A, B, C μ—μ„œ Aμ—μ„œ B둜의 관계 R, Bμ—μ„œ C둜의 관계 SλŠ” λΆ€μšΈν–‰λ ¬λ‘œ M R = m x n λΆ€μšΈ 행렬이 되며, M S = n x p λΆ€μšΈ 행렬이 λœλ‹€. 즉, 합성관계 M Sβ—‹R = m x p λΆ€μšΈ ν–‰λ ¬λ‘œ λ³Ό 수 있음.

  • 합성관계 λΆ€μšΈν–‰λ ¬ ν‘œν˜„ 예제1: μœ„μ™€ 같이 Aμ—μ„œ B둜의 관계 R, Bμ—μ„œ C둜의 관계 Sκ°€ μ‘΄μž¬ν•  λ•Œ, 관계 μ§‘ν•© R의 μ§‘ν•© B의 μ›μ†Œμ™€ 관계 μ§‘ν•© S의 μ§‘ν•© B의 μ›μ†Œμ™€ λ™μΌν•œ μ›μ†Œλ“€μ˜ 집합이 ν•©μ„± 관계 S β—‹ R = {(a,x),(b,z),(c,x)} κ°€ 됨.
  • 이후, λΆ€μšΈν–‰λ ¬λ‘œ ν‘œν˜„μ„ ν•œλ‹€λ©΄, μœ„μ™€ 같이 합성관계 λΆ€μšΈν–‰λ ¬μ΄ λ§Œλ“€μ–΄μ§ˆ 수 있음. ν–‰λ ¬μ˜ μœ„μΉ˜μ™€ λŒ€μ‘λœ 값이 1둜 ν‘œν˜„λ¨.

(4) λ™μΉ˜κ΄€κ³„

  • λ™μΉ˜κ΄€κ³„: μ§‘ν•© Aμ—μ„œμ˜ 관계인 관계집합 R이 λ°˜μ‚¬μ , λŒ€μΉ­μ , 좔이적인 νŠΉμ§•μ„ κ°€μ§„λ‹€λ©΄ R은 λ™μΉ˜κ΄€κ³„λΌκ³  λΆ€λ₯Έλ‹€.

  • μ‹€μˆ˜μ—μ„œμ˜ 상등 관계: a = a, a = b λ©΄ b = a 이닀., a = b κ³  b = c 이면 a = c 이닀.

  • 예제1: λΆ€ν˜Έ κ΄€κ³„μ—μ„œλŠ” λ°˜μ‚¬μ μ΄μ§€λ§Œ, 0 <= 1 true 1 <= 0 false μ΄λ―€λ‘œ, ν•΄λ‹Ή μ˜ˆμ œλŠ” λŒ€μΉ­μ μ΄μ§€ μ•ŠλŠ” νŠΉμ§•μ΄ 있음.

  • λͺ¨λ“ˆλ‘œ 합동: 8 mod 5 = 3, 13 mod 5 = 3 처럼 λ‚˜λ¨Έμ§€λ₯Ό κ΅¬ν•˜λŠ” 연산을 μ˜λ―Έν•¨.
  • λͺ¨λ“ˆλ‘œ 합동은 8 mod 5 = 3, 13 mod 5 = 3 이기 λ•Œλ¬Έμ— 8κ³Ό 13은 mod 5λ₯Ό 진행함에 μžˆμ–΄μ„œ λ‘˜μ€ λ™μΉ˜κ΄€κ³„λ‘œ λ³Ό 수 있음.
  • μžμ„ΈνžˆλŠ” μœ„μ™€ 같이 λͺ¨λ“ˆλ‘œ 합동은 λ°˜μ‚¬μ , λŒ€μΉ­μ , 좔이적 μ„±μ§ˆμ„ λͺ¨λ‘ λ§Œμ‘±ν•˜λ―€λ‘œ λ™μΉ˜ κ΄€κ³„λ‘œ λ³Ό 수 있음.

(5) λ™μΉ˜λ₯˜

  • λ™μΉ˜λ₯˜: ν•˜λ‚˜μ˜ μ§‘ν•© λ‚΄μ—μ„œ νŠΉμ •ν•œ 기쀀에 따라 끼리끼리 묢어놓은 집합을 μ˜λ―Έν•˜λ©°, μ‰½κ²Œ 말해 ν•˜λ‚˜μ˜ μ§‘ν•© λ‚΄μ—μ„œ 곡톡적인 μ›μ†Œλ“€μ„ 묢어놓은 μ§‘ν•©μœΌλ‘œλ„ λ³Ό 수 있음.
  • [a]: a의 λ™μΉ˜λ₯˜λ‘œ μ§‘ν•© Aμ•ˆμ˜ μ›μ†Œλ“€(x) μ€‘μ—μ„œ, 기쀀이 λ˜λŠ” μ›μ†Œ a와 관계(R)κ°€ μžˆλŠ” μ• λ“€λ§Œ 쏙쏙 골라 λͺ¨μ•„놓은 뢀뢄집합을 의미 ν•  수 있음.

  • 핡심은 μ‹€μ œ 값은 λ‹€λ₯΄λ”라도, νŠΉμ • 쑰건 κΈ°μ€€ 쑰건을 ν†΅ν•΄μ„œ 같은 κ²ƒμœΌλ‘œ μ·¨κΈ‰ν•˜λŠ” κ΄€κ³„λ‘œ λ³Ό 수 있음.
  • 즉, 예λ₯Όλ“€λ©΄ μœ„μ™€ 같이 A = {0,1,2,3,4,5,6,7,8} μ§‘ν•©μ—μ„œ a,b λ₯Ό 3으둜 λ‚˜λˆˆ λ‚˜λ¨Έμ§€κ°€ κ°™λ‹€λŠ” 쑰건을 ν†΅ν•΄μ„œ λ‚˜λˆ μ§€λŠ” λΆ„ν•  된 뢀뢄집합듀을 κ²°κ΅­ λ™μΉ˜λ₯˜λ‘œ λ³Ό 수 μžˆλŠ” κ²ƒμž„.
  • 결둠은 λ™μΉ˜κ΄€κ³„λ₯Ό κ°€μ§€λŠ” 관계집합 λ‚΄λΆ€μ—λŠ” μ—¬λŸ¬ λ™μΉ˜λ₯˜(λ™μΉ˜κ΄€κ³„μ— μ˜ν•΄ λ‚˜λˆ μ§€λŠ” λΆ€λΆ„μ§‘ν•©λ“€)둜 λ‚˜λˆ μ§€λŠ” κ²ƒμž„.
  • λ™μΉ˜κ΄€κ³„κ°€ 이루어져 μžˆλŠ” μ§‘ν•© R을 기반으둜 λ™μΉ˜λ₯˜λ₯Ό κ΅¬ν•˜λŠ” κ²ƒμž„!!!!!!!!!!!

  • [0] (0의 λ™μΉ˜λ₯˜) μ°ΎκΈ°: 관계 Rμ—μ„œ μ•žμžλ¦¬κ°€ 0인 μˆœμ„œμŒμ„ μ°ΎλŠ”λ° (0,0) ν•˜λ‚˜λΏμ΄κΈ° λ•Œλ¬Έμ— 이 μˆœμ„œμŒμ˜ λ’·μžλ¦¬μ— μžˆλŠ” μ›μ†Œλ“€μ„ λͺ¨μŒ. μˆœμ„œμŒμ˜ λ«μžλ¦¬μ— μžˆλŠ” μ›μ†Œλ“€μ΄ λ™μΌν•˜κ²Œ 0이기 λ•Œλ¬Έμ— [0] = {0} 이 됨.
  • [1] (1의 λ™μΉ˜λ₯˜) μ°ΎκΈ°: 관계 Rμ—μ„œ μ•žμžλ¦¬ 1인 μˆœμ„œμŒ λͺ¨λ‘ μ°ΎκΈ° (1,1), (1,2) κ°€ μ‘΄μž¬ν•˜κ³ , ν•΄λ‹Ή μˆœμ„œμŒλ“€μ˜ λ’·μžλ¦¬μ— μžˆλŠ” μ›μ†Œλ“€μ„ λͺ¨λ‘ λͺ¨μœΌλ©΄ {1,2} κ°€ λ‚˜μ˜€λŠ”λ° 이것이 [1] = {1,2} 이 됨 ( 1의 λ™μΉ˜λ₯˜ )
  • [2] (2의 λ™μΉ˜λ₯˜) μ°ΎκΈ°: 관계 R μ•žμžλ¦¬ 1인 μˆœμ„œμŒ (2,1), (2,2) => [2] = {1,2} 이며, [1] κ³Ό λ™μΌν•œ λ™μΉ˜λ₯˜κ°€ λ‚˜μ˜΄.
  • μ˜ˆμ œμ—μ„  μ„œλ‘œ λ‹€λ₯Έ λ™μΉ˜λ₯˜λ₯Ό λͺ¨λ‘ 찾으라고 ν–ˆμœΌλ―€λ‘œ, 0, 1의 λ™μΉ˜λ₯˜λ§Œ κ°€λŠ₯ 즉, {0}, {1,2} κ°€ λ‚˜μ˜΄.

  • 관계집합 R이 λ™μΉ˜κ΄€κ³„κ°€ 이루어져 μžˆλŠ”μ§€ 보고, κ·Έ λ‹€μŒμ— μœ„μ— λ™μΉ˜λ₯˜λ₯Ό κ΅¬ν•˜λŠ” κ²ƒμž„.

'πŸŽ“λ°©μ†‘ν†΅μ‹ λŒ€ν•™κ΅ > πŸ•ΈοΈμ΄μ‚°μˆ˜ν•™' μΉ΄ν…Œκ³ λ¦¬μ˜ λ‹€λ₯Έ κΈ€

[μ΄μ‚°μˆ˜ν•™] 8κ°• - λΆ€μšΈλŒ€μˆ˜  (0) 2026.05.18
[μ΄μ‚°μˆ˜ν•™] 7κ°• - ν•¨μˆ˜  (0) 2026.05.15
[μ΄μ‚°μˆ˜ν•™] 4κ°• - μ§‘ν•©λ‘   (0) 2026.05.04
[μ΄μ‚°μˆ˜ν•™] 3κ°• - 증λͺ…  (0) 2026.04.17
[μ΄μ‚°μˆ˜ν•™] 2κ°• - 논리  (0) 2026.03.03
'πŸŽ“λ°©μ†‘ν†΅μ‹ λŒ€ν•™κ΅/πŸ•ΈοΈμ΄μ‚°μˆ˜ν•™' μΉ΄ν…Œκ³ λ¦¬μ˜ λ‹€λ₯Έ κΈ€
  • [μ΄μ‚°μˆ˜ν•™] 8κ°• - λΆ€μšΈλŒ€μˆ˜
  • [μ΄μ‚°μˆ˜ν•™] 7κ°• - ν•¨μˆ˜
  • [μ΄μ‚°μˆ˜ν•™] 4κ°• - μ§‘ν•©λ‘ 
  • [μ΄μ‚°μˆ˜ν•™] 3κ°• - 증λͺ…
junbin2
junbin2
java.lang.NullPointerException
  • junbin2
    bin's Development Diary
    junbin2
  • 전체
    였늘
    μ–΄μ œ
    • 전체보기 (230)
      • πŸŽ“λ°©μ†‘ν†΅μ‹ λŒ€ν•™κ΅ (84)
        • βš™οΈμ»΄ν“¨ν„°μ˜ 이해 (11)
        • πŸ’»μ»΄ν“¨ν„°κ³Όν•™ 개둠 (15)
        • πŸ”’μžλ£Œκ΅¬μ‘° (14)
        • πŸ§¬μ•Œκ³ λ¦¬μ¦˜ (10)
        • βš™οΈμš΄μ˜μ²΄μ œ (12)
        • πŸ•ΈοΈμ΄μ‚°μˆ˜ν•™ (10)
        • πŸŒμœ λΉ„μΏΌν„°μŠ€ μ»΄ν“¨νŒ… (11)
        • πŸ–₯️컴퓨터과학과 (1)
      • πŸ› οΈBackend (71)
        • πŸ“šλ°±μ—”λ“œ 곡뢀 (5)
        • β˜•Java (23)
        • 🌳Spring (13)
        • βš™οΈC (12)
        • ⚑Python (15)
        • JavaScript (1)
        • πŸ›’οΈDatabase (0)
        • Algorithm Problem Solving (2)
      • 🌐 Network (7)
        • πŸ“œHTTP (7)
      • πŸš€DevOps (1)
      • β›ΊμŠ€νŒŒλ₯΄νƒ€μ½”λ”©ν΄λŸ½ (64)
      • 정보 (2)
      • 정리가 ν•„μš”ν•œ κΈ€ (1)
  • λΈ”λ‘œκ·Έ 메뉴

    • ν™ˆ
    • νƒœκ·Έ
    • λ°©λͺ…둝
  • 링크

    • GitHub
  • 곡지사항

  • 인기 κΈ€

  • νƒœκ·Έ

    λ°©μ†‘ν†΅μ‹ λŒ€ν•™κ΅
    λ°©μ†‘λŒ€
    파이썬
    μžλ°”
    Cμ–Έμ–΄
    μ•Œκ³ λ¦¬μ¦˜
    운영체제
    λ°©ν†΅λŒ€
    μ»΄ν“¨ν„°μ˜ 이해
    자료ꡬ쑰
    ν•¨μˆ˜
    spring
    μœ λΉ„μΏΌν„°μŠ€
    컴퓨터과학과
    컴퓨터과학 개둠
    Python
    λ°°μ—΄
    κ·Έλž˜ν”„
    μ΄μ‚°μˆ˜ν•™
    Java
  • 졜근 λŒ“κΈ€

  • 졜근 κΈ€

  • hELLOΒ· Designed Byμ •μƒμš°.v4.10.1
junbin2
[μ΄μ‚°μˆ˜ν•™] 6κ°• - 관계
μƒλ‹¨μœΌλ‘œ

ν‹°μŠ€ν† λ¦¬νˆ΄λ°”