6
$\begingroup$

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

2 Answers 2

14

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?

  • 0
    No, as then the space is not closed under scalar multiplication, right?2012-10-09
  • 2
    Exactly! ${}{}$2012-10-09
  • 0
    @HenningMakholm That's a nice proof, plus 1. I've been thinking about the following: complete implies closed and a finite dimensional linear space (over R or C) is complete. Then I was planning to assume that both the space and the subspace are infinite dimensional. Do you see any way to finish from there? My plan was to construct a sequence in the subspace whose limit is not in the subspace. But now I'm stuck.2012-10-10
  • 2
    @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).2012-10-10
  • 0
    Dear @HenningMakholm, no actually, I was working on an alternative proof (before I read yours). By observing that finite-dimensional spaces are closed we rule out the finite-dimensional case: if the space or the subspace are finite-dimensional, we're done since then the subspace is closed. So if we can show that if both the space and the non-empty, proper subspace have infinite dimension that then the subspace must be open, we have also proved the claim. But I'm stuck with finishing. I'm not sure there is a way to finish at all, so I was wondering if you see any way.2012-10-18
  • 1
    @Matt: It sounds vaguely like you're conflating "open" with "not closed". Or do you have a connectedness argument in mind?2012-10-18
  • 0
    @HenningMakholm Did you mean "conflating closed with not open"? Because that's what I'm going. But I don't see how that's wrong. Once we have that the proper subspace is closed, it cannot be open (since it's non-empty) and the only sets in a space that are both closed and open are the space and the empty-set. No? I'm not sure how to use connectedness to my ends in this context.2012-10-18
  • 1
    @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.2012-10-18
  • 0
    Dear @HenningMakholm Thank you! Sometimes I wonder whether G*d would owe me a brain if he existed.2012-10-18
4

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\}$.