Linear operator and compositions The Next CEO of Stack OverflowA question on diagonalization...
What happens if you roll doubles 3 times then land on "Go to jail?"
Interfacing a button to MCU (and PC) with 50m long cable
How to invert MapIndexed on a ragged structure? How to construct a tree from rules?
What benefits would be gained by using human laborers instead of drones in deep sea mining?
In excess I'm lethal
How did people program for Consoles with multiple CPUs?
Is "for causing autism in X" grammatical?
Make solar eclipses exceedingly rare, but still have new moons
Why am I allowed to create multiple unique pointers from a single object?
Why do airplanes bank sharply to the right after air-to-air refueling?
What is "(CFMCC)" on an ILS approach chart?
RegionPlot of annulus gives a mesh
What was the first Unix version to run on a microcomputer?
How do I transpose the 1st and -1th levels of an arbitrarily nested array?
Is micro rebar a better way to reinforce concrete than rebar?
Indicator light circuit
Several mode to write the symbol of a vector
Example of a Mathematician/Physicist whose Other Publications during their PhD eclipsed their PhD Thesis
Has this building technique been used in an official set?
What does convergence in distribution "in the Gromov–Hausdorff" sense mean?
Why do professional authors make "consistency" mistakes? And how to avoid them?
sp_blitzCache results Memory grants
Is there an analogue of projective spaces for proper schemes?
Contours of a clandestine nature
Linear operator and compositions
The Next CEO of Stack OverflowA question on diagonalization of a linear operatorRelations between Linear Transformations and their MatricesDiscontinuous linear operator e and its coreHow to prove that equality?Show that $f$ is diagonalizableDirect sum the kernel involving linear operatorIf $f^{2}-3f+2id=0$, how to show that $E=ker(f-id)bigoplus ker(f-2id)$?cardinality / linear algebraBasis and dimension of a kernelLinear Complements and endomorphisms
$begingroup$
Let $E$ be a $mathbb{K}$-vector space of arbitrary dimension, $ainmathbb{K}setminus{0}$ and $uinmathcal{L}(E)$ an endomorphism of $E$ satisfying the following equation $$a^2u-3au^2+u^3=0_{mathcal{L}(E)}.$$ Show that $E=ker(u)bigoplus Im(u)$.
linear-algebra
$endgroup$
add a comment |
$begingroup$
Let $E$ be a $mathbb{K}$-vector space of arbitrary dimension, $ainmathbb{K}setminus{0}$ and $uinmathcal{L}(E)$ an endomorphism of $E$ satisfying the following equation $$a^2u-3au^2+u^3=0_{mathcal{L}(E)}.$$ Show that $E=ker(u)bigoplus Im(u)$.
linear-algebra
$endgroup$
add a comment |
$begingroup$
Let $E$ be a $mathbb{K}$-vector space of arbitrary dimension, $ainmathbb{K}setminus{0}$ and $uinmathcal{L}(E)$ an endomorphism of $E$ satisfying the following equation $$a^2u-3au^2+u^3=0_{mathcal{L}(E)}.$$ Show that $E=ker(u)bigoplus Im(u)$.
linear-algebra
$endgroup$
Let $E$ be a $mathbb{K}$-vector space of arbitrary dimension, $ainmathbb{K}setminus{0}$ and $uinmathcal{L}(E)$ an endomorphism of $E$ satisfying the following equation $$a^2u-3au^2+u^3=0_{mathcal{L}(E)}.$$ Show that $E=ker(u)bigoplus Im(u)$.
linear-algebra
linear-algebra
asked Mar 16 at 17:11
Eliakim MachadoEliakim Machado
394
394
add a comment |
add a comment |
1 Answer
1
active
oldest
votes
$begingroup$
Proving that $mathbf{operatorname{Ker}(u)capoperatorname{Im}(u)={0}}$:
If $yin operatorname{Im}(u)$, then $y=u(x)$ for some $xin E$. Assume that $yinoperatorname{Ker}(u)$. This is, $0=u(y)=u^2(x)$. Then $0=(a^2-3au^2+u^3)(x)=a^2u(x)=a^2y$. Therefore $operatorname{Ker}(u)capoperatorname{Im}(u)={0}$.
Proving that $mathbf{Esubseteq operatorname{Im}(u)oplusoperatorname{Ker}(u)}$:
Consider the polynomials $P(t)=t^2-3at+a^2$ and $Q(t)=t$. They are relatively prime. Therefore, there are polynomials $M,N$ such that
$$P(t)M(t)+Q(t)N(t)=1$$
Evaluating this equation in $u$ and applying it to an arbitrary element $xin E$, we get $$P(u)M(u)(x)+Q(u)N(u)(x)=(x)$$
Therefore, $x$ is the sum of an element of $operatorname{Im}(u)$, which is $Q(u)N(u)(x)=uN(u)(x)$ and an element of $operatorname{Ker}(u)$, which is the other term $P(u)M(u)(x)=(a^2-3au+u^2)M(u)(x)$.
$endgroup$
add a comment |
Your Answer
StackExchange.ifUsing("editor", function () {
return StackExchange.using("mathjaxEditing", function () {
StackExchange.MarkdownEditor.creationCallbacks.add(function (editor, postfix) {
StackExchange.mathjaxEditing.prepareWmdForMathJax(editor, postfix, [["$", "$"], ["\\(","\\)"]]);
});
});
}, "mathjax-editing");
StackExchange.ready(function() {
var channelOptions = {
tags: "".split(" "),
id: "69"
};
initTagRenderer("".split(" "), "".split(" "), channelOptions);
StackExchange.using("externalEditor", function() {
// Have to fire editor after snippets, if snippets enabled
if (StackExchange.settings.snippets.snippetsEnabled) {
StackExchange.using("snippets", function() {
createEditor();
});
}
else {
createEditor();
}
});
function createEditor() {
StackExchange.prepareEditor({
heartbeatType: 'answer',
autoActivateHeartbeat: false,
convertImagesToLinks: true,
noModals: true,
showLowRepImageUploadWarning: true,
reputationToPostImages: 10,
bindNavPrevention: true,
postfix: "",
imageUploader: {
brandingHtml: "Powered by u003ca class="icon-imgur-white" href="https://imgur.com/"u003eu003c/au003e",
contentPolicyHtml: "User contributions licensed under u003ca href="https://creativecommons.org/licenses/by-sa/3.0/"u003ecc by-sa 3.0 with attribution requiredu003c/au003e u003ca href="https://stackoverflow.com/legal/content-policy"u003e(content policy)u003c/au003e",
allowUrls: true
},
noCode: true, onDemand: true,
discardSelector: ".discard-answer"
,immediatelyShowMarkdownHelp:true
});
}
});
Sign up or log in
StackExchange.ready(function () {
StackExchange.helpers.onClickDraftSave('#login-link');
});
Sign up using Google
Sign up using Facebook
Sign up using Email and Password
Post as a guest
Required, but never shown
StackExchange.ready(
function () {
StackExchange.openid.initPostLogin('.new-post-login', 'https%3a%2f%2fmath.stackexchange.com%2fquestions%2f3150597%2flinear-operator-and-compositions%23new-answer', 'question_page');
}
);
Post as a guest
Required, but never shown
1 Answer
1
active
oldest
votes
1 Answer
1
active
oldest
votes
active
oldest
votes
active
oldest
votes
$begingroup$
Proving that $mathbf{operatorname{Ker}(u)capoperatorname{Im}(u)={0}}$:
If $yin operatorname{Im}(u)$, then $y=u(x)$ for some $xin E$. Assume that $yinoperatorname{Ker}(u)$. This is, $0=u(y)=u^2(x)$. Then $0=(a^2-3au^2+u^3)(x)=a^2u(x)=a^2y$. Therefore $operatorname{Ker}(u)capoperatorname{Im}(u)={0}$.
Proving that $mathbf{Esubseteq operatorname{Im}(u)oplusoperatorname{Ker}(u)}$:
Consider the polynomials $P(t)=t^2-3at+a^2$ and $Q(t)=t$. They are relatively prime. Therefore, there are polynomials $M,N$ such that
$$P(t)M(t)+Q(t)N(t)=1$$
Evaluating this equation in $u$ and applying it to an arbitrary element $xin E$, we get $$P(u)M(u)(x)+Q(u)N(u)(x)=(x)$$
Therefore, $x$ is the sum of an element of $operatorname{Im}(u)$, which is $Q(u)N(u)(x)=uN(u)(x)$ and an element of $operatorname{Ker}(u)$, which is the other term $P(u)M(u)(x)=(a^2-3au+u^2)M(u)(x)$.
$endgroup$
add a comment |
$begingroup$
Proving that $mathbf{operatorname{Ker}(u)capoperatorname{Im}(u)={0}}$:
If $yin operatorname{Im}(u)$, then $y=u(x)$ for some $xin E$. Assume that $yinoperatorname{Ker}(u)$. This is, $0=u(y)=u^2(x)$. Then $0=(a^2-3au^2+u^3)(x)=a^2u(x)=a^2y$. Therefore $operatorname{Ker}(u)capoperatorname{Im}(u)={0}$.
Proving that $mathbf{Esubseteq operatorname{Im}(u)oplusoperatorname{Ker}(u)}$:
Consider the polynomials $P(t)=t^2-3at+a^2$ and $Q(t)=t$. They are relatively prime. Therefore, there are polynomials $M,N$ such that
$$P(t)M(t)+Q(t)N(t)=1$$
Evaluating this equation in $u$ and applying it to an arbitrary element $xin E$, we get $$P(u)M(u)(x)+Q(u)N(u)(x)=(x)$$
Therefore, $x$ is the sum of an element of $operatorname{Im}(u)$, which is $Q(u)N(u)(x)=uN(u)(x)$ and an element of $operatorname{Ker}(u)$, which is the other term $P(u)M(u)(x)=(a^2-3au+u^2)M(u)(x)$.
$endgroup$
add a comment |
$begingroup$
Proving that $mathbf{operatorname{Ker}(u)capoperatorname{Im}(u)={0}}$:
If $yin operatorname{Im}(u)$, then $y=u(x)$ for some $xin E$. Assume that $yinoperatorname{Ker}(u)$. This is, $0=u(y)=u^2(x)$. Then $0=(a^2-3au^2+u^3)(x)=a^2u(x)=a^2y$. Therefore $operatorname{Ker}(u)capoperatorname{Im}(u)={0}$.
Proving that $mathbf{Esubseteq operatorname{Im}(u)oplusoperatorname{Ker}(u)}$:
Consider the polynomials $P(t)=t^2-3at+a^2$ and $Q(t)=t$. They are relatively prime. Therefore, there are polynomials $M,N$ such that
$$P(t)M(t)+Q(t)N(t)=1$$
Evaluating this equation in $u$ and applying it to an arbitrary element $xin E$, we get $$P(u)M(u)(x)+Q(u)N(u)(x)=(x)$$
Therefore, $x$ is the sum of an element of $operatorname{Im}(u)$, which is $Q(u)N(u)(x)=uN(u)(x)$ and an element of $operatorname{Ker}(u)$, which is the other term $P(u)M(u)(x)=(a^2-3au+u^2)M(u)(x)$.
$endgroup$
Proving that $mathbf{operatorname{Ker}(u)capoperatorname{Im}(u)={0}}$:
If $yin operatorname{Im}(u)$, then $y=u(x)$ for some $xin E$. Assume that $yinoperatorname{Ker}(u)$. This is, $0=u(y)=u^2(x)$. Then $0=(a^2-3au^2+u^3)(x)=a^2u(x)=a^2y$. Therefore $operatorname{Ker}(u)capoperatorname{Im}(u)={0}$.
Proving that $mathbf{Esubseteq operatorname{Im}(u)oplusoperatorname{Ker}(u)}$:
Consider the polynomials $P(t)=t^2-3at+a^2$ and $Q(t)=t$. They are relatively prime. Therefore, there are polynomials $M,N$ such that
$$P(t)M(t)+Q(t)N(t)=1$$
Evaluating this equation in $u$ and applying it to an arbitrary element $xin E$, we get $$P(u)M(u)(x)+Q(u)N(u)(x)=(x)$$
Therefore, $x$ is the sum of an element of $operatorname{Im}(u)$, which is $Q(u)N(u)(x)=uN(u)(x)$ and an element of $operatorname{Ker}(u)$, which is the other term $P(u)M(u)(x)=(a^2-3au+u^2)M(u)(x)$.
edited Mar 16 at 17:38
answered Mar 16 at 17:31
user647486user647486
582110
582110
add a comment |
add a comment |
Thanks for contributing an answer to Mathematics Stack Exchange!
- Please be sure to answer the question. Provide details and share your research!
But avoid …
- Asking for help, clarification, or responding to other answers.
- Making statements based on opinion; back them up with references or personal experience.
Use MathJax to format equations. MathJax reference.
To learn more, see our tips on writing great answers.
Sign up or log in
StackExchange.ready(function () {
StackExchange.helpers.onClickDraftSave('#login-link');
});
Sign up using Google
Sign up using Facebook
Sign up using Email and Password
Post as a guest
Required, but never shown
StackExchange.ready(
function () {
StackExchange.openid.initPostLogin('.new-post-login', 'https%3a%2f%2fmath.stackexchange.com%2fquestions%2f3150597%2flinear-operator-and-compositions%23new-answer', 'question_page');
}
);
Post as a guest
Required, but never shown
Sign up or log in
StackExchange.ready(function () {
StackExchange.helpers.onClickDraftSave('#login-link');
});
Sign up using Google
Sign up using Facebook
Sign up using Email and Password
Post as a guest
Required, but never shown
Sign up or log in
StackExchange.ready(function () {
StackExchange.helpers.onClickDraftSave('#login-link');
});
Sign up using Google
Sign up using Facebook
Sign up using Email and Password
Post as a guest
Required, but never shown
Sign up or log in
StackExchange.ready(function () {
StackExchange.helpers.onClickDraftSave('#login-link');
});
Sign up using Google
Sign up using Facebook
Sign up using Email and Password
Sign up using Google
Sign up using Facebook
Sign up using Email and Password
Post as a guest
Required, but never shown
Required, but never shown
Required, but never shown
Required, but never shown
Required, but never shown
Required, but never shown
Required, but never shown
Required, but never shown
Required, but never shown