If you ever wondered about physicists’ convention of defining sesquilinear forms (e.g. inner products on a complex space) to be linear in the second variable and conjugate linear in the first, the reason they do it is because of Dirac notation: they write the result of applying the covector (linear functional) \langle \phi | to the vector | \psi \rangle as the inner product \langle \phi | \psi \rangle. Contrast this to the way mathematicians usually assign y \mapsto \langle -, y \rangle and declare the inner product to be conjugate linear in the second variable. Even as a pure mathematician, the former now seems more natural to me, especially considering how commonly vector spaces are paired with their duals, and the fact that function application is written on the left e.g. as f(x) (not xf; sorry Victor, enjoy your {}^{\mathrm{op}}). To be exact, what I’m saying is that this function-application-on-the-left convention makes it more natural for bras to represent functionals and kets to represent vectors, and not vice versa.

Also, the Borel \sigma-algebra is not in any way related to the real numbers; you can talk about it over any topological space: just take the \sigma-algebra generated by the compact sets (in almost all decent cases, this is equivalent to the \sigma-algebra generated by the open sets).


About mlbaker

just another guy trying to make the diagrams commute.
Aside | This entry was posted in articles. Bookmark the permalink.

2 Responses to 2012-08-28

  1. jentrep says:

    Sounds like someone may still be showing some avid interest in the future of quantum computing? :p

    • mlbaker says:

      You are right. I don’t think I will ever lose interest in the theoretical side of quantum information, particularly categorical quantum mechanics. However, I feel like I’ll probably end up doing research in algebraic geometry. You never know though 😛 there is too much cool stuff out there; it’s not fair.

Leave a Reply

Fill in your details below or click an icon to log in:

WordPress.com Logo

You are commenting using your WordPress.com account. Log Out / Change )

Twitter picture

You are commenting using your Twitter account. Log Out / Change )

Facebook photo

You are commenting using your Facebook account. Log Out / Change )

Google+ photo

You are commenting using your Google+ account. Log Out / Change )

Connecting to %s