Miscellaneous questions on operators

  • Thread starter Thread starter spaghetti3451
  • Start date Start date
  • Tags Tags
    Operators
spaghetti3451
Messages
1,311
Reaction score
31
Hey guys, I am wondering if the following relationships hold for all operators A, regardless of whether they are linear or non-linear.

A-1A = AA-1 = I

[A,B] = AB - BA

A|an> = λn|an>, where n ranges from 1 to N, and N is the dimension of the vector space which has an orthogonal basis |an>.

Just one other question. Which is the more general definition of the adjoint (hermitian conjugate) A† of an operator A: (v, Au) = (A†v, u) or A† = (A*)T?

I think it's the first one. The second one is a special case of the first which is valid if the vectors v and u are matrices. Your thoughts?

Let's see if you can make a dumbass like me learn some maths!
 
Physics news on Phys.org
The first is def'n of inverse, which doesn't always exist.

The second is definition of commutator over the ring of operators.

The third is definition of eigenvalue and eigenfunction, and an assumption that there is a finite eigenbasis of the space. Note it is possible for some of the eigenvalues to be identical.

The fourth, your first expression is def'n of adjoint (the other of a mirrored pair, mirrored to other side of the inner product). But to say it's the transpose, you have to clarify the def'n of transpose. If A is a matrix, you're probably fine. If it's not, and say for example it's the derivative operator, then what do you mean by transpose. Also, if you're space is not flat, in other words, if there is some nontrivial metric, then the adjoint may get more complicated. See for example

wikipedia.org/wiki/Transpose#Transpose_of_linear_maps

and the issue of a metric tensor.

A course in Functional Analysis would treat most of this quantum mechanical material with some rigor.
 
##\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...
When decomposing a representation ##\rho## of a finite group ##G## into irreducible representations, we can find the number of times the representation contains a particular irrep ##\rho_0## through the character inner product $$ \langle \chi, \chi_0\rangle = \frac{1}{|G|} \sum_{g\in G} \chi(g) \chi_0(g)^*$$ where ##\chi## and ##\chi_0## are the characters of ##\rho## and ##\rho_0##, respectively. Since all group elements in the same conjugacy class have the same characters, this may be...
Back
Top