Problem 24 - A Course in Modern Mathematical Physics: Groups, Hilbert Space and Differential Geometry

Question

Show that a linear map \(T: V \rightarrow W\) between topological vector spaces is continuous everywhere on \(V\) if and only if it is continuous at the origin \(0 \in V\).

Step-by-Step Solution

Answer

The theorem has been proved. A linear map between topological vector spaces is continuous everywhere if and only if it is continuous at the origin.

Step 1: Understand Definitions

Before starting the proof, it is vital to understand the definitions: (1) A topological vector space is a vector space which also has a topology such that vector addition and scalar multiplication are continuous functions. (2) A linear map between two vector spaces is a function that preserves the operations of addition and scalar multiplication. (3) A function is continuous at a point if the limit of the function at that point is equal to the value of the function at that point. (4) In topological spaces, a function is continuous if the preimage of every open set is open.

Step 2: Assume T is continuous everywhere

Under the assumption that the map \(T: V \rightarrow W\) is continuous everywhere, it is necessary to show that it is also continuous at the origin. Because \(T\) is continuous everywhere, \(T^{-1}(W)\) is open in \(V\) for any open subset \(W\) of \(W\). Hence, \(T^{-1}(W) \cap 0\) is open in \(V\) for any open subset \(W\) of \(W\). This shows that \(T\) is continuous at \(0\), since the preimage of every open set in \(W\) containing \(0_W\) is an open set in \(V\) containing \(0_V\). This completes one part of the proof.

Step 3: Assume T is continuous at the origin

Under the assumption that the map \(T: V \rightarrow W\) is continuous at the origin, it is necessary to show that it is also continuous everywhere. Given any point \(v \in V\), by applying the linear property of \(T\) and its continuity at \(0_V\), one can show that \(T\) is continuous at \(v\). By the topological property of vector spaces, the map \(T: V \rightarrow W\) is continuous at each point \(v\) of \(V\), hence \(T\) is continuous everywhere in \(V\). This completes the other part of the proof.

Key Concepts

Topological Vector Spaces

To grasp the idea of topological vector spaces, it's essential to merge concepts from both topology and vector spaces. A vector space is simply a collection of vectors that can be scaled and added together. What turns this into a topological vector space is the assignment of a topology.
This structure must respect vector addition and scalar multiplication as continuous functions. A few key properties:

• Vector addition takes two vectors and results in another vector, all within the same space.
• Scalar multiplication involves multiplying a vector by a scalar (a real or complex number), also staying within the space.
• A topology provides a way to talk about continuity, convergence, and neighborhood systems in the space.

These properties ensure that operations within the space behave well with regard to closeness and limits, which is crucial for analyzing continuity in our linear maps later on.

Continuity

Continuity is a cornerstone of calculus and analysis, providing a bridge between algebraic structures and their topological properties. A function or map is continuous if small changes in the input result in small changes in the output. In mathematical terms:

• A function is continuous at a point if, intuitively, you can draw it without lifting your pen.
• In a topological sense, a function is continuous if the preimage of every open set is an open set. This is more abstract but essential for topological vector spaces.

When discussing a linear map between topological vector spaces, being continuous everywhere is equivalent to being continuous at a single point, like the origin. This happens because linear maps inherently relate any point in space to the origin through their operations, creating uniform behavior across the space.

Proofs in Mathematics

Mathematical proofs are structured arguments. They validate or refute claims using logical reasoning and established truths. In contexts like showing continuity for linear maps, proofs connect known principles to establish new facts.

Here's how proofs function:

• Assumptions form the starting point. In our exercise, we either assume continuity everywhere or at the origin.
• Logical deductions move from these assumptions to the desired conclusion, using characteristics unique to linear maps and topological vector spaces.
• This often involves using pre-known results or theorems to navigate through the argument.

Proofs aren't just about the end result; they build an understanding of why something works. They display the deep interconnections between different areas of mathematics, offering insights that extend beyond the immediate problem.