Mathematics Stack Exchange is a question and answer site for people studying math at any level and professionals in related fields. It's 100% free, no registration required.

Sign up
Here's how it works:
  1. Anybody can ask a question
  2. Anybody can answer
  3. The best answers are voted up and rise to the top

I'm trying to follow the The Farkas-Minkowski Theorem (Internet Archive) 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 \ge 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.


share|cite|improve this question
up vote 1 down vote accepted

Every subspace of a finite dimensional space is closed. There are many ways to see this,

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.

However, you can find other ways to prove it. Quick google search for finite dimensional subspace closed returns e.g.

share|cite|improve this answer
Ok, thanks that makes sense – coderdave May 1 '11 at 9:08

Your Answer


By posting your answer, you agree to the privacy policy and terms of service.

Not the answer you're looking for? Browse other questions tagged or ask your own question.