ํจ์ ์ฌํ โ ํฉ์ฑํจ์์ ์ญํจ์
์ค๋งํธํฐ ์ ๊ธ ํด์ ํจํด, ์ธํฐ๋ท ๋ฑ ํน ์ํธ, ๋ทํ๋ฆญ์ค ์ถ์ฒ ์๊ณ ๋ฆฌ์ฆ โ ์ด ๋ชจ๋ ๊ฒ์ด ํจ์๋ฅผ ํฉ์ฑํ๊ณ ๋ค์ง๋ ์ํ ์์ ์ ์์ต๋๋ค.
๐ก ์ ํ์ํ ๊น์?
์นด์นด์คํ์ด๊ฐ ๊ฒฐ์ ๋ฅผ ์ํธํํ ๋ ์ํธํ ํจ์, ๊ฒฐ์ ์ฌ ์๋ฒ๊ฐ ๋ณตํธํํ ๋ ๋ฅผ ์ฌ์ฉํฉ๋๋ค. ์ ๊ฒฝ๋ง์ ๊ฐ ๋ ์ด์ด๋ ํํ์ ํฉ์ฑํจ์์ด๋ฉฐ, ์ญ์ ํ ํ์ต์ ์ญํจ์์ ์ฐ์๋ฒ์น์ผ๋ก ์๋ํฉ๋๋ค.
๐ ์ญ์ฌ ์ด์ผ๊ธฐ
๋ ์จํ๋ฅดํธ ์ค์ผ๋ฌ
1748๋ ยท ์ค์์ค ๋ฐ์ ค / ๋ฌ์์ ์ํธํํ ๋ฅด๋ถ๋ฅดํฌ
๋ ์จํ๋ฅดํธ ์ค์ผ๋ฌ๋ ์ญ์ฌ์ ๊ฐ์ฅ ๋ค์ฐํ ์ํ์๋ก ์๊ผฝํ๋๋ค. 1748๋ ๊ทธ์ ๊ฑธ์ ใ๋ฌดํ ํด์ ์ ๋ฌธใ(Introductio in analysin infinitorum)์์ ํจ์๋ฅผ "๋ณ์๋ค๋ก ์ด๋ฃจ์ด์ง ์์"์ผ๋ก ์ ์ํ๊ณ , ์ค๋๋ ์ฐ๋ฆฌ๊ฐ ์ฐ๋ ํ๊ธฐ๋ฅผ ํ๋ฆฝํ์ต๋๋ค. ์ด ํ ๊ถ์ ์ฑ ์ด ์ํ์ฌ์ ํ๋ฆ์ ๋ฐ๊ฟจ์ต๋๋ค. ์ค์ผ๋ฌ ์ด์ ์๋ ํจ์ ๊ฐ๋ ์ ์กด์ฌํ์ง๋ง, ์ด๋ฆ๋ ํ๊ธฐ๋ ์ ๊ฐ๊ฐ์ด์์ต๋๋ค. ๋ผ์ดํ๋์ธ ๋ "ํจ์(functio)"๋ผ๋ ๋จ์ด๋ฅผ 1694๋ ์ ์ฒ์ ์ฐ๊ธฐ ์์ํ๊ณ , ์ํ ๋ฒ ๋ฅด๋์ด๋ ๊ณก์ ์ ์ข ์ ๋ณ์๋ฅผ ๊ธฐ์ ํ๋ ๋ฐ ์ด ๊ฐ๋ ์ ์ฌ์ฉํ์ต๋๋ค. ์ค์ผ๋ฌ๋ ์ด๋ฅผ ์ฒด๊ณํํ์ฌ ํฉ์ฑํจ์ ์ ์ญํจ์ ๊ฐ๋ ์ ์ํ ๋ถ์์ ํต์ฌ ๋๊ตฌ๋ก ์๋ฆฌ์ก๊ฒ ํ์ต๋๋ค. ํฅ๋ฏธ๋กญ๊ฒ๋ ์ค์ผ๋ฌ๋ 28์ธ์ ์ค๋ฅธ์ชฝ ๋์ ์๋ ฅ์ ์๊ณ , 59์ธ์๋ ์์ ํ ์ค๋ช ํ์ต๋๋ค. ๊ทธ๋ฌ๋ ์ค๋ช ์ดํ์๋ ๋๋ผ์ด ์์ฐ ๋ฅ๋ ฅ๊ณผ ๊ธฐ์ต๋ ฅ์ผ๋ก ์ฐ๊ตฌ๋ฅผ ๊ณ์ํ์ฌ ํ์ 900ํธ์ด ๋๋ ๋ ผ๋ฌธ์ ๋ฐํํ์ต๋๋ค. ๊ทธ๊ฐ ๋ง๋ค์ด ๋ธ , , , , ๋ฑ์ ํ๊ธฐ๋ ์ง๊ธ๋ ์ ์ธ๊ณ ์ํ ๊ต๊ณผ์์์ ์ฌ์ฉ๋ฉ๋๋ค. ํฉ์ฑํจ์์ ์ญํจ์๋ ํ๋ ์ํธํ, ์ธ๊ณต์ง๋ฅ, ์ ํธ์ฒ๋ฆฌ์ ๋ผ๋์ ๋๋ค. ๋ฅ๋ฌ๋์ ์ ๊ฒฝ๋ง์ ์ฌ๋ฌ ์ธต์ ํจ์๋ฅผ ํฉ์ฑํ ๊ฒ์ด๊ณ , ์ํธ ์์คํ ์ ์ญํจ์๋ฅผ ์ฐพ๊ธฐ ์ด๋ ต๊ฒ ๋ง๋ ์ผ๋ฐฉํจ์(one-way function)์ ๊ธฐ๋ฐํฉ๋๋ค.
"์ํ์๋ ์ซ์๋ฅผ ๋ค๋ฃจ์ง ์๋๋ค โ ์์ด๋์ด๋ฅผ ๋ค๋ฃฌ๋ค."
๐ฌ ์ง์ ๋ฐ๊ฒฌํ๊ธฐ
๐ ๊ณต์ ์ดํดํ๊ธฐ
(g \circ f)(x) = g(f(x)), \quad f^{-1}(y) = x \iff f(x) = yํฉ์ฑํจ์ ๋ ๋ฅผ ๋จผ์ ์ ์ฉํ ๊ฒฐ๊ณผ๋ฅผ ์ ๋ค์ ์ ๋ ฅํ๋ ์ฐ์ฐ์ ๋๋ค. ์ญํจ์ ์ ์ ์ ๋ ฅ๊ณผ ์ถ๋ ฅ์ ๋ค๋ฐ๊พผ ํจ์๋ก, ๊ฐ ์ผ๋์ผ๋์(์ ๋จ์ฌ)์ผ ๋๋ง ์กด์ฌํฉ๋๋ค. ์ญํจ์์ ๊ทธ๋ํ๋ ์ํจ์์ ๊ทธ๋ํ๋ฅผ ์ง์ ์ ๋ํด ๋์นญ์ํจ ๊ฒ์ ๋๋ค.
f, g- ํจ์ (AโB, BโC)
gโf- ํฉ์ฑํจ์ (AโC), ์ค๋ฅธ์ชฝ ๋ถํฐ ์ ์ฉ
fโปยน- ์ญํจ์, ์ ์ ์ถ๋ ฅ์ ๋ค๋ฐ๊ฟ
y=x- ์ญํจ์ ๊ทธ๋ํ ๋์นญ์ถ
- 1ํฉ์ฑํจ์: , ์ด๋ฉด ,
- 2์ญํจ์ ๊ตฌํ๊ธฐ: ์์ ๋ฅผ ์ ๋ํด ํํ โ โ ์ ๊ตํ
- 3์ญํจ์ ์กด์ฌ ์กฐ๊ฑด: ๊ฐ ๋จ์ฌ(one-to-one)์ด์ด์ผ ํจ. ์ฆ,
๐งฌ ์๋ฆฌ: ์ด๋ป๊ฒ ํ์ํ๋?
๊ณต์์ ์ธ์ฐ๋ ๊ฒ์ด ์๋๋ผ, ์ด๋์ ์๋์ง๋ฅผ ์ดํดํ๋ ๊ฒ์ด์์
ํ์ ๋ฐฐ๊ฒฝ
ํฉ์ฑํจ์๋ '๋ณํ์ ์ฐ์์ผ๋ก ์ ์ฉํ๋ค'๋ ์ผ์์ ํ์๋ฅผ ์ํ์ผ๋ก ํฌ์ฐฉํ ๊ฐ๋ ์ ๋๋ค. ์ญ์จ ์จ๋๋ฅผ ํ์จ๋ก, ํ์จ๋ฅผ ๋ค์ ์ผ๋น์ผ๋ก ๋ฐ๊พธ๋ ๊ฒ์ฒ๋ผ, ํ๋์ ํจ์ ์ถ๋ ฅ์ด ๋ค์ ํจ์ ์ ๋ ฅ์ด ๋๋ ๊ตฌ์กฐ์ ๋๋ค. ํจ์ ๊ฐ๋ ๊ณผ ํจ์์ ํฉ์ฑ ๋ฒ์น์์ ์์ฐ์ค๋ฝ๊ฒ ๋์ถ๋ฉ๋๋ค.
ํต์ฌ ๊ด๊ณ์
์ญํจ์์ ์ํจ์๋ฅผ ํฉ์ฑํ๋ฉด ํญ๋ฑํจ์๊ฐ ๋ฉ๋๋ค: $f^{-1}(f(x)) = x$, $f(f^{-1}(y)) = y$. ์ด ๊ด๊ณ๋ ์ญํจ์๋ฅผ ์ ์ํ๋ ๊ฐ์ฅ ํต์ฌ์ ์ธ ์ฑ์ง์ด๋ฉฐ, ์ญํจ์ ๊ทธ๋ํ๊ฐ $y = x$์ ๋์นญ์ธ ์ด์ ์ด๊ธฐ๋ ํฉ๋๋ค(์ขํ $(a, b)$๊ฐ $(b, a)$๋ก ๋ค์งํ๊ธฐ ๋๋ฌธ).์ ๊ณต์์ ์ธ์ธ ํ์๊ฐ ์๋์?
์ญํจ์๊ฐ ์ผ๋์ผ๋์์ผ ๋๋ง ์กด์ฌํ๋ ์ด์ ๋, ํ ์ถ๋ ฅ๊ฐ์ ๋ ์ ๋ ฅ์ด ๋์๋๋ฉด ์ด๋ค ์ ๋ ฅ์ผ๋ก ๋๋์๊ฐ์ผ ํ ์ง ๊ฒฐ์ ํ ์ ์๊ธฐ ๋๋ฌธ์ ๋๋ค. ์ด๊ณ ์ด๋ฉด ๊ฐ ์ธ์ง ์ธ์ง ์ ์ ์์ต๋๋ค. ์ผ๋์ผ ์กฐ๊ฑด์ด '๋๋์๊ฐ๋ ๊ธธ'์ ์ ์ผํ๊ฒ ๋ณด์ฅํฉ๋๋ค.
๐ ํด์ฆ๋ก ํ์ธํ๊ธฐ
, ์ผ ๋, ์ ๊ฐ์?
๋ฌดํ ๋๋ฆด ์ฐ์ต
๋๋ค 20๋ฌธ์ ยท ์ฝ 10๋ถ
๐ ์๋ฅ ๊ธฐ์ถ ๋ฌธ์
๐
์ด ๊ฐ๋ ์ ๊ธฐ์ถ ๋ฌธ์ ๋ฅผ ์ถ๊ฐ ์ค์ด์์
์๋ฅ ๊ธฐ์ถ ์ ์ฒด ๋ชฉ๋ก์์ ๊ด๋ จ ๋ฌธ์ ๋ฅผ ์ฐพ์๋ณด์ธ์.
๐ ์๋ฅ ๊ธฐ์ถ ์ ์ฒด ๋ณด๊ธฐ โ