Abstract
In this paper, we give the notion of locally convex probabilistic seminormed spaces and discuss some property of locally convex probabilistic seminormed spaces.
Similar content being viewed by others
1 Introduction
Locally convex probabilistic normed spaces are an interesting topic. In fact, some papers [1–3] discussed the subject, and we enjoy the topic too. On the basis of these papers, we try to search more concepts and properties about locally convex probabilistic normed spaces. In this article, we show our results.
Probabilistic normed spaces (briefly, PN spaces) were introduced by Šerstnev [4] by means of a definition that was closely modeled in the theory of normed spaces. Here we consistently adopt the new and, in our opinion, convincing definition of a PN space given Alsina, Schweizer, and Sklar [5], from which we further use the notation and concepts. On the basis of this classical work, continuity properties, linear operators, and nonlinear operators on PN spaces are studied in detail [6–8], and contraction maps, boundedness property, finite and countable infinite products, and probabilistic quasi-normed spaces are deeply discussed [9–13]. In order to understand the new advances on PN spaces, we refer to [14].
We recall the definition, properties, and examples of probabilistic normed spaces. Let Δ be the space of distribution functions, and \(\Delta^{+}:=\{F\in \Delta:F(0)=0\}\) be the subset of distance distribution functions [15]. The space Δ can be metrized in several equivalent ways so that the metric topology coincides with the topology of weak convergence for distribution functions. Here, we assume that Δ is metrized by the Sibley metric \(d_{S}\), which is the same metric denoted by \(d_{L}\) in [15]. We also consider the subset \(D^{+}\subset \Delta^{+}\) of the proper distance distribution functions, that is, those \(F\in \Delta^{+}\) for which \(\lim_{x\longrightarrow +\infty} F(x)=1\).
A triangle function is a mapping \(\tau: \Delta^{+}\times \Delta^{+}\longrightarrow \Delta^{+}\) that is commutative, associative, nondecreasing in each variable and has \(\varepsilon_{0}\) as the identity, where \(\varepsilon_{a}\) \((a\leq +\infty)\) is the distribution function defined by
Given a nonempty set S, a mapping \(\mathcal {F}\) from \(S\times S\) into \(\Delta^{+}\) and a triangle function τ, a probabilistic metric space (briefly a PM space) is the triple \((S, \mathcal {F}, \tau)\) with the following properties, where we set \(F_{p, q}:=\mathcal {F}_{p, q}\):
-
(PM1)
\(F_{p, q}=\varepsilon_{0}\) if and only if \(p=q\);
-
(PM2)
\(F_{p, q}=F_{q, p} \) for all p and \(q \in S\);
-
(PM3)
\(F_{p, r}\geq \tau(F_{p, q}, F_{q, r}) \) for all p, q, \(r \in S\).
A probabilistic normed space (briefly, a PN space) is a quadruple \((\mathcal{V}, \upsilon, \tau, \tau^{*})\), where \(\mathcal{V}\) is a vector space, τ and \(\tau^{*}\) are continuous triangle functions such that \(\tau\leq \tau^{*}\), and υ is a mapping from \(\mathcal{V}\) into \(\Delta^{+}\), called the probabilistic norm, such that for every choice of p and q in \(\mathcal{V}\), the following conditions hold:
-
(PN1)
\(\upsilon_{p}=\varepsilon_{0}\) if and only if \(p=\theta\) (θ is the null vector in \(\mathcal{V}\));
-
(PN2)
\(\upsilon_{-p}=\upsilon_{p}\);
-
(PN3)
\(\upsilon_{p+q}\geq\tau(\upsilon_{p}, \upsilon_{q})\);
-
(PN4)
\(\upsilon_{p}\leq \tau^{*}(\upsilon_{\lambda p}, \upsilon_{(1-\lambda)p})\) for every \(\lambda \in [0, 1]\).
When there is a continuous t-norm T (see [7, 15]) such that \(\tau=\tau_{T}\) and \(\tau^{*}=\tau_{T^{*}}\), where
the PN space \((\mathcal{V}, \upsilon, \tau_{T}, \tau_{T^{*}})\) is called a Menger PN space and is denoted by \((\mathcal{V}, \upsilon, T)\).
A PN space is called a Šerstnev space if it satisfies (PN1), (PN3), and the following condition, which implies both (PN2) and (PN4):
For any \(p\in\mathcal{V}\), \(\alpha \in \mathbb{R}\backslash\{0\}\), and \(x>0\), \(\upsilon_{\alpha p}(x)=\upsilon_{p}(\frac{x}{|\alpha|})\).
If \((\mathcal{V}, \upsilon, \tau, \tau^{*})\) is a PN space and a mapping \(\mathcal {F}: \mathcal{V}\times \mathcal{V}\longrightarrow \Delta^{+}\) is defined as
then \((\mathcal{V}, \mathcal {F}, \tau)\) is a probabilistic metric space. Every PM space can be endowed with strong topology; this topology is generated by the strong neighborhoods defined as follows: for every \(t>0\), the neighborhood \(N_{p}(t)\) at a point p of \(\mathcal{V}\) is defined by
Definition 1.1
Let \(\mathcal {V}\) is a topological space. If for any \(p\in\mathcal {V}\), \(\mathcal{W}_{p}\) is a neighborhood system of p, then the subset \(\mathcal {U}_{p}\subset\mathcal {W}_{p}\) is a neighborhood base of p if for any \(W\in \mathcal{W}_{p}\), there exists \(U\in\mathcal{U}_{p}\) such that \(U\subset W\).
The local base of \(\mathcal{V}\) is a neighborhood base of any p in \(\mathcal{V}\). For a topological linear space, the neighborhood base of θ can be translated to be a neighborhood base of any point p in \(\mathcal{V}\). Thus, we always call the neighborhood base of θ the local base.
Definition 1.2
Let \(\mathcal{V}\) is a real linear space, and \(W\subset\mathcal{V}\).
-
(1)
W is a convex set if for any \(t\in(0, 1)\), \(tW+(1-t)W\subset W\).
-
(2)
W is a balanceable set if for any \(\alpha\in\mathbb {R}\) such that \(|\alpha|\leq1\), \(\alpha W\subset W\).
-
(3)
W is a symmetrical set if \(W=-W\).
-
(4)
W is an absorbing set if for any \(p\in\mathcal{V}\), there exists \(\lambda >0\) such that \(\mu p\in W\), where \(|\mu|\leq\lambda\) (\(\mu\in\mathbb{R}\)).
Definition 1.3
[16]
Let \(\mathcal{V}\) is a real linear space. A real function p is called a seminorm on \(\mathcal{V}\) if it has following properties:
-
(1)
\(p(x+y)\leq p(x)+p(y)\) and
-
(2)
\(p(\alpha x)=|\alpha|p(x)\) for all \(x, y\in\mathcal{V} \) and \(\alpha\in \mathbb {R}\).
2 Main Results
Lemma 2.1
[16]
Let \(\mathcal{W}\) is a subset of a linear space \(\mathcal{V}\) having the following properties:
-
(a)
For any \(W_{1}, W_{2}\in\mathcal{W}\), there exists \(W_{3}\in \mathcal{W}\) such that \(W_{3}\subset W_{1}\cap W_{2}\);
-
(b)
Every \(W\in\mathcal{W}\) is a balanceable set;
-
(c)
For any \(W\in\mathcal{W}\) and \(p\in\mathcal{V}\), there exists \(\alpha \in \mathbb{R}\), \(\alpha\neq 0\), such that \(\alpha p\in W\);
-
(d)
For any \(W\in \mathcal{W}\), there exists \(W_{0}\in\mathcal{W}\) such that \(W_{0}+W_{0}\subset W\);
-
(e)
If \(W\in\mathcal{W}\) and \(0\neq\alpha\in \mathbb{R}\), then \(\alpha W\in\mathcal{W}\).
Then there exists a linear topology τ on \(\mathcal{V}\) such that \(\mathcal{W}\) in the topology τ is a neighborhood base of zero. Conversely, there exists a neighborhood base of zero that satisfies properties (a)-(e) on every topological linear space \(\mathcal{V}\).
(I) Š-probabilistic seminorm and locally convex Š-probabilistic semi-normed spaces
Definition 2.1
A Šerstnev probabilistic seminorm υ with τ (briefly, a Š-probabilistic seminorm) is a mapping from \(\mathcal {V}\) into \(\Delta^{+}\), where \(\mathcal {V}\) is a real vector space, and τ is a continuous triangle function for all p, q in \(\mathcal {V}\), such that the following conditions hold:
-
(ŠPSN1)
\(\upsilon_{p+q}(t)\geq\tau(\upsilon_{p}, \upsilon_{q})(t)\);
-
(ŠPSN2)
\(\upsilon_{\alpha p}(t)=\upsilon_{p}(\frac{t}{|\alpha|})\) for all \(\alpha\in\mathbb{R}\).
We adopt the convention that \(\upsilon_{p}(\frac{t}{|{0}|})=\varepsilon_{0}(t)\).
Let \(\upsilon_{0}=\varepsilon_{0}\). It is obvious that for any Š-probabilistic seminorm \(\upsilon_{p}\), if \(p=\theta\), then \(\upsilon_{p}=\varepsilon_{0}\), and \(\upsilon_{-p}=\upsilon_{p}\).
If \(\mathcal{V}\) satisfies (ŠPSN1) and (ŠPSN2), then \((\mathcal{V}, \upsilon , \tau)\) is said to be a Š-probabilistic seminorm space with τ (briefly, a Š-PSN space).
Obviously, every Šerstnev probabilistic norm is a Šerstnev probabilistic seminorm, and a Šerstnev space is a Š-PSN space.
Definition 2.2
A linear topological space \(\mathcal{V}\) is called a locally convex space if it has a convex neighborhood base of zero.
Theorem 2.1
Let \(\mathcal{V}\) be a vector space, and υ be a Š-probabilistic seminorm with τ and υ satisfying the following condition:
(ŠPSN3) For any \(p, q \in \mathcal{V}\), \(t_{1}, t_{2}>0\), if \(\upsilon_{p}(t_{1})>1-\lambda\) and \(\upsilon_{q}(t_{2})>1-\lambda\), then \(\upsilon_{p+q}(t_{1}+t_{2})>1-\lambda\).
Then we have:
(1) For each \(\lambda \in(0, 1]\), the function \(\mathscr{P}_{\lambda}\) defined by
is a seminorm.
(2) \((\mathcal{V}, \upsilon)\) is a locally convex topological linear space induced by the family of seminorms \(\{\mathscr{P}_{\lambda}, \lambda \in(0, 1]\}\), and for any positive integer n and each \(p\in \mathcal{V}\),
is the basis of neighborhoods of zero, where
(3) The topology induced by the basis \(\mathcal{W}(p)\) of neighborhoods of zero coincides with the topology induced by the following basis of neighborhoods of zero:
where
Proof
(1) For any \(\alpha \in\mathbb{R}\), \(\alpha\neq 0\), we have
It is obvious that from \(\alpha=0 \) we get \(\mathscr{P}_{\lambda}(0\cdot p)=0 \cdot \mathscr{P}_{\lambda}(p)\) and \(\mathscr{P}_{\lambda}(p)\geq 0\). According to the definition of \(\mathscr{P}_{\lambda}\), for any \(\varepsilon>0\), we have \(\upsilon_{p}(\mathscr{P}_{\lambda}(p)+\frac{\varepsilon}{2})>1-\lambda\) and \(\upsilon_{q}(\mathscr{P}_{\lambda}(q)+\frac{\varepsilon}{2})>1-\lambda\). By condition (ŠPSN3), \(\upsilon_{p+q}(\mathscr{P}_{\lambda}(p)+\mathscr{P}_{\lambda}(q)+\varepsilon)>1-\lambda\). Therefore,
Letting \(\varepsilon\to0\), we have \(\mathscr{P}_{\lambda}(p+q)\leq\mathscr{P}_{\lambda}(p)+\mathscr{P}_{\lambda}(q)\), \(\lambda\in(0, 1]\).
Conclusion (1) is proved.
(2) Firstly, it is easy to show that \(W(p, \lambda_{1}, \lambda_{2}, \ldots, \lambda_{n}, \lambda)\) is convex. In fact, for any \(p, q\in W(p, \lambda_{1}, \lambda_{2}, \ldots, \lambda_{n}, \lambda)\),
Then, for every \(t \in [0, 1]\),
Thus,
Secondly, we consider the system
in which \(W(p, \lambda_{1}, \lambda_{2}, \ldots, \lambda_{n}, \lambda)=\{p\in\mathcal{V}:\mathscr{P}_{\lambda_{i}}(p)<\lambda, \lambda_{i}\in(0, 1], i=1, 2, \ldots, n\}\). By Lemma 2.1 we know that if \(W_{1}=W(p, \lambda_{1}^{\prime}, \lambda_{2}^{\prime}, \ldots, \lambda_{n}^{\prime}, \lambda^{\prime})\), \(W_{2}=W(p, \lambda_{1}^{\prime\prime}, \lambda_{2}^{\prime\prime}, \ldots, \lambda_{m}^{\prime\prime}, \lambda^{\prime\prime})\), \(\lambda=\min (\lambda^{\prime}, \lambda^{\prime\prime})\), and \(W_{3}=W(p, \lambda_{1}^{\prime}, \lambda_{2}^{\prime}, \ldots, \lambda_{n}^{\prime}, \lambda_{1}^{\prime\prime}, \lambda_{2}^{\prime\prime}, \ldots, \lambda_{m}^{\prime\prime}, \lambda)\), then \(W_{3}\subset W_{1}\cap W_{2}\), so that property (a) is satisfied.
If \(\alpha\in \mathbb{R}\) and \(|\alpha|\leq 1\), then from \(\mathscr{P}_{\lambda_{i}}(p)<\lambda\), we get \(\mathscr{P}_{\lambda_{i}}(\alpha p)<\lambda\), that is, the set \(W(p, \lambda_{1}, \lambda_{2}, \ldots, \lambda_{n}, \lambda)\) is balanceable, so that property (b) is satisfied.
Let \(q\in \mathcal{V}\) and denote \(W(p, \lambda_{1}, \lambda_{2}, \ldots, \lambda_{n}, \lambda)\) by \(W_{0}\). Let \(\mu\in \mathbb{R}\) be such that \(0<|\mu|<\lambda\), and let \(\sigma=\max_{1\leq i\leq n} \mathscr{P}_{\lambda_{i}}(q)\). If \(q \notin W_{0}\) and \(\alpha=\mu\sigma^{-1}\), then \(\mathscr{P}_{\lambda_{i}}(\alpha q)=|\mu|\sigma^{-1}\mathscr{P}_{\lambda_{i}}(q)\leq|\mu|<\lambda\), that is, \(\alpha q\in W_{0}\), so that property (c) is satisfied.
Let \(W_{1}=W(p, \lambda_{1}, \lambda_{2}, \ldots, \lambda_{n}, 2^{-1}\lambda)\). Then \(W_{1}+W_{1}=\frac{1}{2} W_{0}+\frac{1}{2} W_{0}=W_{0}\), and we see that \(\mathcal{W}(p)\) satisfies property (d).
Since \(W_{0}=W(p, \lambda_{1}, \lambda_{2}, \ldots, \lambda_{n}, \lambda)\) and \(\alpha \in \mathbb{R}\), \(\alpha\neq 0\), we have
that is, \(\alpha W_{0}\in \mathcal{W}(p)\), so \(\mathcal{W}(p)\) satisfies property (e).
Conclusion (2) is proved.
(3) Next, we prove that \(U(\lambda, \lambda_{i})=W(p, \lambda_{i}, \lambda)\) (\(i=1, 2, \ldots, n\)). Let \(p\in U(\lambda, \lambda_{i})\). Then \(\upsilon_{p}(\lambda)>1-\lambda_{i}\). Since the distribution function \(\upsilon_{p}\) is left continuous, there exists \(\lambda^{\prime}\in (0, \lambda)\) such that, for each \(i=1, 2, \ldots, n\),
Hence,
which implies that \(p\in W(p, \lambda_{i}, \lambda)\). Conversely, let \(p\in W(p, \lambda_{i}, \lambda)=\{p\in\mathcal{V}:\mathscr{P}_{\lambda_{i}}(p)<\lambda\}\). Then \(\mathscr{P}_{\lambda_{i}}(p)=\) \(\inf\{t\geq 0;\upsilon_{p}(t)>1-\lambda_{i}\}<\lambda\), \(\upsilon_{p}(\lambda)>1-\lambda_{i}\), that is, \(p\in U(\lambda, \lambda_{i})\). Thus, we get the conclusion \(U(\lambda, \lambda_{i})=W(p, \lambda_{i}, \lambda)\) (\(i=1, 2, \ldots, n\)).
On the other hand, for each \(W_{0}=W(p, \lambda_{1}, \lambda_{2}, \ldots, \lambda_{n}, \lambda) \in\mathcal{W}(p)\), we have
which implies that \(\mathcal{W}(p)\) coincides with \(\mathcal{N}_{0}\). Therefore, the topologies induced by them are equivalent. This completes the proof. □
Theorem 2.2
A S̆erstnev space \((\mathcal{V}, \upsilon, \tau)\) is a locally convex Š-probabilistic normed space.
Proof
By Corollary 7.5.8 [15], \(\tau_{M}=\tau_{M^{*}}\). It suffices to consider the family of neighborhoods of the origin θ, \(\mathcal{N}_{\theta}=\{U(\varepsilon, \lambda);\lambda\in(0, 1]\}\). Let \(p, q\in U(\varepsilon, \lambda)\), \(\lambda\in(0, 1]\), and \(\alpha\in[0, 1]\), \(\varepsilon>0\). Then
Thus, for every \(\alpha\in[0, 1]\),
This completes the proof. □
(II) Probabilistic seminorm and locally convex probabilistic seminormed spaces
Definition 2.3
A probabilistic seminorm υ with τ and \(\tau^{*}\) is a mapping from \(\mathcal {V}\) into \(\Delta^{+}\), where \(\mathcal {V}\) is a real vector space, τ and \(\tau^{*}\)are continuous triangle functions for all p, q in \(\mathcal {V}\), and the following conditions hold:
-
(PSN1)
\(\upsilon_{-p}(t)=\upsilon_{p}(t)\);
-
(PSN2)
\(\upsilon_{p+q}(t)\geq\tau(\upsilon_{p}, \upsilon_{q})(t)\);
-
(PSN3)
\(\upsilon_{p}(t)\leq\tau^{*}(\upsilon_{\alpha p}, \upsilon_{(1-\alpha)p})(t)\) for all \(\alpha\in[0, 1]\).
If \(\mathcal{V}\) satisfies (PSN1), (PSN2), and (PSN3), then \((\mathcal{V}, \upsilon, \tau, \tau^{*})\) is said to be a probabilistic seminorm space (briefly, a PSN space).
Similarly, when there is a continuous t-norm T (see [7, 15]) such that \(\tau=\tau_{T}\) and \(\tau^{*}=\tau_{T^{*}}\), where
the PSN space \((\mathcal{V}, \upsilon, \tau_{T}, \tau_{T^{*}})\) is called a Menger PSN space and is denoted by \((\mathcal{V}, \upsilon, T)\).
Obviously, a probabilistic norm is a probabilistic seminorm, and a PN space is a PSN space.
It is easy to prove that following lemma.
Lemma 2.2
Let \(\upsilon_{p}\) is a probabilistic seminorm with τ and \(\tau^{*}\). Then for any \(\alpha, \beta\in\mathbb{R}\) such that \(|\alpha|<|\beta|\) and any \(p\in \mathcal{V}\),
Definition 2.4
A linear space \(\mathcal{V}\) is called a locally convex probabilistic seminormed (normed) space if it has a convex neighborhood of zero induced by a probabilistic seminorm (norm).
Theorem 2.3
For each \(\lambda\in(0, 1]\), let \(\mathscr{P}_{\lambda}(p):=\inf_{t}\{t\geq 0;\upsilon_{p}(t)>1-\lambda\}\), where \(\upsilon_{p}(t)\) is a probabilistic seminorm satisfying the following conditions:
(1) \(\upsilon_{p}(t)=\tau(\upsilon_{\alpha p}, \upsilon_{(1-\alpha)p})(t)\);
(2) For any \(p, q \in \mathcal{V}\) and any \(t_{1}, t_{2}>0\), the inequalities \(\upsilon_{p}(t_{1})>1-\lambda\) and \(\upsilon_{q}(t_{2})>1-\lambda\), imply \(\upsilon_{p+q}(t_{1}+t_{2})>1-\lambda\).
Then:
(1) \(\mathscr{P}_{\lambda}\) is a seminorm;
(2) \((\mathcal{V}, \upsilon)\) is a locally convex topological space induced by the family of semi-norms \(\{\mathscr{P}_{\lambda}, \lambda \in(0, 1]\}\), and, for any positive integer n and each \(p\in \mathcal{V}\),
is a basis of neighborhoods of zero, where
(3) The topology induced by the basis \(\mathcal{W}(p)\) of neighborhoods of zero coincides with the topology induced by the following basis of neighborhoods of zero:
where
Proof
(1) By Theorem 2 of [5] we know that the PN space is a S̆erstnev PN-space when \(\tau=\tau_{M}\). So the probabilistic seminorm includes the example in the sense of S̆erstnev as a particular case.
For any \(F\in \Delta^{+}\), let \(F^{\wedge}\) denote the left-continuous quasi-inverse of F, that is, the function defined for all \(t\in [0, 1]\) by
It is known form [15], Section 7.7, that, for any F, G, H in \(\Delta^{+}\), \(H=\tau_{M}(F, G)\) if and only if
Thus, we get
It follows from \(H^{\wedge}=F^{\wedge}+G^{\wedge}\) that the function \(f_{t}:\mathcal{V}\longrightarrow R^{+}\) defined for a fixed \(t\in[0, 1]\) by \(f_{t}(p)=\upsilon^{\wedge}_{p}(t)\) satisfies \(f(-p)=f(p)\) and \(f(p)=f(\alpha p)+f((1-\alpha) p)\). Therefore, for all \(\lambda\in R\) and all \(t\in[0, 1]\),
whence \(\upsilon^{\wedge}_{\lambda p}=|\lambda|\upsilon^{\wedge}_{p}\), which is equivalent to \(\mathscr{P}_{\lambda}(\alpha p)=\alpha \mathscr{P}_{\lambda}(p)\) (see [5], Thm. 1).
By the definition of \(\mathscr{P}_{\lambda}\), for any \(\varepsilon>0\), we have \(\upsilon_{p}(\mathscr{P}_{\lambda}(p)+\frac{\varepsilon}{2})>1-\lambda\) and \(\upsilon_{q}(\mathscr{P}_{\lambda}(q)+\frac{\varepsilon}{2})>1-\lambda\). By condition (2), \(\upsilon_{p+q}(\mathscr{P}_{\lambda}(p)+\mathscr{P}_{\lambda}(q)+\varepsilon)>1-\lambda\). Therefore,
Letting \(\varepsilon\to0\), we get \(\mathscr{P}_{\lambda}(p+q)\leq\mathscr{P}_{\lambda}(p)+\mathscr{P}_{\lambda}(q)\) for \(\lambda\in(0, 1)\).
Conclusion (1) is proved.
(2) and (3). The proof is similar to that of (2) and (3) of Theorem 2.1.
This completes the proof. □
Definition 2.5
[17]
A PN space \((\mathcal{V}, \upsilon, \tau, \tau^{*})\) is called a characteristic space if \(\lim_{t\to +\infty} \upsilon_{p}(t)=1\).
Theorem 2.4
Let \((\mathcal{V}, \upsilon, T)\) be a characteristic Menger PSN space. Then every neighborhood \(U(\varepsilon, \lambda)=\{p\in\mathcal{V};\upsilon_{p}(\varepsilon)>1-\lambda, \lambda\in (0, 1]\}\) of the origin θ is a balanced and absorbing set.
Proof
Firstly, we show that \(U(\varepsilon, \lambda)\) is a balanceable set.
For any \(p\in U(\varepsilon, \lambda)\) and \(|\alpha|\leq 1\), by Lemma 2.2, \(\upsilon_{\alpha p}(\varepsilon)\geq \upsilon_{p}(\varepsilon)>1-\lambda\). Thus, \(\alpha p \in U(\varepsilon, \lambda)\).
Now we show that \(U(\varepsilon, \lambda)\) is an absorbing set.
Since \(\mathcal{V}\) is a characteristic space, that is, \(\lim_{t\to+\infty} \upsilon_{p}(t)=1\) for any \(p\in \mathcal{V}\). Then for \(\lambda \in (0, 1]\) and \(\varepsilon>0\), taking \(t_{2}\) such that \(0< t_{2}<\lambda\), there exists \(t_{1}>\varepsilon\) such that \(\upsilon_{p}(t_{1})>1-t_{2}\), and letting \(\delta_{0}=\frac{\varepsilon}{t_{1}}<1\), by (PSN3) we have
Therefore, we have
Thus, when \(|\mu|<\delta_{0}\), by Lemma 2.2 we have
Then,
This completes the proof. □
(III) The cases of simple spaces and α-simple spaces
Definition 2.6
Let \(\mathcal{V}\) is a locally convex space, and \(\mathcal{W}\) be a balanced convex neighborhood base. Then, for all \(W\in \mathcal{W}\) and \(x\in \mathcal{V}\), we define the Minkowski functional \(p_{w}(x)\) as follows:
Lemma 2.3
The Minkowski functional \(p_{w}\) is a seminorm.
Proof
Let \(x, y\in \mathcal{V}\), and for any \(\varepsilon>0\), let \(\lambda=\frac{p_{w}(x)+\varepsilon}{p_{w}(x)+p_{w}(y)+2\varepsilon}\). Then we have \(0<\lambda<1\) and \(1-\lambda=\frac{p_{w}(y)+\varepsilon}{p_{w}(x)+p_{w}(y)+2\varepsilon}\). By the definition of \(p_{w}\) we have
or
Since the set W is convex, we have
or
Therefore,
According to the definition of \(p_{w}\), we get
Since ε is arbitrary, we have
Now let \(x\in \mathcal{V}\). For any \(\alpha >0\), we have
If \(0\neq \alpha \in\mathbb {R}\), then \(\alpha=|\alpha|\beta\), \(|\beta|=1\). In view of the balanceable property of the set W, we have \(\beta ^{-1}W=W\) and \(p_{w}(\beta x)=p_{w}(x)\), so that
It is obvious that \(P(0)=0\). This completes the proof. □
Definition 2.7
Let \((V, \|\cdot\|)\) be a normed space, and let \(G\in \Delta^{+}\) be different from \(\varepsilon_{0}\) and from \(\varepsilon_{\infty}\). We define \(\upsilon:V\longrightarrow\Delta^{+}\) by
The pair \((V, \upsilon)\) is called the simple space generated by \((V, \|\cdot\|)\) and G.
Theorem 2.5
Let \(p_{w}\) is a Minkowski function of Definition 2.6, and let \(G\in \Delta^{+}\). Then \(\upsilon_{p}(t):=G(\frac{t}{p_{w}(p)})\) is a Š-probabilistic seminorm with \(\tau_{M}\) generated by the Minkowski functional (briefly, Minkowski Š-probabilistic seminorm).
Proof
It is obvious that \(\upsilon_{p_{w}}(t)=\upsilon_{-p_{w}}(t)\) is satisfied. Given a d.f. F, its quasi-inverse \(F^{\wedge}\) is defined by
Since \(\upsilon_{p}^{\wedge}=p_{w}(p)G^{\wedge}\) for all \(p, q \in\mathcal{V}\), we have
Thus,
By the equality \(\tau_{M}=\tau_{M^{*}}\) [15], Cor. 7.5.8, we have
and thus
By Lemma 1 of [5], condition (ŠPSN2) holds. This completes the proof. □
In view of Theorem 2.5, we easily get the corollary.
Corolary 2.1
A simple space is a locally convex Š-probabilistic seminormed space.
Definition 2.8
A PSN space \((V, \upsilon)\) is said to be equilateral if there is a d.f. F\(\in \Delta^{+}\), different from \(\varepsilon_{0}\) and from \(\varepsilon_{\infty}\), such that, for every \(p\neq\theta\), \(\upsilon_{p}=F\).
Theorem 2.6
An equilateral space is a locally convex Š-probabilistic seminormed space.
Proof
According to the definition of an equilateral space, we know that for every \(p\neq \theta\), \(\upsilon_{p}=F\) and easily get that the following two conditions are satisfied:
-
(1)
\(\upsilon_{p+q}(t)\geq\tau(\upsilon_{p}, \upsilon_{q})(t)\);
-
(2)
\(\upsilon_{\alpha p}(t)=\upsilon_{p}(\frac{t}{|\alpha|})\).
By the Theorem 2.1 we know that an equilateral space is a locally convex Š-probabilistic seminormed space but not a TV space (topological vector space) and also it is a PN space but not a TV space. This completes the proof. □
Definition 2.9
Let \((V, \|\cdot\|)\) be a normed space, and let \(G\in \Delta^{+}\) be different from \(\varepsilon_{0}\) and \(\varepsilon_{\infty}\). Define \(\upsilon:V\longrightarrow \Delta^{+}\) by
where \(\alpha>0\). Then the pair \((V, \upsilon)\) is called the α-simple space generated by \((V, \|\cdot\|)\) and G.
The following theorem shows that, generally, an α-simple space need not be a locally convex probabilistic seminormed space.
Theorem 2.7
Let U be the d.f. of the uniform law on \((0, 1)\). Then the α-simple space \((V, \|\cdot\|, U;\alpha)\) with \(\alpha\in (0, 1)\) for \(\lambda=1/2\) is not a locally convex probabilistic seminormed space.
Proof
It is easy to evaluate \(\upsilon_{p}(\|p\|^{\alpha})=1\). On the other hand, \(\tau_{M^{*}}=\tau_{M}\) and \(\tau_{M}(F, F)(x)=F(x/2)\) for all \(F\in\Delta^{+}\) and \(x\geq0\). Therefore,
Thus,
Obviously, condition (PSN3) is not satisfied, and this α-simple space is not a locally convex probabilistic seminormed space. This completes the proof. □
Theorem 2.8
Let \((V, \|\cdot\|)\) be a normed space, \(G\in D^{+}\) be a strictly increasing continuous d.f., and T be a strict t-norm with additive generator f. Then, for every \(\alpha>0\) with \(\alpha\neq 1\), \((V, \|\cdot\|, G, \alpha)\) is a locally convex Š-probabilistic seminormed space under T if the following inequalities hold for all \(u, v \in (0, +\infty)\), \(\lambda\in[0, 1]\), and every pair of points p and q in V with \(p\neq\theta\), \(q\neq\theta\), and \(p+q\neq\theta\):
-
(1)
\((f\circ G)(\frac{u+v}{\|p+q\|^{\alpha}})\leq(f\circ G)(\frac{u}{\|p\|^{\alpha}})+(f\circ G)(\frac{v}{\|q\|^{\alpha}})\) and
-
(2)
\((f\circ G^{*})(\frac{u+v}{\|p\|^{\alpha}})\leq(f\circ G^{*})(\frac{u}{\lambda^{\alpha}\|p\|^{\alpha}})+(f\circ G^{*})(\frac{v}{(1-\lambda)^{\alpha}\|p\|^{\alpha}})\),
where \(G^{*}(x):=1-G(x)\).
Proof
Setting \(h:=f\circ G\) and \(h^{*}:=f\circ G^{*}\), we get
(a) \(h, h^{*} :[0, +\infty]\longrightarrow [0, +\infty]\), \(h(0)=h^{*}(+\infty)=+\infty\), \(h(+\infty)=h^{*}(0)=0\);
(b) both h and \(h^{*}\) are continuous;
(c) h is strictly decreasing, and \(h^{*}\) is strictly increasing.
Therefore, their inverses \(h^{-1}\) and \((h^{*})^{-1}\) satisfy the same properties as h and \(h^{*}\), respectively.
Let p and q be in V with \(p\neq\theta\), \(q\neq\theta\), and \(p+q\neq\theta\), and let \(\lambda\in(0, 1)\). For \(u, v>0\), let
Thus, \(h^{-1}(s)=\frac{u}{\|p\|^{\alpha}}\) and \(h^{-1}(t)=\frac{v}{\|q\|^{\alpha}}\). Now an easy calculation shows that (1) is equivalent to
In a similar way, we show that (2) is equivalent to
Thus, \(\upsilon_{p}\) is a Š-probabilistic seminorm, and by Theorem2.1 we know that \((V, \|\cdot\|, G, \alpha)\) is a locally convex Š-probabilistic seminormed space. This completes the proof. □
3 Conclusion
The concept of this paper is motivated by the increased interest of the research on best approximation in statistics. The concept of locally convex probabilistic normed spaces has been introduced following the definition of Šerstnev through the intersection of two concepts of locally convex spaces and probabilistic normed spaces. In this paper, we discuss the condition under which a vector space is in fact a locally convex space and the relation between seminorm and locally convex spaces. Then, we give some particular cases of locally convex spaces. We prove some examples of locally convex probabilistic Šerstnev semi-normed spaces (Theorem 2.1 and Theorem 2.2). Also, we give some properties of locally convex probabilistic seminormed spaces in Theorem 2.3 and Theorem 2.4. In the third part of this work, we prove that some kinds of simple spaces including α-simple spaces are locally convex PN spaces (Theorems 2.5-2.8). The theory of locally convex probabilistic normed spaces can be also applied to fuzzy optimization problems and probabilistic models, and by using this theory many innovative methods can be developed further in some fascinating area of the stochastic optimal control theory.
References
Hadžic, O: On the (\(\varepsilon, \lambda\))-topology of probabilistic locally convex spaces. Glas. Mat. 13(33), 293-297 (1978)
Radu, V: On the relationship between locally (K)-convex spaces and random normed spaces over valued fields. West Univ. of Timişoara 37 (1978)
Radu, V: On the t-norms of Hadzic-type and locally convex random normed spaces. West Univ. of Timişoara 72 (1984)
Šerstnev, AN: On the motion of a random normed space. Dokl. Akad. Nauk SSSR 149(2), 280-283 (1963)
Alsina, C, Schweizer, B, Sklar, A: On the definition of a probabilistic normed space. Aequ. Math. 46, 91-98 (1993)
Alsina, C, Schweizer, B, Sklar, A: Continuity properties of probabilistic norms. J. Math. Anal. Appl. 208, 446-452 (1997)
Chang, SS, Cho, YJ, Kang, MK: Nonlinear Operator Theorem in Probabilistic Metric Spaces. Huntington, New York (2001)
Lafuerza Guillén, B, Rodríguez Lallena, JA, Sempi, C: Probabilistic norms for linear operators. J. Math. Anal. Appl. 220, 462-476 (1998)
Tardiff, RM: Contraction maps on probabilistic metric spaces. J. Math. Anal. Appl. 165, 517-522 (1992)
Jebril, IH, Ali, RIM: Bounded linear operators in probabilistic normed space. JIPAM. J. Inequal. Pure Appl. Math. 4(1) (2002)
Lafuerza Guillén, B, Rodríguez Lallena, JA: Boundedness in generalized Serstnev PN spaces (2005) arXiv:Math/0408207v4[Math.FA]
Lafuerza Guillén, B: Finite and countable infinite products of probabilistic normed spaces. Radovy Matematički 13 (2004)
Chi, J, Yan, CL: Discussion of Probabilistic Norm of Linear Operator in PN Spaces. Journal of Chengdu University of Information Technology 23(5) (2008)
Lafuerza Guillén, B, Harikrishnan, P: Probabilistic Normed Spaces. Imperial College Press, London (2014)
Schweizer, B, Sklar, A: Probabilistic Metric Spaces. Elsevier, New York (1983)
Cristescu, R: Analizǎ Funcţionalǎ. Editura Didacticǎ şi Pedago-gicǎ, Bucureşti (1983)
Lafuerza Guillén, B, Rodríguez Lallena, JA, Sempi, C: Normability of probabilistic normed spaces. Note Mat. 29, 99-111 (2009). doi:10.1285/i15900932v29n1p99
Acknowledgements
The research was supported by the Fundamental Research Funds for National Science and Technology Major Projects (2016ZX05011-002) and the Fundamental Research Funds for the Central Universities (2652015142). The authors would like to thank the associated editors and anonymous referees for their valuable comments and suggestions, which have helped to improve the paper.
Author information
Authors and Affiliations
Corresponding author
Additional information
Competing interests
The authors declare that they have no competing interests.
Authors’ contributions
All authors contributed equally to the writing of this paper. All authors read and approved the final manuscript.
Rights and permissions
Open Access This article is distributed under the terms of the Creative Commons Attribution 4.0 International License (http://creativecommons.org/licenses/by/4.0/), which permits unrestricted use, distribution, and reproduction in any medium, provided you give appropriate credit to the original author(s) and the source, provide a link to the Creative Commons license, and indicate if changes were made.
About this article
Cite this article
Chi, J., Yan, C., Zhang, M. et al. On locally convex probabilistic normed spaces. J Inequal Appl 2016, 319 (2016). https://doi.org/10.1186/s13660-016-1263-1
Received:
Accepted:
Published:
DOI: https://doi.org/10.1186/s13660-016-1263-1