Partial order and topology of Hermitian matrices and quantum Choquet integrals for density matrices with given expectation values

The set M of $d\times d$ Hermitian matrices (observables) is studied as a partially ordered set with the Löwner partial order. Upper and lower sets in it, define the concept of cumulativeness (used mainly with scalar quantities) in the context of Hermitian matrices. Partial order and topology are intimately related to each other and the set M of Hermitian matrices is also studied as a topological space, where open and closed sets are the upper and lower sets. It is shown that the set M of Hermitian matrices is a $T_0$ topological space, and its subset $D$ of density matrices is Hausdorff totally disconnected topological space. These ideas are a prerequisite for studying quantum Choquet integrals with Hermitian matrices (as opposed to classical Choquet integrals with scalar quantities). Capacities (non-additive probabilities), cumulative quantities that involve Hermitian matrices, and Möbius transforms that remove the overlaps between non-commuting observables, are used in quantum Choquet integrals. An application of the formalism is to find a density matrix, with given expectation values with respect to n (non-commuting) observables. Examples of calculations of such a density matrix (with quantified errors in its expectation values), are presented.