
#1
Jan2613, 05:10 PM

P: 517

If you consider a bounded linear operator between two Hausdorff topological vector spaces, isn't the kernel *always* closed? I mean, if you assume singleton sets are closed, then the set [itex]\{0\}[/itex] in the image is closed, so that means [itex]T^{1}(\{0\})[/itex] is closed, right (since T is assumed continuous)? I keep finding these weird provisos all over the Internet (see, for instance, http://en.wikipedia.org/wiki/Kernel_(linear_algebra)) that require the target space to be finitedimensional, and I don't see why this is a necessary hypothesis.




#2
Jan2713, 11:15 AM

Mentor
P: 16,545

You are right, if [itex]T:V\rightarrow W[/itex] is continuous and if W is Hausdorff, then [itex]T^{1}({0})[/itex] is always closed.
Why the weird proviso's like finitedimensional? Well, because the result in the wiki is an iff statement. So the statement in the theorem also says that if [itex]T^{1}(\{0\})[/itex] is closed, then T is continuous. This is not true in general but only if W is finite dimensional! 


Register to reply 
Related Discussions  
Showing that the range of a linear operator is not necessarily closed  Calculus & Beyond Homework  2  
Question about Linear Operator's Image and Kernel  Calculus & Beyond Homework  5  
Kernel of the adjoint of a linear operator  Calculus & Beyond Homework  4  
Kernel and images of linear operator, examples  Calculus & Beyond Homework  2  
LINEAR ALGEBRA  Describe the kernel of a linear transformation GEOMETRICALLY  Calculus & Beyond Homework  6 