At the meeting point between Analysis and Algebra lies the study of Hilbert Spaces, possibly one of the most fruitful theories of the past few centuries. Its applications to Physics and the theory of PDEs (for example) as well as its intrinsic mathematical interest have made it a central area in analysis.
The basic idea is a simple one: instead of studying functions on their own as with classical analysis, we instead direct our attention to spaces of functions. The easiest example of these are vector spaces of functions, but this concept proves too limiting to do any interesting sort of analysis with: it's hard to get anywhere in analysis without the concept of a distance or norm. As a result, we study vector spaces with what's known as an inner product (something very much like the dot product of
) which in turn grants us a useful way to measure "sizes of vectors" in our space by defining a norm. One last thing which we would like to have is that the space is complete with regard to this norm, which roughly means that all sequences which should converge in the space (Cauchy sequences, to be exact) do indeed converge. This is how we arrive at the definition of a Hilbert space: a complete inner product space.
With this in mind, we need to find interesting spaces of functions to study. The most natural way to proceed is to see how we can turn the vector space of continuous functions on some interval into a Hilbert space and it turns out that, using integration, we can define the most important of these, the
space. We can then come to the crucial consequence of this study: an extremely useful basis of this space which leads us to the theory of Fourier series, central in all of analysis.
So, if you're interested to see how all this works and more, come to MS.04 tonight (Monday 17th of November) at 7:30 as Dave McCormick sheds some light on the inner workings of Hilbert spaces, after which we head on to the pub.
For the first social since the Integrating Factor we're going to tour the drinking establishments of Royal Leamington Spa.
Meet us in the Kami Lounge (past Grad@Cholo) at about 7pm or earlier, then we'll be catching a bus to Leam for 7:10.
There will be an optional quiz sheet with a prize for the best team.
People unfamiliar with Leam shouldn't worry, I'll be timing it so that people can be taken on the last bus.
If you haven't been on a WMS social before, before we set off (look for WMS clothing) and introduce yourself.
For the first social since the Integrating Factor we're going to tour the drinking establishments of Royal Leamington Spa.
Meet us in the Kami Lounge (past Grad@Cholo) at about 7pm or earlier, then we'll be catching a bus to Leam for 7:10.
There will be an optional quiz sheet with a prize for the best team.
People unfamiliar with Leam shouldn't worry, I'll be timing it so that people can be taken on the last bus.
If you haven't been on a WMS social before, before we set off (look for WMS clothing) and introduce yourself.
Tonight's discussion group will take place as usual but we have no predefined topic so we'll have a free for all Dg: if you've got an interesting theorem or concept you'd like to show others, you'll be able to do so in a mini-Dg. Following this we will have our usual Monday evening pub social.