MHB Antisymmetry Invariant Under Similarity Orthogonal Transforms

ognik
Messages
626
Reaction score
2
Hi - the text is very brief on similarity transforms and wiki etc. a bit beyond where I am. In fact I think I am muddling a few things up, so I have a few questions around this topic please:
1) I'd appreciate a 'beginners' explanation of similarity transforms, what they really are and what they are most useful for?
2) Are all similarity transforms not orthogonal?
3) I think that an antisymetric matrix cannot be orthogonal, but I get the impression they are related by more than the '-' sign?
4) Finally an exercise where I'd appreciate a starter tip - if not already included in the answers above:"Show that the property of antisymetry is invariant under orthogonal similarity transformations" . All help much appreciated :-)
 
Physics news on Phys.org
ognik said:
Hi - the text is very brief on similarity transforms and wiki etc. a bit beyond where I am. In fact I think I am muddling a few things up, so I have a few questions around this topic please:
1) I'd appreciate a 'beginners' explanation of similarity transforms, what they really are and what they are most useful for?
2) Are all similarity transforms not orthogonal?
3) I think that an antisymetric matrix cannot be orthogonal, but I get the impression they are related by more than the '-' sign?
4) Finally an exercise where I'd appreciate a starter tip - if not already included in the answers above:"Show that the property of antisymetry is invariant under orthogonal similarity transformations" . All help much appreciated :-)

Hey ognik!

1) A similarity transformation of a matrix A, is where you first apply some matrix to A and afterwards "undo" the effect of that matrix by applying its inverse.
A different name for it is conjugation.

It's one of the basic principles to solve many puzzles.
Take for instance Rubik's cube.
A conjugate move is one of the form $XYX^{-1}$. It is also called a "setup move".
That is, $X^{-1}$ is the setup for a move $Y$. Afterwards the setup move is reversed, leaving only the effect of $Y$ that has been tweaked a bit.

Two matrices are called similar if there is a similarity transformation that transforms the one into the other.
And here's where to power of similarity manifests: most properties of those similar matrices are identical.
For instance, they have the same determinant, the same eigenvalues, the same trace, and so on.2) A similarity transform is typically not orthogonal - it's not even a matrix transform. It's a transformation that consists of 2 matrices: one that is applied before, and its inverse that is applied after.

Of course a similarity transform can be built from an orthogonal matrix.3) Pick $$(^{0\ -1}_{1\ \phantom{-}0})$$.
Is it antisymmetric? Is it orthogonal?4) Suppose A is antisymmetric and B is orthogonal. Then $BAB^{-1}$ is such a similarity transformation.
In index notation it is:
$$(bab^{-1})_{ij} = \sum_{k,l} b_{ik}a_{kl}b^{-1}_{lj}$$
Can you prove that it is equal to:
$$-(bab^{-1})_{ji}$$
? (Wondering)
 
Great, thanks!
1) Very clear. Do you perhaps have a link to an example where a matrix has been tweaked (usefully), so I can sit and contemplate it a bit?
2) Thanks, clear.
3) OK, I had read the problem as A being both antisymetric AND Orthogonal, that 'de-confuses' both 3) and 4) thanks.
Regards
 
##\textbf{Exercise 10}:## I came across the following solution online: Questions: 1. When the author states in "that ring (not sure if he is referring to ##R## or ##R/\mathfrak{p}##, but I am guessing the later) ##x_n x_{n+1}=0## for all odd $n$ and ##x_{n+1}## is invertible, so that ##x_n=0##" 2. How does ##x_nx_{n+1}=0## implies that ##x_{n+1}## is invertible and ##x_n=0##. I mean if the quotient ring ##R/\mathfrak{p}## is an integral domain, and ##x_{n+1}## is invertible then...
The following are taken from the two sources, 1) from this online page and the book An Introduction to Module Theory by: Ibrahim Assem, Flavio U. Coelho. In the Abelian Categories chapter in the module theory text on page 157, right after presenting IV.2.21 Definition, the authors states "Image and coimage may or may not exist, but if they do, then they are unique up to isomorphism (because so are kernels and cokernels). Also in the reference url page above, the authors present two...
I asked online questions about Proposition 2.1.1: The answer I got is the following: I have some questions about the answer I got. When the person answering says: ##1.## Is the map ##\mathfrak{q}\mapsto \mathfrak{q} A _\mathfrak{p}## from ##A\setminus \mathfrak{p}\to A_\mathfrak{p}##? But I don't understand what the author meant for the rest of the sentence in mathematical notation: ##2.## In the next statement where the author says: How is ##A\to...
Back
Top