Manuscript II@2 · II.tex · proposition · 50d64def

Proposition: Upper and lower rank certificates

Finite certificate principles › Small-support separators · lines 2524–2536 · proof included or linked

Back to manuscript

If and has columns, this gives . A nonzero minor of gives the reverse bound. It suffices that consist of original columns of and contain that minor.

Proof. The image of lies in the image of . A nonzero original minor gives independent original columns and rows.

Nearby in this section