This semester at school I am taking Functional Analysis. In Functional analysis, one studies functionals on spaces of functions, as in Real Analysis one studies functions on the space of real numbers. The first class was an opportunity to see some material with which I was already familiar and to reinforce concepts I had learned in a previous class.
Our first topic of study was metric spaces. A metric generalizes the concept of distance between two elements in a space. Pairs of us students were given a space, and we were to propose a metric for it. Our given space was the space of step functions (each element of the space is a step function); our idea was to partition the space into intervals where each step function has a constant value. Then we can find the area of the rectangle between the functions in each interval. Finally, we can add the areas together to get our proposed metric. This seemed correct, but I needed a written description in mathematical language of what we had found to convince me that it was indeed correct.
I realized that I knew how to write a step function: . Writing a second step function in this notation, but using F as the set variable and j as the index, and using the concept of measure (), our metric can be written as follows: . Voila!
One pair of students was given the space of sequences with the condition that for each sequence, the sum of the squares of the terms converged. A sequence in this space is where . This space is called . This was familiar to me as I had studied , the space of Lebesgue integrable functions with 2-norm, in a previous class. It turns out that and are closely related: a relationship that we will explore later in the class.
This has been my journey in mathematics: to learn new concepts and connect them to old concepts. The opportunity to recall step functions, the concept of measure, and the spaces of Lebesgue integrable functions and to apply these concepts to solving a new, albeit contrived, problem made for a fun first class.