# 반사성 (Reflexivity)

## 1. 개요
**반사성(Reflexivity)**이란 수학의 관계 이론에서 집합의 모든 원소가 자기 자신과 관계를 맺고 있는 성질을 의미한다. 즉, 어떤 대상 $a$에 대하여 "$a$는 $a$와 관계가 있다"라는 명제가 항상 참이 될 때, 해당 관계는 반사적이라고 한다.

## 2. 수학적 정의
집합 $A$와 그 위의 이항 관계 $R$ (즉, $R \subseteq A \times A$)에 대하여, 관계 $R$이 **반사적(Reflexive)**이기 위한 필요충분조건은 다음과 같다.

$$\forall a \in A, (a, a) \in R$$

여기서 $\forall$은 '모든 ~에 대하여'를 뜻하는 전칭 정량자(Universal Quantifier)이며, $(a, a) \in R$은 원소 $a$가 자기 자신과 관계 $R$을 맺고 있음을 의미한다. 만약 집합 $A$의 단 하나의 원소라도 자기 자신과 관계를 맺지 않는다면, 그 관계는 반사적이지 않다.

## 3. 반사성의 유형
관계의 반사성 여부는 단순히 '참'과 '거짓'으로 나뉘는 것이 아니라, 모든 원소가 만족하는지, 혹은 어떤 원소도 만족하지 않는지에 따라 세분화된다.

### 3.1 관계 유형별 비교
| 유형 | 정의 | 조건 | 특징 |
| :--- | :--- | :--- | :--- |
| **반사적 (Reflexive)** | 모든 원소가 자기 자신과 관계를 맺음 | $\forall a \in A, (a, a) \in R$ | 모든 정점에 루프가 존재함 |
| **비반사적 (Irreflexive)** | 어떤 원소도 자기 자신과 관계를 맺지 않음 | $\forall a \in A, (a, a) \notin R$ | 어떤 루프도 존재하지 않음 |
| **반-반사적 (Non-reflexive)** | 반사적이지 않은 모든 관계 | $\neg (\forall a \in A, (a, a) \in R)$ | 일부는 맺고 일부는 맺지 않거나, 모두 맺지 않음 |

### 3.2 관계 유형별 진리표
집합 $A = \{a, b\}$일 때, 각 원소의 자기 관계 성립 여부에 따른 관계의 분류는 다음과 같다.

| $(a, a) \in R$ | $(b, b) \in R$ | 관계의 분류 | 비고 |
| :---: | :---: | :---: | :--- |
| T | T | **반사적** | 모든 원소 만족 |
| F | F | **비반사적** | 모든 원소 불만족 |
| T | F | **반-반사적** | 일부만 만족 (반사적이지 않음) |
| F | T | **반-반사적** | 일부만 만족 (반사적이지 않음) |

## 4. 주요 사례 및 예시

### 4.1 반사성이 성립하는 사례
*   **등호 관계 ($=$):** 모든 실수 $x$에 대하여 $x = x$는 항상 성립한다.
*   **부등호 관계 ($\le, \ge$):** 모든 실수 $x$에 대하여 $x \le x$ 및 $x \ge x$는 항상 성립한다.
*   **부분집합 관계 ($\subseteq$):** 모든 집합 $S$에 대하여 $S \subseteq S$는 항상 성립한다.
*   **나눗셈 관계 ($\mid$):** 0을 제외한 정수 집합 $\mathbb{Z} \setminus \{0\}$에서 $a$가 $a$를 나눈다는 관계($a \mid a$)는 항상 성립한다. (0의 경우 $0 \mid 0$의 정의가 불분명하므로 집합 범위 지정이 필요함)

### 4.2 반사성이 성립하지 않는 사례 (반례)
*   **엄격한 부등호 ($<, >$):** 어떤 실수 $x$에 대해서도 $x < x$는 성립할 수 없다. 이는 **비반사적** 관계의 대표적 예시이다.
*   **'~의 어머니이다' 관계:** 어떤 사람 $P$가 자기 자신의 어머니가 될 수는 없다. ($\forall P, (P, P) \notin R$)
*   **'~와 다르다' ($\neq$):** 모든 $x$에 대해 $x \neq x$는 거짓이다.

## 5. 관련 개념 및 응용

### 5.1 동치 관계와 부분 순서
반사성은 더 복잡한 수학적 구조를 정의하는 기초가 된다.

1.  **동치 관계 (Equivalence Relation):** 다음 세 가지 성질을 모두 만족하는 관계이다.
    *   **반사성:** $\forall a, (a, a) \in R$
    *   **대칭성:** $(a, b) \in R \implies (b, a) \in R$
    *   **추이성:** $(a, b) \in R \land (b, c) \in R \implies (a, c) \in R$
2.  **부분 순서 (Partial Order):** 다음 세 가지 성질을 모두 만족하는 관계이다.
    *   **반사성:** $\forall a, (a, a) \in R$
    *   **반대칭성:** $(a, b) \in R \land (b, a) \in R \implies a = b$
    *   **추이성:** $(a, b) \in R \land (b, c) \in R \implies (a, c) \in R$

### 5.2 관계 성질 간의 관계도
반사성, 대칭성, 추이성은 서로 독립적인 성질이며, 이들의 조합에 따라 관계의 성격이 결정된다.

```mermaid
graph TD
    A[이항 관계 R] --> B{반사성 여부}
    B -- Yes --> C{대칭성 & 추이성}
    B -- No --> D[비반사적 또는 반-반사적]
    C -- Both Yes --> E[동치 관계]
    C -- "반대칭성 & 추이성" --> F[부분 순서]
```

## 6. 행렬 및 그래프 표현

### 6.1 관계 행렬 (Relation Matrix)
집합 $A$의 원소 개수가 $n$개일 때, 관계 $R$을 $n \times n$ 행렬 $M$으로 표현할 수 있다. 이때 $M_{ij} = 1$이면 $(a_i, a_j) \in R$이고, $0$이면 관계가 없음을 의미한다.
*   **반사적 관계의 특징:** 행렬의 **주대각선(Main Diagonal)** 성분이 모두 1이다.
    $$\begin{pmatrix} \mathbf{1} & 0 & 1 \\ 1 & \mathbf{1} & 0 \\ 0 & 1 & \mathbf{1} \end{pmatrix}$$
    (예: $3 \times 3$ 반사적 관계 행렬)

### 6.2 유향 그래프 (Directed Graph)
관계를 그래프로 표현할 때, 원소는 정점(Vertex)으로, 관계는 화살표(Edge)로 나타낸다.
*   **반사적 관계의 특징:** 모든 정점에 자기 자신으로 되돌아오는 화살표인 **루프(Loop)**가 반드시 존재한다.
*   **비반사적 관계의 특징:** 어떤 정점에도 루프가 존재하지 않는다.

**[루프 시각화 예시]**
- **반사적 관계:** $\text{Vertex } A \circlearrowleft, \text{ Vertex } B \circlearrowleft, \text{ Vertex } C \circlearrowleft$ (모든 정점에 루프 존재)
- **비반사적 관계:** $\text{Vertex } A, \text{ Vertex } B, \text{ Vertex } C$ (루프가 전혀 없음)

---
**분류:** 수학 / 관계이론 / 성질