Proving Ker(f) is a Subset of Ker(h) in Linear Algebra Problem 1

Click For Summary
SUMMARY

The discussion centers on proving that Ker(f) is a subset of Ker(h) in the context of linear transformations F, G, and H defined on a vector space V. The key argument presented is that if v is in Ker(f), then F(v) = 0, which leads to G(F(v)) = 0 due to the linearity of G. Consequently, H(v) = G(F(v)) = 0, confirming that v is also in Ker(h). The participants clarify misconceptions regarding the definitions of kernels and transformations, emphasizing that the kernel is a subset of the domain of the transformation.

PREREQUISITES
  • Understanding of linear transformations and vector spaces.
  • Familiarity with the concept of kernel in linear algebra.
  • Knowledge of properties of linear maps, specifically the behavior of zero mappings.
  • Ability to construct logical proofs in mathematics.
NEXT STEPS
  • Study the properties of linear transformations in more depth.
  • Learn about the relationship between kernels and images in linear algebra.
  • Explore examples of linear maps and their kernels using specific functions.
  • Investigate the implications of the rank-nullity theorem in linear transformations.
USEFUL FOR

Students and educators in mathematics, particularly those focusing on linear algebra, as well as researchers interested in the properties of linear transformations and their applications.

acm
Messages
38
Reaction score
0
1. The maps F:V -> V and G:V -> V are both linear, where V is a vector space. Suppose that the map H:V -> V is determined by h(v) = g(f(v)). Show that Ker(f) is a subset of Ker(h).

In the mapping F: V -> V, Ker(F) = (v element of V : F(v) = 0)
In the mapping G: V -> V, Ker(G) = (v element of V : G(v) = 0)

As the Kernel is the subset of the transformation then Ker(F) is a subset of V. I cannot see how I can proove that the vector space V is equal to the kernel of the transformation h.
 
Physics news on Phys.org
acm said:
1. The maps F:V -> V and G:V -> V are both linear, where V is a vector space. Suppose that the map H:V -> V is determined by h(v) = g(f(v)). Show that Ker(f) is a subset of Ker(h).

In the mapping F: V -> V, Ker(F) = (v element of V : F(v) = 0)
In the mapping G: V -> V, Ker(G) = (v element of V : G(v) = 0)

As the Kernel is the subset of the transformation then Ker(F) is a subset of V. I cannot see how I can proove that the vector space V is equal to the kernel of the transformation h.
the kernal isn't a subset of the transformation, it's a subset of the domain of the transformation.

also the question hasn't asked you to prove that V = ker(H)



to prove ker(F) is a subset of ker(H) show that v, element of ker(F), is an element of ker(H)

  1. F(v) = 0, by v an element of ker(F)
  2. G(F(v)) = 0 as F(v) = 0 from above and G(0) = 0 by properties of G being a linear transformation
  3. so H(v) = 0, by defn H(v) = G(F(v)) and G(F(v)) = 0 above
  4. so v is an element in ker(H)
 
acm said:
1. The maps F:V -> V and G:V -> V are both linear, where V is a vector space. Suppose that the map H:V -> V is determined by h(v) = g(f(v)). Show that Ker(f) is a subset of Ker(h).

In the mapping F: V -> V, Ker(F) = (v element of V : F(v) = 0)
In the mapping G: V -> V, Ker(G) = (v element of V : G(v) = 0)

As the Kernel is the subset of the transformation then Ker(F) is a subset of V. I cannot see how I can proove that the vector space V is equal to the kernel of the transformation h.

"As the Kernel is a subset of the transformation"? What does this mean? A "transformation" is a function, not a set. Perhaps you meant to say "the kernel is a subset of the domain of the transformation". In this case the domain of F is V so Ker(F) is a subset of V. You don't want to prove "the vector space V is equal to the kernel of the transformation h" that's not said anywhere.

In general, to prove A is a subset of B, you start "if a is in A" and eventually prove "then a is in B". In this case A is Ker(f) and B is Ker(h). If a is in Ker(f) then f(a)= 0. What then is g(f(a))? What does that tell you about h(a)?
 

Similar threads

Replies
2
Views
1K
  • · Replies 7 ·
Replies
7
Views
1K
  • · Replies 4 ·
Replies
4
Views
2K
  • · Replies 8 ·
Replies
8
Views
2K
  • · Replies 1 ·
Replies
1
Views
2K
  • · Replies 1 ·
Replies
1
Views
2K
  • · Replies 10 ·
Replies
10
Views
3K
  • · Replies 7 ·
Replies
7
Views
2K
Replies
15
Views
2K
Replies
22
Views
4K