Conorms over anti fuzzy vector spaces

Author(s): Rasul Rasuli 1
1Department of Mathematics, Payame Noor University (PNU), Tehran, Iran.
Copyright © Rasul Rasuli. This is an open access article distributed under the Creative Commons Attribution License, which permits unrestricted use, distribution, and reproduction in any medium, provided the original work is properly cited.

Abstract

In this work, by using \(t\)-conorm \(C\), we introduce anti fuzzy vector spaces and define sum, union, direct sum and normality of anti fuzzy vector spaces. We prove that sum, union, direct sum and normality of anti fuzzy vector spaces is also anti fuzzy vector space under \(t\)-conorm \(C.\) Moreover, we investigate linear transformations over anti fuzzy vector spaces (normal anti fuzzy vector spaces) under \(t\)-conorms and prove that image and pre image of them is also anti fuzzy vector space (normal anti fuzzy vector space) under \(t\)-conorms.

Keywords: Fuzzy set theory, vector spaces, anti fuzzy vector space, norms, direct sum, homomorphisms.

1. Introduction

The concept of a fuzzy subset of a nonempty set was introduced by Zadeh in \(1965\) [1] as a function from a nonempty set \(X\) into the unit real interval \(I = [0, 1].\) Rosenfeld [2] extended the idea of Zadeh to the theory of groupoids and groups. The concepts of fuzzy field and fuzzy linear space over fuzzy field were introduced by Nanda [3]. In \(1977\), Katsaras and Liu [4] studied the notion of fuzzy vector subspaces over the field of real or complex numbers. After Katsaras and Liu [4], many scholars investigated properties and characteristics of fuzzy vector subspaces [5, 6, 7, 8]. Hohle [9] and Alsina et al., [10] introduced \(T\)-norm in fuzzy set theory and proved that the \(T\)-norm can be used for the intersection of fuzzy sets. Since then, many researchers presented various types of \(T\)-norms for particular purposes [11, 12].

The author by using norms, investigated some properties of fuzzy algebraic structures [13, 14, 15, 16, 17, 18]. This work is an attempt to study purely algebraic properties of anti fuzzy vector spaces under \(t\)-conorms. In this paper, the author introduce anti fuzzy vector spaces under \(t\)-conorms and investigate relationship between anti fuzzy vector spaces under \(t\)-conorms and vector subspaces. Also the author introduce sum, union, direct sum of anti fuzzy vector spaces under \(t\)-conorms and prove that sum, union, direct sum of them is also anti fuzzy vector spaces under \(t\)-conorms. Later, the author define normal anti fuzzy vector spaces under \(t\)-conorm and obtain some results about them. Finally, the author investigate linear transformations over anti fuzzy vector spaces (normal anti fuzzy vector spaces) under \(t\)-conorms and show that image and pre image of them is also anti fuzzy vector space (normal anti fuzzy vector spaces) under \(t\)-conorms.

2. Preliminaries and main result

2.1. Preliminaries

This section recalls some of the fundamental concepts and definitions necessary for this paper.

Definition 1.([19]) A vector space or a linear space consists of the following:

  • (1) a field \(\mathbb{F}\) of scalars.
  • (2) a set \(V\) of objects called vectors.
  • (3) a rule (or operation) called vector addition: associates with each pair of vectors \(\alpha, \beta \in V; \alpha + \beta \in V,\) called the sum of \( \alpha \) and \( \beta \) in such a way that
    • (a) addition is commutative \( \alpha+ \beta = \beta + \alpha,\)
    • (b) addition is associative \(\alpha + (\beta +\gamma) = (\alpha + \beta) + \gamma,\)
    • (c) there is a unique vector \(0 \in V\), called the zero vector, such that \(\alpha + 0 =\alpha\) for all \( \alpha \in V, \)
    • (d) for each vector \( \alpha \in V\) there is a unique vector\((-\alpha) \) in \( V\) such that \(\alpha + (-\alpha) = 0,\)
    • (e) a rule (or operation), called scalar multiplication, associates with each scalar \( c\) in \( \mathbb{F}\) and a vector \( \alpha\) in \( V\), a vector \(c \bullet \alpha\) in \( V\), called the product of \( c\) and \( \alpha\), in such a way that \( 1 \bullet \alpha =\alpha, \hspace{0.2cm} (c_{1} \bullet c_{2}) \bullet \alpha=c_{1} \bullet (c_{2} \bullet \alpha), \hspace{0.2cm} c \bullet (\alpha + \beta)=c\bullet \alpha + c\bullet \beta, \hspace{0.2cm} (c_{1} + c_{2})\bullet \alpha=(c_{1}\bullet \alpha)+(c_{2}\bullet \alpha)\) for \(\alpha, \beta \in V\) and \(c, c_{1},c_{2} \in F.\) It is important to note as the definition states that a vector space is a composite object consisting of a field, a set of a vector space and two operations with certain special properties. The same set of vectors may be part of a number of distinct vectors. We simply use the notation, \(V\) a vector space over the field \(\mathbb{F}\) and call elements of \(V\) as vectors.

Throughout this section, \(\mathbb{F}\) is any field of characteristic zero.

Example 1. Let \( V = \mathbb{R} \times \mathbb{R} \times \mathbb{R}.\) Then \( V\) is a vector space over \( \mathbb{R}\) or \( \mathbb{Q} \) but \( V\) is not a vector space over the complex field \( \mathbb{C}. \)

Definition 2.[19] Let \(V\) be a vector space over the field \(\mathbb{F}.\) A subspace of \(V\) is a subset \(W\) of \(V\) which is itself a vector space over \(\mathbb{F}\) with the same operations of vector addition and scalar multiplication as on \(V.\)

We have the following nice characterization theorem for subspaces.

Theorem 1.[19] Let \(W\) be a non-empty subset of a vector \(V\) over the field \(\mathbb{F}.\) Then \(W\) is a subspace of \(V\) if and only if for each pair \(\alpha, \beta \in W\) and each scalar \(c \in \mathbb{F}\) the vector \(c\alpha +\beta \in W.\)

Example 2. Let \(M_{n \times n} = \lbrace (a_{ij}) \hspace{0.1cm}|\hspace{0.1cm} a_{ij} \in \mathbb{Q} \rbrace\) be the vector space over \( \mathbb{Q}. \) Let \(D_{n \times n} = \lbrace (a_{ii}) \hspace{0.1cm}|\hspace{0.1cm} a_{ii} \in \mathbb{Q} \rbrace\) be the set of all diagonal matrices with entries from \( \mathbb{Q}. \) Then \(D_{n \times n}\) is a subspace of \(M_{n \times n}.\)

Definition 3.[19] Let \( V \) and \( W \) be two vector spaces over the field of \( \mathbb{F}. \) A map \( f : V \to W \) is called a linear transformation if \( f(ax+y) =af(x) + f(y)\) for all \(x,y\in V\) and \(a \in \mathbb{F}.\)

Definition 4.[20] Let \(X\) be a non-empty set. A fuzzy subset \(\mu\) of \(X\) is a function \(\mu: X \to [0,1].\)

The set of all fuzzy subsets of \(X\) is denoted by \([0,1]^ {X}\)

Definition 5.[21] A \(t\)-conorm \(C\) is a function \(C : [0,1]\times [0,1] \to [0,1]\) having the following four properties:

  • (C1) \(C(x,0)=x\),
  • (C2) \(C(x,y)\leq C(x,z)\) if \(y\leq z,\)
  • (C3) \(C(x,y)= C(y,x)\),
  • (C4) \( C(x,C(y,z))=C(C(x,y),z)\),
for all \(x,y,z \in [0,1].\)

Corollary 2. [21] Let \(C\) be a \(C\)-conorm, then for all \(x\in [0,1]\), we have

  • (1) \(C(x,1)=1, \)
  • (2) \( C(0,0)=0. \)

Example 3.[21]

  • (1) Standard union \(t\)-conorm \(C_m(x,y) = \max \{ x,y \}.\)
  • (2) Bounded sum \(t\)-conorm \(C_b(x,y) =\min\{1, x+y \}.\)
  • (3) Algebraic sum \(t\)-conorm \(C_p(x, y) = x+y-xy. \)
  • (4) Drastic \(T\)-conorm \( C_{D}(x,y) = \left\{ \begin{array}{rl} y &\text{if } x=0\\ x &\text{if } y=0\\ 1 &\text{otherwise.} \\ \end{array} \right. \)
  • (5) Nilpotent maximum \(T\)-conorm: \(C_{nM}(x,y) = \left\{ \begin{array}{rl} \max \lbrace x , y \rbrace &\text{if } x+y < 1\\ 1 &\text{otherwise. } \\ \end{array} \right. \)
  • (6) Einstein sum (compare the velocity-addition formula under special relativity) \(C_{H_{2}}(x,y)=\dfrac{x+y}{1+xy}.\) Note that all \(t\)-conorms are bounded by the maximum and the drastic t-conorm: \( C_{\max} ( x , y ) \leq C(x,y) \leq C_{D}(x,y)\) for any \(t\)-conorm \(C\) and all \( x,y \in [0,1].\)

Recall that \(t\)-conorm \(C\) is idempotent if for all \(x \in [0,1]\), we have that \(C(x,x)=x.\)

Lemma 1.[21] Let \(C\) be a \(t\)-conorm, then \(C(C(x,y),C(w,z))= C(C(x,w),C(y,z)),\) for all \(x,y,w,z\in [0,1].\)

3. Anti fuzzy vector spaces under \(t\)-conorms

Throughout this section, \(V\) is a vector space on a field \(\mathbb{F}\) unless otherwise specified.

Definition 6. A fuzzy set \(\mu: V \to [0,1]\) is called a anti fuzzy vector space of \(V\) under \(t\)-conorm \(C\), if for all \( x,y \in V \) and \(a \in \mathbb{F} \) the following conditions hold:

  • (1) \( \mu(x+y)\leq C( \mu(x),\mu(y)),\)
  • (2) \(\mu(-x) \leq \mu(x),\)
  • (3) \( \mu(ax) \leq \mu(x).\)

The set of all fuzzy vector spaces of \( V\) under \(t\)-conorm \(C\) is denoted by \(AFC(V).\)

Corollary 3. Let \( \mu \in AFC(V),\) then \( \mu(-x) = \mu(x)\) for all \( x \in V. \)

Proof. Let \( x \in V\) then \( \mu(-x) \leq \mu(x) = \mu(-(-x)) \leq \mu(-x) \). Hence \( \mu(-x) = \mu(x).\)

Example 4. Let \( V=\mathbb{R} \times \mathbb{R} \times \mathbb{R}\) be a vector space over a field \( \mathbb{F}=\mathbb{R}. \) Define \( \mu: \mathbb{R} \times \mathbb{R} \times \mathbb{R} \to [0,1] \) as $$ \mu(x,y,z) = \left\{ \begin{array}{rl} 0.40 & (x,y,z) \in \lbrace (0,y,0) \hspace{0.1cm}|\hspace{0.1cm} y \in \mathbb{R} \rbrace\\ 0.55 &\text{otherwise.} \end{array} \right.\,. $$ Let \(C(a,b)=C_p(a, b) =a+b-ab \) for all \(a,b \in [0,1],\) then \( \mu \in AFC(V). \)

Theorem 4. Let \(V\) be a subspace over field \( \mathbb{F} \) and \(W\) be a subset of \(V\) and \(\mu: W \to \{0,1\}\) be the characteristic function such that \(W\) be a subspace of \(V\), then \(\mu\in AFC(V).\)

Proof. Let \(x,y \in V\) and we investigate the following conditions:

  • (1) If \(x,y \in W\), then \( x+y \in W \) and we have \(\mu (x+y)= 1 \leq 1=C(1,1)= C(\mu(x),\mu(y)).\)
  • (2) If \(x \not\in W\) and \(y \in W,\) then \(x+y \not\in W \) and then \(\mu(x+y) = 0 \leq 0 = C(0,\mu(y))=C(\mu(x),\mu(y)).\)
  • (3) Finally, if \(x,y \not\in W\), then \(\mu(x+y)=0 \leq 0 = C(0,0)=C(\mu(x),\mu(y)).\)
Thus from \((1)-(3)\), we have \(\mu (x+y) \leq C(\mu(x),\mu(y)).\) Also, we have that the following conditions:
  • (4) If \( x \in W, \) then \( -x \in W \) and then \( \mu(-x) =1 \leq 1=\mu(x).\)
  • (5) If \( x \not\in W, \) then \( -x \not\in W \) and then \( \mu(-x) =0 \leq 0=\mu(x).\)
Thus from \((4)-(5)\), we have that \(\mu(-x) \leq \mu(x)\). Now, let \(a\in \mathbb{F}:\)
  • (6) If \(x \in W\), then \(ax \in W \) and so \(\mu(ax)=1 \leq 1= \mu(x).\)
  • (7) If \(x \not\in W\), then \(ax \not\in W \) so \(\mu(ax)=0 \leq 0=\mu(x).\)
From \((6)\) and \((7)\), we obtain \(\mu(ax) \leq \mu(x)\). Therefore, the above conditions gives \(\mu\in AFC(V).\)

Theorem 5. Let \( \mu \in AFC(V),\) then \( W=\lbrace x \hspace{0.1cm}|\hspace{0.1cm} x\in V : \mu(x) =0 \rbrace\) is either empty or is a subspace of \(V.\)

Proof. Let \( x,y \in W \) and \( a \in \mathbb{F}.\) Then \( \mu(ax+y) \leq C( \mu(ax), \mu(y)) \leq C( \mu(x), \mu(y))=C(0,0)=0\) and \( \mu(ax+y)=0 \) which means that \(ax+y \in W\) and by Theorem 1, we get \(W\) is a subspace of \(V.\)

Theorem 6. If \( \mu \in AFC(V)\) and \(C\) be an idempotent \(t\)-conorm, then \(\mu(0) \leq \mu(x)\) for all \( x \in V.\)

Proof. As \( \mu \in AFC(V)\) so \( \mu(0)=\mu(x-x) =\mu(x+(-x)) \leq C(\mu(x),\mu(-x)) \leq C(\mu(x),\mu(x))=\mu(x).\) Thus \( \mu(0) \leq \mu(x).\)

Theorem 7. Let \( \mu \in AFC(V)\) and \(C\) be an idempotent \(t\)-conorm. Then \(W=\lbrace x \hspace{0.1cm}|\hspace{0.1cm} x\in V : \mu(x) =\mu(0) \rbrace \) is either empty or is a subspace of \(V.\)

Proof. Let \( x,y \in W \) and \(a \in \mathbb{F}.\) Then by by Theorem 6, we have \( \mu(ax+y) \leq C( \mu(ax), \mu(y)) \leq C( \mu(x), \mu(y)) =C(\mu(0),\mu(0))=\mu(0) \leq \mu(ax+y).\) Thus \( \mu(ax+y)=\mu(0) \) and \(ax+y \in W\). Hence Theorem 1 gives us that \(W\) is a subspace of \(V\).

Theorem 8. Let \( \mu \in AFC(V)\) and \(C\) be an idempotent \(t\)-conorm. If \( \mu(x-y)=\mu(0),\) then \(\mu(x) = \mu(y)\) for all \( x,y \in V.\)

Proof. Let \( \mu \in AFC(V)\) then \( \mu(x)=\mu(x-y+y) \leq C(\mu(x-y),\mu(y)) \leq C(\mu(0),\mu(y)) \leq C(\mu(y),\mu(y)) \\=\mu(y) =\mu(y+x-x) =\mu(-(x-y)+x) \leq C(\mu(-(x-y)),\mu(x)) \leq C(\mu(x-y),\mu(x)) =C(\mu(0),\mu(x)) \\ \leq C(\mu(x),\mu(x)) =\mu(x). \) Therefore \( \mu(x) = \mu(y).\)

Theorem 9. Let \(C\) be an idempotent \(t\)-conorm. Then \( \mu \in AFC(V)\) if and only if \( \mu(x-y) \leq C(\mu(x),\mu(y)) \) and \( \mu(ax) \leq \mu(x)\) for all \( x,y \in V\) and \(a \in \mathbb{F}.\)

Proof. Let \( \mu \in AFC(V),\) then \(\mu(x-y)=\mu(x+(-y)) \leq C(\mu(x),\mu(-y)) \leq C(\mu(x),\mu(y)).\) Conversely, let \( \mu(x-y) \leq C(\mu(x),\mu(x))\) and \( \mu(ax) \leq \mu(x)\). Then $$ \mu(0) = \mu(x-x) \leq C(\mu(x),\mu(x))=\mu(x),$$ and $$ \mu(-x)=\mu(0-x) \leq C(\mu(0),\mu(x)) \leq C(\mu(x),\mu(x))=\mu(x)\,.$$ Also $$ \mu(x+y) = \mu(x-(-y)) \leq C(\mu(x),\mu(-y)) \leq C(\mu(x),\mu(y)),$$ therefore, \(\mu \in AFC(V).\)

Theorem 10. Let \(\mu: V \to [0,1]\) be a fuzzy set. If \(\mu(0)=0\), \( \mu(x-y) \leq C(\mu(x),\mu(y))\) and \( \mu(ax) \leq \mu(x),\) then \( \mu \in AFC(V)\) for all \( x,y \in V\) and \( a \in \mathbb{F}.\)

Proof. We have \( \mu(-x)=\mu(0-x) \leq C(\mu(0),\mu(x)) = C(0,\mu(x))=\mu(x).\) Also \( \mu(x+y) = \mu(x-(-y)) \leq C(\mu(x),\mu(-y))\leq C(\mu(x),\mu(y)).\) Thus \( \mu \in AFC(V).\)

Theorem 11. Let \( \mu \in AFC(V)\) and \( \mu(x-y)=0,\) then \( \mu(x)= \mu(y) \) for all \( x,y \in V. \)

Proof. Let \( x,y \in V\), then by using Corollary 3, we have \(\mu(x)=\mu(x-y+y) \leq C(\mu(x-y),\mu(y)) =T(0,\mu(y))=\mu(y)=\mu(-y) = \mu(x-x-y)= \mu(x-y-x) \leq C( \mu(x-y), \mu(-x)) =C(0, \mu(-x))= \mu(-x)= \mu(x).\) Therefore \( \mu(x)= \mu(y)\).

Theorem 12. Let \( \mu \in AFC(V)\) and \( \mu(x-y)=1.\) Then either \( \mu(x)=1 \) or \( \mu(y)=1\) for all \( x,y \in V. \)

Proof. Let \( x,y \in V\) then \(1=\mu(x-y)=\mu(x+(-y)) \leq C(\mu(x),\mu(-y)) \leq C(\mu(x),\mu(y))\) which implies that either \( \mu(x)=1 \) or \( \mu(y)=1.\)

Theorem 13. Let \( \mu \in AFC(V)\) and \( \mu(x) < \mu(y) \) for some \( x,y \in V. \) If \(C\) be an idempotent \(t\)-conorm, then \( \mu(x+y) = \mu(y)\) for all \( x,y \in V. \)

Proof. Let \( \mu \in AFC(V)\) and \( \mu(x) < \mu(y)\) which means that \(\mu(x) < \mu(x+y)\) for all \( x,y \in V.\) Then \( \mu(x+y) \leq C( \mu(x), \mu(y)) \leq C( \mu(y), \mu(y))= \mu(y)=\mu(x+y-x)\leq C(\mu(x+y),\mu(-x)) \leq C(\mu(x+y),\mu(x)) \leq C(\mu(x+y),\mu(x+y))=\mu(x+y).\) Thus \( \mu(x+y) = \mu(y).\)

Theorem 14. Let \( \mu \in AFC(V)\) and \( \mu(x) > \mu(y) \) for some \( x,y \in V. \) If \(C\) be an idempotent \(t\)-conorm, then \( \mu(x+y) = \mu(x)\) for all \( x,y \in V. \)

Proof. It is trivial.

Theorem 15. Let \( \mu \in AFC(V)\) and \(C\) be an idempotent \(t\)-conorm. If \( \mu(x) \neq \mu(y),\) then \( \mu(x+y) =C(\mu(x),\mu(y))\) for all \( x,y \in V. \)

Proof.

  • (1)] If \( \mu(x) < \mu(y),\) then \(\mu(y)=C(\mu(x),\mu(y))\) for all \( x,y \in V.\) Now from Theorem 13, we have \( \mu(x+y) = \mu(y)\) and then \(\mu(x+y) = \mu(y)=C(\mu(x),\mu(y)).\)
  • (2)] If \( \mu(x) > \mu(y),\) then \(\mu(x)=C(\mu(x),\mu(y))\) for all \( x,y \in V.\) Now from Theorem 14, we have \( \mu(x+y) = \mu(x)\) and then \(\mu(x+y) = \mu(x)=C(\mu(x),\mu(y)).\)
The conditions \((1)\) and \((2)\) gives us: If \( \mu(x) \neq \mu(y)\), then \( \mu(x+y) =C(\mu(x),\mu(y))\) for all \( x,y \in V\).

Theorem 16. Let \( \mu \in AFC(V)\) and \(C\) be an idempotent \(t\)-conorm. Then \( \mu(x-y) = \mu(y)\) if and only if \( \mu(x)=\mu(0) \) for all \( x,y \in V. \)

Proof. Let \( \mu(x-y) = \mu(y)\) and \( y=0 \) we have \( \mu(x)=\mu(0).\) Conversely, suppose that \( \mu(x)=\mu(0)\). From Theorem 6, we have \( \mu(x)=\mu(0) \leq \mu(x-y)\) and \( \mu(x)=\mu(0) \leq \mu(-y).\) Therefore, \( \mu(x-y)=\mu(x+(-y)) \leq C(\mu(x),\mu(-y))=C(\mu(0),\mu(-y)) \leq C(\mu(-y),\mu(-y))=\mu(-y)=\mu(x-y-x)=\mu(x-y+(-x))\leq \leq C(\mu(x-y),\mu(-x)) \leq C(\mu(x-y),\mu(x))=C(\mu(x-y),\mu(0)) \leq C(\mu(x-y),\mu(x-y))=\mu(x-y)\,. \) Hence, \( \mu(x-y) = \mu(-y)\) and by Corollary 3, we have \(\mu(y)=\mu(-y)=\mu(x-y).\)

Theorem 17. Let \(\mu\in AFC(V)\) and \( f:[0,\mu(0)] \to [0,1]\) be a decreasing map. Define a fuzzy set \(\mu^{f}:V \to [0,1] \) by \(\mu^{f}(x)= f(\mu(x)).\) Then \(\mu^{f} \in AFC(V).\)

Proof. Let \(x,y \in V \) and \(a \in \mathbb{F}.\) Then

  • (1) \(\mu^{f}(x+y)= f(\mu(x+y)) \leq f(C(\mu(x),\mu(y))) =C( f(\mu(x)), f(\mu(y)))=C(\mu^{f}(x),\mu^{f}(y)).\)
  • (2) \(\mu^{f}(-x)= f(\mu(-x)) \leq f(\mu(x)) = \mu^{f}(x).\)
  • (3) \(\mu^{f}(ax)= f(\mu(ax)) \leq f(\mu(x)) = \mu^{f}(x).\)
Therefore \( \mu^{f} \in AFC(V).\)

4. Sum, union, direct sum and nomality of anti fuzzy vector spaces under \(t\)-conorms

Definition 7. Let \( \mu_{1},\mu_{2} \in AFC(V). \) The sum of \(\mu_{1}\) and \(\mu_{2}\) is defined as follows: $$(\mu_{1} +\mu_{2})(x):=\sup \{ C(\mu_{1}(y),\mu_{2}(z)) | x=y+z \in V\}.$$

Proposition 1. Let \(\mu_{1},\mu_{2}\in AFC(V)\) and \( C \) be idempotent \(t\)-conorm. Then \((\mu_{1} + \mu_{2})\in AFC(V).\)

Proof.

  • (1) Let \(x_{1},x_{2},y_{1},y_{2},z_{1},z_{2}\in V.\) Then using Lemma 1, we have \begin{align*} (\mu_{1} + \mu_{2})(x_{1}+x_{2})&=\sup \{ C(\mu_{1}(y_{1}+y_{2}),\mu_{2}(z_{1}+z_{2}))\ |\ x_{1}+x_{2}=y_{1}+y_{2}+z_{1}+z_{2} \}\\ & \leq \sup \{ C(C(\mu_{1}(y_{1}),\mu_{1}(y_{2})),C(\mu_{2}(z_{1}),\mu_{2}(z_{2})))\ |\ x_{1}+x_{2}=y_{1}+z_{1}+(y_{2}+z_{2}) \}\\ &=\sup \{ C(C(\mu_{1}(y_{1}),\mu_{2}(z_{1})),C(\mu_{1}(y_{2}),\mu_{2}(z_{2})))\ |\ x_{1}+x_{2}=y_{1}+z_{1}+(y_{2}+z_{2}) \} \\ &=C(\sup \{C(\mu_{1}(y_{1}),\mu_{2}(z_{1}))| x_{1}=y_{1}+z_{1}\},\sup \{C(\mu_{1}(y_{2}),\mu_{2}(z_{2}))|x_{2}=y_{2}+z_{2}\})\\ &=C((\mu_{1} + \mu_{2})(x_{1}),(\mu_{1} + \mu_{2})(x_{2})). \end{align*}
  • (2) Let \(x,y,z\in V,\) then \begin{align*} (\mu_{1} + \mu_{2})(-x)&=\sup \{ C(\mu_{1}(-y),\mu_{2}(-z))\ |\ -x=-y+(-z)\}\\ & \leq \sup\{ C(\mu_{1}(y),\mu_{2}(z))\ |\ x=y+z\}\\ &=(\mu_{1} + \mu_{2})(x)\,. \end{align*}
  • (3) Let \(x,y,z\in V\) and \(a\in \mathbb{F}\), then \begin{align*} (\mu_{1} + \mu_{2})(ax)&=\sup \{ C(\mu_{1}(ay),\mu_{2}(az))\ |\ ax=ay+az \}\\ & \leq \sup \{ C(\mu_{1}(y),\mu_{2}(z))\ |\ x=y+z \}\\ &=(\mu_{1} + \mu_{2})(x)\,. \end{align*}
Thus \((\mu_{1} + \mu_{2})\in AFC(V).\)

Definition 8. Let \( \mu_{1} , \mu_{2} \in AFC(V)\) then by union of fuzzy subsets \(\mu_{1}\) and \(\mu_{1}\) with respect to a \(t\)-conorm \(C\), we mean the fuzzy subset \(\mu=\mu_{1} \cup \mu_{2}\) such that for any \(x\in V\), \(\mu(x)=(\mu_{1} \cup \mu_{2})(x)=C(\mu_{1}(x),\mu_{2}(x)).\)

Theorem 18. If \( \mu_{1} , \mu_{2} \in AFC(V),\) then \( \mu_{1} \cup \mu_{2} \in AFC(V).\)

Proof. Let \(x,y \in V\) and \(a \in \mathbb{F}.\) Then by using Lemma 1, we have

  • (1) \((\mu_{1} \cup \mu_{2})(x+y)=C(\mu_{1}(x+y),\mu_{2})(x+y) \leq C(C(\mu_{1}(x),\mu_{1}(y)),C(\mu_{2}(x),\mu_{2}(y))) \\= C(C(\mu_{1}(x),\mu_{2}(x)),C(\mu_{1}(y),\mu_{2}(y))) =C((\mu_{1} \cup \mu_{2})(x),(\mu_{1} \cup \mu_{2})(y))\,.\)
  • (2) \((\mu_{1} \cup \mu_{2})(-x)=C(\mu_{1}(-x),\mu_{2}(-x)) \leq C(\mu_{1}(x),\mu_{2}(x))=(\mu_{1} \cup \mu_{2})(x).\)
  • (3) \((\mu_{1} \cup \mu_{2})(ax)=C(\mu_{1}(ax),\mu_{2}(ax)) \leq C(\mu_{1}(x),\mu_{2}(x))=(\mu_{1} \cup \mu_{2})(x).\)
Thus \( \mu_{1} \cup \mu_{2} \in AFC(V).\)

Definition 9. Let \( \lbrace \mu_{i} \rbrace_{i \in I} \) be a family of fuzzy subspaces of \(V\) under \(t\)-conorm \(C.\) Then their union \( \mu=\cup_{i \in I} \mu_{i} : V \to [0,1] \) is defined by \( \mu(x)=\sup_{i \in I} \mu_{i}(x)\) for all \(x \in V.\)

Theorem 19. Let \( \lbrace \mu_{i} \rbrace_{i \in I} \subseteq AFC(V),\) then \( \mu=\cup_{i \in I} \mu_{i} \in AFC(V). \)

Proof. Let \(x,y \in V\) and \(a \in \mathbb{F}.\) Then

  • (1) \(\mu (x+y)=\sup_{i \in I} \mu_{i}(x+y) \leq \sup_{i \in I} C(\mu_{i}(x),\mu_{i}(y)) =C(\sup_{i \in I} \mu_{i}(x),\sup_{i \in I} \mu_{i}(y))=C(\mu(x),\mu(y)).\)
  • (2) \(\mu (-x)=\sup_{i \in I} \mu_{i}(-x) \leq \sup_{i \in I} \mu_{i}(x)=\mu(x).\)
  • (3) \(\mu (ax)=\sup_{i \in I} \mu_{i}(ax) \leq \sup_{i \in I} \mu_{i}(x)=\mu(x).\)
Therefore \( \mu=\cup_{i \in I} \mu_{i} \in AFC(V). \)

Definition 10. For \( \mu_{1} \in AFC(V_{1})\) and \( \mu_{2} \in AFC(V_{2}),\) the direct sum of \( \mu_{1} \) and \( \mu_{2} \) is denoted by \( \mu_{1} \oplus \mu_{2}: V_{1} \oplus V_{2} \to [0,1] \) and is defined by \((\mu_{1} \oplus \mu_{2})(x_{1},x_{2})=C(\mu_{1}(x_{1}),\mu_{2}(x_{2})) \) for all \(x_{1} \in V_{1}\) and \(x_{2} \in V_{2}.\)

Theorem 20. Let \( \mu_{1} \in AFC(V_{1})\) and \( \mu_{2} \in AFC(V_{2}),\) then \( \mu_{1} \oplus \mu_{2} \in AFC(V_{1} \oplus V_{2}).\)

Proof. Let \((x_{1},y_{1}), (x_{2},y_{2})\in V_{1} \oplus V_{2}\) and \(a \in \mathbb{F}.\) Then by using Lemma 1, we have

  • (1) \((\mu_{1}\oplus \mu_{2}) ((x_{1},y_{1}) + (x_{2},y_{2}))=(\mu_{1} \oplus \mu_{2}) (x_{1}+x_{2},y_{1} + y_{2}) =C(\mu_{1}(x_{1}+x_{2}),\mu_{2}(y_{1}+y_{2})) \\ \leq C(C(\mu_{1}(x_{1}),\mu_{1}(x_{2})),C(\mu_{2}(y_{1}),\mu_{2}(y_{2}))) =C(C(\mu_{1}(x_{1}),\mu_{2}(y_{1})),C(\mu_{1}(x_{2}),\mu_{2}(y_{2}))) \\= C((\mu_{1} \oplus \mu_{2}) (x_{1},y_{1}),(\mu_{1} \oplus \mu_{2}) (x_{2},y_{2})).\)
  • (2) \((\mu_{1} \oplus \mu_{2})(-(x_{1},y_{1}))=(\mu_{1} \oplus \mu_{2})(-x_{1},-y_{1}) =C(\mu_{1}(-x_{1}),\mu_{2}(-y_{1})) \leq C(\mu_{1}(x_{1}),\mu_{2}(y_{1})) \\=(\mu_{1} \oplus \mu_{2})(x_{1},y_{1}).\)
  • (3) \((\mu_{1} \oplus \mu_{2})(a(x_{1},y_{1}))=(\mu_{1} \oplus \mu_{2})(ax_{1},ay_{1}) =C(\mu_{1}(ax_{1}),\mu_{2}(ay_{1})) \leq C(\mu_{1}(x_{1}),\mu_{2}(y_{1}))\\=(\mu_{1} \oplus \mu_{2})(x_{1},y_{1}).\)
Then \( \mu_{1} \oplus \mu_{2} \in AFC(V_{1} \oplus V_{2}).\)

Theorem 21. Let \(C\) be an idempotent \(t\)-conorm and \(0_{V_{1}} \) and \(0_{V_{2}} \) are identity elements of \( V_{1}\) and \( V_{2}\), respectively. If \( \mu_{1} \oplus \mu_{2} \in AFC(V_{1} \oplus V_{2}),\) then \( (\mu_{1} \oplus \mu_{2})(0_{V_{1}},0_{V_{2}}) \leq (\mu_{1} \oplus \mu_{2})(x,y)\) for all \((x,y) \in V_{1} \oplus V_{2}.\)

Proof. Let \((x,y) \in V_{1} \oplus V_{2}.\) Then by Theorem 6, we have \( (\mu_{1} \oplus \mu_{2})(0_{V_{1}},0_{V_{2}}) =C(\mu_{1}(0_{V_{1}}),\mu_{2}(0_{V_{2}})) \leq C(\mu_{1}(x),\mu_{2}(y))=(\mu_{1} \oplus \mu_{2})(x,y).\)

Theorem 22. Let \( \mu_{1}:V_{1} \to [0,1]\) and \( \mu_{2}: V_{2} \to [0,1]\) are two fuzzy subsets of the vector spaces \( V_{1} \) and \( V_{2}\), respectively and \(0_{V_{1}} \) and \(0_{V_{2}} \) are the identity elements of \( V_{1}\) and \( V_{2}\), respectively. Let \(C\) be an idempotent \(t\)-conorm and \( \mu_{1} \oplus \mu_{2} \in AFC(V_{1} \oplus V_{2})\), then at least one of the following two statements must hold:

  • (1) \( \mu_{2}(0_{V_{2}}) \leq \mu_{1}(x)\) for all \( x \in V_{1}. \)
  • (2) \(\mu_{1}(0_{V_{1}}) \leq \mu_{2}(y)\) for all \( y \in V_{2}. \)

Proof. Let \( \mu_{1}\oplus \mu_{2} \in AFC(V_{1} \oplus V_{2}).\) Suppose on contrary, none of the statement \((1)\) and \((2)\) holds. Then we can find \( z \in V_{1} \) and \( t \in V_{2} \) such that \( \mu_{1}(z) < \mu_{2}(0_{V_{2}}) \) and \( \mu_{2}(t) < \mu_{1}(0_{V_{1}})\). Then \( (\mu_{1} \oplus \mu_{2})(z,t)=C( \mu_{1}(z), \mu_{2}(t)) < C( \mu_{2}(0_{V_{2}}),\mu_{1}(0_{V_{1}})) = C( \mu_{1}(0_{V_{1}}),\mu_{2}(0_{V_{2}}))=(\mu_{1} \oplus \mu_{2})(0_{V_{1}},0_{V_{2}}).\) Now from Theorem 6, we get \( \mu_{1} \oplus \mu_{2} \notin AFC(V_{1} \oplus V_{2})\), a contradiction. Therefore, either \( \mu_{2}(0_{V_{2}}) \leq \mu_{1}(x)\) for all \( x \in V_{1}\) or \(\mu_{1}(0_{V_{1}}) \leq \mu_{2}(y)\) for all \( y \in V_{2}\).

Theorem 23. Let \( \mu_{1}:V_{1} \to [0,1]\) and \( \mu_{2}: V_{2} \to [0,1]\) are two fuzzy subsets of the vector spaces \( V_{1} \) and \( V_{2}\), respectively and \(0_{V_{1}} \) and \(0_{V_{2}} \) are the identity elements of \( V_{1}\) and \( V_{2}\), respectively. Let \(C\) be an idempotent \(t\)-conorm and \( \mu_{1} \oplus \mu_{2} \in AFC(V_{1} \oplus V_{2})\), then the following statements holds:

  • (1) if \( \mu_{1}(x) \geq \mu_{2}(0_{V_{2}})\) for all \( x \in V_{1},\) then \(\mu_{1} \in AFC(V_{1});\)
  • (2) if \( \mu_{2}(x) \geq \mu_{1}(0_{V_{1}})\) for all \( x \in V_{2},\) then \(\mu_{2} \in AFC(V_{2});\)
  • (3) either \(\mu_{1} \in AFC(V_{1})\) or \(\mu_{2} \in AFC(V_{2}).\)

Proof.

  • (1) Let \(x,y \in V_{1}\), \(a \in \mathbb{F}\) and \( \mu_{1} \oplus \mu_{2} \in AFC(V_{1} \oplus V_{2}).\) We will prove \(\mu_{1} \in AFC(V_{1})\). As \( \mu_{1}(x) \geq \mu_{2}(0_{V_{2}}) ,\) so \( \mu_{1}(x+y) \geq \mu_{2}(0_{V_{2}}) \) for all \( x,y \in V_{1}.\) Now \( \mu_{1}(x+y)=C(\mu_{1}(x+y),\mu_{2}(0_{V_{2}}))=C(\mu_{1}(x+y),\mu_{2}(0_{V_{2}}+0_{V_{2}})) = (\mu_{1} \oplus \mu_{2})(x+y,0_{V_{2}}+0_{V_{2}})= (\mu_{1} \oplus \mu_{2})((x,0_{V_{2}})+(y,0_{V_{2}})) \leq C((\mu_{1} \oplus \mu_{2})(x,0_{V_{2}}),(\mu_{1} \oplus \mu_{2})(y,0_{V_{2}})) =C(C(\mu_{1}(x),\mu_{2}(0_{V_{2}})),(C(\mu_{1}(y),\mu_{2}(0_{V_{2}}))) =C(\mu_{1}(x),\mu_{1}(y)). \) Therefore, \( \mu_{1}(x+y) \leq C(\mu_{1}(x),\mu_{1}(y))\). Also, since \( \mu_{1}(x) \geq \mu_{2}(0_{V_{2}}) ,\) so \( \mu_{1}(-x) \geq \mu_{2}(0_{V_{2}}) \) for all \( x\in V_{1}\) and then \( \mu_{1}(-x)=C(\mu_{1}(-x),\mu_{2}(0_{V_{2}})) =(\mu_{1} \oplus \mu_{2})(-x,0_{V_{2}}) =(\mu_{1} \oplus \mu_{2})(-(x,0_{V_{2}})) \leq (\mu_{1} \oplus \mu_{2})(x,0_{V_{2}}) =C(\mu_{1}(x),\mu_{2}(0_{V_{2}}))=\mu_{1}(x) \). Also, by using \( \mu_{1}(x) \geq \mu_{2}(0_{V_{2}})\), we get \( \mu_{1}(ax) \geq \mu_{2}(0_{V_{2}})\) for all \( x\in V_{1}\) and \(a \in \mathbb{F}.\) Now \( \mu_{1}(ax)=C(\mu_{1}(ax),\mu_{2}(0_{V_{2}})) =(\mu_{1} \oplus \mu_{2})(ax,0_{V_{2}}) =(\mu_{1} \oplus \mu_{2})(a(x,0_{V_{2}})) \leq (\mu_{1} \oplus \mu_{2})(x,0_{V_{2}}) =C(\mu_{1}(x),\mu_{2}(0_{V_{2}}))=\mu_{1}(x) \) therefore, \(\mu_{1}(ax) \leq \mu_{1}(x).\) Hence \(\mu_{1} \in AFC(V_{1}).\)
  • (2) The proof is similar as of \((1)\).
  • (3) It is obvious.

Definition 11. Let \(V\) be a space over field \( \mathbb{F} \), \(W\) be a subspace of \(V\) and \( \mu_{W}:W \to [0,1] \) be a fuzzy subspace. Define \( \mu_{\frac{V}{W}}: \frac{V}{W} \to [0,1] \) as: \begin{equation*} \mu_{\frac{V}{W}}(x+W) = \left\{ \begin{array}{rl} C( \mu_{W}(x), \mu_{W}(w)) &\text{if } x \neq w\\ 0 &\text{if } x =w \end{array} \right. \end{equation*} for all \( x \in V \) and \( w \in W. \)

Theorem 24. In definition 11, if \(C\) be idempotent \(t\)-conorm and \(\mu_{W} \in AFC(W),\) then \( \mu_{\frac{V}{W}} \in AFC({\frac{V}{W}})\).

Proof. Let \(x+W,y+W \in {\frac{V}{W}} \) such that \( x,y \neq w \) and \(a \in \mathbb{F}.\) Then

  • (1) Since C is idempotent, so by Lemma 1, we have \begin{align*}\mu_{\frac{V}{W}}((x+W)+(y+W))&=\mu_{\frac{V}{W}}(x+y+W) \\&=C(\mu_{W}(x+y),\mu_{W}(w))\\& \leq C(C(\mu_{W}(x),\mu_{W}(y)),\mu_{W}(w)) \\&=C(C(\mu_{W}(x),\mu_{W}(y)),C(\mu_{W}(w),\mu_{W}(w))) \\&=C(C(\mu_{W}(x),\mu_{W}(w)),C(\mu_{W}(y),\mu_{W}(w))) \\&=C(\mu_{\frac{V}{W}}(x+W),\mu_{\frac{V}{W}}(y+W)). \end{align*}
  • (2) \(\mu_{\frac{V}{W}}(-x+W)=C(\mu_{W}(-x),\mu_{W}(w)) \leq C(\mu_{W}(x),\mu_{W}(w))=\mu_{\frac{V}{W}}(x+W).\)
  • (3) \(\mu_{\frac{V}{W}}(ax+W)=C(\mu_{W}(ax),\mu_{W}(w)) \leq C(\mu_{W}(x),\mu_{W}(w))=\mu_{\frac{V}{W}}(x+W).\)
Then \( \mu_{\frac{V}{W}} \in AFC({\frac{V}{W}})\).

Definition 12. Let \(\mu \in AFC(V),\) we say that \( \mu \) is normal if there exists \( x \in V \) such that \(\mu(x)=1.\)

Note that if \( \mu\) normal, then \( \mu(0)=1,\) hence \( \mu \) is a normal if and only if \( \mu(0)=1.\) The set of all normal anti fuzzy subspaces of \( V\) under \(t\)-conorm \(C\) is denoted by \(NAFC(V)\).

Theorem 25. Let \(\mu \in AFC(V)\) and \(\acute{ \mu}:V \to [0,1] \) be a fuzzy set defined by \(\hat{\mu} (x)=\mu(x)+1-\mu(0) \) for all \( x \in V. \) Then \( \hat{\mu} \in NFST(V).\)

Proof. Let \( x,y \in V\) and \( a \in \mathbb{F}\). Then

  • (1) \(\hat{\mu}(x+y)=\mu(x+y)+1-\mu(0) \leq C(\mu(x),\mu(y)) +1-\mu(0) = C(\mu(x)+1-\mu(0),\mu(y)+1-\mu(0))\\=C(\hat{\mu}(x),\hat{\mu}(y)).\)
  • (2) \(\hat{\mu}(-x)=\mu(-x)+1-\mu(0) \leq \mu(x)+1-\mu(0) =\hat{\mu}(x).\)
  • (3) \(\hat{\mu}(ax)=\mu(ax)+1-\mu(0) \leq \mu(x)+1-\mu(0) =\hat{\mu}(x).\)
Thus \( \hat{\mu} \in AFC(V)\). Also, \(\hat{\mu}(0)=\mu(0)+1-\mu(0)=1\). Therefore \( \hat{\mu} \in NAFC(V).\)

Theorem 26. Let \(\mu\in AFC(V).\) Then \(\mu\in NAFC(V)\) if and only if \( \hat{\mu}=\mu.\)

Proof. Let \(\mu\in NAFC(V)\) then \( \mu(0)=1 \) and then \( \hat{\mu}(x)=\mu(x)+1-\mu(0)=\mu(x)+1-1=\mu(x)\) for all \( x \in V. \)
Conversely, let \( \hat{\mu}=\mu\) and from Theorem 17, we have that \( \hat{\mu} \in NAFC(V)\) and so \(\mu\in NAFC(V).\)

Theorem 27. Let \(\mu\in AFC(V)\) and \( \bar{\mu} : V \to [0,1] \) be a fuzzy set defined by \(\bar{\mu}(x)=\dfrac{\mu(x)}{\mu(0)} \) for all \( x \in V \) with \(\mu(0) \neq 0. \) Then \(\bar{\mu} \in NAFC(V). \)

Proof. Let \(x,y \in V \) and \(a \in \mathbb{F}.\) Then

  • (1) \(\bar{\mu}(x+y)= \frac{\mu(x+y)}{\mu(0)} \leq \dfrac{C(\mu(x),\mu(y))}{\mu(0)}=C(\dfrac{\mu(x)}{\mu(0)},\dfrac{\mu(y)}{\mu(0)})=C(\bar{\mu}(x),\bar{\mu}(y)).\)
  • (2) \(\bar{\mu}(-x)= \frac{\mu(-x)}{\mu(0)} \leq \frac{\mu(x)}{\mu(0)}=\bar{\mu}(x).\)
  • (3) \(\bar{\mu}(ax)= \frac{\mu(ax)}{\mu(0)} \leq \frac{\mu(x)}{\mu(0)}=\bar{\mu}(x).\)
Thus \(\bar{\mu} \in AFC(V)\). Also, \(\bar{\mu}(0)=\dfrac{\mu(0)}{\mu(0)}=1\). Hence \(\bar{\mu} \in NAFC(V).\)

5. Linear transformations over anti fuzzy vector spaces under \(t\)-conorms

Definition 13. Let \( f : V \to W \) be a linear transformation over the field \( \mathbb{F}\). Let \(\mu\in [0,1]^V\) and \(\nu\in [0,1]^W\). Define \(f(\mu)\in[0,1]^W\) and \(f^{-1}(\nu)\in[0,1]^V\) as: \begin{equation*} f(\mu)(w) = \left\{ \begin{array}{rl} \inf \{ \mu(v) \hspace{0.1cm}|\hspace{0.1cm} v\in V,f(v)=w\} &\text{if } f^{-1}(w)\neq\emptyset;\\ 0 &\text{if } f^{-1}(w)=\emptyset. \end{array} \right. \end{equation*} Also \(f^{-1}(\nu)(v)=\nu(f(v)).\)

Theorem 28. Let \(f\) be an epimorphism linear transformation from vector space \( V \) into vector space \( W \) over field \( \mathbb{F}. \) If \(\mu \in AFC(V),\) then \(f(\mu)\in AFC(W).\)

Proof.

  • (1) Let \(w_{1},w_{2}\in W.\) Then \begin{align*}f(\mu)(w_{1}+ w_{2})&=\inf \{ \mu(v_{1}+ v_{2}) \ |\ v_{1},v_{2}\in V,f(v_{1})=w_{1},f(v_{2})=w_{2}\} \\&\leq \inf \{ C(\mu(v_{1}),\mu (v_{2})) \ |\ v_{1},v_{2}\in V,f(v_{1})=w_{1},f(v_{2})=w_{2}\} \\&=C(\inf \{ \mu(v_{1})\ |\ f(v_{1})=w_{1}\} ,\inf \{ \mu(v_{2})\ |\ f(v_{2})=w_{2}\}) \\&=C(f(\mu)(w_{1}),f(\mu)(w_{2})).\end{align*}
  • (2) \begin{align*}f(\mu)(-w)&=\inf \{ \mu(-v) \ |\ v\in V,f(-v)=-w\} \\&=\inf \{ \mu(-v) \ |\ v\in V,-f(v)=-w\} \\&\leq \inf \{ \mu(v) \ |\ v\in V,f(v)=w\}=f(\mu)(w).\end{align*}
  • (3) Let \(v\in V\) and \(a\in \mathbb{F}\). Now \begin{align*} f(\mu)(aw)&=\inf \{ \mu(av) \ |\ av\in V,f(av)=aw\} \\&\leq \inf \{ \mu(v) \ |\ v\in V,af(v)=aw\} \\&=\inf \{ \mu(v) \ |\ v\in V,f(v)=w\} \\&=f(\mu)(w).\end{align*}
Therefore \(f(\mu)\in AFC(W).\)

Theorem 29. Let \(f\) be an epimorphism linear transformation from vector space \( V \) into vector space \( W \) over field \( \mathbb{F}. \) If \(\mu \in NAFC(V),\) then \(f(\mu)\in NAFC(W).\)

Proof. By Theorem 28, we have \(f(\mu)\in AFC(W)\). Suppose that \(0_{V} \) and \(0_{W} \) are the identity elements of \( V\) and \( W\), respectively. Since \(\mu \in NAFC(V)\) so \( \mu(0_{V})=1 \) and then \begin{align*} f(\mu)(0_{W})&=\inf \{ \mu(0_{V}) \ |\ 0_{V} \in V,f(0_{V})=0_{W}\}\\&=\inf \{ 1 \ |\ 0_{V} \in V,f(0_{V})=0_{W}\}\\&=1.\end{align*} Hence \(f(\mu)\in NAFC(W).\)

Theorem 30. Let \(f\) be a linear transformation from vector space \( V \) into vector space \( W \) over field \( \mathbb{F}.\) If \(\nu \in AFC(W),\) then \(f^{-1}(\nu)\in AFC(V).\)

Proof.

  • (1) Let \(v_{1},v_{2}\in V.\) Then \begin{align*} f^{-1}(\nu)(v_{1}+v_{2})&=\nu(f(v_{1}+v_{2}))\\&=\nu(f(v_{1})+f(v_{2})) \\&\leq C(\nu(f(v_{1}),\nu(f(v_{2}))\\&=C(f^{-1}(\nu)(v_{1}),f^{-1}(\nu)(v_{2})).\end{align*}
  • (2) Let \(v\in V.\) Then $$f^{-1}(\nu)(-v)=\nu(f(-v))=\nu(-f(v)) \leq \nu(f(v))=f^{-1}(\nu)(v).$$
  • (3) Let \(v\in V\) and \( a \in \mathbb{F}\). Then $$f^{-1}(\nu)(av)=\nu(f(av))=\nu(af(v)) \leq \nu(f(v)) = f^{-1}(\nu)(v).$$
Thus \( f^{-1}(\nu)\in AFC(V).\)

Theorem 31. Let \(f\) be a linear transformation from vector space \( V \) into vector space \( W \) over field \( \mathbb{F}.\) If \(\nu \in NAFC(W),\) then \(f^{-1}(\nu)\in NAFC(V).\)

Proof. Theorem 30 gives us \(f^{-1}(\nu)\in AFC(V)\). Suppose that \(0_{V} \) and \(0_{W} \) be the identity elements of \( V\) and \( W\), respectively. As \(\nu \in NAFC(W)\) so \( \nu(0_{W})=1 \) and then \(f^{-1}(\nu)(0_{V})=\nu(f(0_{V})) =\nu(0_{W})=1. \) Thus \(f^{-1}(\nu)\in NAFC(V).\)

Acknowledgments

I would like to thank the reviewers for carefully reading the manuscript and making several helpful comments to increase the quality of the paper.

Conflict of Interests

The author declares no conflict of interest.

References:

  1. Zadeh, L. A. (1965). Fuzzy sets. Information and Control, 8(3), 338-353.[Google Scholor]
  2. Rosenfeld, A. (1971). Fuzzy groups. Journal of Mathematical Analysis and Applications, 35(3), 512-517.[Google Scholor]
  3. Nanda, S. (1991). Fuzzy linear spaces over valued fields. Fuzzy Sets and Systems, 42(3), 351-354.[Google Scholor]
  4. Katsaras, A. K., & Liu, D. B. (1977). Fuzzy vector spaces and fuzzy topological vector spaces. Journal of Mathematical Analysis and Applications, 58(1), 135-146.[Google Scholor]
  5. Abdukhalikov, K. S. (1996). The dual of a fuzzy subspace. Fuzzy sets and systems, 82(3), 375-381.[Google Scholor]
  6. Lowen, R. (1980). Convex fuzzy sets. Fuzzy sets and Systems, 3(3), 291-310.[Google Scholor]
  7. Lubczonok, P. (1990). Fuzzy vector spaces. Fuzzy sets and systems, 38(3), 329-343.[Google Scholor]
  8. Lubczonok, G., & Murali, V. (2002). On flags and fuzzy subspaces of vector spaces. Fuzzy sets and systems, 125(2), 201-207.[Google Scholor]
  9. Höhle, U. (1978). Probabilistic uniformization of fuzzy topologies. Fuzzy Sets and Systems, 1(4), 311-332.[Google Scholor]
  10. Alsina, C., Trillas, E., \& Valverde, L. (1983). On some logical connectives for fuzzy sets theory. Journal of Mathematical Analysis and Applications, 93(1), 15-26.[Google Scholor]
  11. Gupta, M. M., & Qi, J. (1991). Theory of T-norms and fuzzy inference methods. Fuzzy sets and systems, 40(3), 431-450.[Google Scholor]
  12. Yandong, Y. (1985). Triangular norms and TNF-sigma-algebras. Fuzzy Sets and Systems, 16(3), 251-264.[Google Scholor]
  13. Rasuli, R. (2016). Fuzzy Ideals of Subtraction Semigroups with Respect to A t-norm and A t-conorm. The Journal of Fuzzy Mathematics Los Angeles, 24(4), 881-892.[Google Scholor]
  14. Rasuli, R. (2019). Fuzzy equivalence relation, fuzzy congrunce relation and fuzzy normal subgroups on group G over t-norms. Asian Journal of Fuzzy and Applied Mathematics, 7(2) 14-28.[Google Scholor]
  15. Rasuli, R. (2019). Norms over anti fuzzy G-submodules. MathLAB J, 2, 56-64.[Google Scholor]
  16. Rasuli, R. (2019). Norms over bifuzzy bi-ideals with operators in semigroups. Notes on Intuitionistic Fuzzy Sets, 25, 1-11.[Google Scholor]
  17. Rasuli, R. (2019). Norms over basic operations on intuitionistic fuzzy sets. The Journal of Fuzzy Mathematics Los Angles, 27(3), 561-582.[Google Scholor]
  18. Rasuli, R. (2019). T-fuzzy bi-ideals in semirings. Earthline Journal of Mathematical Sciences, 2(1), 241-263.[Google Scholor]
  19. Enneth, Hoffman, H. & R. Kunze, R. (1961). Linear Algebra. Prentice-Hall, Inc. , Englewood Cliffs, New Jersey.[Google Scholor]
  20. Malik, D. S. & Mordeson, J.N. (1995). Fuzzy Commutative Algebra. World Science publishing Co. Pte. Ltd.[Google Scholor]
  21. Buckley, J. J. & Eslami, E. (2002). An introduction to fuzzy logic and fuzzy sets. Springer-Verlag Berlin Heidelberg.[Google Scholor]