κ΄κ³
-
- [μ΄μ° μν] λμΉ κ΄κ³μ λΆλΆ μμ κ΄κ³
λμΉ κ΄κ³μ λΆλΆ μμ κ΄κ³ κ΄κ³ `R` μ΄ μ΄λ€ μ±μ§μ κ°λλμ λ°λΌ κ΄κ³μ μλ―Έλ₯Ό λΆμ¬νμ¬ κ·Έ μλ―Έμ λ°λΌ κ΄κ³μ μμμμ ꡬμ±νλ μμλ€μ νμ©ν μ μλ€. κ΄κ³μ λΆμ¬λλ μλ―Έμλ λμΉ κ΄κ³λ λΆλΆ μμ κ΄κ³κ° μλλ°, λμΉ κ΄κ³μ κ²½μ° κ·Έ κ΄κ³μ μμμμ ꡬμ±νλ μμλ€μ΄ κ°μ μλ―ΈλΌλ κ²μ λ»νλ©°, λΆλΆ μμ κ΄κ³μ κ²½μ°λ κ·Έ κ΄κ³μ μμμμ ꡬμ±νλ μμλ€ μ¬μ΄μ μμκ° μ‘΄μ¬νλ€λ κ²μ λ»νλ€. λμΉ κ΄κ³(Equivalence Relation) λ°μ¬ κ΄κ³, λμΉ κ΄κ³, μΆμ΄ κ΄κ³κ° λͺ¨λ μ±λ¦½νλ κ΄κ³ λμΉλ ννμ΄ λ¬λΌλ μλ―Έκ° κ°μμ λλ±νκ² μ¬μ©ν μ μμμ μλ―Ένλ€. μ) 10μ§μ $7_{10}$ κ³Ό 2μ§μ $111_{2}$ μ΄ ννμ λ€λ₯΄μ§λ§ κ°μ κ°μΌλ‘ μ¬μ©λλ―λ‘ λμΉλΌκ³ ν μ μ..
2022.11.06 -
- [μ΄μ° μν] κ΄κ³μ νν¬
κ΄κ³μ νν¬ νλ²μ μ λ ₯νλ©΄ νμμ μ΄λ¦μ λΉλ‘―ν νμμ κΈ°ν μ 보λ₯Ό κ²μν μ μλ μμ€ν μ΄ μλ€κ³ νμ. νμ§λ§, μ΄ μμ€ν μ λ±λ‘λ μ 체 νμ μ€ μ¬νμλ§ κ²μν μ μλ€. μ΄ μμ€ν μμ ν΄νμμ μ 보λ κ²μν μ μμΌλ €λ©΄ ν΄νμμ νλ²κ³Ό μ 보λ μΆκ°ν΄μΌν κ²μ΄λ€. μ΄μ²λΌ μλ£ μ§ν©μ νμν μμλ₯Ό μΆκ°νμ¬ νΉμ 쑰건μ λ§μ‘±νλλ‘ λ§λλ κ²μ κ΄κ³μ νν¬λΌκ³ νλ€. κ΄κ³μ νν¬(Closure) μ§ν© `A` μ λν κ΄κ³λ₯Ό `R` μ΄λΌ νκ³ κ΄κ³ `R` μ΄ κ°μ ΈμΌ νλ μ±μ§μ `P` λΌκ³ ν λ, κ΄κ³ `R` μ ν¬ν¨νλ©΄μ μ±μ§ `P` λ₯Ό κ°λ κ°μ₯ μμ μ§ν© `A` μ λν κ΄κ³ `S` μ±μ§ `P` λ₯Ό κ°μ§ μλ κ΄κ³ `R` μ΄ μ±μ§ `P`λ₯Ό κ°λλ‘ μμμμ μΆκ°ν λλ λ°λμ νμν μ΅μνμ μμ..
2022.11.06 -
- [μ΄μ° μν] ν©μ± κ΄κ³
ν©μ± κ΄κ³ 2κ° μ΄μμ κ΄κ³λ₯Ό μ΄μ©ν΄ μλ‘μ΄ κ΄κ³λ₯Ό λ§λλ κ²μ 'κ΄κ³λ₯Ό ν©μ±νλ€'κ³ νκ³ , μ΄λ κ² λ§λ κ΄κ³λ₯Ό ν©μ± κ΄κ³λΌκ³ νλ€. ν©μ± κ΄κ³(Composite Relation : $S \circ R$) μ§ν© `A` μμ μ§ν© `B` λ‘μ κ΄κ³ `R` κ³Ό μ§ν© `B` μμ μ§ν© `C` λ‘μ κ΄κ³ `S` κ° μμ λ, μ΄ λ κ΄κ³λ₯Ό μ΄μ©ν΄ ꡬνλ μ§ν© `A` μμ μ§ν© `C` λ‘μ κ΄κ³ $$S \circ R = \{(a, c) ∈ A \times C \; | \; a ∈ A, \; b ∈ B, \; c ∈ C, \; (a, b) ∈ R, \; (b, c) ∈ S \}$$ ν©μ± κ΄κ³λ₯Ό ꡬνλ €λ©΄ λ μ΄μμ κ΄κ³ μ¬μ΄μ 곡ν΅μΌλ‘ μ¬μ©λλ μλ£ μ§ν©μ΄ μμ΄μΌ νλ€. μ μκ°κ³Όλͺ© λ΄λΉκ΅μ μ 보 νλ² κ³Όλͺ©μ½λ κ΅μ..
2022.10.31 -
- [μ΄μ° μν] κ΄κ³μ μ±μ§
κ΄κ³μ μ±μ§ νλμ μ§ν©μ λν κ΄κ³μ κ²½μ°, μμμ μμμ ꡬμ±μ λ°λΌ κ΄κ³μ μ±μ§μ νλ³ν μ μλ€. κ΄κ³μ μ±μ§μλ λ°μ¬, λΉλ°μ¬, λμΉ, λ°λμΉ, μΆμ΄ 5κ°μ§κ° μλ€. λ°μ¬ κ΄κ³μ λΉλ°μ¬ κ΄κ³ λ°μ¬ κ΄κ³(Reflexive Relation) μ§ν© `A` μ λν κ΄κ³ `R` μ΄ μμ λ, λͺ¨λ $a ∈ A$ μ λν΄ $(a, a) ∈ R$ μΈ κ΄κ³ ($Δ_{A} = \{ (a, a) \; | \; a ∈ A \}$) λΉλ°μ¬ κ΄κ³(Irreflexive Relation) μ§ν© `A` μ λν κ΄κ³ `R` μ΄ μμ λ, λͺ¨λ $a ∈ A$ μ λν΄ $(a, a) \not ∈ R$ μΈ κ΄κ³ μ§ν© `A` μ λν κ΄κ³ `R` μ΄ λ°μ¬ κ΄κ³μ΄λ €λ©΄, μ§ν© `A` μ ν¬ν¨λλ λͺ¨λ μμ `a` μ λν΄ μκΈ° μμ ..
2022.10.31 -
- [μ΄μ° μν] κ΄κ³μ νν
κ΄κ³μ νν κ΄κ³λ μΌλ°μ μΌλ‘ μμμμ μ§ν©μΌλ‘ νννμ§λ§, μ΄ μΈμλ νμ΄ν μ λ, μ’ν λν, κ΄κ³ νλ ¬, λ°©ν₯ κ·Έλν λ± μ¬λ¬ κ°μ§ λ°©μμΌλ‘ ννν μ μλ€. νμ΄ν μ λλ₯Ό μ΄μ©ν κ΄κ³ νκΈ° νμ΄ν μ λ(Arrow Diagram) μ§ν© `A` μμ μ§ν© `B` λ‘ κ°λ κ΄κ³ `R` μ΄ μμ λ, λ μ§ν©μ μμ κ°μ κ΄κ³λ₯Ό νμ΄νλ‘ λνλΈ λν νμ΄ν μ λμμ νμ΄νμ λ°©ν₯μ κ΄κ³μ ν¬ν¨λλ μμμμ μμ μ€λ μμμμ μμνμ¬ λ€μ μ€λ μμλ‘ ν₯νλλ‘ νλ€. μκ΄κ³μ κ²½μ°, κ΄κ³ `R` μ νμ΄ν μ λμ νμ΄ν λ°©ν₯μ΄ λ°λμ΄λ€. μ’ν λνλ₯Ό μ΄μ©ν κ΄κ³ νκΈ° μ’ν λν(Coordinate Diagram) μ§ν© `A` μμ μ§ν© `B` λ‘ κ°λ κ΄κ³ `R` μ΄ μμ λ, μ§ν© `A` (μ μμ)μ ..
2022.10.29 -
- [μ΄μ° μν] κ΄κ³μ κ°λ
κ΄κ³μ κ°λ μΈκ³΅μ§λ₯μ λ°μ΄ν°λ² μ΄μ€μ μ μ₯λ μ§μμ νμ©νμ¬ μλ‘μ΄ μ§μμ μμ±νκ±°λ λ¬Έμ λ₯Ό ν΄κ²°νλ€. λ°μ΄ν°λ² μ΄μ€λ μλ£λ₯Ό ν¨μ¨μ μΌλ‘ μ²λ¦¬ν μ μλλ‘ κ΄λ ¨ μλ μλ£λ₯Ό μ€λ³΅ μμ΄ ν΅ν©ν μ§ν©μΌλ‘, ꡬ쑰νλ μλ£ ννμ΄λ€. μ΄μ²λΌ ꡬ쑰νλ μλ£μ μλ―Έ μλ κ΄κ³λ₯Ό λΆμ¬νλ©΄ μλ‘μ΄ μ 보λ₯Ό λ§λ€ μ μκ³ , κ°μ μλ£ μ¬μ΄μ κ΄κ³λΌκ³ νλλΌλ λΆμ¬λ κ΄κ³μ λ°λΌ μ ν λ€λ₯Έ μ λ³΄κ° λ μ μλ€. κ·Έλ¬λ―λ‘ λ°μ΄ν°λ² μ΄μ€μ μ μ₯λ μλ£ μμ²΄λΏ μλλΌ κ·Έ μλ£ μ¬μ΄μ κ΄κ³λ μΈκ³΅μ§λ₯μ΄ μ§μμ μμ±νκ³ νλ¨νλλ° ν° μν₯μ λ―ΈμΉλ€. λ€μκ³Ό κ°μ μλ£ μ§ν©μ΄ μ‘΄μ¬νκ³ , κ° μ§ν©μ ν¬ν¨λ μλ£λ μ€λ₯μ μ€λ³΅μ΄ μμ΄ μ 보λ₯Ό μ 곡νλ λ° μΆ©λΆνλ€κ³ κ°μ νμ. μ κ·Έλ¦Όμ²λΌ μλ£ μ§ν©μ κ°λ³μ μΈ μ 보λ§μΌλ‘ ꡬμ±νλ€λ©΄ νμ, μ 곡..
2022.10.29