위키득계정 ↗
과학

하계

하계과학
영문명
Lower bound
실수에서의 조건
모든 x∈S에 대해 m≤x
소속 조건
m이 S에 속할 필요는 없음
관련 개념
하한과 최솟값
하계는 순서 집합의 부분집합에 속한 모든 원소보다 작거나 같은 원소이다. 실수 부분집합 S의 하계 m은 모든 x∈S에 대해 m≤x를 만족한다.

아래에서 경계를 준다

S={3,6,8}이라면 3,0,−4는 모두 하계다. 집합의 모든 원소가 각 후보보다 크거나 같기 때문이다. 하계는 집합의 원소 사이에서만 고르는 것이 아니다.

최솟값과의 차이

열린구간 (2,5)에서 2는 하계지만 집합의 원소가 아니다. 따라서 2를 이 구간의 최솟값이라고 할 수 없다. 하계가 있어도 최솟값이 없을 수 있다.

하한과 비교

하계들 가운데 가장 큰 것이 있으면 하한이라고 한다. (2,5)의 하한은 2이며 1이나 0도 하계다. 아무 하계나 찾는 것과 가장 큰 하계를 찾는 것은 다른 문제다.

하계가 없는 경우

실수 전체를 실수의 보통 순서로 보면 하계가 없다. 어떤 실수를 후보로 골라도 그보다 더 작은 실수가 있기 때문이다. 무한 집합이라는 사실 자체가 하계의 유무를 정하는 것은 아니다.

관련 문서

상계 / 하한 / 실수 / 부분 순서 / 전순서 / 구간 (수학) / 최댓값과 최솟값