# Proof of $Ax = b, x \ge 0$ is a closed subset

I'm trying to follow the The Farkas-Minkowski Theorem but I'm having a little bit of difficulty.

On the second page the author states,

Then we consider a set of the form $R_k := \left\{ z \mid z= \sum_{a}^{n} \mu_j a_j , \mu_j >= 0 \right\}$

First, suppose that $R_k$ contains the vectors $-a_1, -a_2, ..., -a_k$. Then $R_k$ is a subspace of dimension not exceeding k so it is closed.

I don't understand how they make the conclusion that $R_k$ is a dimension not exceeding so it is closed. I don't understand why it doesn't exceed the dimension or what that means and what that means in terms of why its closed or not.

That one line is very confusing for me and I must be missing something.

Thanks

-

I would go like this: In finite dimensional space, every linear subspace is of the form $\{x; Bx=0\}$ for some matrix B, i.e. it's a kernel of some linear function. Every linear function on $\mathbb R^n$ is continuous.