Operator means, shorted operators, etc. General theory of linear operators mathematics