Matrices with no zero entry: open and dense
Statement
Show that the set of matrices all of whose entries are non-zero is open and dense in , and that the set of matrices with at least one zero entry is closed with empty interior.
Hint
The second set is a finite union of coordinate hyperplanes . Each is closed with empty interior; a finite union of such sets is still nowhere dense.
Show solutionHide solution
Solution
Idea. The two sets in the statement are complements of each other. It is enough to show that is closed with empty interior; then its complement is open and dense.
Step 1: is closed. with , a finite union of closed sets (each is the kernel of a continuous linear functional).
Step 2: each has empty interior. is a proper linear subspace, so it has empty interior (earlier problem on subspaces). Concretely, if and .
Step 3: has empty interior. We prove: *the union of two closed sets with empty interior has empty interior* (then induct on the number of sets). Let be closed with empty interior and suppose an open ball . Since has empty interior, , so is a non-empty open set contained in , so has non-empty interior: contradiction.
Step 4: conclusion. is closed with empty interior, so is open, and it is dense (a set is dense iff its complement has empty interior).
Remark.
- This is a model for "generic" statements: a property that holds outside a finite union of proper algebraic subsets (zero sets of non-zero polynomials) holds on an open dense set. Examples: invertible, distinct eigenvalues, all entries non-zero.
- For *countable* unions the argument must be replaced by the Baire theorem, and one only gets a dense complement, not an open one (see the Baire problem below).