I am very unfamiliar with the topic of oriented matroids and am just learning about it. I want to prove the following result which is needed to define fundamental cocircuits. Alas, I did not succeed in doing so, so far. Therefore, I would appreciate any inputs on how to obtain the result.
Claim: Let $\mathcal{M} = (E, \mathcal{F})$ be a oriented matroid and $\mathcal{D}$ the set of its cocircuits. For every basis $B$ (of the underlying matroid) and every $e\in B$ there exist exactly two cocircuits $X, -X \in \mathcal{D}$ such that $B\backslash e \subseteq X^0$. In this case $X_e\neq 0$.
For clarity I will describe the setting I am working in and include the respective definitions which I want to use to obtain the above result. In particular, I am looking a way to obtain the claim that does not need any duality results. I am working through/using the following PhD thesis: http://e-collection.library.ethz.ch/eserv/eth:24433/eth-24433-02.pdf from which I took both the above claim and the subsequent definitions.
The text there just says that for the proof of the claim one should use the definition of basis and cocircuit axiom (C2), cf. below, so I feel that this whole thing should not take more than a few lines.
Thank you for any advice!
Here are now the relevant definitions:
where for two sign vectors $X, Y \in \{-,+,0\}^E$ $$ (X\circ Y)_e := \begin{cases} X_e &\mbox{if } X_e \neq 0 \\ Y_e & \mbox{otherwise.} \end{cases} $$ and $$ D(X,Y) := \{e \in E;\; X_e = -Y_e \neq 0\} $$
Here, $X^0$ denotes the zero support of $X$.