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.

Suppose $S$ is any proper vector subspace of $\mathbb{R}^n$. Is $S$ a closed set in the usual topology on $\mathbb{R}^n$?

Geometrically, I think it is clear that $S$ must be closed in $\mathbb{R}^n$ for $1\leq n\leq 3$. If $x\in\mathbb{R}^n\setminus S$, then we can always find the shortest distance from $x$ to the point, line, or plane that is $S$ by taking the projection of $x$ onto $S$. Choosing $\epsilon$ to be less than this distance, $B_\epsilon(x)$ is an open ball around $x$ disjoint from $S$, so $S$ is closed.

I believe that the idea should carry over for higher dimensions, but I'm not sure how to make a more rigorous argument. How could this claim be proven without geometric handwaving? Thanks.

share|improve this question

3 Answers 3

up vote 3 down vote accepted

A vector subspace $V\subset\Bbb R^n$is always an intersection of hyperplanes (subspaces of codimension 1), $$ V=\bigcap_{i=1}^rH_i. $$ An hyperplane is closed, because it is the zero set of a linear form on $V$, which is continuous in the standard topology of $\Bbb R^n$. Thus $V$ is closed as intersection of closed sets.

share|improve this answer

Let $u$ be the orthogonal projection of $x$ on $S$; then the Euclidean distance from $x$ to the nearest point of $S$ is $\|x-u\|$, so for any $\epsilon\le\|x-u\|$, the open $\epsilon$-ball centred at $x$ is disjoint from $S$.

share|improve this answer

A bit more general: Linear maps between finite-dimensional spaces are always continuous.

Consequently, their kernels (invers image of zero) are closed. You can describe your subspace as kernel of a suitable linear map.

share|improve this answer

Your Answer

 
discard

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.