Prove that linear operator is invertible

Join the discussion
Registration is free. Ask a follow-up in this thread, or start your own.
1 reply · 2K views
gruba
Messages
203
Reaction score
1

Homework Statement


Let [itex]\mathcal{A}: \mathbb{R^3}\rightarrow \mathbb{R^3}[/itex] is a linear operator defined as [itex]\mathcal{A}(x_1,x_2,x_3)=(x_1+x_2-x_3, x_2+7x_3, -x_3)[/itex]
Prove that [itex]\mathcal{A}[/itex] is invertible and find matrix of [itex]\mathcal{A},A^{-1}[/itex] in terms of canonical basis of [itex]\mathbb{R^3}[/itex].

Homework Equations


-Linear transformations
-Jordan decomposition

The Attempt at a Solution


[/B]
Linear mapping can be written as
[tex]\mathcal{A}<br /> \begin{bmatrix}<br /> x_1 \\<br /> x_2 \\<br /> x_3 \\<br /> \end{bmatrix}<br /> =<br /> \begin{bmatrix}<br /> x_1+x_2-x_3 \\<br /> x_2+7x_3 \\<br /> -x_3 \\<br /> \end{bmatrix}[/tex]

Matrix of linear operator [itex]\mathcal{A}[/itex] is [tex]T=<br /> <br /> \begin{bmatrix}<br /> 1 & 1 & -1 \\<br /> 0 & 1 & 7 \\<br /> 0 & 0 & -1 \\<br /> \end{bmatrix}<br /> [/tex]

Using Jordan decomposition method, it is possible to find [itex]T,T^{-1}[/itex] in terms of canonical basis.

How to strictly prove that [itex]\mathcal{A}[/itex] is invertible (without matrix computation)?
 
Physics news on Phys.org
gruba said:

Homework Statement


Let [itex]\mathcal{A}: \mathbb{R^3}\rightarrow \mathbb{R^3}[/itex] is a linear operator defined as [itex]\mathcal{A}(x_1,x_2,x_3)=(x_1+x_2-x_3, x_2+7x_3, -x_3)[/itex]
Prove that [itex]\mathcal{A}[/itex] is invertible and find matrix of [itex]\mathcal{A},A^{-1}[/itex] in terms of canonical basis of [itex]\mathbb{R^3}[/itex].

Homework Equations


-Linear transformations
-Jordan decomposition

The Attempt at a Solution


[/B]
Linear mapping can be written as
[tex]\mathcal{A}<br /> \begin{bmatrix}<br /> x_1 \\<br /> x_2 \\<br /> x_3 \\<br /> \end{bmatrix}<br /> =<br /> \begin{bmatrix}<br /> x_1+x_2-x_3 \\<br /> x_2+7x_3 \\<br /> -x_3 \\<br /> \end{bmatrix}[/tex]

Matrix of linear operator [itex]\mathcal{A}[/itex] is [tex]T=<br /> <br /> \begin{bmatrix}<br /> 1 & 1 & -1 \\<br /> 0 & 1 & 7 \\<br /> 0 & 0 & -1 \\<br /> \end{bmatrix}<br /> [/tex]

Using Jordan decomposition method, it is possible to find [itex]T,T^{-1}[/itex] in terms of canonical basis.

How to strictly prove that [itex]\mathcal{A}[/itex] is invertible (without matrix computation)?

This belongs in the "Precalculus" math forum, not the Advanced Physics forum.

Anyway, you do not need to use matrices in this problem: you just want to show that ##{\cal A}:\vec{x} \rightarrow \vec{y}## can be inverted, which means there is a map ##{\cal B}: \vec{y} \rightarrow \vec{x}## with the property that ##\vec{x} = {\cal B \, A} \vec{x}##. This amounts to simply solving the linear equations
[tex]x_1+x_2-x_3 =y_1, \: x_2+7x_3 = y_2, \: -x_3 = y_3[/tex]
to determine the ##x_i## in terms of the ##y_j##. That is a simple high-school algebra exercise.