MathOverflow is a question and answer site for professional mathematicians. Join them; it only takes a minute:

Sign up
Here's how it works:
  1. Anybody can ask a question
  2. Anybody can answer
  3. The best answers are voted up and rise to the top

This is also the space of real, symmetric bilinear forms in $\Bbb R^n$.

share|cite|improve this question
The bilinear form should still be positive definite. – S. Carnahan Oct 12 '09 at 2:54
Better in what sense? – Felix Goldberg May 25 '12 at 19:23
up vote 9 down vote accepted

Two possible answers:

  • Standard jargon is SPD (for "symmetric positive-definite").

  • This isn't exactly a "name," but the n x n symmetric positive-definite matrices are exactly those matrices A such that the bilinear function (x, y) -> yTAx defines an inner product on Rn. Conversely, every bilinear function is of that form for some A, so with some abuse of terminology, you could equate the set of those matrices with the set of inner products on Rn.

There are many other ways to characterize SPD matrices, but that's the only one I can think of at the moment that can be summarized as a single noun phrase.

share|cite|improve this answer

Note that this space is not a vector space, but is a convex cone in the vector space of nxn matrices (it is closed under addition and multiplication by positive scalars). Hence people sometimes refer to the "positive semidefinite cone".

share|cite|improve this answer
Yes, I was going to post that as well. – Ilya Nikokoshev Oct 23 '09 at 19:18

This is the symmetric space of GL_n(R)

share|cite|improve this answer

How about $M_n(\mathbb{R})^+$? I have seen $S^+$ or $S_+$ used to denote the set of positive linear transformations in a set $S$ of linear transformations on an inner product space, but this was in the context of operator algebras.

share|cite|improve this answer
And in words, "the positive part of $M_n({\bf R})$". – Nik Weaver Jul 7 '13 at 3:16
There is no standard symbol for it, so, whatever the OP decides to use, they'd better define it in their paper. – Federico Poloni Jul 7 '13 at 7:20

For starters, since they're real I'd say symmetric instead of self-adjoint.

share|cite|improve this answer

It is often usefull to know that this set can be identified with the set of non-singulat covariance matrices of random vectors with values in $\mathbb(R)^n$.

share|cite|improve this answer

Your Answer


By posting your answer, you agree to the privacy policy and terms of service.

Not the answer you're looking for? Browse other questions tagged or ask your own question.