Semilinear Transformation, Kernel

  • Context: Graduate 
  • Thread starter Thread starter LHeiner
  • Start date Start date
  • Tags Tags
    Kernel Transformation
Join the discussion
Ask a follow-up here, or get your own question answered by working scientists, mathematicians and engineers — people, not an autocomplete.
Real named experts · corrections over time · the nuance an AI answer skips
3 replies · 3K views
LHeiner
Messages
8
Reaction score
0
Hello

I'm trying to proof the following: f is a semilinear transformation between the vectorspaces [tex]V \rightarrow W,c^\ast \in W^\ast , G:=ker \ c^\ast[/tex]. Show that [tex]f^{-1}(G)=ker(f^T(c^\ast ))[/tex] and that the f-preimage of a hyperplane of W a hyperplane of V or V as a whole is.

Can you help me?
 
Physics news on Phys.org
If I understand correctly: [tex]f^T(c^\ast ) = c^\ast \circ f[/tex]
so that: [tex]ker(f^T(c^\ast))=ker(c^\ast \circ f)[/tex]
which is all the vectors of V that are mapped by f into the kernel of c*.
Or: [tex]f^{-1}(ker(c\ast))[/tex] in other words...
for the second part, you should show that [tex]f^{-1}(ker (c\ast))[/tex] is a linear subspace of V, and then remember that every linear subspace of W can be represented as an intersection of kernels of some number of linear functionals, hence every inverse image is an intersection of some number of subspaces of V.
 
ilia1987 said:
If I understand correctly: [tex]f^T(c^\ast ) = c^\ast \circ f[/tex]
so that: [tex]ker(f^T(c^\ast))=ker(c^\ast \circ f)[/tex]
which is all the vectors of V that are mapped by f into the kernel of c*.
Or: [tex]f^{-1}(ker(c\ast))[/tex] in other words...
for the second part, you should show that [tex]f^{-1}(ker (c\ast))[/tex] is a linear subspace of V, and then remember that every linear subspace of W can be represented as an intersection of kernels of some number of linear functionals, hence every inverse image is an intersection of some number of subspaces of V.

thank you for your quick answer, but I'm not sure if i got it!

I mean if you say that [tex]ker(c^\ast \circ f)[/tex] are all Vectors of V that are mapped by f into the kernel of c* it is already [tex]=f^{-1}(ker(c\ast))[/tex].

And for the second party I am confused, i didn't know that every linear subspace of W can be represented as an intersection of kernels of some number of linear functionals.
 
[tex]ker(c^\ast \circ f) = \{v|v\in V,c^\ast (f(v))=0\} = \{v|v\in V,f(v)\in ker(c^\ast)\}[/tex] the last identity comes from the definition of kernel.

As for the second part, I'm not sure if it can be applied to any space W, but if W is finite dimensional with dimension n, then every linear functional's kernel has dimension n-1 or n, and for every n-1 dimensional subspace of W a linear functional can be found that has that subspace as its kernel (that defines that linear functional up to a multiplication by a scalar).

Try thinking of a linear functional acting on the space of nx1 column vectors as a row vector (1xn matrix), that matrix clearly has kernel>=n-1. And every matrix A nx(n-1) which is of full column rank has left kernel of dimension 1. The row vector that spans this kernel is a linear functional, the kernel of which is the column space of A. The same is true if the matrix A is nxm of full column rank, and the column space of A is the kernel of n-m linear functionals which span the left kernel of A, or, in other words, the intersection of the kernels of these n-m linear functionals.

But as for infinite dimensional linear spaces I don't have enough knowledge to give an answer. Basically each subspace of W would have to be the intersection of an infinite amount of kernels of linear functionals, and infinity tends to be strange, so you'd have to read about it yourself in http://en.wikipedia.org/wiki/Dual_space" .

Now, all you have to do is prove that [tex]f^{-1}(ker(c^\ast))[/tex] is a linear subspace of V and that's it.
 
Last edited by a moderator: