The shape of an orthonormal matrix
up vote
0
down vote
favorite
Let $U$ be an orthonormal matrix. $U$ has $n$ rows and $n$ columns. We know that the first row is given by the following vector
$$bigg ( frac{1}{sqrt{n}}, ldots frac{1}{sqrt{n}} bigg).$$
Let's consider a column vector $X$.
$$X = (mu, ... mu)^{T}.$$
I am to prove that
$$UX = big( sqrt{n} mu, 0, 0, ldots, 0)^{T} tag{1}.$$
Both $U$ and $X$ are such matrices that their dimension fits and they can be multiplied in the way shown above.
How can I prove $(1)$?
linear-algebra
add a comment |
up vote
0
down vote
favorite
Let $U$ be an orthonormal matrix. $U$ has $n$ rows and $n$ columns. We know that the first row is given by the following vector
$$bigg ( frac{1}{sqrt{n}}, ldots frac{1}{sqrt{n}} bigg).$$
Let's consider a column vector $X$.
$$X = (mu, ... mu)^{T}.$$
I am to prove that
$$UX = big( sqrt{n} mu, 0, 0, ldots, 0)^{T} tag{1}.$$
Both $U$ and $X$ are such matrices that their dimension fits and they can be multiplied in the way shown above.
How can I prove $(1)$?
linear-algebra
add a comment |
up vote
0
down vote
favorite
up vote
0
down vote
favorite
Let $U$ be an orthonormal matrix. $U$ has $n$ rows and $n$ columns. We know that the first row is given by the following vector
$$bigg ( frac{1}{sqrt{n}}, ldots frac{1}{sqrt{n}} bigg).$$
Let's consider a column vector $X$.
$$X = (mu, ... mu)^{T}.$$
I am to prove that
$$UX = big( sqrt{n} mu, 0, 0, ldots, 0)^{T} tag{1}.$$
Both $U$ and $X$ are such matrices that their dimension fits and they can be multiplied in the way shown above.
How can I prove $(1)$?
linear-algebra
Let $U$ be an orthonormal matrix. $U$ has $n$ rows and $n$ columns. We know that the first row is given by the following vector
$$bigg ( frac{1}{sqrt{n}}, ldots frac{1}{sqrt{n}} bigg).$$
Let's consider a column vector $X$.
$$X = (mu, ... mu)^{T}.$$
I am to prove that
$$UX = big( sqrt{n} mu, 0, 0, ldots, 0)^{T} tag{1}.$$
Both $U$ and $X$ are such matrices that their dimension fits and they can be multiplied in the way shown above.
How can I prove $(1)$?
linear-algebra
linear-algebra
asked Nov 21 at 11:45
Hendrra
1,001414
1,001414
add a comment |
add a comment |
2 Answers
2
active
oldest
votes
up vote
3
down vote
accepted
It should be clear that the first entry in $UX$ is given by
$( frac{1}{sqrt{n}}, ldots frac{1}{sqrt{n}} ) cdot(mu, ... mu)^{T}= sqrt{n} mu$.
Now suppose that the $j -th$ row of $U$ has the form $(a_1,a_2,...,a_n)$. Since $U$ is orthonormal we have
$0=(a_1,a_2,...,a_n) cdot ( frac{1}{sqrt{n}}, ldots frac{1}{sqrt{n}} )^T =frac{1}{sqrt{n}}(a_1+a_2+...+a_n)$, thus $a_1+a_2+...+a_n=0$.
The $j -th$ entry in $UX$ is therefore
$$= mu(a_1+a_2+...+a_n)=0.$$
add a comment |
up vote
3
down vote
Let me give an alternative to @Fred's answer, or at least a more geometric version, based on three observations:
The rows $u_1, u_2, ldots u_n$ of $U$ are orthonormal vectors, i.e., each has length $1$, and they are all perpendicular, i.e., $u_i cdot u_j = 0$ if $i ne j$, and $u_i cdot u_j = 1$ if $i = j$.
The product $UX$ consists of the dot product $u_i cdot X$ of each row with the vector $X$.
The vector $X$ is a scalar multiple $c u_1$ of the first row, with the scalar being $c = sqrt{n} mu$.
So what's the dot product of the first row with $X$? It's just $c u_1 cdot u_1 = c $.
What about the dot product $u_i cdot X$ for any $i ne 1$? Well, because $X$ is parallel to $u_1$, but $u_1$ is perpendicular to all the other $u_i$, we must have $u_i cdot X = 0$.
add a comment |
2 Answers
2
active
oldest
votes
2 Answers
2
active
oldest
votes
active
oldest
votes
active
oldest
votes
up vote
3
down vote
accepted
It should be clear that the first entry in $UX$ is given by
$( frac{1}{sqrt{n}}, ldots frac{1}{sqrt{n}} ) cdot(mu, ... mu)^{T}= sqrt{n} mu$.
Now suppose that the $j -th$ row of $U$ has the form $(a_1,a_2,...,a_n)$. Since $U$ is orthonormal we have
$0=(a_1,a_2,...,a_n) cdot ( frac{1}{sqrt{n}}, ldots frac{1}{sqrt{n}} )^T =frac{1}{sqrt{n}}(a_1+a_2+...+a_n)$, thus $a_1+a_2+...+a_n=0$.
The $j -th$ entry in $UX$ is therefore
$$= mu(a_1+a_2+...+a_n)=0.$$
add a comment |
up vote
3
down vote
accepted
It should be clear that the first entry in $UX$ is given by
$( frac{1}{sqrt{n}}, ldots frac{1}{sqrt{n}} ) cdot(mu, ... mu)^{T}= sqrt{n} mu$.
Now suppose that the $j -th$ row of $U$ has the form $(a_1,a_2,...,a_n)$. Since $U$ is orthonormal we have
$0=(a_1,a_2,...,a_n) cdot ( frac{1}{sqrt{n}}, ldots frac{1}{sqrt{n}} )^T =frac{1}{sqrt{n}}(a_1+a_2+...+a_n)$, thus $a_1+a_2+...+a_n=0$.
The $j -th$ entry in $UX$ is therefore
$$= mu(a_1+a_2+...+a_n)=0.$$
add a comment |
up vote
3
down vote
accepted
up vote
3
down vote
accepted
It should be clear that the first entry in $UX$ is given by
$( frac{1}{sqrt{n}}, ldots frac{1}{sqrt{n}} ) cdot(mu, ... mu)^{T}= sqrt{n} mu$.
Now suppose that the $j -th$ row of $U$ has the form $(a_1,a_2,...,a_n)$. Since $U$ is orthonormal we have
$0=(a_1,a_2,...,a_n) cdot ( frac{1}{sqrt{n}}, ldots frac{1}{sqrt{n}} )^T =frac{1}{sqrt{n}}(a_1+a_2+...+a_n)$, thus $a_1+a_2+...+a_n=0$.
The $j -th$ entry in $UX$ is therefore
$$= mu(a_1+a_2+...+a_n)=0.$$
It should be clear that the first entry in $UX$ is given by
$( frac{1}{sqrt{n}}, ldots frac{1}{sqrt{n}} ) cdot(mu, ... mu)^{T}= sqrt{n} mu$.
Now suppose that the $j -th$ row of $U$ has the form $(a_1,a_2,...,a_n)$. Since $U$ is orthonormal we have
$0=(a_1,a_2,...,a_n) cdot ( frac{1}{sqrt{n}}, ldots frac{1}{sqrt{n}} )^T =frac{1}{sqrt{n}}(a_1+a_2+...+a_n)$, thus $a_1+a_2+...+a_n=0$.
The $j -th$ entry in $UX$ is therefore
$$= mu(a_1+a_2+...+a_n)=0.$$
edited Nov 21 at 12:26
answered Nov 21 at 12:00
Fred
42.4k1642
42.4k1642
add a comment |
add a comment |
up vote
3
down vote
Let me give an alternative to @Fred's answer, or at least a more geometric version, based on three observations:
The rows $u_1, u_2, ldots u_n$ of $U$ are orthonormal vectors, i.e., each has length $1$, and they are all perpendicular, i.e., $u_i cdot u_j = 0$ if $i ne j$, and $u_i cdot u_j = 1$ if $i = j$.
The product $UX$ consists of the dot product $u_i cdot X$ of each row with the vector $X$.
The vector $X$ is a scalar multiple $c u_1$ of the first row, with the scalar being $c = sqrt{n} mu$.
So what's the dot product of the first row with $X$? It's just $c u_1 cdot u_1 = c $.
What about the dot product $u_i cdot X$ for any $i ne 1$? Well, because $X$ is parallel to $u_1$, but $u_1$ is perpendicular to all the other $u_i$, we must have $u_i cdot X = 0$.
add a comment |
up vote
3
down vote
Let me give an alternative to @Fred's answer, or at least a more geometric version, based on three observations:
The rows $u_1, u_2, ldots u_n$ of $U$ are orthonormal vectors, i.e., each has length $1$, and they are all perpendicular, i.e., $u_i cdot u_j = 0$ if $i ne j$, and $u_i cdot u_j = 1$ if $i = j$.
The product $UX$ consists of the dot product $u_i cdot X$ of each row with the vector $X$.
The vector $X$ is a scalar multiple $c u_1$ of the first row, with the scalar being $c = sqrt{n} mu$.
So what's the dot product of the first row with $X$? It's just $c u_1 cdot u_1 = c $.
What about the dot product $u_i cdot X$ for any $i ne 1$? Well, because $X$ is parallel to $u_1$, but $u_1$ is perpendicular to all the other $u_i$, we must have $u_i cdot X = 0$.
add a comment |
up vote
3
down vote
up vote
3
down vote
Let me give an alternative to @Fred's answer, or at least a more geometric version, based on three observations:
The rows $u_1, u_2, ldots u_n$ of $U$ are orthonormal vectors, i.e., each has length $1$, and they are all perpendicular, i.e., $u_i cdot u_j = 0$ if $i ne j$, and $u_i cdot u_j = 1$ if $i = j$.
The product $UX$ consists of the dot product $u_i cdot X$ of each row with the vector $X$.
The vector $X$ is a scalar multiple $c u_1$ of the first row, with the scalar being $c = sqrt{n} mu$.
So what's the dot product of the first row with $X$? It's just $c u_1 cdot u_1 = c $.
What about the dot product $u_i cdot X$ for any $i ne 1$? Well, because $X$ is parallel to $u_1$, but $u_1$ is perpendicular to all the other $u_i$, we must have $u_i cdot X = 0$.
Let me give an alternative to @Fred's answer, or at least a more geometric version, based on three observations:
The rows $u_1, u_2, ldots u_n$ of $U$ are orthonormal vectors, i.e., each has length $1$, and they are all perpendicular, i.e., $u_i cdot u_j = 0$ if $i ne j$, and $u_i cdot u_j = 1$ if $i = j$.
The product $UX$ consists of the dot product $u_i cdot X$ of each row with the vector $X$.
The vector $X$ is a scalar multiple $c u_1$ of the first row, with the scalar being $c = sqrt{n} mu$.
So what's the dot product of the first row with $X$? It's just $c u_1 cdot u_1 = c $.
What about the dot product $u_i cdot X$ for any $i ne 1$? Well, because $X$ is parallel to $u_1$, but $u_1$ is perpendicular to all the other $u_i$, we must have $u_i cdot X = 0$.
answered Nov 21 at 12:32
John Hughes
61.6k24089
61.6k24089
add a comment |
add a comment |
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%2f3007611%2fthe-shape-of-an-orthonormal-matrix%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