positive invertible operators ; complex Hilbert space ; notations ; weighted operator arithmetic mean