When is the kernel of a linear operator closed?

Click For Summary
The kernel of a bounded linear operator between Hausdorff topological vector spaces is always closed if the operator is continuous. The argument hinges on the closedness of singleton sets, implying that the preimage of the closed set \{0\} under a continuous operator is also closed. However, the presence of provisos in sources like Wikipedia stems from the fact that the closedness of the kernel does not guarantee continuity unless the target space is finite-dimensional. In general, if the kernel is closed, it does not imply that the operator is continuous unless specific conditions about the dimensionality of the target space are met. Thus, while the kernel is closed under certain conditions, the relationship between closedness and continuity is more nuanced in infinite-dimensional spaces.
AxiomOfChoice
Messages
531
Reaction score
1
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 \{0\} in the image is closed, so that means T^{-1}(\{0\}) 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 finite-dimensional, and I don't see why this is a necessary hypothesis.
 
Last edited by a moderator:
Physics news on Phys.org
You are right, if T:V\rightarrow W is continuous and if W is Hausdorff, then T^{-1}({0}) is always closed.

Why the weird proviso's like finite-dimensional? Well, because the result in the wiki is an iff statement. So the statement in the theorem also says that if T^{-1}(\{0\}) is closed, then T is continuous. This is not true in general but only if W is finite dimensional!
 
I am studying the mathematical formalism behind non-commutative geometry approach to quantum gravity. I was reading about Hopf algebras and their Drinfeld twist with a specific example of the Moyal-Weyl twist defined as F=exp(-iλ/2θ^(μν)∂_μ⊗∂_ν) where λ is a constant parametar and θ antisymmetric constant tensor. {∂_μ} is the basis of the tangent vector space over the underlying spacetime Now, from my understanding the enveloping algebra which appears in the definition of the Hopf algebra...

Similar threads

  • · Replies 3 ·
Replies
3
Views
2K
  • · Replies 3 ·
Replies
3
Views
3K
  • · Replies 3 ·
Replies
3
Views
3K
  • · Replies 4 ·
Replies
4
Views
2K
  • · Replies 1 ·
Replies
1
Views
2K
  • · Replies 3 ·
Replies
3
Views
2K
  • · Replies 4 ·
Replies
4
Views
2K
  • · Replies 7 ·
Replies
7
Views
3K
  • · Replies 1 ·
Replies
1
Views
2K
  • · Replies 8 ·
Replies
8
Views
2K