매트로이드

조합론에서 매트로이드(메이트로이드)는 일차 독립의 성질을 공리화하여 얻은 조합론적 구조이다. 그래프 이론 · 선형대수학 · 체론 등의 다양한 분야에 응용된다.

**정의**
매트로이드의 개념은 다양하게 정의될 수 있지만, 이 정의들은 서로 동치이다.

**독립 집합을 통한 정의**
매트로이드 는 다음과 같은 데이터로 구성된다.- 집합 - 집합족 . 그 원소를 독립 집합(獨立集合, independent set)이라고 하며, 독립 집합이 아닌 의 부분 집합을 종속 집합(從屬集合, dependent set)이라고 한다.
이 데이터는 다음 공리들을 만족시켜야 한다.§1.1- (공집합의 독립성) 공집합은 독립 집합이다. 즉, 이다.- (유전성 hereditary property) 독립 집합의 부분집합은 독립이다. 즉, 만약 라면 이다.- (추가성 augmentation property) 만약 이며, 는 의 극대 원소이지만 는 의 극대 원소가 아니라면, 인 가 존재한다.- (국소적 극대 독립 집합의 존재) 만약 라면, 닫힌 구간 는 극대 원소를 갖는다.
만약 가 유한 집합이라면, 마지막 조건은 자동적으로 성립된다.

**기저를 통한 정의**
매트로이드 는 다음과 같은 데이터로 구성된다.- 집합 - 집합족 . 그 원소를 기저(基底, basis)라고 하며, 기저의 부분 집합을 독립 집합이라고 한다.
이는 다음 조건들을 만족시켜야 한다.§1.2- (추가성) 임의의  및 에 대하여, 다음 조건을 만족시키는 가 항상 존재한다.
*: - (국소적 극대 독립 집합의 존재) 임의의 부분 집합  및 기저  및 독립 집합 에 대하여, 다음 두 조건을 만족시키는 기저  및 독립 집합 이 존재한다.
** 에 대하여, 이다.

**회로를 통한 정의**
매트로이드 는 다음과 같은 데이터로 주어진다.- 집합 - 집합족 . 그 원소를 회로(回路, circuit)라고 한다. 회로를 부분 집합으로 포함하지 않는 집합을 독립 집합이라고 한다.
이 데이터는 다음 공리들을 만족시켜야 한다.§1.4- (공집합의 독립성) 공집합은 회로가 아니다. 즉, 이다.- 임의의 에 대하여, 라면 이다.- (회로의 제거) 임의의 회로  및 회로의 족 이 주어졌으며, 집합 가 를 만족시킨다고 하자. 이제, 로 놓자. 그렇다면, 인 함수 가 존재한다.- (국소적 극대 독립 집합의 존재) 임의의 부분 집합  및 독립 집합 에 대하여, 를 포함하며 에 포함되는 독립 집합들의 부분 순서 집합은 적어도 하나 이상의 극대 원소를 갖는다.

**폐포를 통한 정의**
매트로이드 는 다음과 같은 데이터로 주어진다.- 집합 - 함수 \operatorname{cl}\colon\operatorname{Pow}(E)\to\operatorname{Pow}(E). 이를 폐포라고 한다. 또한, 부분 집합 에 대하여, 만약 인 가 존재한다면, 를 종속 집합이라고 하며, 종속 집합이 아닌 부분 집합을 독립 집합이라고 한다.
이 데이터는 다음 조건들을 만족시켜야 한다.§1.3- 은 폐포 연산이다. 즉,
** 임의의 에 대하여, 
** 임의의 에 대하여, - 임의의 부분 집합 에 대하여,  위의 다음 이항 관계는 대칭 관계이다.
*: - (국소적 극대 독립 집합의 존재) 임의의 부분 집합  및 독립 집합 에 대하여, 다음 조건을 만족시키는 독립 집합 이 존재한다.
*: 은 극대적이다. 즉, 임의의 에 대하여, 는 종속 집합이다.
인 집합 를 닫힌집합(-集合, closed set) 또는 평탄면(平坦面, 플랫)이라고 한다.

**계수 함수를 통한 정의**
매트로이드 는 다음과 같은 데이터로 주어진다.- 집합 .- 함수 \operatorname{rank}(-
여기서

는  속의, 길이 2의 사슬들의 집합이다.
이 데이터는 다음 조건들을 만족시켜야 한다.§1.5- 임의의 에 대하여, - 임의의 에 대하여, - (유한 사슬에 대한 분해) 임의의 에 대하여, - 임의의 집합족 에 대하여, 만약 이라면, 이다.- (국소적 극대 독립 집합의 존재) 임의의 부분 집합  및 독립 집합 에 대하여, 를 포함하며 에 포함되는 독립 집합들의 부분 순서 집합은 적어도 하나 이상의 극대 원소를 갖는다.
매트로이드  속에서, 부분 집합 가

를 만족시키는 것들 가운데 (부분 집합 관계에 대하여) 극대 원소라면, 를 초평면(超平面, 하이퍼플레인)이라고 한다.

**정의들 사이의 관계**
일부 정의들 사이의 관계는 다음과 같다.
매트로이드 의 부분 집합 의 폐포 는 독립 집합들로부터 다음과 같이 정의된다.

매트로이드 의 부분 집합 의 폐포 는 마찬가지로 상대 계수 함수로부터 다음과 같이 정의된다.

(이러한 최대 원소가 항상 유일하게 존재함을 보일 수 있다.)
매트로이드 의 상대 계수 함수는 독립 집합들로부터 다음과 같이 정의된다.
인 집합 위의 매트로이드 구조의 수를 이라고 하면, 다음이 성립한다.Theorem 3; (1)


**범주론적 성질**
임의의 두 유한 매트로이드 ,  사이의 함수 에 대하여 다음 세 조건이 서로 동치이며, 이를 만족시키는 함수를 강사상(強寫像, strong morphism)이라고 하자.- 임의의 에 대하여, 이다.- 임의의 에 대하여, 이다.- 의 닫힌집합의 상은 항상 의 닫한집합이다.
유한 매트로이드와 강사상의 작은 범주를 라고 하자. 또한, 유한 집합과 함수의 작은 범주를 라고 하자.
그렇다면, 는 구체적 범주이며, 망각 함자

가 존재한다. 이 밖에도, 균등 매트로이드 함자




및



를 정의할 수 있다. 이들은 다음과 같은 수반 함자 관계를 이룬다.Theorem 2.9

즉, 균등 매트로이드 은 “자유 매트로이드”이며, 은 “쌍대 자유 매트로이드”이다.
는 모든 유한 쌍대곱을 갖지만, 모든 유한 곱을 갖지 못하며, 또한 유한 쌍대 극한 가운데 일부는 존재하지 못한다.,§3

**예**

**균등 매트로이드**
임의의 집합  위에,





를 부여하면, 이는 매트로이드를 이룬다. 이를 라고 하자.
마찬가지로, 임의의 집합  위에,




을 부여하면, 이는 매트로이드를 이룬다. 이는 의 쌍대 매트로이드 이다.
이들의 성질을 비교하면 다음과 같다.
이와 같은 두 종류의 매트로이드의 직합으로 표현될 수 있는 매트로이드를 이산 매트로이드(離散matroid, discrete matroid)라고 한다.
보다 일반적으로, 임의의 집합  및 자연수 에 대하여, 균등 매트로이드(均等matroid, uniform matroid) 는  위의 다음과 같은 매트로이드이다.



이는 항상 유한형 매트로이드이다.
만약 가 유한 집합일 때, 의 쌍대 매트로이드는 이다. 만약 가 무한 집합이라면, 의 쌍대 매트로이드는 더 이상 유한형 매트로이드가 아니다.

**벡터 공간의 부분 집합의 매트로이드**
체 에 대한 유한 차원 벡터 공간 의 유한 부분 중복집합 를 생각하자. (임의로 순서를 잡으면, 이는 에 대한 행렬로 나타낼 수 있다.) 가 의 일차독립 부분 중복집합들의 집합이라고 하면, 는 매트로이드를 이룬다. 이를 선형 매트로이드(linear matroid)라고 한다.

**그래프의 매트로이드**
모든 그래프에는 순환 매트로이드라는 유한형 매트로이드 및 그 쌍대 매트로이드인 접합 매트로이드가 대응된다.

**작은 크기의 매트로이드**
공집합 위에는 유일한 매트로이드 구조가 존재하며, 이는 균등 매트로이드 이다.
이는 무변 그래프의 순환 매트로이드이자, 임의의 벡터 공간 속의 공집합으로부터 정의되는 선형 매트로이드이다.

**크기 1**
크기 1의 매트로이드 동형류들은 다음 두 가지이다.-  (계수 1). 이는 한 변을 갖는 경로 그래프 의 순환 매트로이드이다.-  (계수 0). 이는 하나의 꼭짓점과 하나의 변을 갖는 다중 그래프의 순환 매트로이드이다.

**크기 2**
크기 2의 매트로이드 동형류들은 다음 네 가지이다.-  (계수 2)-  (계수 1)-  (계수 1)-  (계수 0)
이 가운데 단순 매트로이드인 것은 첫째 밖에 없다.

**크기 3**
크기 3의 매트로이드 동형류들은 다음 여덟 가지이다.-  (계수 3)-  (계수 2)-  (계수 2)-  (계수 2)-  (계수 1)-  (계수 1)-  (계수 1)-  (계수 0)
이 가운데 단순 매트로이드인 것은 처음 두 개이다.

**크기 4**
크기 4의 매트로이드는 총 17개가 있으며, 하나를 제외하고는 나머지는 균등 매트로이드들의 직합으로 표현될 수 있다.- 계수 0:
** 계수 1:
***** 계수 2:
******** 균등 매트로이드의 직합이 아닌 매트로이드 
계수 3 및 계수 4의, 크기 4의 매트로이드들은 각각 계수 1 및 계수 0의 것들의 쌍대 매트로이드로 얻어진다.
여기서, 매트로이드 는 다음과 같다.



이는 다음과 같은 다중 그래프에 대응하는 순환 매트로이드이다.
150px
마찬가지로, 이는 (예를 들어) 다음과 같은 실수 벡터 공간 의 부분 집합 에 대응되는 매트로이드와 동형이다.





**역사**
매트로이드의 개념은 해슬러 휘트니가 1935년에 도입하였다. 1938년에 일본의 나카자와 다케오(中澤 武雄, 1913~1946)가 동일한 개념을 독립적으로 발견하였으나, 크게 알려지지 못했다.
이후 윌리엄 토머스 텃이 매트로이드 이론을 발달시켰고, 텃 다항식과 같은 중요한 개념들을 발견하였다.
1970년에 잔카를로 로타와 헨리 하울런드 크레이포(Henry Howland Crapo)는 매트로이드 이론에 대한 최초의 책을 출판하였다. (이 책에서는 “매트로이드” 대신 “조합 기하”(combinatorial geometry)라는 용어가 사용되었다.) 이듬해에 윌리엄 토머스 텃은 매트로이드 이론에 대한 둘째 책을 출판하였다.
무한 매트로이드의 올바른 정의는 오랫동안 미해결 문제였다. 1966년에 리하르트 라도는 무한 매트로이드의 올바른 정의에 대한 문제를 제기하였다.263, §6(c), Problem P531 데니스 힉스(Denis A. Higgs, 1932~2011)는 1969년에 무한 매트로이드에 대한 다양한 정의를 제시하였으며, 그 가운데 하나는 “B-매트로이드”(B-matroid)라는 개념이었다.
이후 1978년에 제임스 옥슬리(James G. Oxley)는 “B-매트로이드”의 모임이 쌍대성을 가지며 매트로이드 마이너에 대하여 닫혀 있는 가장 큰 모임이라는 것을 증명하였다. 이후 2010년에 이 “B-매트로이드”에 대한 여러 자연스러운 공리화들이 발견되었으며, 이후 이 개념이 무한 매트로이드의 통상적인 정의로 굳어지게 되었다.

**각주**

**외부 링크**
 title=Matroid- title=Tutte polynomial- title=Matroid- title=Oriented matroid- title=Matroid- 언어=en- 언어=en- 언어=en

분류:집합족
분류:폐포 연산자