description/proof of that for topological space induced by pseudometric induced by seminorm on real or complex vectors space, seminorm map is continuous
Topics
About: vectors space
About: topological space
The table of contents of this article
Starting Context
- The reader knows a definition of pseudometric induced by seminorm on real or complex vectors space.
- The reader knows a definition of topology induced by pseudometric.
- The reader knows a definition of Euclidean topological space.
- The reader knows a definition of continuous, topological spaces map.
Target Context
- The reader will have a description and a proof of the proposition that for any real or complex vectors space with any seminorm and the topology induced by the pseudometric induced by the seminorm, the seminorm map is continuous.
Orientation
There is a list of definitions discussed so far in this site.
There is a list of propositions discussed so far in this site.
Main Body
1: Structured Description
Here is the rules of Structured Description.
Entities:
\(F\): \(\in \{\mathbb{R}, \mathbb{C}\}\), with the canonical field structure
\(V\): \(\in \{\text{ the } F \text{ vectors spaces }\}\), with any seminorm, \(\Vert \bullet \Vert: V \to \mathbb{R}\), with the topology induced by the pseudometric induced by \(\Vert \bullet \Vert\)
\(\mathbb{R}\): \(= \text{ the Euclidean topological space }\)
//
Statements:
\(\Vert \bullet \Vert \in \{\text{ the continuous maps }\}\)
//
2: Proof
Whole Strategy: Step 1: for each \(v \in V\) and each open neighborhood of \(\Vert v \Vert\), \(U_{\Vert v \Vert}\), take an open ball around \(v\), \(B_{v, \epsilon}\), such that \(\Vert B_{v, \epsilon} \Vert \subseteq U_{\Vert v \Vert}\).
Step 1:
Let \(v \in V\) be any.
Let \(U_{\Vert v \Vert} \subseteq \mathbb{R}\) be any open neighborhood of \(\Vert v \Vert\).
There is an open ball around \(\Vert v \Vert\), \(B_{\Vert v \Vert, \epsilon} \subseteq \mathbb{R}\), such that \(B_{\Vert v \Vert, \epsilon} \subseteq U_{\Vert v \Vert}\), by the definition of Euclidean topological space.
Let us take the open ball around \(v\), \(B_{v, \epsilon} \subseteq V\).
Let \(v' \in B_{v, \epsilon}\) be any.
\(\Vert v' - v \Vert \lt \epsilon\).
\(\Vert v' \Vert = \Vert v' - v + v \Vert \le \Vert v' - v \Vert + \Vert v \Vert \lt \epsilon + \Vert v \Vert\).
So, \(\Vert v' \Vert - \Vert v \Vert \lt \epsilon\).
\(\Vert v \Vert = \Vert v - v' + v' \Vert \le \Vert v - v' \Vert + \Vert v' \Vert \lt \epsilon + \Vert v' \Vert\).
So, \(\Vert v \Vert - \Vert v' \Vert \lt \epsilon\).
So, \(\vert \Vert v' \Vert - \Vert v \Vert \vert \lt \epsilon\).
So, \(\Vert v' \Vert \in B_{\Vert v \Vert, \epsilon}\).
That means that \(\Vert B_{v, \epsilon} \Vert \subseteq B_{\Vert v \Vert, \epsilon} \subseteq U_{\Vert v \Vert}\).
So, \(\Vert \bullet \Vert\) is continuous at \(v\).
As \(v \in V\) is arbitrary, \(\Vert \bullet \Vert\) is continuous.
