Matroid

Roughly speaking, a matroid is a finite set together with a generalization of a concept from linear algebra that satisfies a natural set of properties for that concept. For example, the finite set could be the rows of a matrix, and the generalizing concept could be linear dependence and independence of any subset of rows of the matrix.

Formally, a matroid consists of a finite set M of elements together with a family C={C_1,C_2,...} of nonempty subsets of M, called circuits, which satisfy the axioms

1. No proper subset of a circuit is a circuit,

2. If x in C_1 intersection C_2 and C_1!=C_2, then C_1 union C_2-{x} contains a circuit.

(Harary 1994, p. 40).

An equivalent definition considers a matroid as a finite set M of elements together with a family of subsets of M, called independent sets, such that

1. The empty set is independent,

2. Every subset of an independent set is independent,

3. For every subset A of M, all maximum independent sets contained in A have the same number of elements.

(Harary 1994, pp. 40-41).

The number of simple matroids (or combinatorial geometries) with n=0, 1, ... points are 1, 1, 2, 4, 9, 26, 101, 950, ... (OEIS A002773), and the number of matroids on n=0, 1, ... points are 1, 2, 4, 8, 17, 38, 98, 306, 1724, ... (OEIS A055545; Oxley 1993, p. 473). (The value for n=5 given by Oxley 1993, p. 42, is incorrect.)

Wolfram Web Resources

Mathematica »

The #1 tool for creating Demonstrations and anything technical.

Wolfram|Alpha »

Explore anything with the first computational knowledge engine.

Wolfram Demonstrations Project »

Explore thousands of free applications across science, mathematics, engineering, technology, business, art, finance, social sciences, and more.

Computerbasedmath.org »

Join the initiative for modernizing math education.

Online Integral Calculator »

Solve integrals with Wolfram|Alpha.

Step-by-step Solutions »

Walk through homework problems step-by-step from beginning to end. Hints help you try the next step on your own.

Wolfram Problem Generator »

Unlimited random practice problems and answers with built-in Step-by-step solutions. Practice online or make a printable study sheet.

Wolfram Education Portal »

Collection of teaching and learning tools built by Wolfram education experts: dynamic textbook, lesson plans, widgets, interactive Demonstrations, and more.

Wolfram Language »

Knowledge-based programming for everyone.