함수

위키백과, 우리 모두의 백과사전.
이동: 둘러보기, 검색
함수를 상자에 비유한 그림.

함수(函數)는 영어 function을 중국에서 한자어로 음차한 것으로, 사상과도 같은 맥락으로 쓰인다. 수학에서 함수는 정의역의 하나의 원소(input) 당 공역의 하나의 원소(output)가 대응되는 관계를 말한다. 함수는 집합의 일종이며, 정의역과 공역의 카테시언 곱의 부분집합이다. 예를 들어 f(x)=x^2는 (-3, 9), (1, 1), (5, 25) 따위를 원소로 가지고 있다. 또한 함수를 종종 상자에 비유하기도 한다.

함수는 수학에서 중요한 역할을 하며, 이 함수를 나타내는 방법에는 크게 두 가지가 있다. 첫 번째는 식으로써 나타내는 것이고, 다른 하나는 그래프로써 나타내는 것이다. 식으로 나타낼 때에는 그래프로 그리지 못한 영역까지 추측할 수 있다는 장점이 있지만, 식으로 나타내기 힘든 함수가 있다는 점에서 한계를 가진다.

f의 원소의 첫째 좌표, 즉 입력값(input)들의 집합을 정의역이라 하고, 둘째 좌표, 출력값(output)들의 집합을 치역이라 한다. 또한 이 치역을 포함한 어떤 집합을 공역이라 한다. 정의역과 공역이 같은 함수들의 집합을 함수공간이라 한다.

함숫값들이 하나의 수로 나오는 경우, 함수 사이의 산술을 생각해볼 수 있다. 이 경우에는 함수의 덧셈, 뺄셈, 곱셈, 나눗셈[1]을 정의할 수 있다.

개요[편집]

함수 f : \ X \to Y는 다음과 같은 조건을 만족하는 관계로서 정의된다.

  1. 집합 X의 모든 원소 x에 대해 x \to y 인 원소 y가 집합 Y 에 반드시 존재한다. 즉, 정의역의 모든 원소에 대응하는 상이 반드시 있어야 한다.
  2. 정의역의 임의의 원소, x_1에 대하여 f(x_1)=y 이고 f(x_1)=z 이면, y = z이다. 즉, 정의역의 모든 원소는 단 하나의 상에 대응하여야 한다.

정의역의 모든 원소는 그에 해당하는 상을 반드시 가져야 한다. 따라서, 모든 정수의 집합  \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로 나눈 나머지로 사상하는 관계는 함수의 정의를 만족한다.

함수 f의 정의역이 X이고 치역이 Y일 때 X의 임의의 원소 xY의 원소 y가 대응하면 이를 다음과 같이 나타낼 수 있다:

f : \, X \to Y, \ y=f(x) \text{ or }  x \mapsto y

이 때 x 를 독립변수, y 를 종속변수라 한다.[2]

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

함수 f에 의해 정의역 X의 원소 x가 공역 Y의 원소 y에 대응될 때 yx이라 한다. 또한 정의역 X의 모든 원소 x에 대응하는 상 전체의 집합 \{f(x) | x \in X \} 치역이라 하고 f(X)로 나타낸다. 위 그림과 같이 치역은 공역의 부분집합이다.

예를 들어, 한 가족의 남매인 철수, 영희, 민규의 생일이 각각 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)에서 삼각함수표를 정리하여 발표하기도 하였다.[3] 그러나 당시의 연구는 현재의 함수 정의에 확립되어 있는 관계에 대한 개념이 없이 단순히 계산의 편의를 도모하기 위한 것이었다. 한편, 르네 데카르트직교좌표계를 이용하여 오늘날 함수의 관계식에 해당하는 방정식그래프로 표현하는 방법을 제시하였다.[4]

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

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

구분[편집]

함수는 수학적 특징에 따라 여러 종류로 구분된다.

  • 전사, 단사, 전단사함수

함수 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)\ 의 관계가 성립할 때 이를 짝함수 또는 우함수라 한다. f(x)=x^2 는 대표적인 짝함수인데, 예를 들어 x 의 값이 2 또는 -2 일 경우 이에 해당하는 값는 모두 4이다. 이 경우 그래프는 좌우 동형을 보이게 된다. 한편, f(-x) = - f(x)\ 의 관계가 성립하는 경우는 홀함수 또는 기함수라 한다. 예를 들어 f(x) = x^3 와 같은 함수가 있다.[10]

중요 함수[편집]

다음은 수학에서 중요하게 취급되는 함수의 목록이다.

주석[편집]

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