(2) Dept of Pc Science, web based crm Kongu Engineering University, Perundurai, Tamilnadu,
Blurry subalgebras and blurry T-ieals in TM-algebras.(Report)
Unveiling
We (Megalai and Tamilarasi, 2010) introduced a brand new sentiment called TM-algebra, that is known as a generalization of Q/BCK / BCI /BCH-algebras and searched into some properties. Within this learn, we introduce the notions of blurry subalgebras and blurry T-ideals in TM-algebra and inspect several of their properties.
MATERIALS And techniques
Sure imperative meanings that'll be use within the sequel are described.
Preliminaries:
Definition 1: A BCK-algebra is an algebra (X,*, 0) of sort (2, 0) satisfying as follows conditions:
* (x*y)* (x*z) [less than or amount to] z* y
* x* (x* y) [less than or amount to] y
* x [less than or amount to] x,
* x [less than or amount to] y and y [less than or amount to] x imply x = y,
* 0 < x="" means="" x="0," where="" x="" [less="" than="" or="" amount="" to]="" y="" is="" outlined="" by="">
* x*y = 0 for all x, y, z [person in] X.
Definition 2: Let I be a non- devoid subset of a BCK-algebra X. I then is called a BCK-ideal of X if:
* 0 [person in] I,
* x * y [person in] I and y [person in] I imply x [person in] I, for all x, y [person in] x
Definition 3: A TM-algebra (X,*,0) is known as a non-empty set X with a consistent "0" and a binary operation "* " satisfying as follows axioms:
* x*0 = x
* (x*y)* (x*z) = z*y, for any x, y, z [person in] X
In X we could characterize a binary connection [less than or amount to] by x [less than or amount to] y if and only once x*y = 0.
Definition 4: Let S be a non-empty subset of a TM-algebra X. So therefore S is called a subalgebra of X if x * y [person in] S, for all x, y [person in] X .
Definition 5: Let (X, *, 0) be a TM-algebra. A non-empty subset I of X is called a perfect of X if it fulfills
* 0 [person in] l
* x * y [person in] I and y [person in] I imply x [person in] I, for all x, y [person in] X .
Definition 6: A perfect A of a TM-algebra X is claimed to be closed if 0*x [person in] A for all x [person in] A .
Definition 7: Let (X,*,0) be a TM-algebra. A nonempty sandwich set I of X is called a T- ideal of X if it fulfills
* 0 [person in] I
* (x*y)* z [person in] I and y [person in] I imply x* z [person in] I, for all x, y, z [person in] X.
Blurry subalgebras:
Definition 8: Let X be a non-empty set. A mapping [mu] : x [right arrow] [0,1] is called a blurry set in X. The complement of [mu], signaled by [[bar.[mu]](x) = 1 - [mu](x), for all x [person in] X.
Definition 9: A blurry set [mu] in a TM-algebra X is called a blurry subalgebra of X if
Definition 10: Let [mu] be a blurry set of a series X. For a adjusted t [person in] [0,1],.
Blurry T-ideals in TM-algebras:
Definition 11: A blurry subset [mu] in a TM-algebra X is called a blurry ideal of X, if:
Definition A dozen: A blurry subset [mu] in a TM-algebra X is called a blurry T-ideal of X, if:
* [mu](0) [superior to or amount to] [mu](x)
RESULTS
Lemma 13: If [mu] is known as a blurry subalgebra of a TM-algebra X, so therefore [mu] (0) [superior to or amount to] [mu] (x) for any x [person in] X. Evidence: Because x * x = 0 for any x [person in] X, so therefore:
This completes the evidence.
Theorem 14: A blurry set [mu] of a TM-algebra X is known as a blurry subalgebra if and only once for virtually every t [person in] [0,1], [.
. So therefore for any x, we certainly have:
.. Conversely, [. Let x, y [person in] X. Take t = min{[mu] (x), [mu](y)}.
Theorem 15: Any subalgebra of a TM-algebra X may just be noticed as a grade subalgebra of some blurry subalgebra of X.
Evidence: Let [mu] be a subalgebra of a given TM-algebra X and let [mu] be a blurry set in X outlined by:
[Statistical EXPRESSION NOT REPRODUCIBLE IN ASCII]
where, t [person in] (0,1) is adjusted..
At present we'll prove which such outlined [mu] is known as a blurry subalgebra of X.
Let x, y [person in] X. If x, y [person in] A so therefore also x*y [person in] A.
If at the most certainly one of x, y belongs to A, so therefore at the minimum certainly one of [mu] (x) and [mu] (y) is amount to 0.
Therefore,, minute {[mu] (x), [mu] (y)} = 0 so which:
[mu] (x*y) [superior to or amount to] 0, that completes the evidence
, [.
. If there exits x [person in] X in ways that s [less than or amount to] [mu] (x) < t,,="" that="" is="" known="" as="" a="" mismatch.="">
Theorem 17: Every blurry T-ideal [mu] of a TM-algebra X is order reversing, that's if x [less than or amount to] y so therefore:
[mu] (x) [superior to or amount to] [mu] (y) for all x, y [person in] X.
.
Therefore, x*y = 0. At present, [mu] (x) = H- (x*0)
= min{[mu] (0*0), [mu] (y)}
= min{[mu] (0), [mu] (y)}
= [mu] (y).
Theorem 18: A blurry set [mu] in a TM-algebra X is known as a blurry T-ideal if and only once it's a blurry ideal of X.
Evidence: Let [mu] be a blurry T-ideal of X
So therefore:
Theorem 19: Let [mu] be a blurry set in a BCK-algebra X. So therefore [mu] is known as a blurry T-ideal if and only once [mu] is known as a blurry BCK-ideal.
Evidence: Because every BCK-algebra is known as a TM-algebra, every blurry T-ideal is known as a blurry ideal of a TM-algebra and thereby a blurry BCK-ideal. Conversely, imagine that [mu] be a BCK-ideal of X.
So therefore:
Thereby [mu] is known as a blurry T-ideal of X.
Theorem 20: Let [mu] be a blurry set in a TM-algebra X and let t [person in] Im(u). So therefore [mu]
web based crm software is known as a blurry T-ideal of X if and only once the volume subset:
[
is known as a T-ideal of X, that is called a grade T-ideal of u.
Evidence: Imagine that [mu] is known as a blurry T-ideal of X.
crm applications [superior to or amount to] {t, t} = t
.
Conversely,,1].
[??]
[??] , because
[.
Therefore,, [mu] (0) [superior to or amount to] [mu] (x) for all x [person in] X
crm software solutions [??]
and:
[??] , a mismatch,.
crm solutions Cartesian product of blurry T-ideals of TM-algebras:
Definition 21: Let [mu] and v be the blurry sets in a series X. The Cartesian product [mu] x v: X x X [right arrow] [0,1] is outlined by:
Theorem 22: If [mu] and v are blurry T-ideals in a TM-algebra X, so therefore [mu] x v is known as a blurry T-ideal in X x X.
Evidence: For any (x,y) [person in] X x X, we certainly have:
web based crm =,
Thereby [mu] x v is known as a blurry T-ideal of a TM-algebra in
X x X.
Theorem 23: Let [mu] and v be blurry sets in a TM-algebra X in ways that [mu] xv is known as a blurry T-ideal of X x X. So therefore:
* (iv) Either [mu] or v is known as a blurry T-ideal of X.
Evidence: [mu] xv is known as a blurry T-ideal of X x X.
crm solution So therefore:
So therefore:
If [mu] (0) [superior to or amount to] v (x) for any xe X, so therefore:
Thereby v is known as a blurry T-ideal of X. At present we'll prove which [mu] is known as a blurry T-ideal of X. Let [mu] (0) [superior to or amount to] [mu] (x).
= ([mu] x v) (x*z, 0)
= ([mu] x v) (x*z, 0*0)
Thereby [mu] is known as a blurry T-ideal of X.
Homomorphism of TM-algebras:
Definition 24: Let X and Y be TM-algebras. A mapping f : X [right arrow] Y is claimed to be a homomorphism if it fulfills:
Theorem 26: Let f be an endomorphism of a TM-algebra X. If [mu] is known as a blurry T-ideal of X,.
Let x, y, z [person in] X. So therefore:
.
Dialog
With very least conditions in TM-algebra it satisfy these results. In other algebras really love BCK/BCI/BCH/ BCC the amount of conditions are more.
CONCLUSION
Within this article, we certainly have fuzzified the subalgebra and excellent of TM-algebras into blurry subalgebra and blurry ideal of TM-algebras. It's been witnessed which the TM-algebra satisfy the many conditions stated within the BCC/ BCK algebras and might be regarded as as the generalization of all these algebras. These notions could further be generalized.
REFERENCES
Dudek,.. Jun, 2001. Fuzzification of ideals in BCC-algebras. Glasnik Matematicki, 36: 127-138.
Imai, Y. and K. Isaeki, 1966. On axiom systems of propositional calculi, XIV. Proc. Jap. Acad., 42: 19-22.
Jun,., 2009. Generalization of ([person in], [person in] vq) -blurry subalgebras in BCk /BCI-algebras. Comput. Math. Appl., 58: 1383-1390.
Megalai,, 2010. TM-algebra--An Unveiling. Int. J. Comput. Applied., Special Downside Pc Helped mushy Computing Methods for imagining and Biomedical Application.
Zadeh,., 1965. Blurry sets. Notify. Control, 8: 338-353.
(1) Kandasamy Megalai and (2) Angamuthu Tamilarasi
(1) Dept of Maths, Bannari Amman Institute of Invention, Sathyamangalam, Tamilnadu, India
India
Correspond Author: Kandasamy Megalai, Dept of Maths, Bannari Amman Institute of Invention, Sathyamangalam, Tamilnadu, India