Good day, i am wondering how to reach the defintion of hermetian adjoint in dirac notation starting from the mathematical canon:
$ <Ax,y> = <x,Ay> $ we denote with the braket then
$ <v \vert v' > = \phi_v (v') $ with
$\phi_v (v') = <v,v'> $
How to reach $(A \vert x > )^* = (\vert x > A^*)$ (source sakurai)