기본 정의

수학에서 adjoint functions (또는 Galois connection)은 두 순서 구조(poset) 사이의 함수 쌍을 말한다. 두 순서집합 (P, ≤) 과 (Q, ≤)가 있을 때, 함수 f: P → Q, g: Q → P 가 다음 조건을 만족하면 f와 g를 adjoint pair라고 한다:

$f(p) \le q \iff p \le g(q)$ (모든 p ∈ P, q ∈ Q 에 대해)

이때 f를 왼쪽 adjoint (left adjoint), g를 **오른쪽 adjoint (right adjoint)**라고 부른다.

성질

1. 단조성(monotonicity) 보장 f와 g는 자동으로 단조 증가 함수가 된다. 즉, $p_1 \le p_2 \implies f(p_1) \le f(p_2) \land q_1 \le q_2 \implies g(q_1) \le g(q_2)$.

2. 결합 관계 항상 다음이 성립한다: $p \le g(f(p)) \land f(g(q)) \le q$

   따라서 $g \circ f$ 는 P에서 "closure operator", $f \circ g$ 는 Q에서 "interior operator"가 된다.

3. 범주론적 해석 범주론(category theory)에서는 functor $F : \mathcal{C} \to \mathcal{D}$, $G : \mathcal{D} \to \mathcal{C}$가 있을 때,

   $\mathrm{Hom}\mathcal{D}(F(c), d) \;\cong\; \mathrm{Hom}\mathcal{C}(c, G(d))$

   가 성립하면 $F ⊣ G$ (F is left adjoint to G, G is right adjoint to F)라고 한다.

직관적 해석

• f는 "가능한 한 크게 보내는 함수"이고, g는 "가능한 한 작게 끌어오는 함수"라고 볼 수 있다.
• 예시: 집합 A에 대해 멱집합 P(A)와 정수 집합 ℤ를 생각하면,

  • $f: \mathbb{Z} \to \mathcal{P}(\mathbb{Z}), \quad f(n) = { k \in \mathbb{Z} \mid k \le n }$

  • $g: \mathcal{P}(\mathbb{Z}) \to \mathbb{Z}, \quad g(S) = \sup(S)$ (S의 상한, 존재한다고 가정)

    이들은 adjoint pair를 이룬다.

구체적 예시

1. 대수학: 부분집합과 생성되는 부분군(subgroup generated by set) 사이 관계.
   • f: 집합 $X \mapsto \langle X \rangle$ (X로 생성되는 부분군)
   • g: 부분군 H ↦ underlying set(H) 이들이 adjoint 관계.
2. 논리학: 논리에서 ∃ (존재기호)와 ∀ (전체기호)도 adjoint 관계로 해석된다.
   • ∃는 왼쪽 adjoint, ∀는 오른쪽 adjoint.
3. 범주론: Free functor와 Forgetful functor의 전형적 관계:
   • Free group functor (집합 → 군)
   • Forgetful functor (군 → 집합)