A pseudometric on is called a ultrapseudometric or a strong pseudometric if it satisfies:
Strong/Ultrametric triangle inequality:
Pseudometric space
A pseudometric space is a pair consisting of a set and a pseudometric on such that 's topology is identical to the topology on induced by We call a pseudometric space a metric space (resp. ultrapseudometric space) when is a metric (resp. ultrapseudometric).
Topology induced by a pseudometricEdit
If is a pseudometric on a set then collection of open balls:
as ranges over and ranges over the positive real numbers, forms a basis for a topology on that is called the -topology or the pseudometric topology on induced by
Convention: If is a pseudometric space and is treated as a topological space, then unless indicated otherwise, it should be assumed that is endowed with the topology induced by
Pseudometrizable space
A topological space is called pseudometrizable (resp. metrizable, ultrapseudometrizable) if there exists a pseudometric (resp. metric, ultrapseudometric) on such that is equal to the topology induced by [1]
Pseudometrics and values on topological groupsEdit
An additive topological group is an additive group endowed with a topology, called a group topology, under which addition and negation become continuous operators.
A topology on a real or complex vector space is called a vector topology or a TVS topology if it makes the operations of vector addition and scalar multiplication continuous (that is, if it makes into a topological vector space).
Every topological vector space (TVS) is an additive commutative topological group but not all group topologies on are vector topologies. This is because despite it making addition and negation continuous, a group topology on a vector space may fail to make scalar multiplication continuous. For instance, the discrete topology on any non-trivial vector space makes addition and negation continuous but do not make scalar multiplication continuous.
Translation invariant pseudometricsEdit
If is an additive group then we say that a pseudometric on is translation invariant or just invariant if it satisfies any of the following equivalent conditions:
Theorem[2] — Suppose that is an additive commutative group. If is a translation invariant pseudometric on then the map is a value on called the value associated with , and moreover, generates a group topology on (i.e. the -topology on makes into a topological group). Conversely, if is a value on then the map is a translation-invariant pseudometric on and the value associated with is just
Pseudometrizable topological groupsEdit
Theorem[2] — If is an additive commutative topological group then the following are equivalent:
is induced by a pseudometric; (i.e. is pseudometrizable);
is induced by a translation-invariant pseudometric;
the identity element in has a countable neighborhood basis.
If is Hausdorff then the word "pseudometric" in the above statement may be replaced by the word "metric." A commutative topological group is metrizable if and only if it is Hausdorff and pseudometrizable.
An invariant pseudometric that doesn't induce a vector topologyEdit
Let be a non-trivial (i.e. ) real or complex vector space and let be the translation-invariant trivial metric on defined by and such that The topology that induces on is the discrete topology, which makes into a commutative topological group under addition but does not form a vector topology on because is disconnected but every vector topology is connected. What fails is that scalar multiplication isn't continuous on
This example shows that a translation-invariant (pseudo)metric is not enough to guarantee a vector topology, which leads us to define paranorms and F-seminorms.
Additive sequencesEdit
A collection of subsets of a vector space is called additive[5] if for every there exists some such that
Continuity of addition at 0 — If is a group (as all vector spaces are), is a topology on and is endowed with the product topology, then the addition map (i.e. the map ) is continuous at the origin of if and only if the set of neighborhoods of the origin in is additive. This statement remains true if the word "neighborhood" is replaced by "open neighborhood."[5]
All of the above conditions are consequently a necessary for a topology to form a vector topology. Additive sequences of sets have the particularly nice property that they define non-negative continuous real-valued subadditive functions. These functions can then be used to prove many of the basic properties of topological vector spaces and also show that a Hausdorff TVS with a countable basis of neighborhoods is metrizable. The following theorem is true more generally for commutative additive topological groups.
Theorem — Let be a collection of subsets of a vector space such that and for all For all let
Define by if and otherwise let
Then is subadditive (meaning ) and on so in particular If all are symmetric sets then and if all are balanced then for all scalars such that and all If is a topological vector space and if all are neighborhoods of the origin then is continuous, where if in addition is Hausdorff and forms a basis of balanced neighborhoods of the origin in then is a metric defining the vector topology on
Proof
Assume that always denotes a finite sequence of non-negative integers and use the notation:
For any integers and
From this it follows that if consists of distinct positive integers then
It will now be shown by induction on that if consists of non-negative integers such that for some integer then This is clearly true for and so assume that which implies that all are positive. If all are distinct then this step is done, and otherwise pick distinct indices such that and construct from by replacing each with and deleting the element of (all other elements of are transferred to unchanged). Observe that and (because ) so by appealing to the inductive hypothesis we conclude that as desired.
It is clear that and that so to prove that is subadditive, it suffices to prove that when are such that which implies that This is an exercise. If all are symmetric then if and only if from which it follows that and If all are balanced then the inequality for all unit scalars such that is proved similarly. Because is a nonnegative subadditive function satisfying as described in the article on sublinear functionals, is uniformly continuous on if and only if is continuous at the origin. If all are neighborhoods of the origin then for any real pick an integer such that so that implies If the set of all form basis of balanced neighborhoods of the origin then it may be shown that for any there exists some such that implies
ParanormsEdit
If is a vector space over the real or complex numbers then a paranorm on is a G-seminorm (defined above) on that satisfies any of the following additional conditions, each of which begins with "for all sequences in and all convergent sequences of scalars ":[6]
Continuity of multiplication: if is a scalar and are such that and then
If a paranorm satisfies and scalars then is absolutely homogeneity (i.e. equality holds)[8] and thus is a seminorm.
Examples of paranormsEdit
If is a translation-invariant pseudometric on a vector space that induces a vector topology on (i.e. is a TVS) then the map defines a continuous paranorm on ; moreover, the topology that this paranorm defines in is [8]
Each of the following real-valued maps are paranorms on :
The real-valued maps and are not a paranorms on [8]
If is a Hamel basis on a vector space then the real-valued map that sends (where all but finitely many of the scalars are 0) to is a paranorm on which satisfies for all and scalars [8]
The function is a paranorm on that is not balanced but nevertheless equivalent to the usual norm on Note that the function is subadditive.[10]
Let be a complex vector space and let denote considered as a vector space over Any paranorm on is also a paranorm on [9]
F-seminormsEdit
If is a vector space over the real or complex numbers then an F-seminorm on (the stands for Fréchet) is a real-valued map with the following four properties: [11]
This condition guarantees that each set of the form or for some is a balanced set.
For every as
The sequence can be replaced by any positive sequence converging to the zero.[12]
An F-seminorm is called an F-norm if in addition it satisfies:
Total/Positive definite: implies
An F-seminorm is called monotone if it satisfies:
Monotone: for all non-zero and all real and such that [12]
F-seminormed spacesEdit
An F-seminormed space (resp. F-normed space)[12] is a pair consisting of a vector space and an F-seminorm (resp. F-norm) on
If and are F-seminormed spaces then a map is called an isometric embedding[12] if
Every isometric embedding of one F-seminormed space into another is a topological embedding, but the converse is not true in general.[12]
Examples of F-seminormsEdit
Every positive scalar multiple of an F-seminorm (resp. F-norm, seminorm) is again an F-seminorm (resp. F-norm, seminorm).
The sum of finitely many F-seminorms (resp. F-norms) is an F-seminorm (resp. F-norm).
If and are F-seminorms on then so is their pointwise supremum The same is true of the supremum of any non-empty finite family of F-seminorms on [12]
The restriction of an F-seminorm (resp. F-norm) to a vector subspace is an F-seminorm (resp. F-norm).[9]
A non-negative real-valued function on is a seminorm if and only if it is a convexF-seminorm, or equivalently, if and only if it is a convex balanced G-seminorm.[10] In particular, every seminorm is an F-seminorm.
For any the map on defined by
is an F-norm that is not a norm.
If is a linear map and if is an F-seminorm on then is an F-seminorm on [12]
Let be a complex vector space and let denote considered as a vector space over Any F-seminorm on is also an F-seminorm on [9]
Properties of F-seminormsEdit
Every F-seminorm is a paranorm and every paranorm is equivalent to some F-seminorm.[7] Every F-seminorm on a vector space is a value on In particular, and for all
Topology induced by a single F-seminormEdit
Theorem[11] — Let be an F-seminorm on a vector space Then the map defined by is a translation invariant pseudometric on that defines a vector topology on If is an F-norm then is a metric. When is endowed with this topology then is a continuous map on
The balanced sets as ranges over the positive reals, form a neighborhood basis at the origin for this topology consisting of closed set. Similarly, the balanced sets as ranges over the positive reals, form a neighborhood basis at the origin for this topology consisting of open sets.
Topology induced by a family of F-seminormsEdit
Suppose that is a non-empty collection of F-seminorms on a vector space and for any finite subset and any let
The set forms a filter base on that also forms a neighborhood basis at the origin for a vector topology on denoted by [12] Each is a balanced and absorbing subset of [12] These sets satisfy[12]
is the coarsest vector topology on making each continuous.[12]
is Hausdorff if and only if for every non-zero there exists some such that [12]
If is the set of all continuous F-seminorms on then [12]
If is the set of all pointwise suprema of non-empty finite subsets of of then is a directed family of F-seminorms and [12]
Fréchet combinationEdit
Suppose that is a family of non-negative subadditive functions on a vector space
The Fréchet combination[8] of is defined to be the real-valued map
October 21, 2023
metrizable, topological, vector, space, functional, analysis, related, areas, mathematics, metrizable, resp, pseudometrizable, topological, vector, space, whose, topology, induced, metric, resp, pseudometric, space, inductive, limit, sequence, locally, convex,. In functional analysis and related areas of mathematics a metrizable resp pseudometrizable topological vector space TVS is a TVS whose topology is induced by a metric resp pseudometric An LM space is an inductive limit of a sequence of locally convex metrizable TVS Contents 1 Pseudometrics and metrics 1 1 Topology induced by a pseudometric 2 Pseudometrics and values on topological groups 2 1 Translation invariant pseudometrics 2 2 Value G seminorm 2 2 1 Properties of values 2 3 Equivalence on topological groups 2 4 Pseudometrizable topological groups 2 5 An invariant pseudometric that doesn t induce a vector topology 3 Additive sequences 4 Paranorms 4 1 Properties of paranorms 4 2 Examples of paranorms 5 F seminorms 5 1 F seminormed spaces 5 2 Examples of F seminorms 5 3 Properties of F seminorms 5 4 Topology induced by a single F seminorm 5 5 Topology induced by a family of F seminorms 6 Frechet combination 6 1 As an F seminorm 6 2 As a paranorm 6 3 Generalization 7 Characterizations 7 1 Of pseudo metrics induced by semi norms 7 2 Of pseudometrizable TVS 7 3 Of metrizable TVS 7 4 Of locally convex pseudometrizable TVS 8 Quotients 9 Examples and sufficient conditions 9 1 Normability 10 Metrically bounded sets and bounded sets 11 Properties of pseudometrizable TVS 11 1 Completeness 11 2 Subsets and subsequences 11 3 Linear maps 11 4 Hahn Banach extension property 12 See also 13 Notes 14 References 15 BibliographyPseudometrics and metrics EditA pseudometric on a set X displaystyle X nbsp is a map d X X R displaystyle d X times X rightarrow mathbb R nbsp satisfying the following properties d x x 0 for all x X displaystyle d x x 0 text for all x in X nbsp Symmetry d x y d y x for all x y X displaystyle d x y d y x text for all x y in X nbsp Subadditivity d x z d x y d y z for all x y z X displaystyle d x z leq d x y d y z text for all x y z in X nbsp A pseudometric is called a metric if it satisfies Identity of indiscernibles for all x y X displaystyle x y in X nbsp if d x y 0 displaystyle d x y 0 nbsp then x y displaystyle x y nbsp UltrapseudometricA pseudometric d displaystyle d nbsp on X displaystyle X nbsp is called a ultrapseudometric or a strong pseudometric if it satisfies Strong Ultrametric triangle inequality d x z max d x y d y z for all x y z X displaystyle d x z leq max d x y d y z text for all x y z in X nbsp Pseudometric spaceA pseudometric space is a pair X d displaystyle X d nbsp consisting of a set X displaystyle X nbsp and a pseudometric d displaystyle d nbsp on X displaystyle X nbsp such that X displaystyle X nbsp s topology is identical to the topology on X displaystyle X nbsp induced by d displaystyle d nbsp We call a pseudometric space X d displaystyle X d nbsp a metric space resp ultrapseudometric space when d displaystyle d nbsp is a metric resp ultrapseudometric Topology induced by a pseudometric Edit If d displaystyle d nbsp is a pseudometric on a set X displaystyle X nbsp then collection of open balls B r z x X d x z lt r displaystyle B r z x in X d x z lt r nbsp as z displaystyle z nbsp ranges over X displaystyle X nbsp and r gt 0 displaystyle r gt 0 nbsp ranges over the positive real numbers forms a basis for a topology on X displaystyle X nbsp that is called the d displaystyle d nbsp topology or the pseudometric topology on X displaystyle X nbsp induced by d displaystyle d nbsp Convention If X d displaystyle X d nbsp is a pseudometric space and X displaystyle X nbsp is treated as a topological space then unless indicated otherwise it should be assumed that X displaystyle X nbsp is endowed with the topology induced by d displaystyle d nbsp Pseudometrizable spaceA topological space X t displaystyle X tau nbsp is called pseudometrizable resp metrizable ultrapseudometrizable if there exists a pseudometric resp metric ultrapseudometric d displaystyle d nbsp on X displaystyle X nbsp such that t displaystyle tau nbsp is equal to the topology induced by d displaystyle d nbsp 1 Pseudometrics and values on topological groups EditAn additive topological group is an additive group endowed with a topology called a group topology under which addition and negation become continuous operators A topology t displaystyle tau nbsp on a real or complex vector space X displaystyle X nbsp is called a vector topology or a TVS topology if it makes the operations of vector addition and scalar multiplication continuous that is if it makes X displaystyle X nbsp into a topological vector space Every topological vector space TVS X displaystyle X nbsp is an additive commutative topological group but not all group topologies on X displaystyle X nbsp are vector topologies This is because despite it making addition and negation continuous a group topology on a vector space X displaystyle X nbsp may fail to make scalar multiplication continuous For instance the discrete topology on any non trivial vector space makes addition and negation continuous but do not make scalar multiplication continuous Translation invariant pseudometrics Edit If X displaystyle X nbsp is an additive group then we say that a pseudometric d displaystyle d nbsp on X displaystyle X nbsp is translation invariant or just invariant if it satisfies any of the following equivalent conditions Translation invariance d x z y z d x y for all x y z X displaystyle d x z y z d x y text for all x y z in X nbsp d x y d x y 0 for all x y X displaystyle d x y d x y 0 text for all x y in X nbsp Value G seminorm Edit If X displaystyle X nbsp is a topological group the a value or G seminorm on X displaystyle X nbsp the G stands for Group is a real valued map p X R displaystyle p X rightarrow mathbb R nbsp with the following properties 2 Non negative p 0 displaystyle p geq 0 nbsp Subadditive p x y p x p y for all x y X displaystyle p x y leq p x p y text for all x y in X nbsp p 0 0 displaystyle p 0 0 nbsp Symmetric p x p x for all x X displaystyle p x p x text for all x in X nbsp where we call a G seminorm a G norm if it satisfies the additional condition Total Positive definite If p x 0 displaystyle p x 0 nbsp then x 0 displaystyle x 0 nbsp Properties of values Edit If p displaystyle p nbsp is a value on a vector space X displaystyle X nbsp then p x p y p x y for all x y X displaystyle p x p y leq p x y text for all x y in X nbsp 3 p n x n p x displaystyle p nx leq np x nbsp and 1 n p x p x n displaystyle frac 1 n p x leq p x n nbsp for all x X displaystyle x in X nbsp and positive integers n displaystyle n nbsp 4 The set x X p x 0 displaystyle x in X p x 0 nbsp is an additive subgroup of X displaystyle X nbsp 3 Equivalence on topological groups Edit Theorem 2 Suppose that X displaystyle X nbsp is an additive commutative group If d displaystyle d nbsp is a translation invariant pseudometric on X displaystyle X nbsp then the map p x d x 0 displaystyle p x d x 0 nbsp is a value on X displaystyle X nbsp called the value associated with d displaystyle d nbsp and moreover d displaystyle d nbsp generates a group topology on X displaystyle X nbsp i e the d displaystyle d nbsp topology on X displaystyle X nbsp makes X displaystyle X nbsp into a topological group Conversely if p displaystyle p nbsp is a value on X displaystyle X nbsp then the map d x y p x y displaystyle d x y p x y nbsp is a translation invariant pseudometric on X displaystyle X nbsp and the value associated with d displaystyle d nbsp is just p displaystyle p nbsp Pseudometrizable topological groups Edit Theorem 2 If X t displaystyle X tau nbsp is an additive commutative topological group then the following are equivalent t displaystyle tau nbsp is induced by a pseudometric i e X t displaystyle X tau nbsp is pseudometrizable t displaystyle tau nbsp is induced by a translation invariant pseudometric the identity element in X t displaystyle X tau nbsp has a countable neighborhood basis If X t displaystyle X tau nbsp is Hausdorff then the word pseudometric in the above statement may be replaced by the word metric A commutative topological group is metrizable if and only if it is Hausdorff and pseudometrizable An invariant pseudometric that doesn t induce a vector topology Edit Let X displaystyle X nbsp be a non trivial i e X 0 displaystyle X neq 0 nbsp real or complex vector space and let d displaystyle d nbsp be the translation invariant trivial metric on X displaystyle X nbsp defined by d x x 0 displaystyle d x x 0 nbsp and d x y 1 for all x y X displaystyle d x y 1 text for all x y in X nbsp such that x y displaystyle x neq y nbsp The topology t displaystyle tau nbsp that d displaystyle d nbsp induces on X displaystyle X nbsp is the discrete topology which makes X t displaystyle X tau nbsp into a commutative topological group under addition but does not form a vector topology on X displaystyle X nbsp because X t displaystyle X tau nbsp is disconnected but every vector topology is connected What fails is that scalar multiplication isn t continuous on X t displaystyle X tau nbsp This example shows that a translation invariant pseudo metric is not enough to guarantee a vector topology which leads us to define paranorms and F seminorms Additive sequences EditA collection N displaystyle mathcal N nbsp of subsets of a vector space is called additive 5 if for every N N displaystyle N in mathcal N nbsp there exists some U N displaystyle U in mathcal N nbsp such that U U N displaystyle U U subseteq N nbsp Continuity of addition at 0 If X displaystyle X nbsp is a group as all vector spaces are t displaystyle tau nbsp is a topology on X displaystyle X nbsp and X X displaystyle X times X nbsp is endowed with the product topology then the addition map X X X displaystyle X times X to X nbsp i e the map x y x y displaystyle x y mapsto x y nbsp is continuous at the origin of X X displaystyle X times X nbsp if and only if the set of neighborhoods of the origin in X t displaystyle X tau nbsp is additive This statement remains true if the word neighborhood is replaced by open neighborhood 5 All of the above conditions are consequently a necessary for a topology to form a vector topology Additive sequences of sets have the particularly nice property that they define non negative continuous real valued subadditive functions These functions can then be used to prove many of the basic properties of topological vector spaces and also show that a Hausdorff TVS with a countable basis of neighborhoods is metrizable The following theorem is true more generally for commutative additive topological groups Theorem Let U U i i 0 displaystyle U bullet left U i right i 0 infty nbsp be a collection of subsets of a vector space such that 0 U i displaystyle 0 in U i nbsp and U i 1 U i 1 U i displaystyle U i 1 U i 1 subseteq U i nbsp for all i 0 displaystyle i geq 0 nbsp For all u U 0 displaystyle u in U 0 nbsp letS u n n 1 n k k 1 n i 0 for all i and u U n 1 U n k displaystyle mathbb S u left n bullet left n 1 ldots n k right k geq 1 n i geq 0 text for all i text and u in U n 1 cdots U n k right nbsp Define f X 0 1 displaystyle f X to 0 1 nbsp by f x 1 displaystyle f x 1 nbsp if x U 0 displaystyle x not in U 0 nbsp and otherwise letf x inf 2 n 1 2 n k n n 1 n k S x displaystyle f x inf left 2 n 1 cdots 2 n k n bullet left n 1 ldots n k right in mathbb S x right nbsp Then f displaystyle f nbsp is subadditive meaning f x y f x f y for all x y X displaystyle f x y leq f x f y text for all x y in X nbsp and f 0 displaystyle f 0 nbsp on i 0 U i displaystyle bigcap i geq 0 U i nbsp so in particular f 0 0 displaystyle f 0 0 nbsp If all U i displaystyle U i nbsp are symmetric sets then f x f x displaystyle f x f x nbsp and if all U i displaystyle U i nbsp are balanced then f s x f x displaystyle f sx leq f x nbsp for all scalars s displaystyle s nbsp such that s 1 displaystyle s leq 1 nbsp and all x X displaystyle x in X nbsp If X displaystyle X nbsp is a topological vector space and if all U i displaystyle U i nbsp are neighborhoods of the origin then f displaystyle f nbsp is continuous where if in addition X displaystyle X nbsp is Hausdorff and U displaystyle U bullet nbsp forms a basis of balanced neighborhoods of the origin in X displaystyle X nbsp then d x y f x y displaystyle d x y f x y nbsp is a metric defining the vector topology on X displaystyle X nbsp ProofAssume that n n 1 n k displaystyle n bullet left n 1 ldots n k right nbsp always denotes a finite sequence of non negative integers and use the notation 2 n 2 n 1 2 n k and U n U n 1 U n k displaystyle sum 2 n bullet 2 n 1 cdots 2 n k quad text and quad sum U n bullet U n 1 cdots U n k nbsp For any integers n 0 displaystyle n geq 0 nbsp and d gt 2 displaystyle d gt 2 nbsp U n U n 1 U n 1 U n 1 U n 2 U n 2 U n 1 U n 2 U n d U n d 1 U n d 1 displaystyle U n supseteq U n 1 U n 1 supseteq U n 1 U n 2 U n 2 supseteq U n 1 U n 2 cdots U n d U n d 1 U n d 1 nbsp From this it follows that if n n 1 n k displaystyle n bullet left n 1 ldots n k right nbsp consists of distinct positive integers then U n U 1 min n displaystyle sum U n bullet subseteq U 1 min left n bullet right nbsp It will now be shown by induction on k displaystyle k nbsp that if n n 1 n k displaystyle n bullet left n 1 ldots n k right nbsp consists of non negative integers such that 2 n 2 M displaystyle sum 2 n bullet leq 2 M nbsp for some integer M 0 displaystyle M geq 0 nbsp then U n U M displaystyle sum U n bullet subseteq U M nbsp This is clearly true for k 1 displaystyle k 1 nbsp and k 2 displaystyle k 2 nbsp so assume that k gt 2 displaystyle k gt 2 nbsp which implies that all n i displaystyle n i nbsp are positive If all n i displaystyle n i nbsp are distinct then this step is done and otherwise pick distinct indices i lt j displaystyle i lt j nbsp such that n i n j displaystyle n i n j nbsp and construct m m 1 m k 1 displaystyle m bullet left m 1 ldots m k 1 right nbsp from n displaystyle n bullet nbsp by replacing each n i displaystyle n i nbsp with n i 1 displaystyle n i 1 nbsp and deleting the j th displaystyle j text th nbsp element of n displaystyle n bullet nbsp all other elements of n displaystyle n bullet nbsp are transferred to m displaystyle m bullet nbsp unchanged Observe that 2 n 2 m displaystyle sum 2 n bullet sum 2 m bullet nbsp and U n U m displaystyle sum U n bullet subseteq sum U m bullet nbsp because U n i U n j U n i 1 displaystyle U n i U n j subseteq U n i 1 nbsp so by appealing to the inductive hypothesis we conclude that U n U m U M displaystyle sum U n bullet subseteq sum U m bullet subseteq U M nbsp as desired It is clear that f 0 0 displaystyle f 0 0 nbsp and that 0 f 1 displaystyle 0 leq f leq 1 nbsp so to prove that f displaystyle f nbsp is subadditive it suffices to prove that f x y f x f y displaystyle f x y leq f x f y nbsp when x y X displaystyle x y in X nbsp are such that f x f y lt 1 displaystyle f x f y lt 1 nbsp which implies that x y U 0 displaystyle x y in U 0 nbsp This is an exercise If all U i displaystyle U i nbsp are symmetric then x U n displaystyle x in sum U n bullet nbsp if and only if x U n displaystyle x in sum U n bullet nbsp from which it follows that f x f x displaystyle f x leq f x nbsp and f x f x displaystyle f x geq f x nbsp If all U i displaystyle U i nbsp are balanced then the inequality f s x f x displaystyle f sx leq f x nbsp for all unit scalars s displaystyle s nbsp such that s 1 displaystyle s leq 1 nbsp is proved similarly Because f displaystyle f nbsp is a nonnegative subadditive function satisfying f 0 0 displaystyle f 0 0 nbsp as described in the article on sublinear functionals f displaystyle f nbsp is uniformly continuous on X displaystyle X nbsp if and only if f displaystyle f nbsp is continuous at the origin If all U i displaystyle U i nbsp are neighborhoods of the origin then for any real r gt 0 displaystyle r gt 0 nbsp pick an integer M gt 1 displaystyle M gt 1 nbsp such that 2 M lt r displaystyle 2 M lt r nbsp so that x U M displaystyle x in U M nbsp implies f x 2 M lt r displaystyle f x leq 2 M lt r nbsp If the set of all U i displaystyle U i nbsp form basis of balanced neighborhoods of the origin then it may be shown that for any n gt 1 displaystyle n gt 1 nbsp there exists some 0 lt r 2 n displaystyle 0 lt r leq 2 n nbsp such that f x lt r displaystyle f x lt r nbsp implies x U n displaystyle x in U n nbsp displaystyle blacksquare nbsp Paranorms EditIf X displaystyle X nbsp is a vector space over the real or complex numbers then a paranorm on X displaystyle X nbsp is a G seminorm defined above p X R displaystyle p X rightarrow mathbb R nbsp on X displaystyle X nbsp that satisfies any of the following additional conditions each of which begins with for all sequences x x i i 1 displaystyle x bullet left x i right i 1 infty nbsp in X displaystyle X nbsp and all convergent sequences of scalars s s i i 1 displaystyle s bullet left s i right i 1 infty nbsp 6 Continuity of multiplication if s displaystyle s nbsp is a scalar and x X displaystyle x in X nbsp are such that p x i x 0 displaystyle p left x i x right to 0 nbsp and s s displaystyle s bullet to s nbsp then p s i x i s x 0 displaystyle p left s i x i sx right to 0 nbsp Both of the conditions if s 0 displaystyle s bullet to 0 nbsp and if x X displaystyle x in X nbsp is such that p x i x 0 displaystyle p left x i x right to 0 nbsp then p s i x i 0 displaystyle p left s i x i right to 0 nbsp if p x 0 displaystyle p left x bullet right to 0 nbsp then p s x i 0 displaystyle p left sx i right to 0 nbsp for every scalar s displaystyle s nbsp Both of the conditions if p x 0 displaystyle p left x bullet right to 0 nbsp and s s displaystyle s bullet to s nbsp for some scalar s displaystyle s nbsp then p s i x i 0 displaystyle p left s i x i right to 0 nbsp if s 0 displaystyle s bullet to 0 nbsp then p s i x 0 for all x X displaystyle p left s i x right to 0 text for all x in X nbsp Separate continuity 7 if s s displaystyle s bullet to s nbsp for some scalar s displaystyle s nbsp then p s x i s x 0 displaystyle p left sx i sx right to 0 nbsp for every x X displaystyle x in X nbsp if s displaystyle s nbsp is a scalar x X displaystyle x in X nbsp and p x i x 0 displaystyle p left x i x right to 0 nbsp then p s x i s x 0 displaystyle p left sx i sx right to 0 nbsp A paranorm is called total if in addition it satisfies Total Positive definite p x 0 displaystyle p x 0 nbsp implies x 0 displaystyle x 0 nbsp Properties of paranorms Edit If p displaystyle p nbsp is a paranorm on a vector space X displaystyle X nbsp then the map d X X R displaystyle d X times X rightarrow mathbb R nbsp defined by d x y p x y displaystyle d x y p x y nbsp is a translation invariant pseudometric on X displaystyle X nbsp that defines a vector topology on X displaystyle X nbsp 8 If p displaystyle p nbsp is a paranorm on a vector space X displaystyle X nbsp then the set x X p x 0 displaystyle x in X p x 0 nbsp is a vector subspace of X displaystyle X nbsp 8 p x n p x for all x n X displaystyle p x n p x text for all x n in X nbsp with p n 0 displaystyle p n 0 nbsp 8 If a paranorm p displaystyle p nbsp satisfies p s x s p x for all x X displaystyle p sx leq s p x text for all x in X nbsp and scalars s displaystyle s nbsp then p displaystyle p nbsp is absolutely homogeneity i e equality holds 8 and thus p displaystyle p nbsp is a seminorm Examples of paranorms Edit If d displaystyle d nbsp is a translation invariant pseudometric on a vector space X displaystyle X nbsp that induces a vector topology t displaystyle tau nbsp on X displaystyle X nbsp i e X t displaystyle X tau nbsp is a TVS then the map p x d x y 0 displaystyle p x d x y 0 nbsp defines a continuous paranorm on X t displaystyle X tau nbsp moreover the topology that this paranorm p displaystyle p nbsp defines in X displaystyle X nbsp is t displaystyle tau nbsp 8 If p displaystyle p nbsp is a paranorm on X displaystyle X nbsp then so is the map q x p x 1 p x displaystyle q x p x 1 p x nbsp 8 Every positive scalar multiple of a paranorm resp total paranorm is again such a paranorm resp total paranorm Every seminorm is a paranorm 8 The restriction of an paranorm resp total paranorm to a vector subspace is an paranorm resp total paranorm 9 The sum of two paranorms is a paranorm 8 If p displaystyle p nbsp and q displaystyle q nbsp are paranorms on X displaystyle X nbsp then so is p q x inf p y q z x y z with y z X displaystyle p wedge q x inf p y q z x y z text with y z in X nbsp Moreover p q p displaystyle p wedge q leq p nbsp and p q q displaystyle p wedge q leq q nbsp This makes the set of paranorms on X displaystyle X nbsp into a conditionally complete lattice 8 Each of the following real valued maps are paranorms on X R 2 displaystyle X mathbb R 2 nbsp x y x displaystyle x y mapsto x nbsp x y x y displaystyle x y mapsto x y nbsp The real valued maps x y x 2 y 2 displaystyle x y mapsto sqrt left x 2 y 2 right nbsp and x y x 2 y 2 3 2 displaystyle x y mapsto left x 2 y 2 right 3 2 nbsp are not a paranorms on X R 2 displaystyle X mathbb R 2 nbsp 8 If x x i i I displaystyle x bullet left x i right i in I nbsp is a Hamel basis on a vector space X displaystyle X nbsp then the real valued map that sends x i I s i x i X displaystyle x sum i in I s i x i in X nbsp where all but finitely many of the scalars s i displaystyle s i nbsp are 0 to i I s i displaystyle sum i in I sqrt left s i right nbsp is a paranorm on X displaystyle X nbsp which satisfies p s x s p x displaystyle p sx sqrt s p x nbsp for all x X displaystyle x in X nbsp and scalars s displaystyle s nbsp 8 The function p x sin p x min 2 x displaystyle p x sin pi x min 2 x nbsp is a paranorm on R displaystyle mathbb R nbsp that is not balanced but nevertheless equivalent to the usual norm on R displaystyle R nbsp Note that the function x sin p x displaystyle x mapsto sin pi x nbsp is subadditive 10 Let X C displaystyle X mathbb C nbsp be a complex vector space and let X R displaystyle X mathbb R nbsp denote X C displaystyle X mathbb C nbsp considered as a vector space over R displaystyle mathbb R nbsp Any paranorm on X C displaystyle X mathbb C nbsp is also a paranorm on X R displaystyle X mathbb R nbsp 9 F seminorms EditIf X displaystyle X nbsp is a vector space over the real or complex numbers then an F seminorm on X displaystyle X nbsp the F displaystyle F nbsp stands for Frechet is a real valued map p X R displaystyle p X to mathbb R nbsp with the following four properties 11 Non negative p 0 displaystyle p geq 0 nbsp Subadditive p x y p x p y displaystyle p x y leq p x p y nbsp for all x y X displaystyle x y in X nbsp Balanced p a x p x displaystyle p ax leq p x nbsp for x X displaystyle x in X nbsp all scalars a displaystyle a nbsp satisfying a 1 displaystyle a leq 1 nbsp This condition guarantees that each set of the form z X p z r displaystyle z in X p z leq r nbsp or z X p z lt r displaystyle z in X p z lt r nbsp for some r 0 displaystyle r geq 0 nbsp is a balanced set For every x X displaystyle x in X nbsp p 1 n x 0 displaystyle p left tfrac 1 n x right to 0 nbsp as n displaystyle n to infty nbsp The sequence 1 n n 1 displaystyle left tfrac 1 n right n 1 infty nbsp can be replaced by any positive sequence converging to the zero 12 An F seminorm is called an F norm if in addition it satisfies Total Positive definite p x 0 displaystyle p x 0 nbsp implies x 0 displaystyle x 0 nbsp An F seminorm is called monotone if it satisfies Monotone p r x lt p s x displaystyle p rx lt p sx nbsp for all non zero x X displaystyle x in X nbsp and all real s displaystyle s nbsp and t displaystyle t nbsp such that s lt t displaystyle s lt t nbsp 12 F seminormed spaces Edit An F seminormed space resp F normed space 12 is a pair X p displaystyle X p nbsp consisting of a vector space X displaystyle X nbsp and an F seminorm resp F norm p displaystyle p nbsp on X displaystyle X nbsp If X p displaystyle X p nbsp and Z q displaystyle Z q nbsp are F seminormed spaces then a map f X Z displaystyle f X to Z nbsp is called an isometric embedding 12 if q f x f y p x y for all x y X displaystyle q f x f y p x y text for all x y in X nbsp Every isometric embedding of one F seminormed space into another is a topological embedding but the converse is not true in general 12 Examples of F seminorms Edit Every positive scalar multiple of an F seminorm resp F norm seminorm is again an F seminorm resp F norm seminorm The sum of finitely many F seminorms resp F norms is an F seminorm resp F norm If p displaystyle p nbsp and q displaystyle q nbsp are F seminorms on X displaystyle X nbsp then so is their pointwise supremum x sup p x q x displaystyle x mapsto sup p x q x nbsp The same is true of the supremum of any non empty finite family of F seminorms on X displaystyle X nbsp 12 The restriction of an F seminorm resp F norm to a vector subspace is an F seminorm resp F norm 9 A non negative real valued function on X displaystyle X nbsp is a seminorm if and only if it is a convex F seminorm or equivalently if and only if it is a convex balanced G seminorm 10 In particular every seminorm is an F seminorm For any 0 lt p lt 1 displaystyle 0 lt p lt 1 nbsp the map f displaystyle f nbsp on R n displaystyle mathbb R n nbsp defined by f x 1 x n p x 1 p x n p displaystyle f left x 1 ldots x n right p left x 1 right p cdots left x n right p nbsp is an F norm that is not a norm If L X Y displaystyle L X to Y nbsp is a linear map and if q displaystyle q nbsp is an F seminorm on Y displaystyle Y nbsp then q L displaystyle q circ L nbsp is an F seminorm on X displaystyle X nbsp 12 Let X C displaystyle X mathbb C nbsp be a complex vector space and let X R displaystyle X mathbb R nbsp denote X C displaystyle X mathbb C nbsp considered as a vector space over R displaystyle mathbb R nbsp Any F seminorm on X C displaystyle X mathbb C nbsp is also an F seminorm on X R displaystyle X mathbb R nbsp 9 Properties of F seminorms Edit Every F seminorm is a paranorm and every paranorm is equivalent to some F seminorm 7 Every F seminorm on a vector space X displaystyle X nbsp is a value on X displaystyle X nbsp In particular p x 0 displaystyle p x 0 nbsp and p x p x displaystyle p x p x nbsp for all x X displaystyle x in X nbsp Topology induced by a single F seminorm Edit Theorem 11 Let p displaystyle p nbsp be an F seminorm on a vector space X displaystyle X nbsp Then the map d X X R displaystyle d X times X to mathbb R nbsp defined by d x y p x y displaystyle d x y p x y nbsp is a translation invariant pseudometric on X displaystyle X nbsp that defines a vector topology t displaystyle tau nbsp on X displaystyle X nbsp If p displaystyle p nbsp is an F norm then d displaystyle d nbsp is a metric When X displaystyle X nbsp is endowed with this topology then p displaystyle p nbsp is a continuous map on X displaystyle X nbsp The balanced sets x X p x r displaystyle x in X p x leq r nbsp as r displaystyle r nbsp ranges over the positive reals form a neighborhood basis at the origin for this topology consisting of closed set Similarly the balanced sets x X p x lt r displaystyle x in X p x lt r nbsp as r displaystyle r nbsp ranges over the positive reals form a neighborhood basis at the origin for this topology consisting of open sets Topology induced by a family of F seminorms Edit Suppose that L displaystyle mathcal L nbsp is a non empty collection of F seminorms on a vector space X displaystyle X nbsp and for any finite subset F L displaystyle mathcal F subseteq mathcal L nbsp and any r gt 0 displaystyle r gt 0 nbsp letU F r p F x X p x lt r displaystyle U mathcal F r bigcap p in mathcal F x in X p x lt r nbsp The set U F r r gt 0 F L F finite displaystyle left U mathcal F r r gt 0 mathcal F subseteq mathcal L mathcal F text finite right nbsp forms a filter base on X displaystyle X nbsp that also forms a neighborhood basis at the origin for a vector topology on X displaystyle X nbsp denoted by t L displaystyle tau mathcal L nbsp 12 Each U F r displaystyle U mathcal F r nbsp is a balanced and absorbing subset of X displaystyle X nbsp 12 These sets satisfy 12 U F r 2 U F r 2 U F r displaystyle U mathcal F r 2 U mathcal F r 2 subseteq U mathcal F r nbsp t L displaystyle tau mathcal L nbsp is the coarsest vector topology on X displaystyle X nbsp making each p L displaystyle p in mathcal L nbsp continuous 12 t L displaystyle tau mathcal L nbsp is Hausdorff if and only if for every non zero x X displaystyle x in X nbsp there exists some p L displaystyle p in mathcal L nbsp such that p x gt 0 displaystyle p x gt 0 nbsp 12 If F displaystyle mathcal F nbsp is the set of all continuous F seminorms on X t L displaystyle left X tau mathcal L right nbsp then t L t F displaystyle tau mathcal L tau mathcal F nbsp 12 If F displaystyle mathcal F nbsp is the set of all pointwise suprema of non empty finite subsets of F displaystyle mathcal F nbsp of L displaystyle mathcal L nbsp then F displaystyle mathcal F nbsp is a directed family of F seminorms and t L t F displaystyle tau mathcal L tau mathcal F nbsp 12 Frechet combination EditSuppose that p p i i 1 displaystyle p bullet left p i right i 1 infty nbsp is a family of non negative subadditive functions on a vector space X displaystyle X nbsp The Frechet combination 8 of p displaystyle p bullet nbsp is defined to be the real valued mapp x i 1 p i x 2 i 1, wikipedia, wiki, book, books, library,