6
$\begingroup$

Is the statement true?

There is a $3\times 3 $ real orthogonal matrix with all non zero entries.

for orthogonality, $AA^T=A^TA=I_3$, please give me hint

$\endgroup$
  • 7
    $\begingroup$ Consider ${1\over 3}\left[\matrix{1&-2&2\cr 2&-1&-2\cr 2&2&1}\right]$. Or, consider appropriate rotations of the standard unit vectors in $\Bbb R^3$. Or, take two orthonormal vectors in a plane that is not perpendicular to any coordinate axis and extend to an orthonormal basis of $\Bbb R^3$. $\endgroup$ – David Mitra Jan 15 '13 at 17:47
12
$\begingroup$

Gordon Pall found all rational orthogonal matrices, 3 by 3, in 1940, see PALL_PDF

Given an odd number $$ n = a^2 + b^2 + c^2 + d^2,$$ the matrix $$ \frac{1}{n} \begin{pmatrix} a^2 + b^2 - c^2 - d^2 & 2(-ad+bc) & 2(ac+bd) \\ 2(ad+bc) & a^2 - b^2 + c^2 - d^2 & 2(-ab+cd) \\ 2(-ac+bd) & 2(ab+cd) & a^2 - b^2 - c^2 + d^2 \end{pmatrix}$$ is orthogonal, and all rational orthogonal matrices can be written in this manner. This is formula (10) on page 755 of Pall's article, the second page of the pdf.

Right, so you want no zeroes in the matrix. Take, for example, $d=0,$ and nonzero $a,b,c$ which do not make a Pythagorean triple in any order. It would be enough to just add on the condition $c^2 \geq 1 + a^2 + b^2.$

$\endgroup$
  • $\begingroup$ The link you mention in your answer is not working! $\endgroup$ – Chinnapparaj R Feb 8 at 8:59
  • $\begingroup$ @ChinnapparajR try it now $\endgroup$ – Will Jagy Feb 8 at 17:24
  • $\begingroup$ Yea! now its ok! Thanks $\endgroup$ – Chinnapparaj R Feb 9 at 1:12
5
$\begingroup$

Of course there is. Choose one vector with nonzero entries, say $(1,1,1)$, choose another one that is orthogonal to it, and that none of the three $2\times2$ minors they define vanishes, say $(1,2,-3)$. Now take their cross product to find a third vector orthogonal to the first two, and which has no zero entries by assumption; in this case it is $(-5,4,1)$. Now normalise everything (divide by square roots of $3,14,42$, respectively) and put the results as the columns of you matrix $A$.

$\endgroup$
  • 1
    $\begingroup$ At first sight i was wondering why do we have to choose second vector such that none of the three minors they define vanishes... Then i realized while computing third column that if some minor is zero then corresponding entry in cross product is zero... This is a wonderful answer.. I would have accepted this answer.. Very natural.. $\endgroup$ – user87543 Feb 10 '16 at 14:44
  • $\begingroup$ sir can you refer my post here: math.stackexchange.com/questions/2310798/… $\endgroup$ – Ekaveera Kumar Sharma Jun 5 '17 at 15:06
3
$\begingroup$

Almost all unit vectors have a non-zero entry. Almost anything that you try should work. For example, if $A=(a, b, c)$ is a vector of length 1 with $a\neq -1$, you can verify that

$$ \begin{pmatrix} a & b & c \\ b & \frac {b^2-a-1}{a+1} & \frac {bc}{a+1} \\ c & \frac {bc}{a+1} & \frac {c^2-a-1}{a+1} \end{pmatrix}$$

describes an orthonormal set. This is the reflection of all the standard unit vectors across the line $e_1 +A$.

$\endgroup$
  • $\begingroup$ I do not understand what does it mean to say reflection of standard unit vectors across the line $e_1+A$.. What line are we talking about? $\endgroup$ – user87543 Feb 10 '16 at 14:39
  • $\begingroup$ @PraphullaKoushik The line consisting of vectors of the form $k ( e_1 + A) $ for some constant $k$. $\endgroup$ – Calvin Lin Mar 31 '16 at 16:00

Your Answer

By clicking “Post Your Answer”, you agree to our terms of service, privacy policy and cookie policy

Not the answer you're looking for? Browse other questions tagged or ask your own question.