Edwards' Theorem and matrix-valued functions

We extend several notions such as semi-continuity and Jensen measures for matrix-valued functions. For that purpose, we introduce F-order on noncommutative matrix spaces. Afterward, we generalize the Edwards' Theorem for a noncommutative matrix space by exploiting properties of F-order given on the matrix space which we consider.