Want to take part in these discussions? Sign in if you have an account, or apply for one below
Vanilla 1.1.10 is a product of Lussumo. More Information: Documentation, Community Support.
To make sense of this in my mind as a general concept, I have written semidefinite element. This gives a general context in which to define ‘positive definite’, ‘negative semidefinite’, ‘indefinite’ etc.
(This seems the safest page title, as the least likely to have any conflicts. I've also put in a lot of redirects, but possibly some of these will have to go elsewhere; definite seems the most dangerous.)
Neat. It’s not quite clear to me how you’re getting the case of bilinear forms: are you regarding them as function sets as in the paragraph two above?
No, and the definitions aren't spelt out on semidefinite element, since they're spelt out at inner product space, so I just referenced that.
I don’t understand. The page inner product space defines words like “semidefinite” directly. But the page semidefinite element defines those same words in terms of a structure . What I seek is a definition of the structure that causes the definitions of “semidefinite” etc. given at semidefinite element to coincide with those given at inner product space.
Symmetric bilinear forms (or more generally conjugate-symmetric sesquilinear forms) form an abelian group under addition (this much treats them as forming [a subset of] a function set), so if you know what ‘semidefinite’ and ‘nonsingular’ (aka ‘nondegenerate’) mean, then you know what , , and are. Perhaps I should spell that out more.
ETA: That is the reason for the comment ‘The obvious additive group structure is compatible (which explains what , , and mean)’.
I made a mistake in #1, saying that indefinite was the most dangerous redirect; I forgot that I had been so bold as to include definite! (I now fixed #1.)
Spelling it out would help me.
1 to 7 of 7