Category:Axioms/Matroid Theory
Jump to navigation
Jump to search
This category contains axioms related to Matroid Theory.
Let $M = \struct {S, \mathscr I}$ be an independence system.
$M$ is called a matroid on $S$ if and only if $M$ also satisfies:
\((\text I 3)\) | $:$ | \(\ds \forall U, V \in \mathscr I:\) | \(\ds \size V < \size U \implies \exists x \in U \setminus V : V \cup \set x \in \mathscr I \) |
Subcategories
This category has the following 3 subcategories, out of 3 total.
A
- Axioms/Matroid Axioms (4 P)
- Axioms/Matroid Rank Axioms (3 P)
Pages in category "Axioms/Matroid Theory"
The following 13 pages are in this category, out of 13 total.
B
- Axiom:Base Axiom (Matroid)
- Axiom:Base Axiom (Matroid)/Formulation 1
- Axiom:Base Axiom (Matroid)/Formulation 2
- Axiom:Base Axiom (Matroid)/Formulation 3
- Axiom:Base Axiom (Matroid)/Formulation 4
- Axiom:Base Axiom (Matroid)/Formulation 5
- Axiom:Base Axiom (Matroid)/Formulation 6
- Axiom:Base Axiom (Matroid)/Formulation 7
- Axiom:Base-Orderable Matroid Axiom