How to show that if $x^T x = 0$, then $x=0$ for any column vector $x$?“Show” that the direction cosines...
Signed and unsigned numbers
Which classes are needed to have access to every spell in the PHB?
Power Strip for Europe
Is it possible to avoid unpacking when merging Association?
When a wind turbine does not produce enough electricity how does the power company compensate for the loss?
Is it possible that a question has only two answers?
Create chunks from an array
Did Amazon pay $0 in taxes last year?
School performs periodic password audits. Is my password compromised?
Trig Subsitution When There's No Square Root
Am I understanding this Storm King's Thunder map wrong?
Plausibility of Mushroom Buildings
What's the 'present simple' form of the word "нашла́" in 3rd person singular female?
Has a sovereign Communist government ever run, and conceded loss, on a fair election?
Doubts in understanding some concepts of potential energy
In the late 1940’s to early 1950’s what technology was available that could melt a LOT of ice?
Recommendation letter by significant other if you worked with them professionally?
Haman going to the second feast dirty
What do *foreign films* mean for an American?
Source permutation
Do I really need to have a scientific explanation for my premise?
How to resolve: Reviewer #1 says remove section X vs. Reviewer #2 says expand section X
How does Ehrenfest's theorem apply to the quantum harmonic oscillator?
From an axiomatic set theoric approach why can we take uncountable unions?
How to show that if $x^T x = 0$, then $x=0$ for any column vector $x$?
“Show” that the direction cosines of a vector satisfies…Find $d$ of a plane equation$A$ is a symmetric real matrix. Show that there is $B$ such that $B^3=A$How to show a vector space is not closed under addition with elements not in the vector space.proving that for any vectors $u,v,w in mathbb{R}^n$ prove $|u+v+w| leq |u| +|v|+|w|$ (verify)How to convert from cartesian to vector form (of a straight line)How do I work out the calculation to find the unknown vectorIs there another name for a vector?Prove that if $r(t)times frac{dr(t)}{dt}=0$, then $r(t)$ has a fixed direction.Column vector as a linear combination?
$begingroup$
I did the proof and got it wrong, it'd be really helpful if someone could point me in the right direction or show me how to do it. The $T$ in $(x)^Tx=0$ means transpose; I wasn't sure if that was clear in the title.
linear-algebra vectors norm
New contributor
$endgroup$
add a comment |
$begingroup$
I did the proof and got it wrong, it'd be really helpful if someone could point me in the right direction or show me how to do it. The $T$ in $(x)^Tx=0$ means transpose; I wasn't sure if that was clear in the title.
linear-algebra vectors norm
New contributor
$endgroup$
7
$begingroup$
$(x)^Tx$ is a sum of squares of entries of $x$; if any entry were non-zero the sum of squares would be positive
$endgroup$
– J. W. Tanner
2 days ago
3
$begingroup$
Another way to see it: ${bf x}^T{bf x}$ is the squared length of $bf x$; if the squared length is $0$, then ${bf x} = {bf 0}$.
$endgroup$
– Théophile
2 days ago
$begingroup$
Also, $x^Tx$ is simply the scalar product $<x,x> = sum_{i=1}^{n}x_{i}^2$ which is only zero in the case of $x = 0$
$endgroup$
– Victoria M
2 days ago
add a comment |
$begingroup$
I did the proof and got it wrong, it'd be really helpful if someone could point me in the right direction or show me how to do it. The $T$ in $(x)^Tx=0$ means transpose; I wasn't sure if that was clear in the title.
linear-algebra vectors norm
New contributor
$endgroup$
I did the proof and got it wrong, it'd be really helpful if someone could point me in the right direction or show me how to do it. The $T$ in $(x)^Tx=0$ means transpose; I wasn't sure if that was clear in the title.
linear-algebra vectors norm
linear-algebra vectors norm
New contributor
New contributor
edited 2 days ago
J. W. Tanner
3,0681320
3,0681320
New contributor
asked 2 days ago
gmb12gmb12
31
31
New contributor
New contributor
7
$begingroup$
$(x)^Tx$ is a sum of squares of entries of $x$; if any entry were non-zero the sum of squares would be positive
$endgroup$
– J. W. Tanner
2 days ago
3
$begingroup$
Another way to see it: ${bf x}^T{bf x}$ is the squared length of $bf x$; if the squared length is $0$, then ${bf x} = {bf 0}$.
$endgroup$
– Théophile
2 days ago
$begingroup$
Also, $x^Tx$ is simply the scalar product $<x,x> = sum_{i=1}^{n}x_{i}^2$ which is only zero in the case of $x = 0$
$endgroup$
– Victoria M
2 days ago
add a comment |
7
$begingroup$
$(x)^Tx$ is a sum of squares of entries of $x$; if any entry were non-zero the sum of squares would be positive
$endgroup$
– J. W. Tanner
2 days ago
3
$begingroup$
Another way to see it: ${bf x}^T{bf x}$ is the squared length of $bf x$; if the squared length is $0$, then ${bf x} = {bf 0}$.
$endgroup$
– Théophile
2 days ago
$begingroup$
Also, $x^Tx$ is simply the scalar product $<x,x> = sum_{i=1}^{n}x_{i}^2$ which is only zero in the case of $x = 0$
$endgroup$
– Victoria M
2 days ago
7
7
$begingroup$
$(x)^Tx$ is a sum of squares of entries of $x$; if any entry were non-zero the sum of squares would be positive
$endgroup$
– J. W. Tanner
2 days ago
$begingroup$
$(x)^Tx$ is a sum of squares of entries of $x$; if any entry were non-zero the sum of squares would be positive
$endgroup$
– J. W. Tanner
2 days ago
3
3
$begingroup$
Another way to see it: ${bf x}^T{bf x}$ is the squared length of $bf x$; if the squared length is $0$, then ${bf x} = {bf 0}$.
$endgroup$
– Théophile
2 days ago
$begingroup$
Another way to see it: ${bf x}^T{bf x}$ is the squared length of $bf x$; if the squared length is $0$, then ${bf x} = {bf 0}$.
$endgroup$
– Théophile
2 days ago
$begingroup$
Also, $x^Tx$ is simply the scalar product $<x,x> = sum_{i=1}^{n}x_{i}^2$ which is only zero in the case of $x = 0$
$endgroup$
– Victoria M
2 days ago
$begingroup$
Also, $x^Tx$ is simply the scalar product $<x,x> = sum_{i=1}^{n}x_{i}^2$ which is only zero in the case of $x = 0$
$endgroup$
– Victoria M
2 days ago
add a comment |
1 Answer
1
active
oldest
votes
$begingroup$
Let $$x=left(
begin{matrix}
x_1 \
x_2 \
. \
.\
.\
x_n
end{matrix}
right).
$$
Then $x^Tx$ = $x_1^2+x_2^2+...+x_n^2$.
Since for all real $x_i$, $x_i^2 = 0$ if $x_i=0$ and $x_i^2>0$ otherwise,
$x^Tx=0$ implies $x_i=0$ for all $i$, i.e., $x=mathbf 0.$
$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
});
}
});
gmb12 is a new contributor. Be nice, and check out our Code of Conduct.
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%2f3140380%2fhow-to-show-that-if-xt-x-0-then-x-0-for-any-column-vector-x%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$
Let $$x=left(
begin{matrix}
x_1 \
x_2 \
. \
.\
.\
x_n
end{matrix}
right).
$$
Then $x^Tx$ = $x_1^2+x_2^2+...+x_n^2$.
Since for all real $x_i$, $x_i^2 = 0$ if $x_i=0$ and $x_i^2>0$ otherwise,
$x^Tx=0$ implies $x_i=0$ for all $i$, i.e., $x=mathbf 0.$
$endgroup$
add a comment |
$begingroup$
Let $$x=left(
begin{matrix}
x_1 \
x_2 \
. \
.\
.\
x_n
end{matrix}
right).
$$
Then $x^Tx$ = $x_1^2+x_2^2+...+x_n^2$.
Since for all real $x_i$, $x_i^2 = 0$ if $x_i=0$ and $x_i^2>0$ otherwise,
$x^Tx=0$ implies $x_i=0$ for all $i$, i.e., $x=mathbf 0.$
$endgroup$
add a comment |
$begingroup$
Let $$x=left(
begin{matrix}
x_1 \
x_2 \
. \
.\
.\
x_n
end{matrix}
right).
$$
Then $x^Tx$ = $x_1^2+x_2^2+...+x_n^2$.
Since for all real $x_i$, $x_i^2 = 0$ if $x_i=0$ and $x_i^2>0$ otherwise,
$x^Tx=0$ implies $x_i=0$ for all $i$, i.e., $x=mathbf 0.$
$endgroup$
Let $$x=left(
begin{matrix}
x_1 \
x_2 \
. \
.\
.\
x_n
end{matrix}
right).
$$
Then $x^Tx$ = $x_1^2+x_2^2+...+x_n^2$.
Since for all real $x_i$, $x_i^2 = 0$ if $x_i=0$ and $x_i^2>0$ otherwise,
$x^Tx=0$ implies $x_i=0$ for all $i$, i.e., $x=mathbf 0.$
answered 2 days ago
J. W. TannerJ. W. Tanner
3,0681320
3,0681320
add a comment |
add a comment |
gmb12 is a new contributor. Be nice, and check out our Code of Conduct.
gmb12 is a new contributor. Be nice, and check out our Code of Conduct.
gmb12 is a new contributor. Be nice, and check out our Code of Conduct.
gmb12 is a new contributor. Be nice, and check out our Code of Conduct.
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%2f3140380%2fhow-to-show-that-if-xt-x-0-then-x-0-for-any-column-vector-x%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
7
$begingroup$
$(x)^Tx$ is a sum of squares of entries of $x$; if any entry were non-zero the sum of squares would be positive
$endgroup$
– J. W. Tanner
2 days ago
3
$begingroup$
Another way to see it: ${bf x}^T{bf x}$ is the squared length of $bf x$; if the squared length is $0$, then ${bf x} = {bf 0}$.
$endgroup$
– Théophile
2 days ago
$begingroup$
Also, $x^Tx$ is simply the scalar product $<x,x> = sum_{i=1}^{n}x_{i}^2$ which is only zero in the case of $x = 0$
$endgroup$
– Victoria M
2 days ago