개념 정의
-
바닥 함수 (Floor function)
- 기호: $\displaystyle\lfloor x \rfloor$
- 정의: 실수 $x$에 대해 $\lfloor x \rfloor$는 $x$보다 작거나 같은 가장 큰 정수를 반환한다. 즉,
$$ \lfloor x \rfloor = \max { n \in \mathbb{Z} \mid n \le x }. $$ - 일반적으로 ‘바닥 함수’ 혹은 ‘내림 함수’라고도 불린다.
-
천장 함수 (Ceiling function)
- 기호: $\displaystyle\lceil x \rceil$
- 정의: 실수 $x$에 대해 $\lceil x \rceil$는 $x$보다 크거나 같은 가장 작은 정수를 반환한다. 즉,
$$ \lceil x \rceil = \min { n \in \mathbb{Z} \mid n \ge x }. $$ - 일반적으로 ‘천장 함수’ 혹은 ‘올림 함수’라고도 불린다.
주요 성질
| 성질 | 바닥 함수 $\lfloor x \rfloor$ | 천장 함수 $\lceil x \rceil$ |
|---|---|---|
| 정수 입력 | $\lfloor n \rfloor = n$ ( $n \in \mathbb{Z}$ ) | $\lceil n \rceil = n$ |
| 관계 | $\lfloor x \rfloor \le x < \lfloor x \rfloor + 1$ | $\lceil x \rceil - 1 < x \le \lceil x \rceil$ |
| 보완 관계 | $\lceil x \rceil = -\lfloor -x \rfloor$ | $\lfloor x \rfloor = -\lceil -x \rceil$ |
| 주기성 | $\lfloor x + 1 \rfloor = \lfloor x \rfloor + 1$ | $\lceil x + 1 \rceil = \lceil x \rceil + 1$ |
| 연속성 | 모든 정수가 아닌 점에서 불연속 (점프) | 모든 정수가 아닌 점에서 불연속 (점프) |
| 미분 가능성 | 정의역 전체에서 미분 불가능 (점프) | 정의역 전체에서 미분 불가능 (점프) |
사용 예시
- $\lfloor 3.7 \rfloor = 3$
- $\lfloor -2.1 \rfloor = -3$ (음수 경우 내림은 더 작은 정수)
- $\lceil 3.2 \rceil = 4$
- $\lceil -1.8 \rceil = -1$ (음수 경우 올림은 더 큰 정수)
응용 분야
- 정수 분할: 실수를 정수 구간으로 나누어 구간별 처리가 필요한 알고리즘에서 사용된다.
- 알고리즘: 이진 탐색, 힙, 그래프 탐색 등에서 인덱스 계산에 활용된다.
- 수학적 증명: 부등식 증명, 급수의 수렴 판단 등에서 구간 경계를 명시할 때 이용된다.
- 컴퓨터 과학: 메모리 주소 정렬, 페이지 매핑 등에서 정수 단위로 강제 변환이 필요할 때 쓰인다.
관계식 및 변형
- $\lfloor x \rfloor + \lceil -x \rceil = -1$ ( $x ot\in \mathbb{Z}$ 일 때)
- $\lceil x \rceil = \lfloor x \rfloor$ 혹은 $\lfloor x \rfloor + 1$ 은 $x$가 정수가 아닌 경우에 성립한다.
- 실수 $x$를 $x = \lfloor x \rfloor + {x}$ 로 나타낼 수 있으며, 여기서 ${x}=x-\lfloor x \rfloor$는 소수 부분(분수 부분)이다.
참고
- 바닥 함수와 천장 함수는 실수 집합 $\mathbb{R}$ 위에서 정의되며, 정수 집합 $\mathbb{Z}$로 값을 반환한다.
- 이들 함수는 일반적인 연속 함수와는 달리 모든 비정수 점에서 불연속(점프 불연속)을 가진다.
- 수학 교과서 및 표준 수학 백과사전(예: Wikipedia, MathWorld)에서 동일한 정의와 표기를 확인할 수 있다.
