매트로이드

조합론에서 '''매트로이드'''()는 일차 독립의 성질을 공리화하여 얻은 조합론적 구조이다. 그래프 이론 · 선형대수학 · 체론 등의 다양한 분야에 응용된다.
'''매트로이드'''의 개념은 다양하게 정의될 수 있지만, 이 정의들은 서로 동치이다.
=== 독립 집합을 통한 정의 ===
'''매트로이드''' 는 다음과 같은 데이터로 구성된다.
* 집합 
* 집합족 . 그 원소를 '''독립 집합'''(獨立集合, )이라고 하며, 독립 집합이 아닌 의 부분 집합을 '''종속 집합'''(從屬集合, )이라고 한다.
이 데이터는 다음 공리들을 만족시켜야 한다.
* (공집합의 독립성) 공집합은 독립 집합이다. 즉, 이다.
* (유전성 ) 독립 집합의 부분집합은 독립이다. 즉, 만약 라면 이다.
* (추가성 ) 만약 이며, 는 의 극대 원소이지만 는 의 극대 원소가 아니라면, 인 가 존재한다.
* (국소적 극대 독립 집합의 존재) 만약 라면, 닫힌 구간 는 극대 원소를 갖는다.
만약 가 유한 집합이라면, 마지막 조건은 자동적으로 성립된다.
=== 기저를 통한 정의 ===
'''매트로이드''' 는 다음과 같은 데이터로 구성된다.
* 집합 
* 집합족 . 그 원소를 '''기저'''(基底, )라고 하며, 기저의 부분 집합을 '''독립 집합'''이라고 한다.
이는 다음 조건들을 만족시켜야 한다.
* 
* (추가성) 임의의  및 에 대하여, 다음 조건을 만족시키는 가 항상 존재한다.
*: 
* (국소적 극대 독립 집합의 존재) 임의의 부분 집합  및 기저  및 독립 집합 에 대하여, 다음 두 조건을 만족시키는 기저  및 독립 집합 이 존재한다.
** 에 대하여, 이다.
=== 회로를 통한 정의 ===
'''매트로이드''' 는 다음과 같은 데이터로 주어진다.
* 집합 
* 집합족 . 그 원소를 '''회로'''(回路, )라고 한다. 회로를 부분 집합으로 포함하지 않는 집합을 '''독립 집합'''이라고 한다.
이 데이터는 다음 공리들을 만족시켜야 한다.
* (공집합의 독립성) 공집합은 회로가 아니다. 즉, 이다.
* 임의의 에 대하여, 라면 이다.
* (회로의 제거) 임의의 회로  및 회로의 족 이 주어졌으며, 집합 가 를 만족시킨다고 하자. 이제, 로 놓자. 그렇다면, 인 함수 가 존재한다.
* (국소적 극대 독립 집합의 존재) 임의의 부분 집합  및 독립 집합 에 대하여, 를 포함하며 에 포함되는 독립 집합들의 부분 순서 집합은 적어도 하나 이상의 극대 원소를 갖는다.
=== 폐포를 통한 정의 ===
'''매트로이드''' 는 다음과 같은 데이터로 주어진다.
* 집합 
* 함수 \operatorname{cl}\colon\operatorname{Pow}(E)\to\operatorname{Pow}(E). 이를 '''폐포'''라고 한다. 또한, 부분 집합 에 대하여, 만약 인 가 존재한다면, 를 '''종속 집합'''이라고 하며, 종속 집합이 아닌 부분 집합을 '''독립 집합'''이라고 한다.
이 데이터는 다음 조건들을 만족시켜야 한다.
* 은 폐포 연산이다. 즉,
** 임의의 에 대하여, 
** 임의의 에 대하여, 
* 임의의 부분 집합 에 대하여,  위의 다음 이항 관계는 대칭 관계이다.
*: 
* (국소적 극대 독립 집합의 존재) 임의의 부분 집합  및 독립 집합 에 대하여, 다음 조건을 만족시키는 독립 집합 이 존재한다.
*: 은 극대적이다. 즉, 임의의 에 대하여, 는 종속 집합이다.
인 집합 를 '''닫힌집합'''(-集合, ) 또는 '''평탄면'''(平坦面, )이라고 한다.
=== 계수 함수를 통한 정의 ===
'''매트로이드''' 는 다음과 같은 데이터로 주어진다.
* 집합 .
* 함수 \operatorname{rank}(-
여기서
:
는  속의, 길이 2의 사슬들의 집합이다.
이 데이터는 다음 조건들을 만족시켜야 한다.
* 임의의 에 대하여, 
* 임의의 에 대하여, 
* (유한 사슬에 대한 분해) 임의의 에 대하여, 
* 임의의 집합족 에 대하여, 만약 이라면, 이다.
* (국소적 극대 독립 집합의 존재) 임의의 부분 집합  및 독립 집합 에 대하여, 를 포함하며 에 포함되는 독립 집합들의 부분 순서 집합은 적어도 하나 이상의 극대 원소를 갖는다.
매트로이드  속에서, 부분 집합 가
:
를 만족시키는 것들 가운데 (부분 집합 관계에 대하여) 극대 원소라면, 를 '''초평면'''(超平面, )이라고 한다.
=== 정의들 사이의 관계 ===
일부 정의들 사이의 관계는 다음과 같다.
 정의 
 독립 집합  
 종속 집합  
 기저  
 회로  
 닫힌집합 
 독립 집합을 통한 정의
 —
 독립 집합이 아닌 집합
 극대 독립 집합
 극소 종속 집합
 임의의  및 에 대하여, I\cup\{x\}\in\mathcal I\implies x\in F
 기저를 통한 정의
  
 
 — 
 모든 진부분 집합이 기저이지만, 기저가 아닌 집합
 회로를 통한 정의
  
  
 회로를 포함하지 않는 극대 집합 
 —
 계수를 통한 정의
 
 
 극대 독립 집합
 극소 종속 집합
 임의의 에 대하여 
 폐포를 통한 정의
 
 
 독립 집합이며, 또한 고정점을 갖지 않는, 인 함수 가 존재
 종속 집합이며, 임의의 에 대하여 
 
매트로이드 의 부분 집합 의 폐포 는 독립 집합들로부터 다음과 같이 정의된다.
:
매트로이드 의 부분 집합 의 폐포 는 마찬가지로 상대 계수 함수로부터 다음과 같이 정의된다.
:
(이러한 최대 원소가 항상 유일하게 존재함을 보일 수 있다.)
매트로이드 의 상대 계수 함수는 독립 집합들로부터 다음과 같이 정의된다.
:
=== 유한성 ===
매트로이드 에 대하여,
* 만약 가 유한 집합이라면, 를 '''유한 매트로이드'''(有限matroid, )라고 한다.
* 만약 모든 회로가 유한 집합이라면 (즉, 임의의 에 대하여, 만약 의 모든 유한 부분 집합이 독립 집합인 경우  또한 독립 집합이라면), 를 '''유한형 매트로이드'''(有限形matroid, )라고 한다.
* 만약 모든 회로와 쌍대 회로의 교집합이 유한 집합이라면, (E,\mathcal I)를 '''유순 매트로이드'''(柔順matroid, )라고 한다.
즉, 다음과 같은 함의 관계가 존재한다.
:유한 매트로이드 ⇒ 유한형 매트로이드 ⇒ 유순 매트로이드 ⇒ 매트로이드
=== 작은 회로의 부재 ===
크기 1의 회로는 '''고리'''()라고 하며, 크기 2의 회로는 '''평행변'''(平行邊, )이라고 한다. (이러한 용어는 다중 그래프에 대응되는 순환 그래프에서 유래하였다.)
모든 회로의 크기가 2 이상인 매트로이드를 '''단순 매트로이드'''()라고 한다. 모든 회로의 크기가 1 이상인 매트로이드를 '''고리 없는 매트로이드'''()라고 한다.
=== 부분 매트로이드 ===
매트로이드 의 부분 집합  위에서, 는 매트로이드를 이룬다. 이를 의 '''부분 매트로이드'''()라고 한다. 매트로이드의 부분 집합 의 '''계수'''는 부분 매트로이드로서의 계수이다.
=== 쌍대 매트로이드 ===
매트로이드 의 '''쌍대 매트로이드''' 는 다음과 같이 정의된다. 집합으로서, 이지만,
:
이다. 이에 따라, 의 기저는 항상 의 기저의 여집합이다.
이 연산은 쌍대성을 가진다. 즉, 이다.
=== 직합 ===
두 매트로이드 , 가 주어졌을 때, 분리합집합
:
위에 매트로이드 구조
:
를 부여할 수 있다. 이를 이 두 매트로이드의 '''직합'''(直合, )이라고 하며, 로 표기한다. (이 용어는 벡터 공간의 부분 집합으로 나타내어지는 매트로이드의 경우, 매트로이드 직합은 해당 벡터 공간들의 직합에 해당하기 때문에 유래하였다.)
=== 마이너 ===
부분 매트로이드를 취하는 연산 및 쌍대 매트로이드의 부분 매트로이드의 쌍대 매트로이드를 취하는 연산을 반복하여 얻는 매트로이드를 '''매트로이드 마이너'''라고 한다. 이는 그래프 마이너의 일반화이다.
=== 안둘레와 밖둘레 ===
매트로이드의 '''안둘레'''는 가장 작은 회로의 크기이다. 마찬가지로, 매트로이드의 '''밖둘레'''는 회로들의 크기의 상한이다.
=== 계수 ===
유한 매트로이드의 서로 다른 기저들의 크기는 서로 같다.
만약 일반화 연속체 가설이 참이라면, 모든 (유한 또는 무한) 매트로이드들의 서로 다른 기저들의 크기는 서로 같은 기수이다. 이 경우, 기저의 크기를 매트로이드의 '''계수'''(係數, )라고 한다. 보다 일반적으로, 만약  이하에서 일반화 연속체 가설이 성립한다면 (즉, ), 크기가  이하인 매트로이드의 모든 기저의 크기는 같다.
만약 선택 공리를 추가한 체르멜로-프렝켈 집합론(ZFC)이 무모순적이라면, “임의의 매트로이드에서, 기저들의 크기는 같다”라는 명제는 ZFC와 독립적이다.
=== 작은 매트로이드의 수 ===
작은 크기의 매트로이드의 동형류의 수 및 고리 없는 매트로이드의 동형류의 수 및 단순 매트로이드의 동형류의 수는 다음과 같다.
 크기 
 매트로이드 동형류의 수 
 고리 없는 매트로이드 동형류의 수 
 단순 매트로이드 동형류의 수 
 주어진 집합 위의 매트로이드 구조의 수  
 주어진 집합 위의 고리 없는 매트로이드 구조의 수 
 주어진 집합 위의 단순 매트로이드 구조의 수
 0
 1 
 1 
 1 
 1 
 1 
 0
 1
 2 
 1 
 1 
 2 
 1 
 0
 2
 4 
 2 
 1 
 5 
 2 
 1
 3
 8 
 4 
 2 
 16 
 6 
 2
 4
 17 
9 
  4 
 68 
 27 
 7
 5
 38 
 21 
 9 
 406 
 165 
 49
 6
 98 
 60 
 26 
 3807 
 2135 
 733
 7
 306 
 208 
 101 
 75164 
 55129 
 29760
 8
 1724 
 1418 
 950 
 10607540 
 10094077 
 9000402
 9
 383172 
 381448 
 376467
크기가 인 집합 위의 매트로이드 구조의 수를 이라고 하면, 다음이 성립한다.
:
=== 범주론적 성질 ===
임의의 두 유한 매트로이드 ,  사이의 함수 에 대하여 다음 세 조건이 서로 동치이며, 이를 만족시키는 함수를 '''강사상'''(強寫像, )이라고 하자.
* 임의의 에 대하여, 이다.
* 임의의 에 대하여, 이다.
* 의 닫힌집합의 상은 항상 의 닫한집합이다.
유한 매트로이드와 강사상의 작은 범주를 라고 하자. 또한, 유한 집합과 함수의 작은 범주를 라고 하자.
그렇다면, 는 구체적 범주이며, 망각 함자
:
가 존재한다. 이 밖에도, 균등 매트로이드 함자
:
:
:
:
및
:
:
:
를 정의할 수 있다. 이들은 다음과 같은 수반 함자 관계를 이룬다.
:
즉, 균등 매트로이드 은 “자유 매트로이드”이며, 은 “쌍대 자유 매트로이드”이다.
는 모든 유한 쌍대곱을 갖지만, 모든 유한 곱을 갖지 못하며, 또한 유한 쌍대 극한 가운데 일부는 존재하지 못한다.,
=== 균등 매트로이드 ===
임의의 집합  위에,
:
:
:
:
:
를 부여하면, 이는 매트로이드를 이룬다. 이를 라고 하자.
마찬가지로, 임의의 집합  위에,
:
:
:
:
을 부여하면, 이는 매트로이드를 이룬다. 이는 의 쌍대 매트로이드 이다.
이들의 성질을 비교하면 다음과 같다.
 성질 
  
 
 독립 집합
 공집합
 모든 집합
 기저
 공집합
 전체 집합 
 종속 집합
 공집합이 아닌 집합
 (없음)
 회로
 한원소 집합
 (없음)
 폐포 연산
 전체 집합 값의 상수 함수
 항등 함수
 닫힌집합
 전체 집합 
 모든 집합
 상대 계수 함수
 0 값의 상수 함수
 차집합의 크기
이와 같은 두 종류의 매트로이드의 직합으로 표현될 수 있는 매트로이드를 '''이산 매트로이드'''(離散matroid, )라고 한다.
보다 일반적으로, 임의의 집합  및 자연수 에 대하여, '''균등 매트로이드'''(均等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년에 잔카를로 로타와 헨리 하울런드 크레이포()는 매트로이드 이론에 대한 최초의 책을 출판하였다. (이 책에서는 “매트로이드” 대신 “조합 기하”()라는 용어가 사용되었다.) 이듬해에 윌리엄 토머스 텃은 매트로이드 이론에 대한 둘째 책을 출판하였다.
무한 매트로이드의 올바른 정의는 오랫동안 미해결 문제였다. 1966년에 리하르트 라도는 무한 매트로이드의 올바른 정의에 대한 문제를 제기하였다. 데니스 힉스(, 1932~2011)는 1969년에 무한 매트로이드에 대한 다양한 정의를 제시하였으며, 그 가운데 하나는 “B-매트로이드”()라는 개념이었다.
이후 1978년에 제임스 옥슬리()는 “B-매트로이드”의 모임이 쌍대성을 가지며 매트로이드 마이너에 대하여 닫혀 있는 가장 큰 모임이라는 것을 증명하였다. 이후 2010년에 이 “B-매트로이드”에 대한 여러 자연스러운 공리화들이 발견되었으며, 이후 이 개념이 무한 매트로이드의 통상적인 정의로 굳어지게 되었다.
* 
* 
* 
* 
* 
* 
* 
* 
 
분류:집합족
분류:폐포 연산자