EN
xff(x)
해석 · 개념 허브깊이 읽기

함수

Function

AD 167317세기 독일 (라이프니츠)

‘함수’에서 묻습니다. 순간의 변화와 긴 시간의 누적을 어떻게 한 언어로 묶을까?

움직이는 천체와 흐르는 물에서 파동, 최적화, 혼돈까지—멈추지 않는 세계를 계산하는 언어를 따라갑니다.

이 항로는 이해를 돕는 편집 경로입니다. 직접적인 역사 영향선이나 한 사람의 단독 발명을 뜻하지 않습니다.

한 호흡으로 이해하기

각 입력에 출력 하나를 대응시키는 규칙. 식·표·그래프·알고리즘으로 표현할 수 있으며, “x가 변할 때 y가 어떻게 변하는가”를 묻는 미적분·해석학·모델링의 공통 언어다. 모든 관계가 함수인 것은 아니므로 입력마다 출력이 하나라는 조건을 먼저 확인한다.

한눈에 보기

-3-2-10123-2-101234
f(x) = x²g(x) = sin xh(x) = x

개념

각 입력에 출력을 하나씩 대응시키는 규칙. 곡선에 딸린 양을 가리키던 17세기 용어가 오일러·디리클레 등을 거치며 넓어져, 수학적 관계와 계산을 표현하는 핵심 도구가 되었다.

핵심 식

f:XY,xf(x)f: X \to Y,\quad x \mapsto f(x)

f: 입력 x → 출력 y

풀이 예제

  1. 1

    Q.f(x) = 2x + 1, f(3) = ?

  2. 2

    Q.sin(0) = ?

시간의 항구

이 개념은 한 번에 발명되지 않았습니다

장면을 따라가면 문제, 표기, 증명 기준과 쓰임이 서로 다른 장소와 시대에서 어떻게 바뀌었는지 보입니다.

1
AD 1673장면 1 / 4같은 연도의 세계에서 이어 보기

라이프니츠 — function이라는 단어

독일의 라이프니츠가 곡선 위의 변하는 양을 가리키기 위해 functio를 처음 사용. 추상 개념의 첫 등장.

정확한 장소가 없어 거짓 핀 대신 시간만 이어지는 장면

같은 연도의 세계에서 이어 보기
2
AD 1748장면 2 / 4같은 연도의 세계에서 이어 보기

오일러 — 해석적 함수

오일러 《해석학 입문》에서 함수를 해석적 표현으로 정의. 18세기 표준이 된 정의.

정확한 장소가 없어 거짓 핀 대신 시간만 이어지는 장면

같은 연도의 세계에서 이어 보기
3
AD 1837장면 3 / 4같은 연도의 세계에서 이어 보기

디리클레 — 임의의 대응

디리클레가 함수를 "x에 y를 대응시키는 임의의 규칙"으로 일반화. 현대 함수 개념의 출발.

정확한 장소가 없어 거짓 핀 대신 시간만 이어지는 장면

같은 연도의 세계에서 이어 보기
4
AD 1930장면 4 / 4같은 연도의 세계에서 이어 보기

람다 계산법 — 함수가 곧 계산

처치가 람다 계산법을 발표 — 함수만으로 모든 계산을 표현. 함수형 프로그래밍의 이론적 기반.

정확한 장소가 없어 거짓 핀 대신 시간만 이어지는 장면

같은 연도의 세계에서 이어 보기

오늘날의 응용

프로그래밍의 함수 자체, 머신러닝 모델(거대 함수), 컴퓨터 그래픽의 셰이더, 데이터베이스의 쿼리. 함수형 프로그래밍은 이 개념을 그대로 계산의 핵심으로 삼는다.

MathVoyage 너머로

큐레이터가 고른 원전과 탐구 과제. OEIS·Project Euler·MathOverflow·arXiv에서는 발견 하나를 수첩으로 가져올 수 있습니다.

한 사람이 만든 개념이 아닙니다

역할이 다른 사람들을 따라가기

대표 연결은 발명자 명단이 아닙니다. 문제를 열고, 언어를 다듬고, 다른 세계로 옮긴 서로 다른 항구입니다.

수의 렌즈

같은 개념도 수의 세계가 바뀌면 다르게 보입니다

아래 수는 필수 선수 조건이 아니라 이 항로를 비추는 편집 렌즈입니다.

개념의 계보

무엇을 딛고, 무엇을 열었을까?

앞에서 건너온 개념

현재 항구

함수

직접 연결만 표시하며 완전한 학습 순서나 역사 영향선을 뜻하지 않습니다.