Maths WorkshopMaths problems with full solutions
Exercise 676Topology › Topology of Mn(ℝ) › Open, closed, interior, boundaryL2Added 7 Nov 2026

Entrywise nonnegative matrices: a closed cone with interior

#cones#convexity#interior#nonnegative matrices

Statement

Show that the set NN of entrywise nonnegative matrices is a closed convex cone, and that its interior is the set of entrywise positive matrices.

Hint

N=⋂i,j{aij≥0}N=\bigcap_{i,j}\{a_{ij}\ge0\}. For the interior, an entry equal to 00 can be decreased slightly.

Show solutionHide solution

Solution

Idea. The conditions are coordinatewise, so everything reduces to the half-line [0,∞)⊂R[0,\infty)\subset\mathbb{R}.

Step 1: closed, convex cone. Each {aij≥0}\{a_{ij}\ge0\} is a closed half-space (preimage of [0,∞)[0,\infty) under a continuous linear functional); an intersection of closed convex cones is a closed convex cone. In more detail: if A,B∈NA,B\in N and s,t≥0s,t\ge0 then sA+tBsA+tB has entries saij+tbij≥0sa_{ij}+tb_{ij}\ge0.

Step 2: positive matrices are interior. Let AA have aij>0a_{ij}>0 for all i,ji,j and put m=min⁡i,jaij>0m=\min_{i,j}a_{ij}>0. If ∥B−A∥F<m\|B-A\|_F<m then for every entry ∣bij−aij∣≤∥B−A∥F<m≤aij|b_{ij}-a_{ij}|\le\|B-A\|_F<m\le a_{ij}, so bij>0b_{ij}>0. Hence B(A,m)⊂NB(A,m)\subset N and A∈int⁡NA\in\operatorname{int}N.

Step 3: matrices with a zero entry are not interior. Let A∈NA\in N with aij=0a_{ij}=0 for some (i,j)(i,j). For ε>0\varepsilon>0, A−εEijA-\varepsilon E_{ij} has entry −ε<0-\varepsilon<0 at (i,j)(i,j), so it lies outside NN, while ∥A−εEij−A∥=ε\|A-\varepsilon E_{ij}-A\|=\varepsilon. So A∉int⁡NA\notin\operatorname{int}N.

Conclusion. int⁡N={A:aij>0 ∀i,j}\operatorname{int}N=\{A:a_{ij}>0\ \forall i,j\}.

Remark.
- This is the same picture as for PSD matrices: closed cone, interior = "strict" version, closure of the interior = the cone (here every nonnegative AA is the limit of A+εJA+\varepsilon J, with JJ the all-ones matrix).
- Positive matrices are exactly the setting of the Perron-Frobenius theorem.