# 유계행렬 (Bounded Matrices)

유계행렬은 행렬 이론에서 중요한 개념 중 하나로, 다양한 수학적 분석과 선형 대수에서 자주 다루어진다. 유계행렬은 특정한 노름 (norm)을 통해 그 크기나 범위가 제한되는 행렬을 말한다. 이러한 행렬은 연산의 안정성과 수렴성을 분석하는 데 유용하며, 특히 무한 차원의 공간에서 중요한 역할을 한다.

#### 유계행렬의 정의

유계행렬이란 주어진 노름에서 크기가 유계(bounded)인 행렬을 말한다. 일반적으로, 행렬 $ A $가 유계행렬이라는 것은 다음 조건을 만족함을 의미한다:

$$
\exists M > 0 \text{ such that } |Ax| \leq M|x| \text{ for all } x \in X.
$$

여기서 $ X $는 벡터 공간이고, $ | \cdot | $는 이 벡터 공간에서 정의된 노름이다. 이 조건은 모든 벡터 $ x $에 대해, 행렬 $ A $가 작용했을 때의 벡터 $ Ax $의 노름이 $ x $의 노름에 비례하여 일정한 상수 $ M $ 이하로 유지된다는 것을 의미한다.

#### 유계행렬과 연속성

유계행렬의 중요한 성질 중 하나는 선형 변환의 연속성과 밀접한 관련이 있다는 것이다. 구체적으로, 유계행렬은 항상 연속적인 선형 변환을 나타낸다. 즉, 유계행렬 $ A $는 다음과 같은 성질을 갖는다:

$$
\lim\_{x \to 0} Ax = 0.
$$

이는 $ x $가 0으로 수렴할 때, $ Ax $도 0으로 수렴함을 의미하며, 행렬의 연산이 '불연속적인 점프' 없이 안정적으로 이루어짐을 보장한다.

#### 유계행렬과 노름 사이의 관계

유계행렬의 개념을 이해하려면 행렬 노름(matrix norm)의 개념이 필요하다. 노름은 벡터의 크기를 측정하는 함수이며, 행렬 노름은 행렬을 하나의 벡터처럼 다루어 그 크기를 측정하는 함수이다. 일반적으로 사용되는 행렬 노름에는 다음과 같은 것들이 있다:

1. **행렬의 행 노름 (Row norm)**: 각 행의 요소의 절대값 합 중 최대값으로 정의된다.
2. **행렬의 열 노름 (Column norm)**: 각 열의 요소의 절대값 합 중 최대값으로 정의된다.
3. **스펙트럼 노름 (Spectral norm)**: 행렬의 최대 특이값 (singular value)에 의해 정의된다.

유계행렬은 이러한 노름들 중 하나로 측정된 값이 특정 상수 $ M $ 이하로 유지되는 행렬을 의미한다. 예를 들어, $ A $의 스펙트럼 노름이 유계 $ M $를 만족하면, 모든 벡터 $ x $에 대해 $ |Ax| \leq M|x| $가 성립한다.

#### 유계행렬의 성질

유계행렬에는 몇 가지 중요한 성질들이 있다. 여기서는 주요한 몇 가지 성질을 설명한다:

* **선형 변환의 합과 곱의 유계성**: 두 유계행렬 $ A $와 $ B $에 대해, $ A + B $와 $ AB $ 역시 유계행렬이다. 즉, 유계행렬의 집합은 선형 공간을 이루며, 곱셈에 대해서도 닫혀 있다.
* **역행렬의 유계성**: 만약 유계행렬 $ A $가 가역(invertible)이라면, 그 역행렬 $ A^{-1} $도 유계이다. 이 성질은 바나흐 대수(Banach algebra)에서 중요한 역할을 한다.
* **유계성 보존**: 선형 변환 $ T $가 유계행렬 $ A $와 상응할 때, $ T $의 모든 선형 조합과 극한도 유계성을 보존한다. 이는 함수해석학에서 흔히 이용되는 결과이다.

#### 유계행렬의 범주

유계행렬은 일반적으로 바나흐 공간(Banach space)과 힐베르트 공간(Hilbert space)에서 정의되며, 이러한 공간에서의 선형 변환을 분석하는 데 필수적인 도구이다. 특히, 유계연산자(bounded operator)와 유사하게 정의되며, 이는 무한 차원 공간에서 유계행렬의 개념을 확장한 것이다.

#### 관련 자료:

***

* Rudin, W. (1991). *Functional Analysis*. McGraw-Hill.
* Kreyszig, E. (1989). *Introductory Functional Analysis with Applications*. Wiley.
* Axler, S. (1997). *Linear Algebra Done Right*. Springer.