구간

수학에서 구간(區間, )은 원순서 집합의 주어진 두 원소 사이의 모든 원소들의 집합이다. 특히, 표준적인 전순서를 부여한 실수의 집합 위의 구간을 생각할 수 있다. 구간은 끝점을 포함하는지 여부에 따라
 열린구간(-區間) 또는 개구간(開區間)
 닫힌구간(-區間) 또는 폐구간(閉區間)
 반열린구간(半-區間, ) 또는 반닫힌구간(半-區間, ) 또는 반개구간(半開區間) 또는 반폐구간(半閉區間)
의 세 가지로 나뉜다.

정의 
원순서 집합 의 두 원소 에 대하여,

를 로 표기하자.

구간 
원순서 집합 의 두 원소 를 왼쪽·오른쪽 끝점으로 하는 열린구간과 닫힌구간 및 두 개의 반열린구간은 각각 다음과 같다 (두 끝점에 대하여  또는 를 요구하기도 한다).

원순서 집합 의 원소 를 왼쪽 끝점으로 하고, 오른쪽 끝점이 주어지지 않는 열린구간과 반열린구간은 각각 다음과 같다.

마찬가지로, 원순서 집합 의 원소 를 오른쪽 끝점으로 하고, 왼쪽 끝점이 주어지지 않는 열린구간과 반열린구간은 각각 다음과 같다.

왼쪽·오른쪽 끝점이 주어지지 않는 (열린)구간은  전체이다.

원순서 집합 에서, 한쪽 또는 양쪽 끝점이 주어지지 않는 구간은 새로운 최대 원소와 최소 원소를 추가하여 얻는 원순서 집합

의 두 원소를 두 끝점으로 하는 의 구간으로 여길 수 있다. 예를 들어, 모든 실수 구간은 두 확장된 실수를 끝점으로 한다.

순서 볼록 집합 
원순서 집합 의 부분 집합 가 다음 조건을 만족시키면, 순서 볼록 집합()이라고 한다.
 임의의 에 대하여, 

원순서 집합 의 부분 집합 이 주어졌다고 하자. 에 포함되는 의 순서 볼록 집합들은 포함 관계에 따라 부분 순서 집합을 이룬다. 그 극대 원소를 의 순서 볼록 성분()이라고 한다. 초른 보조정리에 따라, 에 포함되는 의 임의의 순서 볼록 집합은 항상 의 순서 볼록 성분에 포함되지만, 이러한 성분이 유일할 필요는 없다. 만약 가 전순서 집합이라면, 의 순서 볼록 성분들은 를 분할한다. 즉, 인 순서 볼록 집합 를 포함하는 순서 볼록 성분은 유일하며, 이는 다음과 같다.

성질

함의 관계 
모든 구간은 순서 볼록 집합이지만, 그 역은 일반적으로 성립하지 않는다.

실수선 의 부분 집합 에 대하여, 다음 조건들이 서로 동치이다.
 는 구간이다.
 는 볼록 집합이다.
 는 순서 볼록 집합이다.
 이거나, 는 연결 공간이다.
 이거나, 는 경로 연결 공간이다.
 이거나, 는 호 연결 공간이다.

보다 일반적으로, 선형 연속체 의 부분 집합 에 대하여, 다음 세 조건이 서로 동치이다.
 는 구간이다.
 는 순서 볼록 집합이다.
 이거나, 에 순서 위상을 가했을 때 는 연결 공간이다.

폐포 
실수 구간의 폐포는 다음과 같다.

볼록 부분 격자 

격자 의 부분 집합 에 대하여, 다음 두 조건이 서로 동치이다.
 는 부분 격자이며, 순서 볼록 집합이다.
 인 순서 아이디얼 과 필터 이 존재한다.

예 
단위 구간

은 0보다 크거나 그와 같고, 1보다 작거나 그와 같은 실수들의 집합이다. 구간

은 모든 양의 실수들의 집합이다.

유리수의 전순서 집합 의 부분 집합

는 순서 볼록 집합이지만, (가 무리수이므로) 의 구간이 아니다.

참고 문헌

외부 링크 
 
 
 

순서론
실수 집합