We comment on domain conditions that regulate when the adjoint of the sum or product of two unbounded operators is the sum or product of their adjoints, and related closure issues. The quantum mechanical problem PHP essentially selfadjoint for unbounded Hamiltonians is addressed, with new results.

We generalize Löwner's method for proving that matrix monotone functions are operator monotone. The relation $x\leq y$ on bounded operators is our model for a definition of $C^{*}$-relations being residually finite dimensional. Our main result is a meta-theorem about theorems involving relations on bounded operators. If we can show there are residually finite dimensional relations involved and verify a technical condition, then such a theorem will follow from its restriction to matrices. Applications are shown regarding norms of exponentials, the norms of commutators, and "positive" noncommutative $*$-polynomials.

We prove, under some conditions on the domains, that the adjoint of the sum of two unbounded operators is the sum of their adjoints in both Hilbert and Banach space settings. A similar result about the closure of operators is also proved. Some interesting consequences and examples "spice up" the paper.