# The Unapologetic Mathematician

## Nondegenerate Forms II

Okay, we know what a nondegenerate form is, but what does this mean for the transformation that represents the form?

Remember that the form represented by the transformation $B$ is nondegenerate if for every nonzero ket vector $\lvert v\rangle$ there is some bra vector $\langle w\rvert$ so that $\langle w\rvert B\lvert v\rangle\neq0$. But before we go looking for such a bra vector, the transformation $B$ has turned the ket vector $\lvert v\rangle$ into a new ket vector $B\lvert v\rangle=\lvert B(v)\rangle$. If we find that $B(v)=0$, then there can be no suitable vector $w$ with which to pair it. So, at the very least, we must have $B(v)\neq0$ for every $v\neq0$. That is, the kernel of $B$ is trivial. Since $B$ is a transformation from the vector space $V$ to itself, the rank-nullity theorem tells us that the image of $B$ is all of $V$. That is, $B$ must be an invertible transformation.

On the other hand, if $B$ is invertible, then every nonzero ket vector $\lvert v\rangle$ becomes another nonzero ket vector $\lvert w\rangle=B\lvert v\rangle$. Then we find that

$\displaystyle\langle w\rvert B\lvert v\rangle=\langle w\vert w\rangle>0$

where this last inequality holds because the bra-ket pairing is an inner product, and is thus positive-definite. Indeed, a positive-definite (or negative-definite) form must be nondegenerate. Thus it is sufficient for $B$ to be invertible.

Incidentally, this approach gives us a good way of constructing a lot of positive-definite transformations. Given an invertible transformation $B$, we expand

$\displaystyle\langle w\vert w\rangle=\langle v\rvert B^*B\lvert v\rangle$

Since the form defined by the bra-ket pairing is invertible, so is the form defined by $B^*B$. And this is a sensible concept, since $B^*B$ is self-adjoint. Indeed, we take its adjoint to find

$\displaystyle\left(B^*B\right)^*=B^*\left(B^*\right)^*=B^*B$

This extends our analogy with the complex numbers. An invertible transformation composed with its adjoint is a self-adjoint, positive-definite transformation, just as a nonzero complex number multiplied by its conjugate is a real, positive number.

Posted by John Armstrong | Algebra, Linear Algebra | 2 Comments

## About this weblog

This is mainly an expository blath, with occasional high-level excursions, humorous observations, rants, and musings. The main-line exposition should be accessible to the “Generally Interested Lay Audience”, as long as you trace the links back towards the basics. Check the sidebar for specific topics (under “Categories”).

I’m in the process of tweaking some aspects of the site to make it easier to refer back to older topics, so try to make the best of it for now.
{"extraction_info": {"found_math": true, "script_math_tex": 0, "script_math_asciimath": 0, "math_annotations": 0, "math_alttext": 0, "mathml": 0, "mathjax_tag": 0, "mathjax_inline_tex": 0, "mathjax_display_tex": 0, "mathjax_asciimath": 0, "img_math": 0, "codecogs_latex": 0, "wp_latex": 27, "mimetex.cgi": 0, "/images/math/codecogs": 0, "mathtex.cgi": 0}, "config": {"markdown_headings": true, "markdown_code": true, "boilerplate_config": {"ratio_threshold": 0.18, "absolute_threshold": 10, "end_threshold": 15, "enable": true}, "remove_buttons": true, "remove_image_figures": true, "remove_link_clusters": true, "table_config": {"min_rows": 2, "min_cols": 3, "format": "github"}, "remove_chinese": true, "remove_edit_buttons": true, "extract_latex": true}, "english_confidence": 0.923166036605835, "perplexity_flag": "head"}