Take the 2-minute tour ×
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.

Possible Duplicate:
Interior of a Subspace

How do we show that any proper subspace of a normed linear space is not open. I know that for nay finite dimensional normed linear space $(X,||.||)$ any proper subspace is closed but I am not sure how to show this?

Thanks for any help

share|improve this question
add comment

marked as duplicate by Nate Eldredge, Norbert, tomasz, rschwieb, sdcvvc Oct 12 '12 at 21:27

This question has been asked before and already has an answer. If those answers do not fully address your question, please ask a new question.

2 Answers

up vote 7 down vote accepted

It is enough to show that the subspace does not contain any open ball centered on $0$. Assume we have such a ball $B_\delta(0)$.

Since the subspace is proper we can choose some vector $v$ outside the subspace. It is nonzero because $0$ is in every subspace, so its norm is nonzero too. Therefore by appropriate scaling there is a scalar $\lambda$ such that $\|\lambda v\|=\delta/2$. Can $\lambda v$ be in the subspace?

share|improve this answer
No, as then the space is not closed under scalar multiplication, right? –  hmmmm Oct 9 '12 at 21:30
Exactly! ${}{}$ –  Henning Makholm Oct 9 '12 at 21:30
@Matt: Not clear to me what your goal is here -- to find a subspace that is not closed? That's a different question (and I don't thin infinite algebraic dimension is enough for that. But infinite dimension plus completeness of the larger space may be enough). –  Henning Makholm Oct 10 '12 at 17:40
@Matt: It sounds vaguely like you're conflating "open" with "not closed". Or do you have a connectedness argument in mind? –  Henning Makholm Oct 18 '12 at 13:27
@MattN: "The only sets that are both closed and open are the space itself and the empty set" is the definition of "connected" for a topological space. So since you're equating "closed" with "not open" you're implicitly depending on the fact that a normed vector space over $\mathbb R$ is connected. –  Henning Makholm Oct 18 '12 at 13:45
show 5 more comments

Hint: If $Y$ is an open subspace of $X$, then $0$ is its inner point, so $Y$ contains one of its neighborhoods, say $B_\varepsilon(0)=\{x\mid ||x||<\varepsilon\}$.

share|improve this answer
add comment

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