Abstract
Keywords:
fuzzy nJordan *homomorphism; induced fuzzy C*algebra; HyersUlam stability.1. Introduction and preliminaries
The stability of functional equations originated from a question of Ulam [1] concerning the stability of group homomorphisms in 1940. More precisely, he proposed the following problem: Given a group , a metric group and ε > 0, does there exist a δ > 0 such that if a function satisfies the inequality d(f(xy), f(x)f(y)) < δ for all , then there exists a homomorphism such that d(f(x), T(x)) < ε for all Hyers [2] gave a partial solution of the Ulam's problem for the case of approximate additive mappings under the assumption that and are Banach spaces. Aoki [3] generalized the Hyers' theorem for approximately additive mappings. Rassias [4] generalized the theorem of Hyers by considering the stability problem with unbounded Cauchy differences.
Let X be a set. A function d: X × X → [0, ∞] is called a generalized metric on X if d satisfies
(1) d(x, y) = 0 if and only if x = y;
(2) d(x, y) = d(y, x) for all x, y ∈ X;
(3) d(x, z) ≤ d(x, y) + d(y, z) for all x, y, z ∈ X.
We recall a fundamental result in fixed point theory.
Theorem 1.1. [5,6]Let (X, d) be a complete generalized metric space and let J: X → X be a strictly contractive mapping with Lipschitz constant L < 1. Then for each given element x ∈ X, either
for all nonnegative integers n or there exists a positive integer n_{0 }such that
(1) d(J^{n}x, J^{n+1}x) < ∞, ∀n ≥ n_{0};
(2) the sequence {J^{n}x} converges to a fixed point y* of J;
(3) y* is the unique fixed point of J in the set ;
Isac and Rassias [7] were the first to provide applications of stability theory of functional equations for the proof of new fixed point theorems with applications. By using fixed point methods, the stability problems of several functional equations have been extensively investigated by a number of authors (see [812]).
Katsaras [13] defined a fuzzy norm on a vector space to construct a fuzzy vector topological structure on the space. Some mathematics have defined fuzzy normed on a vector space from various points of view [1420]. In particular, Bag and Samanta [21] following Cheng and Mordeson [22], gave an idea of fuzzy norm in such a manner that the corresponding fuzzy metric is of Kramosil and Michalek type [23]. They established a decomposition theorem of a fuzzy norm into a family of crisp norms and investigated some properties of fuzzy normed spaces [24].
We use the definition of fuzzy normed spaces given in [16,17,21] to investigate a fuzzy version of the HyersUlam stability of nJordan *homomorphisms in induced fuzzy C* algebras associated with the following functional equation
Definition 1.2. [1618,21] Let be a complex vector space. A function is called a fuzzy norm on if for all and all s, t ∈ ℝ,
N_{1}: N(x, t) = 0 for t ≤ 0
N_{2}: x = 0 if and only if N(x, t) = 1 for all t > 0
N_{4}: N(x + y, s + t) ≥ min{N(x, s), N(y, t)}
N_{5}: N(x, ·) is a nondecreasing function of ℝ and lim_{t→∞ }N(x, t) = 1
N_{6}: for x ≠ 0, N(x, .) is continuous on ℝ.
The pair is called a fuzzy normed vector space.
Definition 1.3. [1618,21] Let be a fuzzy normed vector space.
(1) A sequence {x_{n}} in χ is said to be convergent if there exists an x ∈ χ such that lim_{n→∞ }N(x_{n } x, t) = 1 for all t > 0. In this case, x is called the limit of the sequence {x_{n}} and we denote it by Nlim_{n→∞ }x_{n }= x.
(2) A sequence {x_{n}} in χ is called Cauchy if for each ε > 0 and each t > 0 there exists an n_{0 }∈ ℕ such that for all n ≥ n_{0 }and all p > 0, we have N(x_{n+p}x_{n}, t) > 1ε.
It is wellknown that every convergent sequence in a fuzzy normed vector space is Cauchy. If each Cauchy sequence is convergent, then the fuzzy norm is said to be complete and the fuzzy normed vector space is called a fuzzy Banach space.
We say that a mapping between fuzzy normed vector space is continuous at point if for each sequence {x_{n}} converging to x_{0 }in , then the sequence {f(x_{n})} converges to f (x_{0}). If is continuous at each , then is said to be continuous on (see [24]).
Definition 1.4. Let be a *algebra and a fuzzy normed space.
(1) The fuzzy normed space is called a fuzzy normed *algebra if
(2) A complete fuzzy normed *algebra is called a fuzzy Banach *algebra.
Example 1.5. Let be a normed *algebra. let
Then N(x, t) is a fuzzy norm on and is a fuzzy normed *algebra.
Definition 1.6. Let be a C*algebra and a fuzzy norm on .
(1) The fuzzy normed *algebra is called an induced fuzzy normed *algebra
(2) The fuzzy Banach *algebra is called an induced fuzzy C*algebra.
Definition 1.7. Let and be induced fuzzy normed *algebras. Then a ℂlinear mapping is called a fuzzy nJordan *homomorphism if
Throughout this article, assume that is an induced fuzzy normed *algebra and that is an induced fuzzy C*algebra.
2. Main results
Lemma 2.1. Let be a fuzzy normed vector space and let be a mapping such that
for all and all t > 0. Then f is additive, i.e., f(x + y) = f(x) + f(y) for all .
Proof. Letting x = y = z = 0 in (2.1), we get
for all t > 0. By N_{5 }and N_{6}, N(f(0), t) = 1 for all t > 0. It follows from N_{2 }that f(0) = 0.
Letting z = x, y = x, x = 0 in (2.1), we get
for all t > 0. It follows from N_{2 }that f(x) + f(x) = 0 for all . So
Letting x = 0 and replacing y, z by 3y, 3z, respectively, in (2.1), we get
for all t > 0. It follows from N_{2 }that
for all . Let t = 2yz and s = 2zy in (2.2), we obtain
Using fixed point method, we prove the HyersUlam stability of fuzzy nJordan *homomorphisms in induced fuzzy C*algebras.
Theorem 2.2. Let be a function such that there exists an with
for all . Let be a mapping such that
for all , all t > 0 and all . Then exists for each and defines a fuzzy nJordan *homomorphism such that
Proof. Letting μ = 1 and y = z = 0 in (2.4), we get
Consider the set
and introduce the generalized metric on S:
where, as usual, inf ϕ = +∞. It is easy to show that (S, d) is complete (see the proof of [[25], Lemma 2.1]).
Now we consider the linear mapping J: S → S such that
for all x ∈ X.
Let g, h ∈ S be given such that d(g, h) = ε. Then
for all and all t > 0. So d(g, h) = ε implies that d(Jg, Jh) ≤ Lε. This means that
for all g, h ∈ S.
It follows from (2.8) that d(f, Jf) ≤ 1.
By Theorem 1.1, there exists a mapping satisfying the following:
(1) H is a fixed point of J, i.e.,
for all . The mapping H is a unique fixed point of J in the set
This implies that H is a unique mapping satisfying (2.9) such that there exists a α ∈ (0, ∞) satisfying
(2) d(J^{k }f, H) → 0 as k → ∞. This implies the equality
(3) , which implies the inequality
This implies that the inequality (2.7) holds.
It follows from (2.3) that
By (2.4),
for all , all t > 0 and all . So
for all , all t > 0 and all . Since for all and all t > 0,
for all , all t > 0 and all . Thus
for all , all t > 0 and all . Letting x = y = z = 0 in (2.10), we get H(0) = 0. Let μ = 1 and x = 0 in (2.10). By the same reasoning as in the proof of Lemma 2.1, one can easily show that H is additive. Letting y = z = 0 in (2.10), we get
for all and all . By [[26], Theorem 2.1], the mapping is ℂlinear.
By (2.5),
for all and all t > 0. Since for all and all t > 0,
for all and all t > 0. Thus, H(x^{n})  H(x)^{n }= 0 for all .
By (2.6),
for all and all t > 0. Since for all and all t > 0,
for all and all t > 0. Thus, H(x*)  H(x)* = 0 for all .
Therefore, the mapping is a fuzzy nJordan *homomorphism. □
Corollary 2.3. Let θ ≥ 0 and let p be a real number with p > n. Let be a normed vector space with norm  · . Let be a mapping satisfying
for all , all t > 0 and all . Then exists for each and defines a fuzzy nJordan *homomorphism such that
Proof. The proof follows from Theorem 2.2 by taking
and L = 3^{lp}.
Theorem 2.4. Let be a function such that there exists an L < 1 with
for all . Let be a mapping satisfying (2.4), (2.5), and (2.6). Then exists for each and defines a fuzzy nJordan *homomorphism such that
Proof. Let (S, d) be the generalized metric space defined in the proof of Theorem 2.2.
Consider the linear mapping J: S → S such that
It follows from (2.8) that
for all and all t > 0. So d(f, Jf) ≤ L. Hence
which implies that the inequality (2.14) holds.
The rest of the proof is similar to the proof of Theorem 2.2. □
Corollary 2.5. Let θ ≥ 0 and let p be a positive real number with p < 1. Let be a normed vector space with norm  ·  Let be a mapping satisfying (2.11), (2.12), and (2.13). Then exists for each and defines a fuzzy nJordan *homomorphism such that
Proof. The proof follows from Theorem 2.4 by taking
and L = 3^{pl}. □
Competing interests
The authors declare that they have no competing interests.
Authors' contributions
All authors conceived of the study, participated in its design and coordination, drafted the manuscript, participated in the sequence alignment, and read and approved the final manuscript.
Acknowledgements
C. Park was supported by Basic Science Research Program through the National Research Foundation of Korea funded by the Ministry of Education, Science and Technology (NRF20090070788). S.Y. Jang was supported by Basic Science Research Program through the National Research Foundation of Korea funded by the Ministry of Education, Science and Technology (NRF20110004872).
References

Ulam, SM: Problems in Modern Mathematics, Chap. VI, Science edn. Wily, New York (1940)

Hyers, DH: On the stability of the linear functional equation. Proc Nat Acad Sci USA. 27, 222–224 (1941). PubMed Abstract  Publisher Full Text  PubMed Central Full Text

Aoki, T: On the stability of the linear transformation in Banach spaces. J Math Soc Japan. 2, 64–66 (1950). Publisher Full Text

Rassias, ThM: On the stability of the linear mapping in Banach spaces. Proc Am Math Soc. 72, 297–300 (1978). Publisher Full Text

Cădariu, L, Radu, V: Fixed points and the stability of Jensen's functional equation. J Inequal Pure Appl Math. 4(1), 7 Art. ID 4 (2003)

Diaz, J, Margolis, B: A fixed point theorem of the alternative for contractions on a generalized complete metric space. Bull Am Math Soc. 74, 305–309 (1968). Publisher Full Text

Isac, G, Rassias, ThM: Stability of ψadditive mappings: appications to nonlinear analysis. Int J Math Math Sci. 19, 219–228 (1996). Publisher Full Text

Cădariu, L, Radu, V: On the stability of the Cauchy functional equation: a fixed point approach. Grazer Math Ber. 346, 43–52 (2004)

Cădariu, L, Radu, V: Fixed point methods for the generalized stability of functional equations in a single variable. Fixed Point Theory and Applications. 2008, 15 Art. ID 749392 (2008)

Park, C: Fixed points and HyersUlamRassias stability of CauchyJensen functional equations in Banach algebras. Fixed Point Theory and Applications. 2007, 15 Art. ID 50175 (2007)

Park, C: Generalized HyersUlamRassias stability of quadratic functional equations: a fixed point approach. Fixed Point Theory and Applications. 2008, 9 Art. ID 493751 (2008)

Radu, V: The fixed point alternative and the stability of functional equations. Fixed Point Theory. 4, 91–96 (2003)

Katsaras, AK: Fuzzy topological vector spaces II. Fuzzy Sets Syst. 12, 143–154 (1984). Publisher Full Text

Felbin, C: Finite dimensional fuzzy normed linear spaces. Fuzzy Sets Syst. 48, 239–248 (1992). Publisher Full Text

Krishna, SV, Sarma, KKM: Separation of fuzzy normed linear spaces. Fuzzy Sets Syst. 63, 207–217 (1994). Publisher Full Text

Mirmostafaee, AK, Mirzavaziri, M, Moslehian, MS: Fuzzy stability of the Jensen functional equation. Fuzzy Sets Syst. 159, 730–738 (2008). Publisher Full Text

Mirmostafaee, AK, Moslehian, MS: Fuzzy versions of HyersUlamRassias theorem. Fuzzy Sets Syst. 159, 720–729 (2008). Publisher Full Text

Mirmostafaee, AK, Moslehian, MS: Fuzzy approximately cubic mappings. Inf Sci. 178, 3791–3798 (2008). Publisher Full Text

Park, C: Fuzzy stability of additive functional inequalities with the fixed point alternative. J Inequal Appl. 2009, 17 Art. ID 410576 (2009)

Xiao, JZ, Zhu, XH: Fuzzy normed spaces of opeators and its completeness. Fuzzy Sets Syst. 133, 389–399 (2003). Publisher Full Text

Bag, T, Samanta, SK: Finite dimensional fuzzy normed linear space. J Fuzzy Math. 11, 687–705 (2003)

Cheng, SC, Mordeson, JM: Fuzzy linear operators and fuuzy normed linear spaces. Cacutta Math Soc. 86, 429–436 (1994)

Kramosil, I, Michalek, J: Fuzzy metric and statistical metric spaces. Kybernetica. 11, 326–334 (1975)

Bag, T, Samanta, SK: Fuzzy bounded linear operators. Fuzzy Set Syst. 151, 513–547 (2005). Publisher Full Text

Miheţ, D, Radu, V: On the stability of the additive Cauchy functional equation in random normed spaces. J Math Anal Appl. 343, 567–572 (2008). Publisher Full Text

Park, C: Homomorphisms between Poisson JC*algebras. Bull Braz Math Soc. 36, 79–97 (2005). Publisher Full Text