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.

Let $X,Y$ be normed linear spaces. Let $T: X\to Y$ be linear. If $X$ is finite dimensional, show that $T$ is continuous. If $Y$ is finite dimensional, show that $T$ is continuous if and only if $\ker T$ is closed.

I am able to show that $X$, finite dimensional $\implies$ $T$ is bounded, hence continuous.

For the second part: This is what I have:

Suppose $T$ is continuous. By definition $\ker T = \{ x\in X : Tx = 0 \}$ , and so $\ker T$ is the continuous inverse of a closed set. Hence $\ker T $ is closed.

First, is what I have attempted okay. How about the other direction?

share|improve this question
    
What kind of linear spaces are we talking about? I'm assuming they're over $\mathbb{R}$ or $\mathbb{C}$. If $X$ is infinite-dimensional then it is not clear what topology to use, unless $X$ is e.g. an inner product space. –  Justin Campbell Apr 14 '12 at 21:00
    
What you have so far looks good. –  Alex Becker Apr 14 '12 at 21:08

2 Answers 2

up vote 5 down vote accepted

If $\ker(T)$ is closed then $X/\ker(T)$ is a normed vector space. Observe that the map $\overline{T}:X/\ker(T)\to Y$ given by $\overline{T}(x+\ker(T))=T(x)$ is a well-defined linear map by the first part $\overline T$ is continuous since $X/\ker(T)$ is a finite dimensional vector space (as it is isomorphic to a subspace of $Y$). Let $\pi: X \to X/\ker(T)$ denote the quotient map. Note that $T=\overline{T}\circ \pi$ hence $T$ is continuous since it is a composition of continuous functions.

share|improve this answer
    
It remains to prove that all linear mappings between finite-dimensional normed spaces are continuous. IMHO, this is something that looks more trivial than it really is: see math.stackexchange.com/a/64756/8157 and comments therein. –  Giuseppe Negro Apr 14 '12 at 21:29
    
@GiuseppeNegro The OP already proved that. It was the first part of his problem list. –  azarel Apr 14 '12 at 21:35
    
Whoops, of course you're right. Well, at least the two questions are linked now. –  Giuseppe Negro Apr 14 '12 at 21:40
    
$X/ker T$ is isomorphic to Im T, not necessarily Y. –  plm Apr 15 '12 at 15:34
    
@plm True, it is still finite dimensional though. –  azarel Apr 15 '12 at 18:33

I am doing for $Y=\mathbb{R}$; Clearly if $f$ is continuous then its kernel is closed set. for the converse, assume that $f\neq0$ and that $f^{-1}(\{0\})$ is a closed set. Pick some $e$ in $X$ with $f(e)=1$. Suppose by way of contradiction $||f||=\infty$. Then there exists a sequence $\{x_n\}$ in $X$ with $||x_n||=1$ and $f(x_n)\ge n$ for all $n$. Note that the sequence $\{y_n\}$ defined by $y_n=e-\frac{x_n}{f(x_n)}$, satisfies $y_n\in f^{-1}(\{0\})$ for all $n$ and $y_n\rightarrow e$. Since the set $f^{-1}(\{0\})$ is closed it follows that $e$ must belong to it and consequently $f(e)=0$ which is a contradiction. Thus $f$ is a continuous linear functional.

share|improve this answer
    
Can you explain how you generalise to $Y$ finite dimensional ? –  user10676 Apr 15 '12 at 12:05

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.