멱집합의 하세 도형. 녹색 원소들은 극대 필터를 구성하며, 반대로 흰색 원소들은 극대 순서 아이디얼을 구성한다. 순서론에서 '''필터'''()는 어떤 원순서 집합의 하향 상집합이며, 반대로 '''순서 )은 어떤 원순서 집합의 상향 하집합이다. 일반위상수학에서 필터의 개념은 점렬의 일반화로 사용되며, 수리논리학에서 필터는 초곱을 정의하는 쓰인다. 예를 들어, 초실수의 집합은 자연수 집합 위의 극대 필터를 사용하여 정의된다. == 정의 == === 필터와 순서 아이디얼 === 원순서 집합 부분 집합 가운데 다음 조건을 만족시키는 것을 '''필터'''라고 한다. 하향 원순서 집합이다. 상집합이다. 원순서 집합 부분 집합 가운데 다음 조건을 만족시키는 것을 '''순서 아이디얼'''이라고 한다. 상향 원순서 집합이다. 하집합이다. === 필터와 순서 아이디얼 === 원순서 집합 필터 대하여, 만약 아이디얼이라면, '''소 필터'''(), '''소 순서 아이디얼'''()이라고 한다. === 극대 필터와 극대 순서 아이디얼 === 원순서 집합 필터들은 부분 집합 관계에 대하여 부분 순서 집합 이루며, 만약 하향 원순서 집합이라면 최대 원소는 자체이다. 경우, 극대 원소를 '''극대 필터'''(極大filter, 또는 )라고 한다. 마찬가지로, 원순서 집합 순서 아이디얼들은 부분 집합 관계에 대하여 부분 순서 집합 이루며, 만약 상향 원순서 집합이라면 최대 원소는 자체이다. 경우 극대 원소를 '''극대 순서 )라고 한다. 자체를 제외하는 것은 환론에서 극대 아이디얼을 정의할 자체를 제외하는 것과 유사하다.) == 성질 == === 합집합과 교집합 === 같은 원순서 집합 속의 필터의 합집합이나 교집합은 일반적으로 필터가 아니며, 순서 아이디얼의 경우도 마찬가지다. 다만, 원순서 집합 속의 필터들의 사슬 대하여, 합집합 필터를 이룬다. 그러나 교집합 여전히 필터가 아닐 있다. 마찬가지로, 순서 아이디얼들의 사슬의 합집합은 순서 아이디얼이지만, 교집합은 순서 아이디얼이 아닐 있다. 예를 들어, 자연수 집합 서로 비교 불가능한 개의 무한대 추가하였을 때, 필터이지만, 하향 원순서 집합이 아니므로 필터가 아니다. === 극대 필터 정리 === 다음과 같은 데이터가 주어졌다고 하자. 하향 원순서 집합 필터 최소 원소 즉, 모든 대하여 이다. '''극대 필터 )에 따르면, 포함하는 극대 필터가 항상 적어도 하나 이상 존재한다. 이는 초른 보조정리로 쉽게 증명된다. '''증명:''' 부분 순서 집합 생각하자. 초른 보조정리에 따라, 속의 모든 사슬이 상계를 가지는 것을 보이면 족하다. 속의 임의의 사슬 대하여, 상계이다. 이제 임을 보이면 족하다. 귀류법을 사용하여, 라고 가정하자. 그렇다면 찾을 있다. 그렇다면 인데, 이는 모순이다. 마찬가지로, 최대 원소를 갖는 상향 원순서 집합 에서, 전체가 아닌 모든 순서 아이디얼은 극대 순서 아이디얼에 포함된다. === 격자 === 격자 부분 집합 대하여 다음 조건이 서로 동치이다. 순서 아이디얼이다. 다음 조건이 성립한다. ** 공집합이 아니다. ** 대하여 이다. ** 대하여 이다. 격자 부분 집합 대하여 다음 조건이 서로 동치이다. 필터이다. 다음 조건이 성립한다. ** 공집합이 아니다. ** 대하여 이다. ** 대하여 이다. === 대수 === 대수 다음과 같이 표준적으로 가환환으로 여길 있다. 또한, 대수 다음과 같이 표준적으로 부분 순서 집합으로 여길 있다. 그렇다면, 순서 아이디얼의 개념은 가환환으로서의 아이디얼의 개념과 일치한다. 대수 위의 필터 대하여 다음 조건들이 서로 동치이다. 극대 필터이다. 임의의 대하여, 이거나 이다. 극대 순서 아이디얼이다. === 그물의 유도 필터 === 집합 상향 원순서 집합 그물 주어졌다고 하자. 그렇다면, 꼬리들의 집합 하향 원순서 집합을 이루며, 이로부터 생성되는 필터 그물 '''유도 필터'''()라고 한다. 마찬가지로, 집합 하향 원순서 집합 함수 주어졌다고 하자. 그렇다면, 머리들의 집합 상향 원순서 집합을 이루며, 이로부터 생성되는 아이디얼 '''유도 순서 아이디얼'''()라고 한다. 수열은 그물의 특수한 경우이므로, 마찬가지로 유도 필터를 정의할 있다. === 필터에 대응되는 그물 === 모든 그물에 필터가 대응되는 것처럼, 모든 필터에도 그물을 대응시킬 있다. 따라서, 위상 수학에서 그물 이론과 필터 이론은 사실상 동치이다. 집합 멱집합 부분 집합 주어졌을 때, 집합 다음과 같은 원순서를 있다. 만약 상향 원순서 집합이며 이라면 역시 상향 원순서 집합이며, 그물을 이룬다. 반대로, 하향 원순서 집합이며 라면 역시 하향 원순서 집합이며, 그물을 이룬다. === 멱집합 위의 필터 === 집합 멱집합 위의 필터 대하여 다음 조건들이 서로 동치이이다. 극대 필터이다. 이며, 임의의 대하여, 만약 라면 이거나 이다. 이며, 임의의 대하여, 이거나 이다. 따라서, 집합 멱집합 위의 극대 필터 대략 "대부분"의 개념의 추상화로 여길 있다. 즉, 어떤 집합의 부분 집합 "대부분"이거나 (), 아니면 여집합이 "대부분"이다 (). 한원소 부분 집합에 대한 필터 극대 필터이다. 유한 집합의 멱집합 위의 극대 필터는 모두 위와 같은 꼴이다. ==== 완비 극대 필터 ==== 기수 대하여, '''-완비 극대 필터'''()는 다음 성질을 만족시키는, 집합 위의 극대 필터 이다. 임의의 대하여, 만약 라면 이다. 정의에 따라, 모든 극대 필터는 -완비 극대 필터이다. 집합 위의 극대 필터 '''완비성''' 다음 조건을 만족시키는 가장 작은 기수이다. 이며 존재한다. 만약 완비성이 존재한다면, 완비성은 정의에 따라 항상 이상이다. 극대 필터의 경우, 완비성이 존재하지 않는다. == == === 자명한 필터 === 임의의 하향 원순서 집합 속에서, 자체는 필터를 이룬다. 마찬가지로, 임의의 상향 원순서 집합 속에서, 자체는 순서 아이디얼을 이룬다. === 필터와 아이디얼 === 어떤 원소 포함하는 가장 작은 필터를 '''주 필터'''()로 부르며, 표기한다. 어떤 원소 포함하는 가장 작은 아이디얼을 '''주 순서 아이디얼'''()로 부르며, 표기한다. 원순서 집합 극소 필터는 극대 원소로 생성되는 필터이다. 마찬가지로, 원순서 집합의 극소 순서 아이디얼은 극소 원소로 생성되는 순서 아이디얼이다. === 프레셰 필터 === 집합 무한 기수 대하여, 위의 필터를 이룬다. 만약 이라면, 이는 쌍대유한집합들의 집합이며, 이를 '''프레셰 필터'''()라고 한다. === 근방 필터 === 위상 공간에서, 주어진 점의 모든 근방들은 '''근방 필터'''라는 필터를 이룬다. 필터가 주어진 점에 수렴한다는 것은 근방 필터를 포함하는 것을 의미한다. == 역사 == 순서 아이디얼의 개념은 대수에 대하여 1934년에 마셜 하비 스톤이 도입하였다. "순서 아이디얼"이라는 이름은 대수의 순서 아이디얼은 가환환으로서의 아이디얼과 일치하기 때문에 사용되었다. 1937년에 스톤은 순서 아이디얼을 격자에 대하여 "μ-아이디얼"()이라는 이름으로 일반화하였다. 마찬가지로, 스톤은 격자 속의 필터를 "α-아이디얼"()이라고 명명하였다. 이와 독자적으로, 앙리 카르탕은 1937년에 점렬의 개념을 일반화하여 "필터"()와 "초필터"()라는 용어를 도입하였다. 이후 니콜라 부르바키가 개념을 널리 사용하여 대중화하였다. == 참고 문헌 == ** ** ** == 외부 링크 == 분류:순서론 분류:일반위상수학