Vector Spaces and Correspondence

Click For Summary

Homework Help Overview

The discussion revolves around a problem related to vector spaces, specifically focusing on the properties of linear transformations and their implications on subspaces and cosets. The original poster seeks clarification on the behavior of a linear transformation T defined on a vector space V, particularly how it interacts with a subspace U and the resulting mappings.

Discussion Character

  • Conceptual clarification, Assumption checking

Approaches and Questions Raised

  • The original poster questions the meaning of the transformation T when applied to elements of V and how it relates to the mapping of cosets. They express confusion about whether T maps individual vectors or cosets.
  • Some participants clarify that T maps the set of cosets v + U to itself, while others explore the implications of this mapping on the structure of V.
  • There is an attempt to understand how the transformation S, defined as S = T - I_V, behaves when applied to elements of V, leading to further exploration of the properties of T.

Discussion Status

The discussion is ongoing, with participants providing clarifications and exploring the implications of the transformation T. Some have expressed understanding of the mapping of cosets, while others continue to seek clarity on the definitions and properties involved. There is no explicit consensus, but productive dialogue is occurring around the concepts presented.

Contextual Notes

Participants are navigating the complexities of linear transformations in the context of vector spaces and subspaces, with specific attention to the assumptions underlying the problem statement. The original poster has indicated challenges in their Linear Algebra 2 class, which may influence their understanding of the material.

Ninty64
Messages
45
Reaction score
0

Homework Statement


This question came out of a section on Correspondence and Isomorphism Theorems

Let [itex]V[/itex] be a vector space and [itex]U \neq V, \left\{ \vec{0} \right\}[/itex] be a subspace of [itex]V[/itex]. Assume [itex]T \in L(V,V)[/itex] satisfies the following:
a) [itex]T(\vec{u} ) = \vec{u}[/itex] for all [itex]\vec{u} \in U[/itex]
b) [itex]T(\vec{v} + U) = \vec{v} + U[/itex] for all [itex]\vec{v} \in V[/itex]
Set [itex]S=T-I_{V}[/itex]. Prove that [itex]S^{2}=\vec{0}_{V \rightarrow V}[/itex]

Homework Equations


[itex]I_{V}[/itex] is the identity map
[itex]L(V,V)[/itex] is the map of all linear operators on V

The Attempt at a Solution


I have trouble understanding the question.
Since [itex]T \in L(V,V)[/itex] then how is [itex]T(\vec{v} + U) = \vec{v} + U[/itex] for all [itex]\vec{v} \in V[/itex]?
Wouldn't that mean [itex]T:V/U \rightarrow V/U[/itex]?
I don't understand, what is [itex]T(\vec{v})[/itex] equal to?
Does [itex]T(\vec{v})=\vec{v}[/itex] or [itex]T(\vec{v}) = [\vec{v}]_W[/itex] or something else?

I'm sorry if this is a silly question.
 
Physics news on Phys.org
With [itex]T(v+U)=v+U[/itex], they mean that the set v+U is mapped to the set v+U.
So

[tex]T(\{v+u~\vert~u\in U\})=\{v+u~\vert~u\in U\}[/tex]

Or in another way: for each [itex]v\in V[/itex] and [itex]u\in U[/itex], there exists [itex]u^\prime\in U[/itex] such that [itex]T(v+u)=v+u^\prime[/itex].
 
micromass said:
With [itex]T(v+U)=v+U[/itex], they mean that the set v+U is mapped to the set v+U.
This is where I confuse myself. T is a linear transformation from V to V. If it maps the set v+U to the set v+U, then wouldn't that be mapping cosets of V mod U to cosets of V mod U instead of mapping V to V?
 
micromass said:
Or in another way: for each [itex]v\in V[/itex] and [itex]u\in U[/itex], there exists [itex]u^\prime\in U[/itex] such that [itex]T(v+u)=v+u^\prime[/itex].

I think I get it now. The function maps the coset of V mod U to the same coset of V mod U by mapping each individual element to another element in that coset.

I'm sorry if it seemed I brushed over your post and didn't completely read it. I did. I just didn't understand it. I'm having trouble with my Linear Algebra 2 class, and I'm glad that you responded. Thank you a lot!

So then I get
Let [itex]\vec{v} \in V[/itex] be arbitrary
[itex]S^2(\vec{v} + \vec{u}), \vec{u} \in U[/itex]
[itex]=S(T(\vec{v} + \vec{u}) - I(\vec{v} + \vec{u}))[/itex]
[itex]=S(\vec{v} + \vec{u}` - ( \vec{v} + \vec{u}))[/itex] where [itex]\vec{u}` \in U[/itex]
[itex]=S(\vec{u}` - \vec{u})[/itex]
[itex]=S(\vec{y})[/itex] where [itex]\vec{y} = \vec{u}`- \vec{u} \in U[/itex]
[itex]=T(\vec{y}) - I(\vec{y})[/itex]
[itex]=\vec{y} - \vec{y}=\vec{0}[/itex]
 

Similar threads

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