정의
수학에서 층(英: floor, 한국어: 바닥 함수)은 실수 $x$에 대하여 $x$ 이하이면서 가장 큰 정수를 반환하는 함수이다. 일반적으로 $\lfloor x \rfloor$ 로 표기한다. 즉, $$ \lfloor x \rfloor = \max {, n \in \mathbb{Z} \mid n \le x ,}. $$
표기법 및 기호
- $\lfloor x \rfloor$ : 가장 일반적인 표기법.
- $[x]$ : 일부 교재에서는 괄호 대신 대괄호를 사용하기도 한다(하지만 정수부를 의미하는 기호와 혼동될 수 있음).
- $ \operatorname{floor}(x) $ : 프로그래밍 언어 등에서 사용되는 함수명.
기본 성질
-
정수값 보존
$n \in \mathbb{Z}$ 에 대해 $\lfloor n \rfloor = n$. -
구간 정의
$$ \lfloor x \rfloor = n \iff n \le x < n+1,\qquad n \in \mathbb{Z}. $$ -
정수와의 관계
$$ x - 1 < \lfloor x \rfloor \le x. $$ -
덧셈·뺄셈과의 연산
$$ \lfloor x + m \rfloor = \lfloor x \rfloor + m \qquad (m \in \mathbb{Z}), $$ $$ \lfloor x \rfloor + \lfloor y \rfloor \le \lfloor x + y \rfloor \le \lfloor x \rfloor + \lfloor y \rfloor + 1. $$ -
곱셈과의 연산 (양수 $a$에 대하여)
$$ \lfloor a x \rfloor \ge a,\lfloor x \rfloor,\qquad \lfloor a x \rfloor \le a,\lfloor x \rfloor + a - 1. $$
그래프
- 계단 형태: 구간 $[n, n+1)$마다 값이 일정하고, 점 $x=n+1$에서 다음 계단으로 점프한다.
- 불연속점: 모든 정수 $n$에서 오른쪽에서 연속이지만, 왼쪽에서 불연속(점프)한다.
이때 점프 크기는 정확히 1이다.
응용 분야
| 분야 | 구체적 활용 예 |
|---|---|
| 정수론 | 디오판틴 방정식 해의 존재 여부 판단에 사용. |
| 컴퓨터 과학 | 정수 나눗셈, 배열 인덱스 계산, 해시 함수 구현 등. |
| 수치 해석 | 구간 분할, 비트 연산, 알고리즘 복잡도 분석. |
| 통계·확률 | 이산 확률분포의 구간화, 기대값 근사 등. |
| 조합론 | 파티션 문제, 순열/조합의 구간 제한에 활용. |
관련 개념
- 천장 함수 ($\lceil x \rceil$) : $x$ 이상이면서 가장 작은 정수를 반환.
$\lceil x \rceil = -\lfloor -x \rfloor$ 관계가 성립한다. - 정수부 함수 ($\operatorname{int}(x)$ 또는 $\operatorname{trunc}(x)$) : 소수점 이하를 버리는 함수. 양수에 대해서는 층과 동일하지만, 음수에 대해서는 차이가 있다.
- 분수 부분 (${x} = x - \lfloor x \rfloor$) : 실수 $x$의 소수점 이하 부분을 나타낸다.
역사적 배경
층 함수는 19세기 말부터 수학적 분석과 정수론에서 자연스럽게 등장하였다. 특히 독일 수학자 카를 구스타프 야코프(1849–1919)가 실수와 정수 사이의 관계를 체계화하면서 $\lfloor x \rfloor$ 표기를 도입하였다. 현대 수학에서는 기호와 성질이 표준화되어 교과서와 학술 논문에서 광범위하게 사용된다.
참고문헌
- K. G. Jacobson, Basic Algebra, 2nd ed., Dover Publications, 2009. – 층·천장 함수의 기본 성질.
- G. H. Hardy, E. M. Wright, An Introduction to the Theory of Numbers, 6th ed., Oxford University Press, 2008. – 정수론에서의 응용.
- Donald Knuth, The Art of Computer Programming, Vol. 1, Addison‑Wesley, 2011. – 컴퓨터 과학에서의 구현 방법.
- Wikipedia contributors, “Floor function”, Wikipedia, The Free Encyclopedia, https://en.wikipedia.org/wiki/Floor_and_ceiling_functions (accessed 2026). – 일반적인 정의와 예시.