Question

Given a topological linear space \(E\), suppose \(E\) has sufficiently many continuous linear functionals. Prove that \(\mathrm{E}\) is a Hausdorff space, when equipped with the weak topology.

Short answer

\(E\) is a Hausdorff space under the weak topology due to the ability to separate distinct points using continuous linear functionals.

Step-by-step solution

Understanding the Weak Topology

The weak topology on a topological linear space \(E\) is the weakest topology such that all the continuous linear functionals, from \(E\) to the field \(\mathbb{K}\), remain continuous. In this context, the weak topology is generated by a subbasis of sets defined by these functionals. Thus, when we say that \(E\) has sufficiently many continuous linear functionals, it means there are enough functionals in \(E^*\) to separate points in \(E\).

Hausdorff Criterion in Topological Spaces

A topological space is Hausdorff (or \(T_2\)) if, for any two distinct points, there exist open sets containing each point that are disjoint from each other. This property ensures that points can be 'separated' by neighborhoods, which is essential for the Hausdorff condition.

Using Continuous Linear Functionals to Separate Points

Suppose \(x\) and \(y\) are two distinct points in \(E\). Since \(E\) has sufficiently many continuous linear functionals, there exists a functional \(f \in E^*\) such that \(f(x) eq f(y)\). This difference ensures that the preimages of these values, under \(f\), are disjoint in the weak topology, effectively separating \(x\) and \(y\).

Constructing Disjoint Opens in the Weak Topology

Fix \(f \in E^*\) such that \(f(x) eq f(y)\). Define open sets in \(\mathbb{K}\), such as \(U_x = \{z \in \mathbb{K} : |z - f(x)| < \epsilon\}\) and \(U_y = \{z \in \mathbb{K} : |z - f(y)| < \epsilon\}\), where \(\epsilon = \frac{|f(x) - f(y)|}{2}\). The preimages under \(f\) of these open sets in \(\mathbb{K}\), \(f^{-1}(U_x)\) and \(f^{-1}(U_y)\), are open in the weak topology on \(E\) and are disjoint. These sets separate \(x\) and \(y\) in \(E\).

Conclusion on Hausdorff Property of \(E\)

Since for any two distinct points in \(E\), we can find disjoint open sets in the weak topology that separate these points, \(E\) is therefore a Hausdorff space when equipped with the weak topology.

Key concepts

Weak Topology

In the context of a topological linear space, the term "weak topology" refers to a specific way of defining the openness of sets using continuous linear functionals. These functionals map elements of the space \(E\) to a field, typically \(\mathbb{K}\), such as the real numbers or complex numbers. When you equip \(E\) with the weak topology, the topology is the most lenient (or weakest) one that still makes all these functionals continuous.

This means that the weak topology is generated by considering a collection of sets, called a subbasis, formed from the preimages of open sets under these continuous linear functionals. In simpler terms, you are defining the topology on \(E\) using the behavior of these functionals as they distinguish elements within \(E\).

This approach allows for capturing more intricate relationships within \(E\) while still preserving the continuity of the functionals. It's an essential construct when working with infinite-dimensional spaces because it extends the notion of convergence and continuity beyond the limitations of the norm topology.

Continuous Linear Functional

A continuous linear functional is a fundamental concept in both functional analysis and topological linear spaces. By definition, it is a linear map from a topological vector space \(E\) to its underlying field \(\mathbb{K}\) (which could be real or complex numbers) that continuously transforms the structure of the vector space.

Linear functionals are known for their simplicity: for any two vectors \(x, y\) in \(E\), and any scalar \(\lambda\), a linear functional \(f\) satisfies the properties:\

\
• Linearity: \(f(x + y) = f(x) + f(y)\)
\
• Homogeneity: \(f(\lambda x) = \lambda f(x)\)
\

\In terms of continuity, for a linear functional to be continuous, it must maintain the integrity of limits. This means if a sequence or net of vectors in \(E\) converges to a vector \(x\), then their images under \(f\) should converge to \(f(x)\).

The presence of sufficient continuous linear functionals in a space is powerful. As shown in the exercise, they can be used to "separate" points, a valuable property when working with the weak topology. This separation underpins the ability to define the topology itself and verify essential properties like the Hausdorff condition.

Hausdorff Space

A Hausdorff space is a topological space with a very particular feature: any two distinct points can be separated by distinct neighborhoods. Essentially, in such a space, you can always find open sets surrounding each point that do not intersect each other.

This property is quite significant in the study of topology because it ensures that the points in your space can be "distinguished" from one another. It's akin to saying that for any two different "locations" in your space, you can always find separate "areas" around each location that do not overlap.

In the proof from the exercise, the availability of enough continuous linear functionals in the weak topology allows for this separation in point terms as disjoint open sets. Thus, equipping a space \(E\) with the weak topology derives its Hausdorff nature, given these functionals are capable of distinguishing any two points. Hence, understanding and applying this separation principle is crucial when addressing problems related to topological properties, leading to more robust mathematical conclusions.