균등 연속 함수

수학에서 균등 연속 함수(均等連續, 영어: uniformly continuous map)는 두 균등 공간 사이의, 균등 공간의 구조와 호환되는 함수이다. 만약 균등 공간의 구조가 거리 함수로부터 유도된다면, 이는 임의의 반지름의 열린 공의 원상이 균등한 (위치에 의존하지 않는) 크기를 갖는 열린 공을 포함하는 함수이다. 연속 함수의 조건은 국소적인데, 이를 대역적으로 강화시킨 조건이다.

정의[편집]

균등 연속 함수의 개념은 여러 가지로 정의할 수 있다.

균등 공간은 일련의 측근들이 주어진 집합으로 정의할 수 있으며, 균등 연속 함수의 개념을 이를 사용하여 정의할 수 있다. 이 경우, 정의는 위상 공간 사이의 연속 함수의 정의와 유사해진다.
균등 공간은 일련의 유사 거리 함수들의 주어진 집합으로 정의할 수 있으며, 균등 연속 함수의 개념을 이를 사용하여 정의할 수 있다. 이 정의는 더욱 구체적이며, 특히 거리 공간의 경우 간단해진다.

측근을 통한 정의[편집]

두 균등 공간 $(X,{\mathcal {E}})$ , $(Y,{\mathcal {F}})$ 사이의 균등 연속 함수는 다음 조건을 만족시키는 함수 $f\colon X\to Y$ 이다.

측근의 원상은 측근이다. 즉, 임의의 $F\in {\mathcal {F}}$ 에 대하여, $f^{-1}(F)\in {\mathcal {E}}$ 이다.

이는 두 위상 공간 사이의 연속 함수의 정의와 유사하다. 연속 함수는 열린집합의 원상이 열린집합인 함수이며, 균등 연속 함수는 측근의 원상이 측근인 함수이다.

유사 거리 함수를 통한 정의[편집]

집합 $X$ 위에 유사 거리 함수들의 (유한 또는 무한) 집합 $\{d_{i}\}_{i\in I}$ 가 주어졌으며, 이들이 유한 상한에 대하여 닫혀 있다고 하자. 즉, 다음이 성립한다고 하자.

\forall I'\subseteq I,\;|I'|<\aleph _{0}\exists {\bar {\imath }}\in I\colon d_{\bar {\imath }}=\max _{i\in I'}d_{i}

그렇다면,

{\mathcal {B}}_{X}=\left\{B_{i,t}\colon i\in I,\;t\in \mathbb {R} ^{+}\right\}

B_{i,t}=d_{i}^{-1}([0,t])=\{(x,y)\in X^{2}\colon d_{i}(x,y)\leq t\}

는 $X$ 위의 기본계를 구성하며 따라서 균등 구조를 정의한다. 또한, 모든 균등 공간은 위와 같이 유사 거리 함수들의 (유한 또는 무한) 족으로 나타낼 수 있다.

위와 같이, 유한 상한에 대하여 닫힌 유사 거리 함수들이 갖추어진 두 집합 $(X,\{d_{i}\}_{i\in I})$ 및 $(Y,\{d_{j}\}_{j\in J})$ 이 주어졌다고 하고, 그 사이의 함수 $f\colon X\to Y$ 가 주어졌다고 하자. 만약

임의의 $j\in J$ 및
임의의 양의 실수 $\epsilon >0$

에 대하여, 다음 조건을 만족시키는

$i\in I$ 및
양의 실수 $\delta >0$

가 존재한다면, $f$ 를 균등 연속 함수라고 한다.

$X$ 의 임의의 두 점 $x,x'\in X$ 에 대하여, 만약 $d_{i}(x,x')<\delta$ 라면, 항상 $d_{j}(f(x),f(x'))<\epsilon$ 이다.

특히, 거리 공간은 위 구성에서 단 하나의 유사 거리 함수만이 주어지며, 유사 거리 함수가 거리 함수를 이루는 경우이다. 이 경우 위 정의는 더 간단해진다. 구체적으로, 두 거리 공간 $(X,d_{X})$ , $(Y,d_{Y})$ 사이의 함수 $f\colon X\to Y$ 가 주어졌을 때, 만약 임의의 양의 실수 $\epsilon >0$ 에 대하여 다음 조건을 만족시키는 양의 실수 $\delta _{\epsilon }>0$ 이 존재한다면 $f$ 를 균등 연속 함수라고 한다.