함수

위키백과, 우리 모두의 백과사전.
이동: 둘러보기, 검색

수학에서, 함수(函數, 영어: function)는 두 집합 X, Y 사이의 특정 대응관계로, 집합 X의 모든 원소들을 각각 집합 Y의 유일한 원소에 하나하나 대응시키는 관계이다.

또한 함수를 종종 상자에 비유하기도 한다. 이는 원래의 물건을 또다른 물건으로 바로 바꾸는 식의 상자마술이 오래전부터 중국과 유럽권 문화에서 대중적으로 성행해왔기에, 이러한 문화권 나라에서 함수를 상자마술과 관련지어 설명한다면 더욱 더 친근하고 효율적인 교육적 효과를 기대할 수 있기때문에, 이 나라들에서부터 함수를 상자로 비유하기 시작하였고, 이 과정에서 중국이 함수를 函數(상자 수)로 적절히 번역하게 되었다. 이와같이 이미 여러 곳에서 함수를 상자와 관련지어 설명하고있다.[1]

이러한 상자마술을 수학적으로 관련지어 생각해보면 '이름이 f인 마술상자'에 일정한 가치가 있는 물건을 넣으면 그 가치에 알맞은 돈의 액수가 나온다고 할때, '모든 물건'이 반드시 '그 물건의 가치에 맞는 돈의 액수'로 나오는 관계가 바로 함수인 것이다. 여기서 정의역은 우주 상의 모든 물건들의 모임, 공역은 돈의 액수이다.

함수는 수학에서 중요한 역할을 하며, 이 함수를 나타내는 방법에는 크게 세 가지가 있다. 첫 번째는 식으로써 나타내는 것이고, 다른 하나는 그래프로써 나타내는 것이며, 마지막으로 두 집합간의 대응관계로 나타내는 것이다. 식으로 나타낼 때에는 그래프로 그리지 못한 영역까지 추측할 수 있다는 장점이 있지만, 식으로 나타내기 힘든 함수가 있다는 점에서 한계를 가진다. 따라서, 함수는 주로 두 집합간의 대응관계를 통해서 나타낸다.

정의[편집]

함수의 정의역, 공역, 치역

함수 f는 다음과 같은 튜플 (X,Y,\operatorname{graph}f)이다.

이 튜플이 다음 공리들을 만족시켜야지만 함수라고 한다.

  • 임의의 x\in X에 대하여, (x,y)\in\operatorname{graph}fy\in Y가 유일하게 존재한다. 이러한 yf(x)라고 쓴다.

다시 말해, 함수는 정의역의 각 원소를 정확히 하나의 공역 원소에 대응시킨다.

사상(영어: map, 영어: morphism)은 보통 함수의 동의어로 쓰인다. (다만, 범주론에서는 더 일반화된 뜻을 갖는다.)

표기

f\colon X\to Y

f가 정의역 X, 공역 Y를 갖는 함수를 뜻한다. 표기

f\colon x\mapsto y

f(x)=y와 같은 뜻이다.

집합 A\subset X 및 함수 f\colon X\to Y에 대하여,

\{f(a)\colon a\in A\}

A이라고 하며, f(A)로 쓴다. 집합 B\subset Y 및 함수 f\colon X\to Y에 대하여,

\{x\in X\colon f(x)\in B\}

B원상이라고 하며, f^{-1}(B)로 쓴다. 정의역의 상을 치역이라고 한다.

전사 함수 · 단사 함수[편집]

함수 f : \, X \to Y에서 공역과 치역이 같을 때 이 함수를 전사함수라 하며, 치역의 각 원소 하나 마다 오직 하나의 정의역 원소가 대응하는 함수를 단사함수라 하고, 전사 함수이면서 단사 함수인 경우를 전단사함수라 한다.[2] 일차방정식을 관계식으로 하는 함수는 대표적인 전단사함수이다.

단사함수 전사함수 전단사함수
Injection.svg Surjection.svg Bijection.svg
하나의 상수에 대응하는 변수가 오직 한 개 뿐이다. 치역과 공역이 같다. 정의역과 공역이 일대일로 대응된다.

역함수[편집]

함수 y=f(x) 가 있을 때 f(y)=x 가 되는 관계를 생각할 수 있다. 이러한 관계를 역함수라 하고 f −1 로 표기, 'inverse'(인버스)라고 읽는다.[2] 예를 들어 지수함수의 역함수는 로그함수이다.

실수 위의 함수[편집]

함수 f 의 정의역 내의 모든 원소 x_{1}, x_{2} 에 대하여 x_{1} < x_{2} 이면 f(x_{1}) \le f(x_{2}) 가 성립할 때 단조 증가한다고 하며 반대의 경우를 단조 감소한다고 한다. 단조 증가하거나 감소하는 함수를 단조함수라 한다.[2]

실수의 집합 \mathbb{R}을 정의역으로 하고 f(-x) = f(x) 의 관계가 성립할 때 이를 짝함수 또는 우함수라 한다. x \mapsto x^2 는 대표적인 짝함수인데, 예를 들어 x 의 값이 2 또는 -2 일 경우 이에 해당하는 값는 모두 4이다. 이 경우 그래프는 좌우 동형을 보이게 된다. 한편, f(-x) = - f(x)\ 의 관계가 성립하는 경우는 홀함수 또는 기함수라 한다. 예를 들어 x\mapsto x^3 와 같은 함수가 있다.[3]

[편집]

정의역의 모든 원소는 그에 해당하는 상을 반드시 가져야 한다. 따라서, 모든 정수의 집합  \mathbb{Z} 의 원소를  y = \frac {1} {1-x} 의 관계식을 만족하는 집합 Y 로 사상하는 관계는 함수가 아니다. x=1 일 때 나눗셈의 정의에 의해 불능이 되어 상이 존재하지 않기 때문이다. 이 사례의 경우 정의역을 1 이 아닌 모든 정수로 다시 정의하면 불능인 경우가 없어지기 때문에 함수가 된다.

한편, 위에서 서술한 함수의 정의에 따르면 정의역에 속하는 원소는 오직 하나의 상을 가져야 한다. 따라서, -1 보다 크고 1 보다 작은 실수의 집합  X = \{ x \in \mathbb{R} \| -1 < x < 1 \}에 속하는 임의의 원소 x 를 관계식  y^2 = 1 - x^2에 의해 집합  Y = \{ y \| y^2 = 1 - x^2 \} 에 대응시키는 관계는 함수가 아니다. 이 관계에서 x는 언제나 두 개의 y 값에 대응하기 때문이다. 다만, 함수의 정의를 달리하여 정의역에 속한 하나의 원소가 공역의 여러 값을 상으로 갖는 것을 허용할 수도 있다. 이 경우, 하나의 값만을 갖는 함수를 단가 함수, 두 개 이상의 값을 갖는 함수를 다가 함수라 한다.[2]

정의역에 있는 모든 원소의 상이 모두 다른 값을 가질 필요는 없다. 예를 들어, 모든 자연수의 집합 \mathbb{N}의 모든 원소 n을 2로 나눈 나머지의 치역은 오직 \{ 0, 1 \} 뿐으로, 홀수의 나머지는 모두 1 이고, 짝수의 나머지는 모두 0 이다. 하지만, 하나의 자연수를 2로 나눈 나머지는 오직 한 가지 뿐이므로 정의역의 모든 원소는 치역과 일대일 대응을 이루게 된다. 따라서 모든 자연수의 집합 \mathbb{N} 를 2로 나눈 나머지로 사상하는 관계는 함수의 정의를 만족한다.

예를 들어, 한 가족의 남매인 철수, 영희, 민규의 생일이 각각 1월 15일, 3월 20일, 8월 15일이라고 하면, 이 남매의 생일은 함수 관계를 이룬다. 이때, 이 함수의 정의역은 남매를 원소로 하는 집합 {철수, 영희, 민규} 이고, 공역은 1년의 모든 날짜를 원소로 하는 집합 {1월 1일, 1월 2일, ……, 12월 30일, 12월 31일} 이 되며, 그 가운데 정의역에 대응하는 치역은 집합 {1월 15일, 3월 20일, 8월 15일} 이 된다.

역사[편집]

삼각함수와 같은 특정 함수에 대한 연구는 오래전부터 있어 왔다. 16세기 라이프치히 대학교의 수학 교수이자 코페르니쿠스의 《천구의 회전에 관하여》가 출간되는데 큰 역할을 하였던 레티쿠스는 1596년 《팔라티누스 삼각형 서(書)》(라틴어: Opus Palatinum de triangulis)에서 삼각함수표를 정리하여 발표하기도 하였다.[4] 그러나 당시의 연구는 현재의 함수 정의에 확립되어 있는 관계에 대한 개념이 없이 단순히 계산의 편의를 도모하기 위한 것이었다. 한편, 르네 데카르트직교좌표계를 이용하여 오늘날 함수의 관계식에 해당하는 방정식그래프로 표현하는 방법을 제시하였다.[5]

함수라는 용어를 수학적인 의미에서 처음 사용한 사람은 고트프리트 라이프니츠이다. 라이프니츠는 1684년 미분적분의 계산법을 발표하면서[6] 연속적으로 변하게 하는 것을 함수라고 표현하였는데 이는 오늘날의 변수에 해당하는 개념이다.[7] 라이프니츠는 곡선위에 있는 한 기울기를 나타내기 위해 함수의 극한을 도입하였다.[8]

18세기에 레온하르트 오일러는 함수를 변수와 상수에 의해서 만들어지는 해석적인 수식으로 정의하였고, 19세기에 들어와 페터 구스타프 르죈 디리클레는 두 변수 x, y에 있어서 x의 값을 정하면 그에 따라서 y의 값이 정해질 때, y는 x의 함수라 정의하여 라이프니츠의 함수 개념을 버렸다.[9] 현재와 같이 집합의 개념을 도입한 함수의 정의는 19세기의 수학자인 게오르크 칸토어가 제기한 집합론에 근거한 것이다. 버트런드 러셀집합을 기반으로 수학의 공리를 재서술하면서 함수 역시 이를 기반으로 다시 정의하였다.[10]

함수를 상자에 비유한 그림.

한국어 · 중국어에서 쓰이는 용어 함수(중국어 간체: 函数, 정체: 函數, 병음: hánshù 한슈[*])는 상자(函)에서 나오는 수(數)라는 뜻으로, 청나라의 수학자 이선란이 저서 《대수학》에서 최초로 사용하였다. 일본어에서는 "函" 글자가 1946년 상용 한자 목록에 포함되지 않았으므로, 일본어에서 같은 음을 갖는 글자 "関"를 사용하여 일본어: 関数 かんすう[*]로 표기하게 되었다.

기호 f(x)의 의미[편집]

x에 대한 함수의 식은 일반적으로 y=(x에 대한 식)의 형태로 나타내진다. 함수식 y=(x에 대한 식)은 변수 x값이 정해짐에 따라 변수 y의 값이 정해지는 관계를 나타낸 식이다. 여기에서, (x에 대한 식)의 부분을 간단히 기호로 나타내는 것이 꼭 필요하다. 함수식 y= x^{100}+x^{99}+x^{98}+...+x^2+x 이나 y= \frac {(log_2 1 \div log_2 2)(log_2 2 \div log_2 3)(log_2 3 \div log_2 4). . .(log_2 {x}\div log_2 (x+1))} {1^2+2^2+3^2+4^2+...+x^2}와 같이 매우 복잡한 x에 대한 식을 가진 함수 y의 식을 본다면 충분히 알 수 있다. 뿐만아니라, 함수의 규칙성이 매우 난해하여 그 함수식을 x의 범위를 매우 미세하게 나눠가며 매우 복잡하게 정의해야하는 경우, 심지어 정의조차 할 수 없는 경우에는 더더욱 그렇다. 때문에, (x에 대한 식)은 기호화를 해야만한다.

(x에 대한 식)은 소괄호 ( )안에 정의역의 대표원소 x를 넣고, f,g,P,Q 등과 같은 알파벳을 맨 앞에 붙여 나타낸다. 예를 들면, f(x) 이다. 수학에서는 x에 대한 식을 기호로 자주 f(x)로 표현한다. 그 이유는 x에 대한 식이 자주 쓰이는 함수(function)의 앞글자가 f이기 때문이다.

한편, (x에 대한 식)에서 x에 실수a를 대입했을 때의 y의 값을 간단히 f(a)로 표현하기로 약속했다. f(x)는 (x에 대한 식)을 간단하게 기호로 나타낸 것으로, 변수x는 정의역 범위안의 그 어떤수로든 변할 수 있다. 따라서 f(x)의 의미는 x의 값에 따라 결과가 변하는 식이다.( f(x)가 상수일때도 결과가 변한다고 할 수 있다.) 따라서 y=f(x)는 y=(x에 대한식)과 의미가 같다. 그리고 y=f(x)일때, f(a)를 함숫값 a라고 부르고, y=f(x)를 함수f라고 부르고 y=g(x)를 함수 g라고 부른다. 참고로, f(x)는 고등수학의 나머지정리 등을 설명할때, x의 값에 따라 결과가 변하는 다항식으로 볼 수 있다.

참고 문헌[편집]

  1. 위에 게시된 그림, 중국의 함수에 대한 번역 등
  2. 1. 기본개념, 성균과 대학교 대수학 연구실 이상구 교수 홈페이지
  3. 박은순, 미분 적분학, 숭실대학교출판부, 2009, 130쪽
  4. 과학동아편집실, 수학자를 알면 공식이 보인다, 성우, 2002, 72-74쪽
  5. 과학동아편집실, 수학자를 알면 공식이 보인다, 성우, 2002, 82-88쪽
  6. "Letters from and to Gottfried Wilhelm Leibniz within the collection of manuscript papers of Gottfried Wilhelm Leibniz". UNESCO Memory of the World Programme.
  7. 이광연, 수학자들의 전쟁, 프로네시스, 2007, 114-115쪽
  8. Thompson, S.P; Gardner, M; Calculus Made Easy. 1998. Page 10-11. ISBN 0-312-18548-0.
  9. 함수의 역사, 강원중등수학교육연구회
  10. The Principles of Mathematics

바깥 고리[편집]