Матроид Вамоса — различия между версиями

Материал из Викиконспекты
Перейти к: навигация, поиск
(Свойства)
(Свойства)
Строка 13: Строка 13:
 
== Свойства ==
 
== Свойства ==
 
* Все циклы матроида Вамоса имеют размер по меньшей мере равный его рангу(максимальный размер независимого множества).
 
* Все циклы матроида Вамоса имеют размер по меньшей мере равный его рангу(максимальный размер независимого множества).
* Матроид Вамоса изоморфен своему двойственному матроиду. Однако он не самодвойсвенен, так как это требует нетривиальную перестановку элементов.
+
* Матроид Вамоса изоморфен своему двойственному матроиду. Однако он не самодвойственен, так как это требует нетривиальную перестановку элементов.
* Матроид Вамоса не представим ни над каким полем. Это значит, что не существует векторного пространсва и системы из вольси векторов в нем, таких что матроид линейной независимости этих векторов изоморфен матроиду Вамоса.
+
* Матроид Вамоса не представим ни над каким полем. Это значит, что не существует векторного пространства и системы из восьми векторов в нем, таких что матроид линейной независимости этих векторов изоморфен матроиду Вамоса.
 
* [Многочлен_Татта] матроида Вамоса равен <math>x^4+4x^3+10x^2+15x+5xy+15y+10y^2+4y^3+y^4.</math>
 
* [Многочлен_Татта] матроида Вамоса равен <math>x^4+4x^3+10x^2+15x+5xy+15y+10y^2+4y^3+y^4.</math>
  

Версия 13:54, 16 июня 2014

Vamos matroid N.png

Матроид Вамоса или куб Вамоса — это матроид над восьми элементным множеством, который не изоморфен матричному ни над каким полем. Он назван в честь английского математика Питера Вамоса (Peter Vámos), который первым описал его в неопубликованной рукописи в 1968.

Задание матроида

Пусть [math] E = \{1, 2, 3, 4, 5, 6, 7, 8\}[/math]. Матроид Вамоса [math]V[/math] удобно задать, назвав все его зависимые множества: это все подмножества [math]E[/math], в которых не менее пяти элементов, а также [math]\{1, 2, 5, 6\}, \{1, 2, 7, 8\}, \{3, 4, 5, 6\}, \{3, 4, 7, 8\}, \{5, 6, 7, 8\}[/math].

Доказательство матроидной природы

Сначала убедимся в том, что перед нами действительно матроид. Фактически нуждается в проверке лишь тот факт, что если [math]A[/math] и [math]B[/math] независимые множества и [math]|B| = 3[/math], [math]|A| = 4[/math], то в [math]A[/math] найдется такой элемент [math]e[/math], что [math]B \cup \{e\}[/math] — независимое множество. Когда [math]B \subset A[/math], это очевидно. В противном же случае множество [math] A \setminus B[/math] содержит по меньшей мере два различных элемента. Обозначим их через [math]e1[/math] и [math]e2[/math]. Теперь осталось заметить, что из множеств [math]B \cup \{e1\}[/math] и [math]B \cup \{e2\}[/math] хотя бы одно независимое, так как по условию нет двух зависимых множеств из четырtх элементов, отличающихся одним элементом.

Свойства

  • Все циклы матроида Вамоса имеют размер по меньшей мере равный его рангу(максимальный размер независимого множества).
  • Матроид Вамоса изоморфен своему двойственному матроиду. Однако он не самодвойственен, так как это требует нетривиальную перестановку элементов.
  • Матроид Вамоса не представим ни над каким полем. Это значит, что не существует векторного пространства и системы из восьми векторов в нем, таких что матроид линейной независимости этих векторов изоморфен матроиду Вамоса.
  • [Многочлен_Татта] матроида Вамоса равен [math]x^4+4x^3+10x^2+15x+5xy+15y+10y^2+4y^3+y^4.[/math]

Источники информации