Equivalence of Definitions of Matroid Rank Axioms/Condition 3 Implies Condition 1

Theorem
Let $S$ be a finite set.

Let $\rho : \powerset S \to \Z$ be a mapping from the power set of $S$ to the integers.

Then $\rho$ is the rank function of a matroid on $S$ $\rho$ satisfies the rank axioms:

Necessary Condition
Let $\rho$ be the rank function of a matroid $M = \struct{S, \mathscr I}$ on $S$

$\rho$ satisfies $(\text R 1)$
$\rho$ satisfies $(\text R 1)$ follows immediately from Rank of Empty Set is Zero.

$\rho$ satisfies $(\text R 2)$
Let:
 * $X \subseteq S$
 * $y \in S$

We have:

$\rho$ satisfies $(\text R 3)$
Let:
 * $X \subseteq S$
 * $y, z \in S$

Case 1: $y, z \notin X$
Let $A = X \cup \set{y, z}$.

From Rank Function is Increasing:
 * $\map \rho A \ge \map \rho X$

We now prove the contrapositive statement:
 * $\map \rho A > \map \rho X \implies$ either $\map \rho {X \cup \set y} > \map \rho X$ or $\map \rho {X \cup \set z} > \map \rho X$

Let $\map \rho A > \map \rho X$.

Let $Y$ be a maximal independent subset of $X$.

Let $Z$ be a maximal independent subset of $A$.

From Independent Set can be Augmented by Larger Independent Set there exists non-empty set $Z' \subseteq Z \setminus Y$:
 * $Y \cup Z' \in \mathscr I$
 * $\card{Y \cup Z'} = \card Z$


 * $y, z \notin Z'$
 * $y, z \notin Z'$

We have:

Hence:

This is a contradiction.

Hence:
 * either $y \in Z'$ or $z \in Z'$

, assume $y \in Z'$.

From matroid axiom $(\text I 2)$:
 * $Y \cup \set y \in \mathscr I$

We have:

This proves the contrapositive statement.

Case 1: Either $y \in X$ or $z \in X$
, assume $y \in X$.