ํ๋ฅดํ ํฌ์ ํ์ฅ ์ ๋ฆฌ(Hartog’s extension theorem)๋ \(X\)๊ฐ \(\mathbb{C}^n\)์ ์ด๋ฆฐ๋ถ๋ถ์งํฉ์ด๊ณ \(n\ge 2\)์ด๋ฉฐ \(K\subseteq X\)๊ฐ ์ปดํฉํธ์ด๊ณ \(X\setminus K\)๊ฐ ์ฐ๊ฒฐ์งํฉ์ผ ๋ \(X\setminus K\)์์ ํด์์ ์ธ ํจ์๋ \(X\)์์ ํด์์ ์ธ ํจ์๋ก ์ ์ผํ๊ฒ ํ์ฅ๋ ์ ์๋ค๋ ์ ๋ฆฌ์ด๋ค. ๋จผ์ ๋จ์ํ ๊ฒฝ์ฐ๋ถํฐ ์ดํด๋ณด์. ์งํฉ \(D\subseteq \mathbb{C}^n\)์ ๋ํ์ฌ, \(\mathbb{T}^n\)์ด \(D\)์ ๋ํ์ฌ ์ฑ๋ถ๋ณ ์ฐ์ฐ์ผ๋ก ์์ฉํ๋ฉด \(D\)๋ฅผ ๋ค์ค๊ณ ๋ฆฌ๋ผ๊ณ ๋ถ๋ฅธ๋ค. ์ด๋ ๋ง์ฝ \(D\)๊ฐ ์์ญ(์ด๋ฆฐ ์ฐ๊ฒฐ์งํฉ)์ด๋ฉด \(D\)๋ฅผ ๋ผ์ธํ๋ฅดํธ ์์ญ(Reinhardt domain)์ด๋ผ๊ณ ๋ถ๋ฅธ๋ค. ๊ฑฐ๋ญ์ ๊ณฑ๊ธ์์ ์๋ ด์์ญ์ ๋ผ์ธํ๋ฅด์ธ ์์ญ์ด๋ค. ๊ทธ๋ฌ๋ \(f : D \mapsto M\)๊ณผ ๊ทธ ์ญํจ์๊ฐ ๋ชจ๋ ํด์์ ์ด๊ณ \(D\)๊ฐ ๋ผ์ธํ๋ฅด์ธ ์์ญ์ผ์ง๋ผ๋ \(M\)์ ๋ผ์ธํ๋ฅด์ธ ์์ญ์ด ์๋ ์ ์๋ค. ์์ปจ๋ …
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 ...