Digital Commons Network^™

Applications Of Powerset Operators, Especially To Matroids, Nathan Uricchio

Dissertations - ALL

Let \(\mathcal{V}\) denote a vector space over an arbitrary field with an inner product. For any collection \(\mathcal{S}\) of vectors from \(\mathcal{V}\) the collection of all vectors orthogonal to each vector in \(\mathcal{S}\) is a subspace, denoted as \(\mathcal{S}^{\perp_v}\) and called the \textit{orthogonal complement} of \(\mathcal{S}\). One of the fundamental theorems of vector space theory states that, \((\mathcal{S}^{\perp_v})^{\perp_v}\) is the subspace \textit{spanned} by \(\mathcal{S}\). Thus the ``spanning'' operator on the subsets of a vector space is the square of the ``orthogonal complement'' operator.

In matroid theory, the orthogonal complement of a matroid \(M\) is also well-defined and similarly results in …