๊ทนํ์ ์ฌํ โ ๋ถ์ ํ๊ณผ ์๋์์น ์ ๋ฆฌ
๋ ์ด์ ํฌ์ธํฐ๊ฐ ์ฌ๋ฆฟ์ ํต๊ณผํ ๋ ์ ์ค์์ด ๊ฐ์ฅ ๋ฐ์๊น์? ๊ทธ ๋ต์ ์ด๋ผ๋ ๊ทนํ ์์ ์จ์ด ์์ต๋๋ค.
๐ก ์ ํ์ํ ๊น์?
์ ํธ์ฒ๋ฆฌ์์ sinc ํํฐ ๋ ํน์ ์ฃผํ์๋ง ํต๊ณผ์ํค๋ ์ด์์ ํํฐ์ ๋๋ค. ์ด ํํฐ๊ฐ ์์ ์ ๊ฐ์ ๊ฐ๋ ์ด์ ๊ฐ ๋ฐ๋ก ์ด ๊ทนํ์ ๋๋ค. ๊ณตํ์ ์ค์ฐจ ๋ถ์์์๋ ์๋์์น ์ ๋ฆฌ๋ก ์ ํํ ์ค์ฐจ ๊ณต์ ์์ด๋ '์ค์ฐจ๊ฐ ๊ฒฐ๊ตญ ์ผ๋ก ์๋ ดํ๋ค'๋ ์์ ์ฑ์ ๋ณด์ฅํฉ๋๋ค.
๐ ์ญ์ฌ ์ด์ผ๊ธฐ
์ค๊ท์คํฑ๋ฃจ์ด ์ฝ์
1821๋ ยท ํ๋์ค ํ๋ฆฌ
์ค๊ท์คํฑ๋ฃจ์ด ์ฝ์(Augustin-Louis Cauchy, 1789-1857)๋ ํ๋์ค ํ๋ช ์ ์์ฉ๋์ด ์์์ ํ์ด๋ฌ์ต๋๋ค. ๊ทธ์ ์๋ฒ์ง๋ ๊ณตํฌ ์ ์น๋ฅผ ํผํด ๊ฐ์กฑ์ ํ๋ฆฌ ๊ทผ๊ต ์๊ณจ๋ก ์ด์ฃผ์์ผฐ๊ณ , ์ด๋ฆฐ ์ฝ์๋ ๊ทธ๊ณณ์์ ์ํ๊ณผ ์ฒ ํ์ ๋ ํํ์ต๋๋ค. ์ด๋ฆฐ ์ฝ์์ ์ฌ๋ฅ์ ์์๋ณธ ๋ผ๊ทธ๋์ฃผ(Lagrange)๋ "์ด ์์ด๊ฐ ์ํ์ ํฌ๊ธฐํ๊ธฐ ์ ๊น์ง๋ ์ํ์ ๊ฐ๋ฅด์น์ง ๋ง๋ผ"๊ณ ๋ถ๋ชจ์๊ฒ ์กฐ์ธํ ์ ๋์์ต๋๋ค. ์ฝ์๋ 1821๋ ใ๋ถ์ ๊ต์ (Cours d'analyse)ใ์์ ๊ทนํ์ ์ฒ์์ผ๋ก ฮต-ฮด ์ธ์ด๋ก ์๋ฐํ๊ฒ ์ ์ํ์ต๋๋ค: "์ด๋ฉด "์ด๋ผ๋ ํ๋ ์ํ์ ํ์ค ์ธ์ด๊ฐ ์ฌ๊ธฐ์ ํ์ํ์ต๋๋ค. ๊ทธ ์ ๊น์ง "๊ทนํ"์ ์ง๊ด์ ์ผ๋ก๋ง ์ฌ์ฉ๋์๊ณ , ๋ดํด๊ณผ ๋ผ์ดํ๋์ธ ์ ๋ฏธ์ ๋ถ๋ ๋ ผ๋ฆฌ์ ์๋ฐํจ์ด ๋ถ์กฑํ๋ค๋ ๋นํ์ ๋ฐ์์ต๋๋ค. ์ฝ์๋ ๋ํ ์ ์ต์ด๋ก ์๋ฐํ๊ฒ ์ฆ๋ช ํ์ต๋๋ค. ์ด ์ฌ์ค์ ์ผ๊ฐํจ์ ๋ฏธ๋ถ์ ๊ทผ๊ฑฐ๊ฐ ๋๋ฉฐ, ์ค๋๋ ๊ดํยท์ ํธ์ฒ๋ฆฌ์ sinc ํจ์ ์ ๊ธฐ์ด์ ๋๋ค. ์ฝ์๋ ์์ ๋์ 800ํธ ์ด์์ ๋ ผ๋ฌธ์ ๋ฐํํ ๋ค์์ ์ํ์๋ก, ๊ทธ์ ์ด๋ฆ์ด ๋ถ์ ์ ๋ฆฌ์ ๊ณต์์ด ์ํ์ ๊ฑฐ์ ๋ชจ๋ ๋ถ์ผ์ ๋ฑ์ฅํฉ๋๋ค.
"์๋ฐํจ(rigour)์ ์ํ์ ์ฅ์์ด ์๋๋ผ ์ํ์ ์ํผ์ด๋ค."
๐ฌ ์ง์ ๋ฐ๊ฒฌํ๊ธฐ
๐ ๊ณต์ ์ดํดํ๊ธฐ
\lim_{x \to 0} \frac{\sin x}{x} = 1, \quad g(x) \leq f(x) \leq h(x) \text{ ์ด๊ณ } \lim g = \lim h = L \Rightarrow \lim f = L๋ ํต์ฌ ๋๊ตฌ: โ โ ์ผ๊ฐํจ์ ๊ทนํ์ ๊ธฐ๋ณธ์ด์ sinc ํจ์์ ๊ทผ๊ฑฐ. โก ์๋์์น ์ ๋ฆฌ(Squeeze Theorem) โ ์ ํํ ๊ณต์ ์์ด ์์ชฝ ๊ฒฝ๊ณ๋ง์ผ๋ก ๊ทนํ์ ํ์ .
f(x)- ๊ทนํ์ ๊ตฌํ๋ ค๋ ํจ์
g(x), h(x)- f(x)๋ฅผ ์์ชฝ์์ ์ฃ๋ ๊ฒฝ๊ณ ํจ์
- ๊ทนํ๊ฐ
ฮต, ฮด- ์ฝ์์ ฮต-ฮด ์ ์์์์ ํ์ฉ ์ค์ฐจ
- 1๋จ์์์์: ()
- 2๊ฐ ๋ณ์ ๋ก ๋๋๋ฉด:
- 3์ญ์๋ฅผ ์ทจํ๋ฉด:
- 4์ด๊ณ ์ฐ๋ณ๋ ์ด๋ฏ๋ก, ์๋์์น ์ ๋ฆฌ์ ์ํด
๐งฌ ์๋ฆฌ: ์ด๋ป๊ฒ ํ์ํ๋?
๊ณต์์ ์ธ์ฐ๋ ๊ฒ์ด ์๋๋ผ, ์ด๋์ ์๋์ง๋ฅผ ์ดํดํ๋ ๊ฒ์ด์์
ํ์ ๋ฐฐ๊ฒฝ
๋ถ์ ํ ๊ทนํ(, )์ ๋จ์ํ '๊ณ์ฐ์ด ์ ๋๋ค'๋ ์ ํธ๊ฐ ์๋๋ผ, ๋ ์์ด ๋์์ ํน์ ๋ก ๊ฐ๋ ๊ฒฝ์์ ๊ฒฐ๊ณผ์ ๋๋ค. ์ด ๊ฐ๋ ์ limit-function(ํจ์์ ๊ทนํ)์์ ๋ค๋ฃฌ ๊ธฐ๋ณธ ๊ทนํ ๊ฐ๋ ์ด ๋ณต์กํ ํจ์ ๊ด๊ณ๋ก ํ์ฅ๋ ๊ฒ์ ๋๋ค. ์ ์ผ๊ฐํจ์์ ๊ธฐํํ์ ์ ์(๋จ์์ ํธ์ ๊ธธ์ด)์ ๊ทนํ์ด ๋ง๋๋ ์ง์ ์ ๋๋ค.
ํต์ฌ ๊ด๊ณ์
์๋์์น ์ ๋ฆฌ์ ํต์ฌ ๊ด๊ณ: $g(x) \leq f(x) \leq h(x)$์ด๊ณ $\lim g(x) = \lim h(x) = L$์ด๋ฉด $\lim f(x) = L$. ์ด๊ฒ์ ๊ทนํ์ ์์ ๋ณด์กด ์ฑ์ง์์ ์ง์ ๋ฐ๋ผ์ต๋๋ค. $\lim_{x\to0}\frac{\sin x}{x}=1$์ ์ฆ๋ช
์์ฒด๊ฐ $\cos x \leq \frac{\sin x}{x} \leq 1$์ด๋ผ๋ ์๋์์น ๊ตฌ์กฐ์
๋๋ค.์ ๊ณต์์ ์ธ์ธ ํ์๊ฐ ์๋์?
์ด '๋น์ฐํ์ง ์์' ์ด์ : ์์ ๋ถ์ยท๋ถ๋ชจ ๋ชจ๋ ์ด๋ฏ๋ก ๋จ์ ๋์ ์ด ๋ถ๊ฐ๋ฅํฉ๋๋ค. ๊ทธ๋ฌ๋ ๋จ์์์์ ๋ถ์ฑ๊ผด ํธ์ ๊ธธ์ด()์ ํ์ ์์ง ์ฑ๋ถ()์ ๋น๊ตํ๋ฉด, ๊ฐ ์์์๋ก ๋ ๊ฐ์ด ๊ฑฐ์ ๊ฐ์์ง๋ค๋ ๊ธฐํํ์ ์ง๊ด์ด ์์ต๋๋ค. ์ด ์ง๊ด์ - ์ธ์ด๋ก ์๋ฐํ๊ฒ ๋ง๋ ๊ฒ์ด ์ฝ์์ ์ ์ ์ ๋๋ค.
๐ ํด์ฆ๋ก ํ์ธํ๊ธฐ
์ ๊ฐ์ ๊ตฌํ์์ค.
๋ฌดํ ๋๋ฆด ์ฐ์ต
๋๋ค 20๋ฌธ์ ยท ์ฝ 10๋ถ
๐ ์๋ฅ ๊ธฐ์ถ ๋ฌธ์
๐
์ด ๊ฐ๋ ์ ๊ธฐ์ถ ๋ฌธ์ ๋ฅผ ์ถ๊ฐ ์ค์ด์์
์๋ฅ ๊ธฐ์ถ ์ ์ฒด ๋ชฉ๋ก์์ ๊ด๋ จ ๋ฌธ์ ๋ฅผ ์ฐพ์๋ณด์ธ์.
๐ ์๋ฅ ๊ธฐ์ถ ์ ์ฒด ๋ณด๊ธฐ โ