It the following matrix isomorphic?

  • Thread starter Thread starter soopo
  • Start date Start date
  • Tags Tags
    Matrix
Click For Summary

Homework Help Overview

The discussion revolves around the isomorphism of a linear mapping defined from \(\mathbb{R}^2\) to \(\mathbb{R}^2\), specifically the function \(L(x) = (-x_{2}, 0)\). Participants are examining the properties of this mapping, including its injectivity and surjectivity, as well as the definitions of kernel and image.

Discussion Character

  • Conceptual clarification, Assumption checking, Problem interpretation

Approaches and Questions Raised

  • Participants are questioning the injectivity and surjectivity of the mapping \(L\), with some suggesting that it is neither. They discuss the definitions of these properties and provide examples to illustrate their points. There is also exploration of the kernel and image of the mapping, with attempts to clarify the correct definitions and calculations.

Discussion Status

The discussion is active, with participants providing feedback on each other's reasoning and questioning assumptions. Some participants have offered guidance on how to demonstrate the properties of the mapping, while others are exploring different interpretations of the kernel and image.

Contextual Notes

There appears to be confusion regarding the definitions of injectivity and surjectivity, as well as the correct formulation of the kernel and image. Participants are encouraged to clarify these concepts without reaching a definitive conclusion.

soopo
Messages
222
Reaction score
0
Is the following matrix isomorphic?

Homework Statement


a) Is the following matrix isomorphic?
[tex]L: \Re^{2} \rightarrow \Re^{2}[/tex]

[tex]L(x) = (-x_{2}, 0), where x = (x_{1}, x_{2}) \in \Re^{2}.[/tex]

b)
Define Ker(L) and Im(L).

The Attempt at a Solution


a) I need to show that the L is bijection. I know that it is injection,
because it can be presented as Ax = b. The mapping is also linear, so L is
surjection. Thus, L is bijection and isomorphic.

b)
[tex]Ker(L) = \Re^{2}[/tex]
[tex]Im(L) = \Re^{2}[/tex]

I am not sure is this enough.
 
Last edited:
Physics news on Phys.org
The mapping is also linear, so L is surjection.

This is incorrect. There are many examples of linear, non-surjective functions. For instance, the projective function. What is the definition of a surjective function? Moreover, what is the definition of an injective function?
 
phreak said:
This is incorrect. There are many examples of linear, non-surjective functions. For instance, the projective function. What is the definition of a surjective function? Moreover, what is the definition of an injective function?

Injection: from one to one i.e. each element in the domain is determined once by the element at the codomain
Surjection: all elements in the codomain are determined by those at the domain

This seems to mean that L is not isomorphic. The reason is perhaps that L is not injection as x1 is not determined at the codomain by the domain. That is all elements of the codomain are not determined.
 
L is neither an injection nor a surjection. Just cite an example for each. Find two elements in the domain that map to the same image point and find a point in the range that isn't hit by any domain point. Neither is at all hard.
 
Dick said:
L is neither an injection nor a surjection. Just cite an example for each. Find two elements in the domain that map to the same image point and find a point in the range that isn't hit by any domain point. Neither is at all hard.

Let x2 = 0 and x1 = 0. This means that two points in the domain map to one codomain. So it is not an injection.

The other one is harder. I first thought to let x2 = 1 and x1 = 1. Then, I started to wonder that it is not even a funtion as no domain points hit points at the codomain.

Please, let me know whether I am at the right direction or not.
 
You do mean (x1,x2)->(-x2,0), right? (1,1)->(-1,0), (0,1)->(-1,0), not injective. Nothing maps to (0,1), not surjective. Case closed.
 
Let x2 = 0 and x1 = 0. This means that two points in the domain map to one codomain. So it is not an injection.

No, no. To prove that it's not an injection, you must find two points in the domain that map to the same point. The domain is [tex]\mathbb{R}^2[/tex]. Hence, you must find two points x=(x1,x2) and y=(y1,y2) such that [tex]L(x) = L(x_1,x_2) = L(y_1,y_2) = L(y)[/tex]. Since you seem to be stuck, I'll give you an example. Let x= (1,1) and y = (0,1). Then by definition of L, we have L(x) = (-x2,0) = (-1,0) = (1,0) and L(y) = (-y2,0) = (-1,0). This means that we have found two points in the domain of L that map to the same point. But this contradicts the definition of injectivity.
 
Dick said:
You do mean (x1,x2)->(-x2,0), right? (1,1)->(-1,0), (0,1)->(-1,0), not injective. Nothing maps to (0,1), not surjective. Case closed.

Thank you!
Your answer is excellent.
 
You WILL have an easier time with the next one, right? Don't overthink it. It's not all that abstract.
 
  • #10
b)
The image should be
Im(L) = ([tex]x_{1}, x_{2}[/tex])

The kernel should be got by solving the null space that is Ax = 0.
I am wondering how to put the domain and codomain to Ax = 0.
We should get two simple equations from the matrix.

I am keen on saying that the kernel is
Ker(L) = ([tex]x_{1} = 0, x_{2} = 0[/tex])
It seems to be the only solution - not sure though.
 
  • #11
What linear map are you talking about now?
 
  • #12
Dick said:
What linear map are you talking about now?

I will correct the mistake.

We get the kernel by solving the nullspace
Ker(L) = {[tex](x_{1}, x_{2})^{T}: x_{1} = 0[/tex] and [tex]x_{2} = 0[/tex]}

The image is the same as we apparently want it for the nullspace
Im(L) = {[tex](x_{1}, x_{2})^{T}: x_{1} = 0[/tex] and [tex]x_{2} = 0[/tex]}

It should now be correct.
 
  • #13
Please answer Dick's question! What linear map are you talking about? Are you still talking about L(x1,x2)= (-x2, 0)? If so, then, no, the kernel is NOT {(0,0)}.

And it makes no sense to say of the image "apparently we want it for the nullspace". The image of L is set of all y such that L(x)= y for some x. It has little to do with the nullspace (= kernel).
 

Similar threads

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