In this post we will study integration in abstract spaces. Let \(E\) be a normed linear space and \(K\) the closed interval \([a,\,b]\) of the real number line. We consider an operator \(x = x(t),\) which need not be linear and maps \(K\) into \(E.\) In the following, we will call such an operator an abstract function on the interval \([a,\,b].\) For these functions, we shall define and deduce properties of the fundamental operations of analysis. Definition of the Integral …
In this post we will study differentiation in abstract spaces. Definition of Derivatives Let \(E\) be a normed linear space and \(K\) the closed interval \([0,\,1]\) of the real number line. We consider an operator \(x = x(t),\) which need not be linear and maps \(K\) into \(E.\) In the following, we will call such an operator an abstract function on the interval \([0,\,1].\) For these functions, we shall define and deduce properties of the fundamental operations of analysis. Definition …
바이어슈트라스의 근사 정리에 의하면 \(f\)가 닫힌 구간 \([a,\,b]\)에서 정의된 연속함수일 때 \([a,\,b]\) 위에서 \(f\)에 균등수렴하는 다항함수열이 존재한다. 여기서는 더 일반적인 경우를 살펴보자. 정의 1. (대수; algebra) \(X\)가 거리공간이고 \(C(X)\)가 정의역이 \(X\)인 연속 실함수들의 모임이라고 하자. \(\mathcal{A}\)가 \(C(X)\)의 부분집합이고 공집합이 아니며 두 조건 \(f,\,g\in\mathcal{A}\)일 때 \(f+g \in \mathcal{A},\) \(fg\in\mathcal{A}\) \(f\in\mathcal{A},\) \(c\in\mathbb{R}\)일 때 \(cf\in\mathcal{A}\) 를 모두 만족시키면 \(\mathcal{A}\)를 \(C(X)\)의 실함수 대수(real function algebra) 또는 간단히 대수(algebra)라고 부른다. \(X\)가 거리공간이고 \(f\in C(X)\)일 때 \(f\)의 균등노름(uniform norm)을 \[\lVert f \rVert := \sup_{x\in X} \lvert …
가산집합과 비가산집합은 원소의 개수에 따라 집합을 분류한 것이다. 해석학과 위상수학에서는 원소의 개수뿐만 아니라 원소의 분포 형태까지 고려하여 집합을 분류하는데 그러한 분류법 중 하나가 집합의 범주이다. 정의 1. \(X\)가 위상공간이고 \(E\subseteq X\)라고 하자. 만약 \(\left(\overline{E}\right)^o = \varnothing\)이면 \(E\)는 \(X\)의 어느 곳에서도 조밀하지 않다(nowhere dense)고 말한다. 보기 1. \(\mathbb{R}\)가 보통위상공간이라고 하자. 이때 \(\mathbb{N}\)은 \(\mathbb{R}\)의 어느 곳에서도 조밀하지 않다. 보기 2. \(\mathbb{Z}\)가 보통위상공간이라고 하자. 이때 \[\left(\overline{\mathbb{N}}\right)^o = \mathbb{N}^o = \mathbb{N}\]이므로 \(\mathbb{N}\)은 \(\mathbb{Z}\)의 어느 곳에서도 조밀하지 않다고 할 수 없다. 위 두 보기를 통해 …
이 포스트에서는 \(\mathcal{L}^1\) 노름을 기준으로 했을 때 계단함수를 이용하여 가측함수에 근사시키는 방법과 연속함수를 이용하여 \(\mathcal{L}^1\)에 속하는 함수에 근사키는 방법을 살펴보고, 그 응용으로서 리만-르베그의 보조정리를 살펴본다. 정리 1. (계단함수를 이용한 가측함수의 근사) \(f\)가 \([a,\,b]\)에서 유계인 가측함수라고 하자. 그러면 임의의 \(\epsilon > 0\)에 대하여 계단함수 \(h\)가 존재하여 \[\int_a^b |f-h| \, dm < \epsilon\] 을 만족시킨다. 증명 먼저 \(f \ge 0\)인 경우를 증명하자. 그러면 르베그 적분의 정의에 의하여 \[\int_a^b f\,dm = \sup \left\{ \left. \int_a^b \varphi \,dm \,\right\vert\, 0 \le \varphi \le f ...