Realizable Tropical Linear Spaces Give Bergman Fans is a result in [matroid theory](/page/Matroid%20Theory). It formalizes the assertion that let be a finite set. Let be a valued field with valuation in , let be a subfield on which the valuation is zero on , and let be the scalar extension of a linear subspace . Let be the underlying matroid of the coordinate functionals on ..