가야 신화의 구간에 대해서는
구간 (신화) 문서를 참고하십시오.
수학 에서 구간 (區間, 영어 : interval )은 원순서 집합 의 주어진 두 원소 사이의 모든 원소들의 집합 이다. 특히, 표준적인 전순서 를 부여한 실수 의 집합 위의 구간을 생각할 수 있다. 구간은 끝점을 포함하는지 여부에 따라
열린구간 (-區間영어 : open interval ) 또는 개구간 (開區間)닫힌구간 (-區間영어 : closed interval ) 또는 폐구간 (閉區間)반열린구간 (半-區間, 영어 : half-open interval ) 또는 반닫힌구간 (半-區間, 영어 : half-closed interval ) 또는 반개구간 (半開區間) 또는 반폐구간 (半閉區間)실수 구간 ( x , x + a ) {\displaystyle (x,x+a)} (또는 [ x , x + a ] {\displaystyle [x,x+a]} , [ x , x + a ) {\displaystyle [x,x+a)} , ( x , x + a ] {\displaystyle (x,x+a]} ) 의 세 가지로 나뉜다.
정의 원순서 집합 ( X , ≲ ) {\displaystyle (X,\lesssim )} 의 두 원소 a , b ∈ X {\displaystyle a,b\in X} 에 대하여,
a ≲ b ≴ a {\displaystyle a\lesssim b\not \lesssim a} 를 a < b {\displaystyle a<b} 로 표기하자.
구간 원순서 집합 ( X , ≲ ) {\displaystyle (X,\lesssim )} [1] :11, Definition 11 의 두 원소 a , b ∈ X {\displaystyle a,b\in X} 를 왼쪽·오른쪽 끝점으로 하는 열린구간 과 닫힌구간 및 두 개의 반열린구간 은 각각 다음과 같다 (두 끝점에 대하여 a < b {\displaystyle a<b} 또는 a ≲ b {\displaystyle a\lesssim b} 를 요구하기도 한다).
( a , b ) = { x ∈ X : a < x < b } {\displaystyle (a,b)=\{x\in X\colon a<x<b\}} [ a , b ] = { x ∈ X : a ≲ x ≲ b } {\displaystyle [a,b]=\{x\in X\colon a\lesssim x\lesssim b\}} ( a , b ] = { x ∈ X : a < x ≲ b } {\displaystyle (a,b]=\{x\in X\colon a<x\lesssim b\}} [ a , b ) = { x ∈ X : a ≲ x < b } {\displaystyle [a,b)=\{x\in X\colon a\lesssim x<b\}} 원순서 집합 ( X , ≲ ) {\displaystyle (X,\lesssim )} 의 원소 a ∈ X {\displaystyle a\in X} 를 왼쪽 끝점으로 하고, 오른쪽 끝점이 주어지지 않는 열린구간 과 반열린구간 은 각각 다음과 같다.
( a , ∞ ) = { x ∈ X : a < x } {\displaystyle (a,\infty )=\{x\in X\colon a<x\}} [ a , ∞ ) = { x ∈ X : a ≲ x } {\displaystyle [a,\infty )=\{x\in X\colon a\lesssim x\}} 마찬가지로, 원순서 집합 ( X , ≲ ) {\displaystyle (X,\lesssim )} 의 원소 b ∈ X {\displaystyle b\in X} 를 오른쪽 끝점으로 하고, 왼쪽 끝점이 주어지지 않는 열린구간 과 반열린구간 은 각각 다음과 같다.
( − ∞ , b ) = { x ∈ X : x < b } {\displaystyle (-\infty ,b)=\{x\in X\colon x<b\}} ( − ∞ , b ] = { x ∈ X : x ≲ b } {\displaystyle (-\infty ,b]=\{x\in X\colon x\lesssim b\}} 왼쪽·오른쪽 끝점이 주어지지 않는 (열린)구간은 X {\displaystyle X} 전체이다.
( − ∞ , ∞ ) = X {\displaystyle (-\infty ,\infty )=X} 원순서 집합 ( X , ≲ ) {\displaystyle (X,\lesssim )} 에서, 한쪽 또는 양쪽 끝점이 주어지지 않는 구간은 새로운 최대 원소 와 최소 원소 를 추가하여 얻는 원순서 집합
X ⊔ { − ∞ , ∞ } {\displaystyle X\sqcup \{-\infty ,\infty \}} ∀ x ∈ X : − ∞ < x < ∞ {\displaystyle \forall x\in X\colon -\infty <x<\infty } 의 두 원소를 두 끝점으로 하는 X ⊔ { − ∞ , ∞ } {\displaystyle X\sqcup \{-\infty ,\infty \}} 의 구간으로 여길 수 있다. 예를 들어, 모든 실수 구간은 두 확장된 실수 를 끝점으로 한다.
순서 볼록 집합 원순서 집합 ( X , ≲ ) {\displaystyle (X,\lesssim )} 의 부분 집합 C ⊆ X {\displaystyle C\subseteq X} 가 다음 조건을 만족시키면, 순서 볼록 집합 (영어 : order-convex set )이라고 한다.
임의의 a , b ∈ C {\displaystyle a,b\in C} 에 대하여, [ a , b ] ⊆ C {\displaystyle [a,b]\subseteq C} 원순서 집합 ( X , ≲ ) {\displaystyle (X,\lesssim )} 의 부분 집합 Y ⊆ X {\displaystyle Y\subseteq X} 이 주어졌다고 하자. Y {\displaystyle Y} 에 포함되는 X {\displaystyle X} 의 순서 볼록 집합들은 포함 관계에 따라 부분 순서 집합 을 이룬다. 그 극대 원소 를 Y {\displaystyle Y} 의 순서 볼록 성분 (영어 : order-convex component )이라고 한다.[2] :Definition 5.1 [3] :727 초른 보조정리 에 따라, Y {\displaystyle Y} 에 포함되는 X {\displaystyle X} 의 임의의 순서 볼록 집합은 항상 Y {\displaystyle Y} 의 순서 볼록 성분에 포함되지만, 이러한 성분이 유일할 필요는 없다. 만약 X {\displaystyle X} 가 전순서 집합 이라면, Y {\displaystyle Y} 의 순서 볼록 성분들은 Y {\displaystyle Y} 를 분할 한다. 즉, C ⊆ Y {\displaystyle C\subseteq Y} 인 순서 볼록 집합 C ⊆ X {\displaystyle C\subseteq X} 를 포함하는 순서 볼록 성분은 유일하며, 이는 다음과 같다.
{ y ∈ Y : ∃ c ∈ C : [ min { c , y } , max { c , y } ] ⊆ Y } {\displaystyle \{y\in Y\colon \exists c\in C\colon [\min\{c,y\},\max\{c,y\}]\subseteq Y\}}
성질
함의 관계 모든 구간은 순서 볼록 집합이지만, 그 역은 일반적으로 성립하지 않는다.
실수선 R {\displaystyle \mathbb {R} } 의 부분 집합 I ⊆ R {\displaystyle I\subseteq \mathbb {R} } 에 대하여, 다음 조건들이 서로 동치 이다.
I {\displaystyle I} 는 구간이다. I {\displaystyle I} 는 볼록 집합 이다. I {\displaystyle I} 는 순서 볼록 집합이다. I = ∅ {\displaystyle I=\varnothing } 이거나, I {\displaystyle I} 는 연결 공간 이다. I = ∅ {\displaystyle I=\varnothing } 이거나, I {\displaystyle I} 는 경로 연결 공간 이다. I = ∅ {\displaystyle I=\varnothing } 이거나, I {\displaystyle I} 는 호 연결 공간 이다.보다 일반적으로, 선형 연속체 ( L , ≤ ) {\displaystyle (L,\leq )} 의 부분 집합 S ⊆ L {\displaystyle S\subseteq L} 에 대하여, 다음 세 조건이 서로 동치 이다.[4] :153, Theorem 24.1
S {\displaystyle S} 는 구간이다. S {\displaystyle S} 는 순서 볼록 집합이다. S = ∅ {\displaystyle S=\varnothing } 이거나, L {\displaystyle L} 에 순서 위상 을 가했을 때 S {\displaystyle S} 는 연결 공간 이다.
폐포 실수 구간의 폐포 는 다음과 같다.[5] :214, Lemma 9.1.12
cl ( a , b ) = cl ( a , b ] = cl [ a , b ) = cl [ a , b ] = [ a , b ] {\displaystyle \operatorname {cl} (a,b)=\operatorname {cl} (a,b]=\operatorname {cl} [a,b)=\operatorname {cl} [a,b]=[a,b]} cl ( a , + ∞ ) = cl [ a , + ∞ ) = [ a , + ∞ ) {\displaystyle \operatorname {cl} (a,+\infty )=\operatorname {cl} [a,+\infty )=[a,+\infty )} cl ( − ∞ , a ) = cl ( − ∞ , a ] = ( − ∞ , a ] {\displaystyle \operatorname {cl} (-\infty ,a)=\operatorname {cl} (-\infty ,a]=(-\infty ,a]} cl ( − ∞ , + ∞ ) = ( − ∞ , ∞ ) {\displaystyle \operatorname {cl} (-\infty ,+\infty )=(-\infty ,\infty )}
볼록 부분 격자 격자 L {\displaystyle L} 의 부분 집합 S ⊆ L {\displaystyle S\subseteq L} 에 대하여, 다음 두 조건이 서로 동치 이다.
S {\displaystyle S} 는 부분 격자이며, 순서 볼록 집합이다. S = I ∩ F {\displaystyle S=I\cap F} 인 순서 아이디얼 I ⊆ L {\displaystyle I\subseteq L} 과 필터 F ⊆ L {\displaystyle F\subseteq L} 이 존재한다.
예
같이 보기
각주
외부 링크