Semilinear Transformation, Kernel

  • Context: Graduate 
  • Thread starter Thread starter LHeiner
  • Start date Start date
  • Tags Tags
    Kernel Transformation
Click For Summary

Discussion Overview

The discussion revolves around proving properties of semilinear transformations, specifically relating to the kernel of a linear functional and the preimage of hyperplanes. Participants explore the relationship between the kernel of a semilinear transformation and the kernel of a composed functional, as well as the characterization of preimages in vector spaces.

Discussion Character

  • Technical explanation
  • Mathematical reasoning
  • Debate/contested

Main Points Raised

  • One participant proposes that the kernel of the composed functional \( f^T(c^\ast) \) is equivalent to the kernel of \( c^\ast \circ f \), suggesting that this represents all vectors in \( V \) that are mapped into the kernel of \( c^\ast \).
  • Another participant expresses confusion about the equivalence of the kernels and seeks clarification on the representation of linear subspaces of \( W \) as intersections of kernels of linear functionals.
  • A later reply elaborates on the nature of kernels in finite-dimensional spaces, noting that every linear functional's kernel can define a subspace of dimension \( n-1 \) or \( n \) and that this can be generalized to finite-dimensional cases.
  • One participant raises uncertainty regarding the application of these concepts to infinite-dimensional spaces, suggesting that further reading may be necessary.
  • Participants emphasize the need to prove that \( f^{-1}(ker(c^\ast)) \) is a linear subspace of \( V \) as a critical step in the discussion.

Areas of Agreement / Disagreement

There is no clear consensus on the interpretation of the relationships between the kernels and the properties of the preimages. Participants express differing levels of understanding and uncertainty regarding the implications of their claims.

Contextual Notes

Participants note limitations in their understanding, particularly concerning infinite-dimensional spaces and the generalization of certain properties. The discussion reflects varying degrees of familiarity with the underlying mathematical concepts.

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:

Similar threads

  • · Replies 7 ·
Replies
7
Views
2K
Replies
2
Views
2K
  • · Replies 4 ·
Replies
4
Views
2K
  • · Replies 2 ·
Replies
2
Views
2K
  • · Replies 9 ·
Replies
9
Views
2K
  • · Replies 2 ·
Replies
2
Views
3K
  • · Replies 3 ·
Replies
3
Views
2K
  • · Replies 6 ·
Replies
6
Views
5K
  • · Replies 1 ·
Replies
1
Views
2K
  • · Replies 1 ·
Replies
1
Views
2K