identity matrix dirac notation