๐Ÿ”„

ํ•จ์ˆ˜ ์‹ฌํ™” โ€” ํ•ฉ์„ฑํ•จ์ˆ˜์™€ ์—ญํ•จ์ˆ˜

๐ŸŽฒLv.6

์Šค๋งˆํŠธํฐ ์ž ๊ธˆ ํ•ด์ œ ํŒจํ„ด, ์ธํ„ฐ๋„ท ๋ฑ…ํ‚น ์•”ํ˜ธ, ๋„ทํ”Œ๋ฆญ์Šค ์ถ”์ฒœ ์•Œ๊ณ ๋ฆฌ์ฆ˜ โ€” ์ด ๋ชจ๋“  ๊ฒƒ์ด ํ•จ์ˆ˜๋ฅผ ํ•ฉ์„ฑํ•˜๊ณ  ๋’ค์ง‘๋Š” ์ˆ˜ํ•™ ์œ„์— ์„œ ์žˆ์Šต๋‹ˆ๋‹ค.

๐Ÿ’ก ์™œ ํ•„์š”ํ• ๊นŒ์š”?

์นด์นด์˜คํŽ˜์ด๊ฐ€ ๊ฒฐ์ œ๋ฅผ ์•”ํ˜ธํ™”ํ•  ๋•Œ f(x)=f(x) = ์•”ํ˜ธํ™” ํ•จ์ˆ˜, ๊ฒฐ์ œ์‚ฌ ์„œ๋ฒ„๊ฐ€ ๋ณตํ˜ธํ™”ํ•  ๋•Œ fโˆ’1(y)f^{-1}(y)๋ฅผ ์‚ฌ์šฉํ•ฉ๋‹ˆ๋‹ค. ์‹ ๊ฒฝ๋ง์˜ ๊ฐ ๋ ˆ์ด์–ด๋„ f3(f2(f1(x)))f_3(f_2(f_1(x))) ํ˜•ํƒœ์˜ ํ•ฉ์„ฑํ•จ์ˆ˜์ด๋ฉฐ, ์—ญ์ „ํŒŒ ํ•™์Šต์€ ์—ญํ•จ์ˆ˜์˜ ์—ฐ์‡„๋ฒ•์น™์œผ๋กœ ์ž‘๋™ํ•ฉ๋‹ˆ๋‹ค.

๐Ÿ”„๐Ÿ”

๐Ÿ“œ ์—ญ์‚ฌ ์ด์•ผ๊ธฐ

๐Ÿ”ข

๋ ˆ์˜จํ•˜๋ฅดํŠธ ์˜ค์ผ๋Ÿฌ

1748๋…„ ยท ์Šค์œ„์Šค ๋ฐ”์ ค / ๋Ÿฌ์‹œ์•„ ์ƒํŠธํŽ˜ํ…Œ๋ฅด๋ถ€๋ฅดํฌ

๋ ˆ์˜จํ•˜๋ฅดํŠธ ์˜ค์ผ๋Ÿฌ๋Š” ์—ญ์‚ฌ์ƒ ๊ฐ€์žฅ ๋‹ค์‚ฐํ•œ ์ˆ˜ํ•™์ž๋กœ ์†๊ผฝํž™๋‹ˆ๋‹ค. 1748๋…„ ๊ทธ์˜ ๊ฑธ์ž‘ ใ€Š๋ฌดํ•œ ํ•ด์„ ์ž…๋ฌธใ€‹(Introductio in analysin infinitorum)์—์„œ ํ•จ์ˆ˜๋ฅผ "๋ณ€์ˆ˜๋“ค๋กœ ์ด๋ฃจ์–ด์ง„ ์ˆ˜์‹"์œผ๋กœ ์ •์˜ํ•˜๊ณ , ์˜ค๋Š˜๋‚  ์šฐ๋ฆฌ๊ฐ€ ์“ฐ๋Š” f(x)f(x) ํ‘œ๊ธฐ๋ฅผ ํ™•๋ฆฝํ–ˆ์Šต๋‹ˆ๋‹ค. ์ด ํ•œ ๊ถŒ์˜ ์ฑ…์ด ์ˆ˜ํ•™์‚ฌ์˜ ํ๋ฆ„์„ ๋ฐ”๊ฟจ์Šต๋‹ˆ๋‹ค. ์˜ค์ผ๋Ÿฌ ์ด์ „์—๋„ ํ•จ์ˆ˜ ๊ฐœ๋…์€ ์กด์žฌํ–ˆ์ง€๋งŒ, ์ด๋ฆ„๋„ ํ‘œ๊ธฐ๋„ ์ œ๊ฐ๊ฐ์ด์—ˆ์Šต๋‹ˆ๋‹ค. ๋ผ์ดํ”„๋‹ˆ์ธ ๋Š” "ํ•จ์ˆ˜(functio)"๋ผ๋Š” ๋‹จ์–ด๋ฅผ 1694๋…„์— ์ฒ˜์Œ ์“ฐ๊ธฐ ์‹œ์ž‘ํ–ˆ๊ณ , ์š”ํ•œ ๋ฒ ๋ฅด๋ˆ„์ด๋Š” ๊ณก์„ ์˜ ์ข…์† ๋ณ€์ˆ˜๋ฅผ ๊ธฐ์ˆ ํ•˜๋Š” ๋ฐ ์ด ๊ฐœ๋…์„ ์‚ฌ์šฉํ–ˆ์Šต๋‹ˆ๋‹ค. ์˜ค์ผ๋Ÿฌ๋Š” ์ด๋ฅผ ์ฒด๊ณ„ํ™”ํ•˜์—ฌ ํ•ฉ์„ฑํ•จ์ˆ˜ (gcircf)(x)=g(f(x))(g circ f)(x) = g(f(x))์™€ ์—ญํ•จ์ˆ˜ fโˆ’1f^{-1} ๊ฐœ๋…์„ ์ˆ˜ํ•™ ๋ถ„์„์˜ ํ•ต์‹ฌ ๋„๊ตฌ๋กœ ์ž๋ฆฌ์žก๊ฒŒ ํ–ˆ์Šต๋‹ˆ๋‹ค. ํฅ๋ฏธ๋กญ๊ฒŒ๋„ ์˜ค์ผ๋Ÿฌ๋Š” 28์„ธ์— ์˜ค๋ฅธ์ชฝ ๋ˆˆ์˜ ์‹œ๋ ฅ์„ ์žƒ๊ณ , 59์„ธ์—๋Š” ์™„์ „ํžˆ ์‹ค๋ช…ํ–ˆ์Šต๋‹ˆ๋‹ค. ๊ทธ๋Ÿฌ๋‚˜ ์‹ค๋ช… ์ดํ›„์—๋„ ๋†€๋ผ์šด ์•”์‚ฐ ๋Šฅ๋ ฅ๊ณผ ๊ธฐ์–ต๋ ฅ์œผ๋กœ ์—ฐ๊ตฌ๋ฅผ ๊ณ„์†ํ•˜์—ฌ ํ‰์ƒ 900ํŽธ์ด ๋„˜๋Š” ๋…ผ๋ฌธ์„ ๋ฐœํ‘œํ–ˆ์Šต๋‹ˆ๋‹ค. ๊ทธ๊ฐ€ ๋งŒ๋“ค์–ด ๋‚ธ f(x)f(x), ee, ii, pipi, SigmaSigma ๋“ฑ์˜ ํ‘œ๊ธฐ๋Š” ์ง€๊ธˆ๋„ ์ „ ์„ธ๊ณ„ ์ˆ˜ํ•™ ๊ต๊ณผ์„œ์—์„œ ์‚ฌ์šฉ๋ฉ๋‹ˆ๋‹ค. ํ•ฉ์„ฑํ•จ์ˆ˜์™€ ์—ญํ•จ์ˆ˜๋Š” ํ˜„๋Œ€ ์•”ํ˜ธํ•™, ์ธ๊ณต์ง€๋Šฅ, ์‹ ํ˜ธ์ฒ˜๋ฆฌ์˜ ๋ผˆ๋Œ€์ž…๋‹ˆ๋‹ค. ๋”ฅ๋Ÿฌ๋‹์˜ ์‹ ๊ฒฝ๋ง์€ ์—ฌ๋Ÿฌ ์ธต์˜ ํ•จ์ˆ˜๋ฅผ ํ•ฉ์„ฑํ•œ ๊ฒƒ์ด๊ณ , ์•”ํ˜ธ ์‹œ์Šคํ…œ์€ ์—ญํ•จ์ˆ˜๋ฅผ ์ฐพ๊ธฐ ์–ด๋ ต๊ฒŒ ๋งŒ๋“  ์ผ๋ฐฉํ•จ์ˆ˜(one-way function)์— ๊ธฐ๋ฐ˜ํ•ฉ๋‹ˆ๋‹ค.

"์ˆ˜ํ•™์ž๋Š” ์ˆซ์ž๋ฅผ ๋‹ค๋ฃจ์ง€ ์•Š๋Š”๋‹ค โ€” ์•„์ด๋””์–ด๋ฅผ ๋‹ค๋ฃฌ๋‹ค."
๐Ÿคฉ ์˜ค์ผ๋Ÿฌ๋Š” ๋งค์ผ ๋…ผ๋ฌธ ํ•œ ํŽธ์„ ์“ธ ์ˆ˜ ์žˆ์„ ๋งŒํผ ์ƒ์‚ฐ์ ์ด์—ˆ์Šต๋‹ˆ๋‹ค. ๊ทธ๊ฐ€ ์™„์ „ํžˆ ์‹ค๋ช…ํ•œ ํ›„์—๋„ ๊ตฌ์ˆ ๋กœ ์—ฐ๊ตฌ๋ฅผ ๊ณ„์†ํ•œ ๊ธฐ๊ฐ„์—๋งŒ 400ํŽธ์ด ๋„˜๋Š” ๋…ผ๋ฌธ์„ ๋ฐœํ‘œํ–ˆ์Šต๋‹ˆ๋‹ค.

๐Ÿ”ฌ ์ง์ ‘ ๋ฐœ๊ฒฌํ•˜๊ธฐ

๐Ÿ“ ๊ณต์‹ ์ดํ•ดํ•˜๊ธฐ

(g \circ f)(x) = g(f(x)), \quad f^{-1}(y) = x \iff f(x) = y

ํ•ฉ์„ฑํ•จ์ˆ˜ (gโˆ˜f)(x)(g \circ f)(x)๋Š” ff๋ฅผ ๋จผ์ € ์ ์šฉํ•œ ๊ฒฐ๊ณผ๋ฅผ gg์— ๋‹ค์‹œ ์ž…๋ ฅํ•˜๋Š” ์—ฐ์‚ฐ์ž…๋‹ˆ๋‹ค. ์—ญํ•จ์ˆ˜ fโˆ’1f^{-1}์€ ff์˜ ์ž…๋ ฅ๊ณผ ์ถœ๋ ฅ์„ ๋’ค๋ฐ”๊พผ ํ•จ์ˆ˜๋กœ, ff๊ฐ€ ์ผ๋Œ€์ผ๋Œ€์‘(์ „๋‹จ์‚ฌ)์ผ ๋•Œ๋งŒ ์กด์žฌํ•ฉ๋‹ˆ๋‹ค. ์—ญํ•จ์ˆ˜์˜ ๊ทธ๋ž˜ํ”„๋Š” ์›ํ•จ์ˆ˜์˜ ๊ทธ๋ž˜ํ”„๋ฅผ ์ง์„  y=xy = x์— ๋Œ€ํ•ด ๋Œ€์นญ์‹œํ‚จ ๊ฒƒ์ž…๋‹ˆ๋‹ค.

f, g
ํ•จ์ˆ˜ (Aโ†’B, Bโ†’C)
gโˆ˜f
ํ•ฉ์„ฑํ•จ์ˆ˜ (Aโ†’C), ์˜ค๋ฅธ์ชฝ ff๋ถ€ํ„ฐ ์ ์šฉ
fโปยน
์—ญํ•จ์ˆ˜, ff์˜ ์ž…์ถœ๋ ฅ์„ ๋’ค๋ฐ”๊ฟˆ
y=x
์—ญํ•จ์ˆ˜ ๊ทธ๋ž˜ํ”„ ๋Œ€์นญ์ถ•
  1. 1
    ํ•ฉ์„ฑํ•จ์ˆ˜: f:Aโ†’Bf: A \to B, g:Bโ†’Cg: B \to C์ด๋ฉด (gโˆ˜f):Aโ†’C(g \circ f): A \to C, (gโˆ˜f)(x)=g(f(x))(g \circ f)(x) = g(f(x))
  2. 2
    ์—ญํ•จ์ˆ˜ ๊ตฌํ•˜๊ธฐ: y=f(x)y = f(x)์—์„œ xx๋ฅผ yy์— ๋Œ€ํ•ด ํ‘œํ˜„ โ†’ x=fโˆ’1(y)x = f^{-1}(y) โ†’ xx์™€ yy ๊ตํ™˜
  3. 3
    ์—ญํ•จ์ˆ˜ ์กด์žฌ ์กฐ๊ฑด: ff๊ฐ€ ๋‹จ์‚ฌ(one-to-one)์ด์–ด์•ผ ํ•จ. ์ฆ‰, x1โ‰ x2โ‡’f(x1)โ‰ f(x2)x_1 \neq x_2 \Rightarrow f(x_1) \neq f(x_2)

๐Ÿงฌ ์›๋ฆฌ: ์–ด๋–ป๊ฒŒ ํƒ„์ƒํ–ˆ๋‚˜?

๊ณต์‹์€ ์™ธ์šฐ๋Š” ๊ฒƒ์ด ์•„๋‹ˆ๋ผ, ์–ด๋””์„œ ์™”๋Š”์ง€๋ฅผ ์ดํ•ดํ•˜๋Š” ๊ฒƒ์ด์—์š”

๐Ÿ’ก

ํƒ„์ƒ ๋ฐฐ๊ฒฝ

ํ•ฉ์„ฑํ•จ์ˆ˜๋Š” '๋ณ€ํ™˜์„ ์—ฐ์†์œผ๋กœ ์ ์šฉํ•œ๋‹ค'๋Š” ์ผ์ƒ์  ํ–‰์œ„๋ฅผ ์ˆ˜ํ•™์œผ๋กœ ํฌ์ฐฉํ•œ ๊ฐœ๋…์ž…๋‹ˆ๋‹ค. ์„ญ์”จ ์˜จ๋„๋ฅผ ํ™”์”จ๋กœ, ํ™”์”จ๋ฅผ ๋‹ค์‹œ ์ผˆ๋นˆ์œผ๋กœ ๋ฐ”๊พธ๋Š” ๊ฒƒ์ฒ˜๋Ÿผ, ํ•˜๋‚˜์˜ ํ•จ์ˆ˜ ์ถœ๋ ฅ์ด ๋‹ค์Œ ํ•จ์ˆ˜ ์ž…๋ ฅ์ด ๋˜๋Š” ๊ตฌ์กฐ์ž…๋‹ˆ๋‹ค. ํ•จ์ˆ˜ ๊ฐœ๋…๊ณผ ํ•จ์ˆ˜์˜ ํ•ฉ์„ฑ ๋ฒ•์น™์—์„œ ์ž์—ฐ์Šค๋Ÿฝ๊ฒŒ ๋„์ถœ๋ฉ๋‹ˆ๋‹ค.

โšก

ํ•ต์‹ฌ ๊ด€๊ณ„์‹

์—ญํ•จ์ˆ˜์™€ ์›ํ•จ์ˆ˜๋ฅผ ํ•ฉ์„ฑํ•˜๋ฉด ํ•ญ๋“ฑํ•จ์ˆ˜๊ฐ€ ๋ฉ๋‹ˆ๋‹ค: $f^{-1}(f(x)) = x$, $f(f^{-1}(y)) = y$. ์ด ๊ด€๊ณ„๋Š” ์—ญํ•จ์ˆ˜๋ฅผ ์ •์˜ํ•˜๋Š” ๊ฐ€์žฅ ํ•ต์‹ฌ์ ์ธ ์„ฑ์งˆ์ด๋ฉฐ, ์—ญํ•จ์ˆ˜ ๊ทธ๋ž˜ํ”„๊ฐ€ $y = x$์— ๋Œ€์นญ์ธ ์ด์œ ์ด๊ธฐ๋„ ํ•ฉ๋‹ˆ๋‹ค(์ขŒํ‘œ $(a, b)$๊ฐ€ $(b, a)$๋กœ ๋’ค์ง‘ํžˆ๊ธฐ ๋•Œ๋ฌธ).
๐Ÿ”

์™œ ๊ณต์‹์„ ์™ธ์šธ ํ•„์š”๊ฐ€ ์—†๋‚˜์š”?

์—ญํ•จ์ˆ˜๊ฐ€ ์ผ๋Œ€์ผ๋Œ€์‘์ผ ๋•Œ๋งŒ ์กด์žฌํ•˜๋Š” ์ด์œ ๋Š”, ํ•œ ์ถœ๋ ฅ๊ฐ’์— ๋‘ ์ž…๋ ฅ์ด ๋Œ€์‘๋˜๋ฉด ์–ด๋–ค ์ž…๋ ฅ์œผ๋กœ ๋˜๋Œ์•„๊ฐ€์•ผ ํ• ์ง€ ๊ฒฐ์ •ํ•  ์ˆ˜ ์—†๊ธฐ ๋•Œ๋ฌธ์ž…๋‹ˆ๋‹ค. f(1)=4f(1)=4์ด๊ณ  f(3)=4f(3)=4์ด๋ฉด fโˆ’1(4)f^{-1}(4)๊ฐ€ 11์ธ์ง€ 33์ธ์ง€ ์•Œ ์ˆ˜ ์—†์Šต๋‹ˆ๋‹ค. ์ผ๋Œ€์ผ ์กฐ๊ฑด์ด '๋˜๋Œ์•„๊ฐ€๋Š” ๊ธธ'์„ ์œ ์ผํ•˜๊ฒŒ ๋ณด์žฅํ•ฉ๋‹ˆ๋‹ค.

๐Ÿ“ ํ€ด์ฆˆ๋กœ ํ™•์ธํ•˜๊ธฐ

1/5

f(x)=2x+1f(x) = 2x + 1, g(x)=xโˆ’3g(x) = x - 3์ผ ๋•Œ, (gโˆ˜f)(4)(g \circ f)(4)์˜ ๊ฐ’์€?

๋ฌดํ•œ ๋“œ๋ฆด ์—ฐ์Šต

๋žœ๋ค 20๋ฌธ์ œ ยท ์•ฝ 10๋ถ„

ํ’€์–ด๋ณด๊ธฐ โ†’

๐Ÿ“‹ ์ˆ˜๋Šฅ ๊ธฐ์ถœ ๋ฌธ์ œ

๐Ÿ“

์ด ๊ฐœ๋…์˜ ๊ธฐ์ถœ ๋ฌธ์ œ๋ฅผ ์ถ”๊ฐ€ ์ค‘์ด์—์š”

์ˆ˜๋Šฅ ๊ธฐ์ถœ ์ „์ฒด ๋ชฉ๋ก์—์„œ ๊ด€๋ จ ๋ฌธ์ œ๋ฅผ ์ฐพ์•„๋ณด์„ธ์š”.

๐Ÿ“‹ ์ˆ˜๋Šฅ ๊ธฐ์ถœ ์ „์ฒด ๋ณด๊ธฐ โ†’