12
$\begingroup$

Mathematicians pride themselves on writing proofs of propositions in an elegant way, but frequently (maybe even usually?) neglect to formally write motivations of definitions with the same elegance, efficiency, and sometimes beauty, and neglect to assign exercises in which the student is challenged to prove that a definition is the only (sometimes up to some logically equivalent formulations) one that satisfies some desiderata. Often a textbook will just say dogmatically "A left and right conjugate sub-hypopotamus is a thing that blah blah blah${}\,\ldots$" As I have remarked elsewhere in this forum, it is usually considered licit to define the concept of "group" by saying a group is a set with a binary operation satisfying etc. etc. etc. and then go on to prove a zillion theorems in group theory, rather than showing at the outset how the concept developed from a variety of concrete examples involving transformations in geometry, bijections, matrices, etc.

Definition: The inner product $\langle u,v\rangle$ of two vectors $u=(u_1,\ldots,u_n), v=(v_1,\ldots,v_n) \in\mathbb C^n$ is $$ \sum_{k=1}^n u_k \overline{{}\,v\,{}}_k $$ where $\overline{a}$ is the complex conjugate of $a\in\mathbb C$.

A friend once asked me why one takes conjugates. And perhaps why only of the components of the second vector and not the first.

My answer was that it makes $\|u\|^2$ in every case positive (except when $u=0$) and makes the Pythagorean theorem work on neatly so that some basic Euclidean geometry can be applied in these spaces. His reaction included a certain amount of indignation about not having been told that by textbooks and instructors. Perhaps this bears the same relation to a good publication-worthy answer that a vague handwaving argument does to a proper proof.

So, suppose that our customs in regard to writing motivations of definitions were like those of our customs in regard to writing proofs. We want them to be complete, correct, informative, satisfying to reasonable demands for justification, elegant, beautiful, comprehensible to the intended audience, and as simple as possible subject to the foregoing constraints. Particularly clever motivations would be published in things like the Monthly in the same way that novel or unusually nice new proofs of old theorems are now published. A particularly brilliant motivation for a new definition might be the whole of the topic of a paper in a research journal, maybe in rare cases winning a Fields medal.

So, how would one write a good publication-worthy motivation for the definition above in accordance with the standards outlined in the foregoing paragraph?

$\endgroup$
  • 1
    $\begingroup$ To your first point, mathmaticians are bad at describing motivation in a rigorous way because the ideas are usually conceived of in an intuitive way. $\endgroup$ – Zach466920 Apr 28 '15 at 19:06
  • 1
    $\begingroup$ Because perhaps you have more or less answered it yourself in the question. $\endgroup$ – user13987 May 1 '15 at 0:32
  • 1
    $\begingroup$ But it is really true what you say. I had a professor in analysis who always spent a lot of time on the definitions, trying to make the students come up with why the definition is as it is, and it really helps a lot in the understanding. $\endgroup$ – user13987 May 1 '15 at 0:40
  • 1
    $\begingroup$ Tried drafting an answer as an exercise, but kept feeling that the rationales for a deep, elegant definition are the number of proofs the definition simplifies and the number of seemingly-unrelated ideas it unifies. Trying to justify Hermitian metrics a priori was like gathering and weaving disparate elements toward a culmination that could only appear magical. The image of a fighter jet came to mind: Appearing from nowhere, leaving behind a cone of consequences. (Except instead of destruction, a good definition distributes magic sparkles that illuminate darkness and clarify complexity. :) $\endgroup$ – Andrew D. Hwang May 1 '15 at 13:05
  • 1
    $\begingroup$ Which is to say: For me, the "Pythagorean Theorem" observation in the question body is definitive. The squared magnitude of $z = x + iy$ is $$ \|z\|^{2} = \sum_{k=1}^{n} (x_{k}^{2} + y_{k}^{2}) = \sum_{k=1}^{n} |z_{k}|^{2} = \sum_{k=1}^{n} z_{k}\bar{z}_{k} = \langle z, \bar{z}\rangle, $$ the Euclidean inner product of $z$ with $\bar{z}$. It's therefore reasonably natural to consider $\langle z, \bar{w}\rangle$. Then one discovers an embarrassment of riches (as aes has so ably described).... $\endgroup$ – Andrew D. Hwang May 1 '15 at 13:12
7
+50
$\begingroup$

Hermitian metrics and real-valued metrics

The notion of a Hermitian metric arises naturally if one considers a complex vector space as its underlying real vector space with extra structure, and asks what the notion of a metric which "plays nicely" with that extra structure should be.

Complex vector spaces

Consider $V$ a complex vector space, i.e. it has a scalar multiplication $\mathbb{C} \times V \rightarrow V$ and satisfies the vector space properties. Then $V$ is also a real vector space (of twice the dimension, if it is finite dimensional) using the restriction of scalar multiplication $\mathbb{R} \times V \rightarrow V$.

The extra structure that $V$ has as a complex vector space is simply multiplication by $i$. That is, considering $V$ as a real vector space, we have a map $J : V \rightarrow V$ given by scalar multiplication by $i$. This map is linear and has $J^2 = -I$. (From this we can recover the structure of a complex vector space for $V$ as now we know how to scalar multiply by $a+bi$ by using the linear map $aI + bJ$.)

Introducing a real-valued metric

Now let's introduce a real-valued metric on $V$, which is a symmetric, positive-definite bilinear form $g: V \times V \rightarrow \mathbb{R}$ which is $\mathbb{R}$-linear.

How should $g$ interact with the extra structure of multiplication by $i$, which we've denoted $J : V \rightarrow V$?

The natural choice is to require $J$ to be an isometry with respect to $g$. That is, $g(Jv,Jw) = g(v,w)$. Why is this the natural choice?

  1. Multiplication by $i$ on the complex plane with the usual metric is rotation counterclockwise by $90^\circ$, an isometry.

  2. If we consider $\mathbb{C}^n$ as $\mathbb{R}^{2n}$ and put the standard metric on $\mathbb{R}^{2n}$ then multiplication by $i$ is an isometry: it's rotation by $90^\circ$ on each of the complex coordinate axes.

  3. With $J^2 = -I$, which is an isometry, requiring $J$ to be an isometry as well is a fairly natural choice for how $J$ and $g$ should interact.

  4. It ends up working out quite nicely algebraically.

Consequences

Now we have $V$ a real vector space with the extra structure of multiplication by $i$, denote $J: V \rightarrow V$, and with a metric $g$, satisfying $g(Jv,Jw) = g(v,w)$.

Claim: $g(v,Jv) = 0$.

Proof: $g(v,Jv) = g(Jv,J^2v) = g(Jv,-v) = g(-v,Jv) = -g(v,Jv)$, so it must be zero.

A symplectic form for free

Define a bilinear form $\omega: V \times V \rightarrow \mathbb{R}$ via $\omega(v,w) = g(v,Jw)$.

Then $\omega(v,v) = 0$, so $\omega$ is alternating. It's also non-degenerate, because $g$ is and $J$ is invertible. Therefore it's a symplectic form (an alternating non-degenerate bilinear form on $V$).

The Hermitian form

A Hermitian form is a different sort of object than $g$ or $\omega$: it's a real-bilinear form valued in $\mathbb{C}$, i.e. a bilinear map $V \times V \rightarrow \mathbb{C}$, which moreover is non-degenerate, satisfies $h(\lambda v,w) = \lambda h(v,w)$ and $h(v,\lambda w) = \overline{\lambda} h(v,w)$, and satisfies $h(v,w) = \overline{h(w,v)}$.

Let $h = g + i \omega$. Notice that we built this entirely out of $g$, with $h(v,w) = g(v,w) + i g(v,Jw)$. I claim this is a Hermitian metric.

Testing scalar multiplication in the first factor:

$h(av,w) = g(av,w) + i g(av,Jw) = a(g(v,w) + i g(v,Jw)) = a\, h(v,w)$.

And $h((bi)v,w) = g(bJv,w) + i g(bJv,Jw) = g(-bv,Jw) + i g(bv,w) = (bi)(g(v,w) + i g(v,w)) = (bi) h(v,w)$.

So $h(\lambda v,w) = \lambda h(v,w)$ for $\lambda \in \mathbb{C}$.

Testing scalar multiplication in the second factor:

$h(v,aw) = g(v,aw) + i g(v,aJw) = a(g(v,w) + i g(v,Jw)) = a\, h(v,w)$.

And $h(v,(bi)w) = g(v,bJw) + i g(v,bJ^2w) = b( g(v,Jw) - i g(v,w)) = (-bi)(g(v,w) + i g(v,w)) = (-bi) h(v,w)$.

So $h(v,\lambda w) = \overline{\lambda} h(v,w)$ for $\lambda \in \mathbb{C}$.

One also has:

$h(w,v) = g(w,v) + i \omega(w,v) = g(v,w) - i \omega(v,w) = \overline{h(v,w)}$.

Therefore:

$h$ is a Hermitian form. In fact, every Hermitian form arises in this way:

Going back

Starting with a Hermitian form $h$, let $g = \mathfrak{Re}(h)$ and $\omega = \mathfrak{Im}(h)$. Then you can check that $g$ is a real metric and $\omega$ is a symplectic form and equals $g(v,Jw)$.

In coordinates

Consider $\mathbb{C}^n$ with underlying real vector space $\mathbb{R}^{2n}$ with the standard real-valued metric on $\mathbb{R}^{2n}$. As noted above, multiplication by $i$ is an isometry for this metric.

Write $\mathbb{R}^{2n} = \mathbb{R}^n \oplus \mathbb{R}^n$, with multiplication by $i$ an isomorphism from the first factor to the second. Write $(v_j)_{j=1}^n$ for the standard basis for the first factor and $(Jv_j)_{j=1}^n$ for the corresponding standard basis for the second factor.

Then (using Einstein summation notation):

$h(a_jv_j + b_jJv_j, c_k v_k + d_k J v_k)$ is equal to

$g(a_jv_j + b_jJv_j, c_k v_k + d_k J v_k) + i g(a_jv_j + b_jJv_j, c_k Jv_k - d_k v_k)$

which equals

$a_j c_j + b_j d_j + i(- a_j d_j + b_j c_j)$

which equals

$(a_j + i b_j)(c_j - i d_j)$

This is the standard Hermitian form $\left<z,w\right> = z_j \overline{w}_j$

An alternate convention

An alternative convention is to define $\omega(v,w) = g(Jv,w)$. This leads to a variant in which $g+i\omega$ is conjugate-linear in the first factor and linear in the second. That is, the standard form you'd get on $\mathbb{C}^n$ would be $\left<z,w\right> = \overline{z}_j w_j$.


I make no claims that the above is "What is a $\ldots$ Hermitian metric?" quality.

Hermitian metrics are one place that typical undergraduate curricula gloss over. In my experience, one tends not to learn the above until studying complex manifolds or complex algebraic geometry.

$\endgroup$
3
$\begingroup$

Let us denote the canonical real inner product by $\langle v,w\rangle_{\mathbb{R}}$, where $v,w\in\mathbb{R}^n$.

If we want to define a complex inner product in $\mathbb{C}^n$, $\langle v,w\rangle_{\mathbb{C}}$, since $\mathbb{C}^n\supset\mathbb{R}^n$, we can think that this complex inner product is an extension of the real inner product. So if $v,w\in\mathbb{R}^n$ then $\langle v,w\rangle_{\mathbb{C}}=\langle v,w\rangle_{\mathbb{R}}$.

Now, we should also ask that $\langle v,v\rangle_{\mathbb{C}}\geq 0$, because we want to define the norm of $v$ as $\|v\|=\sqrt{\langle v,v\rangle_{\mathbb{C}}}$.

Thus, we want two properties for $\langle v,w\rangle_{\mathbb{C}}$:

  1. $\langle v,w\rangle_{\mathbb{C}}=\langle v,w\rangle_{\mathbb{R}}$, if $v,w\in\mathbb{R}^n$.
  2. $\langle v,v\rangle_{\mathbb{C}}\geq 0$, because we want to define $\|v\|$ such that $\|v\|^2=\langle v,v\rangle_{\mathbb{C}}$.

Now, let us consider $n=1$.

If $a,b\in\mathbb{R}^1$ then $\langle a,b\rangle_{\mathbb{C}}=\langle a,b\rangle_{\mathbb{R}}=ab$

If $a\in\mathbb{C}^1$ then $\langle a,a\rangle_{\mathbb{C}}$ must be the square of a norm. But $\mathbb{C}^1$ has a canonical norm, since we are trying to extend our definitions, let us use this canonical norm. So $\langle a,a\rangle_{\mathbb{C}}=|a|^2=a\overline{a}$.

Thus, we obtained these two properties:

  1. $\langle a,b\rangle_{\mathbb{C}}=ab$, if $a,b\in\mathbb{R}$.
  2. $\langle a,a\rangle_{\mathbb{C}}=a\overline{a}$.

So how should be defined $\langle a,b\rangle_{\mathbb{C}}$ for $a,b\in\mathbb{C}^1$? Ans: $\langle a,b\rangle_{\mathbb{C}}=a\overline{b}$.

By analogy in $\mathbb{C}^n$, the inner product shoul be $\langle(a_1,\ldots,a_n),(b_1,\ldots,b_n)\rangle=\sum_{i=1}^na_i\overline{b_i}$ (Here we could also say that if $(V,\langle\cdot,\cdot\rangle_1)$ and $(W,\langle\cdot,\cdot\rangle_2)$ are inner product spaces then $V\times W$ is a inner product space with this inner product $\langle(v_1,w_1),(v_2,w_2)\rangle=\langle v_1,v_2\rangle_1+\langle w_1,w_2\rangle_2$).

$\endgroup$
  • $\begingroup$ (+1), though arguably there's no intrinsic/natural reason to choose $a\overline{b}$ over $\overline{a}b$, just as there's no intrinsic reason to choose $i$ instead of $-i$ as the "primary" imaginary unit. :) $\endgroup$ – Andrew D. Hwang May 1 '15 at 12:53
  • $\begingroup$ @user86418 : Except that if we had chosen $-i$ instead of $i$ then we would have called it $i$ and the other one $-i$. ${}\qquad{}$ $\endgroup$ – Michael Hardy May 1 '15 at 17:39
  • $\begingroup$ @MichaelHardy: You're perfectly correct. :) The point is, complex conjugation is an automorphism of the complex field, and conjugating $a\overline{b}$ gives $\overline{a}b$. In extending the (real-valued) Euclidean norm $z\bar{z}$ to an Hermitian pairing, we have to choose whether to put the conjugation on the first vector or the second (though algebraically the choice doesn't matter much; we're just picking a sign for the imaginary part of the pairing, in analogy to selecting a primary imaginary unit). $\endgroup$ – Andrew D. Hwang May 1 '15 at 18:23
  • $\begingroup$ OK, say we have two inner products, one using $a\overline b$ and the other $\overline a b$. Can anything worth saying be said about how they relate to each other? $\endgroup$ – Michael Hardy May 1 '15 at 22:31
  • $\begingroup$ @MichaelHardy They'd be complex conjugates of each other. It's just an alternative convention. Often physics texts have the hermitian form be conjugate-linear in the first factor instead of the second. $\endgroup$ – aes May 2 '15 at 4:57

Your Answer

By clicking “Post Your Answer”, you agree to our terms of service, privacy policy and cookie policy

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