Isomorphism to subspaces of different dimensions

AI Thread Summary
The discussion revolves around the linear transformations f: R³ → R² and g: R² → R³, focusing on their compositions f◦g and g◦f. The ranks of both compositions are found to be 2, indicating that f◦g is an isomorphism since it maps from R² to R², while g◦f does not qualify as an isomorphism because it maps from R³ to R³ but lacks injectivity. An inverse for f◦g is provided, confirming its isomorphic nature. The rank-nullity theorem is referenced to support the conclusion regarding the isomorphism status of g◦f. Overall, the analysis clarifies the conditions under which these transformations can be considered isomorphic.
says
Messages
585
Reaction score
12

Homework Statement


Given the linear transformations
f : R 3 → R 2 , f(x, y, z) = (2x − y, 2y + z), g : R 2 → R 3 , g(u, v) = (u, u + v, u − v), find the matrix associated to f◦g and g◦f with respect to the standard basis. Find rank(f ◦g) and rank(g ◦ f), is one of the two compositions an isomorphism? If yes find its inverse.

Homework Equations


f=
[2 -1 0]
[0 2 1]

g=
[1 0]
[1 1]
[1 -1]

The Attempt at a Solution


f◦g =
[1 -1]
[3 1]

g◦f=
[ 2 -1 0 ]
[ 2 1 1 ]
[ 2 -3 -1 ]I row reduced both matrices, I don't want to write them out here, but the rank (g ◦ f) = 2, it has one free variable. Rank(f ◦g) = 2. I think the real question I have here is with the last part of the question.

'Is one of the two compositions an isomorphism?' For a linear transformation to be an isomorphism is has to be injective and surjective. Is the very nature that this L.T maps from R3 to R2 and vice versa reason enough to say it is not an isomorphism?

I found an inverse of
f◦g =
[1/4 1/4]
[-3/4 1/4]
 
Physics news on Phys.org
says said:

Homework Statement


Given the linear transformations
f : R 3 → R 2 , f(x, y, z) = (2x − y, 2y + z), g : R 2 → R 3 , g(u, v) = (u, u + v, u − v), find the matrix associated to f◦g and g◦f with respect to the standard basis. Find rank(f ◦g) and rank(g ◦ f), is one of the two compositions an isomorphism? If yes find its inverse.

Homework Equations


f=
[2 -1 0]
[0 2 1]

g=
[1 0]
[1 1]
[1 -1]

The Attempt at a Solution


f◦g =
[1 -1]
[3 1]

g◦f=
[ 2 -1 0 ]
[ 2 1 1 ]
[ 2 -3 -1 ]I row reduced both matrices, I don't want to write them out here, but the rank (g ◦ f) = 2, it has one free variable. Rank(f ◦g) = 2. I think the real question I have here is with the last part of the question.

'Is one of the two compositions an isomorphism?' For a linear transformation to be an isomorphism is has to be injective and surjective. Is the very nature that this L.T maps from R3 to R2 and vice versa reason enough to say it is not an isomorphism?

I found an inverse of
f◦g =
[1/4 1/4]
[-3/4 1/4]

Yes, you can show g◦f cannot be an isomorphism without doing any row reduction. Can you show that? Think rank-nullity theorem.
 
says said:

Homework Statement


Given the linear transformations
f : R 3 → R 2 , f(x, y, z) = (2x − y, 2y + z), g : R 2 → R 3 , g(u, v) = (u, u + v, u − v), find the matrix associated to f◦g and g◦f with respect to the standard basis. Find rank(f ◦g) and rank(g ◦ f), is one of the two compositions an isomorphism? If yes find its inverse.

Homework Equations


f=
[2 -1 0]
[0 2 1]

g=
[1 0]
[1 1]
[1 -1]

The Attempt at a Solution


f◦g =
[1 -1]
[3 1]

g◦f=
[ 2 -1 0 ]
[ 2 1 1 ]
[ 2 -3 -1 ]I row reduced both matrices, I don't want to write them out here, but the rank (g ◦ f) = 2, it has one free variable. Rank(f ◦g) = 2. I think the real question I have here is with the last part of the question.

'Is one of the two compositions an isomorphism?' For a linear transformation to be an isomorphism is has to be injective and surjective. Is the very nature that this L.T maps from R3 to R2 and vice versa reason enough to say it is not an isomorphism?

I found an inverse of
f◦g =
[1/4 1/4]
[-3/4 1/4]
To answer the question: "Is the very nature that this L.T maps from R3 to R2 and vice versa reason enough to say it is not an isomorphism?"
It is correct that a linear transformation from ##\mathbb R²## to ##\mathbb R³## or from ##\mathbb R³## to ##\mathbb R²## cannot be an isomorphism.
But: g ◦ f maps ##\mathbb R³## to ##\mathbb R³##,and f ◦ g maps ##\mathbb R²## to ##\mathbb R²##, so these could conceivably be isomorphisms. There you have (a little) more work to do. As Dick suggested, for g ◦ f it is relatively easy to show it is not an isomorphism just by reasoning.
 
Ahhh yes! f ◦ g is an isomorph. I've got my working in a photo attached.
 

Attachments

  • 20160125_131342.jpg
    20160125_131342.jpg
    31.9 KB · Views: 452
I picked up this problem from the Schaum's series book titled "College Mathematics" by Ayres/Schmidt. It is a solved problem in the book. But what surprised me was that the solution to this problem was given in one line without any explanation. I could, therefore, not understand how the given one-line solution was reached. The one-line solution in the book says: The equation is ##x \cos{\omega} +y \sin{\omega} - 5 = 0##, ##\omega## being the parameter. From my side, the only thing I could...
Back
Top