Next Article in Journal
How Particular Firm-Specific Features Influence Corporate Debt Level: A Case Study of Slovak Enterprises
Next Article in Special Issue
A Green Supply Chain Member Selection Method Considering Green Innovation Capability in a Hesitant Fuzzy Environment
Previous Article in Journal
A Note on the Volume Conserving Solution to Simultaneous Aggregation and Collisional Breakage Equation
Previous Article in Special Issue
An Integrated BWM-TOPSIS-I Approach to Determine the Ranking of Alternatives and Application of Sustainability Analysis of Renewable Energy
 
 
Font Type:
Arial Georgia Verdana
Font Size:
Aa Aa Aa
Line Spacing:
Column Width:
Background:
Article

On Intuitionistic Fuzzy Temporal Topological Structures

1
Department of Bioinformatics and Mathematical Modelling, Institute of Biophysics and Biomedical Engineering, Bulgarian Academy of Sciences, Acad. Georgi Bonchev Str., 1113 Sofia, Bulgaria
2
Intelligent Systems Laboratory, Prof. Dr. Assen Zlatarov University, 1 “Prof. Yakimov” Blvd., 8010 Burgas, Bulgaria
Axioms 2023, 12(2), 182; https://doi.org/10.3390/axioms12020182
Submission received: 21 December 2022 / Revised: 6 February 2023 / Accepted: 7 February 2023 / Published: 9 February 2023
(This article belongs to the Special Issue Fuzzy Logic and Application in Multi-Criteria Decision-Making (MCDM))

Abstract

:
In the present paper, four different intuitionistic fuzzy temporal topological structures are introduced, and some of their properties are discussed. These topological structures are based on the intuitionistic fuzzy topological operators and on the temporal intuitionistic fuzzy topological operators, which exist in intuitionistic fuzzy sets theory. The new structures are direct extensions of the IFTSs and will be the basis for introducing of a new type of topological structures.

1. Introduction

The idea for development of the intuitionistic fuzzy topological structures (in the sense of [1,2,3]) started from a discussion between the Bulgarian Prof. Doychin Doychinov (1926–1996) and the author in 1989, when Prof. Doychinov was the Head of the Department of Geometry and Topology at the Institute of Mathematics and Informatics of the Bulgarian Academy of Sciences. Unfortunately, back then, none of the Master’s or PhD students in the department were interested in this idea. That is why no progress was made until the end of the 20th century, when Dogan Čoker (1951–2003) started working on the topic (see [4,5]). The author discussed with him the possibility of joint research, but sadly he passed away too soon. The next important leg of the research in this area was made by F. Gallego Lupiañez in [6,7]. During the last 20 years, a lot of research in this area has been published, but it contains the intuitionistic fuzzy interpretations of existing objects in standard topology (see, e.g., [8,9,10,11,12,13,14,15,16,17,18,19,20,21]).
In [22], the author introduced the idea of intuitionistic fuzzy modal topological structures (IFMTS). On the basis on Kazimierz Kuratowski’s (1896–1980) definition for a topological structure [2] that satisfies the conditions
C1
c l ( A Δ B ) = c l ( A ) Δ c l ( B ) ,
C2
A c l ( A ) ,
C3
c l ( c l ( A ) ) = c l ( A ) ,
C4
c l ( O ) = O ,
where A , B X , X is some fixed set of sets with a minimal element O, c l is the topological operator “closure”, and Δ : X × X X is the operation that generates c l ; additionally,
I1
i n ( A B ) = i n ( A ) i n ( B ) ,
I2
i n ( A ) A ,
I3
i n ( i n ( A ) ) = i n ( A ) ,
I4
i n ( I ) = I ,
where A , B X , X is the same set and I is its maximal element, i n is the topological operator “interior”, and : X × X X is the operation that generates i n .
On a side note, it seems that the first time when the term “temporal topology” was used was in Robin Le Poidevin’s paper [23] from 1990, which, however discusses the concept in a philosophical context, bearing no relation to the usage meant in intuitionistic fuzzy sets. Additionally, we note that another term, which is unrelated, is “temporal intuitionistic fuzzy topology” in Šostak’s sense, as studied by Fatih Kutlu, Tunay Bilgin and A.A. Ramadan in [24,25,26]).
Later, the operators that satisfy the conditions C1–C4 will be termed as “operators of a closure type”, and those that satisfy the conditions I1–I4 as “operators of an interior type”.
The idea for IFMTS has been discussed in a series of papers [22,27,28,29], in which some types of these structures are constructed.
The present paper is a continuation of the author’s research. It is based on the definitions and the notations of the intuitionistic fuzzy sets (IFSs, see, e.g., [30,31]), introduced by the author 40 years ago, in 1983. In it, the tempotal intuitionistic fuzzy operators (see [30,31]) play the role of the modal operators in the IFMTSs.
In the present paper, we combine the ideas and definitions from the areas of (general) topology (see, e.g., [1,2,3]) and of temporal intuitionistic fuzzy sets (see, e.g., [30,31,32]) and introduce, in a novel way, the concept of an intuitionistic fuzzy temporal topological structure (IFTTS). We must immediately mention that the object temporal topology is fuzzified in the sense of Brouwer’s (1881–1966) intuitionism, while the name “temporal intuitionistic fuzzy topology” points to the idea for the temporalization of an intuitionistic fuzzy topology that has another meaning.
The present paper shows the possibility for a new direction in the development of topological structures, and more precisely of the IFTSs. In future, it will be the basis of a series of modifications and extensions.
Initially, short remarks over intuitionistic fuzzy sets (IFSs) and temporal IFSs (TIFSs) are given (in Section 2). After this, in Section 3, the new objects are introduced, and some of their basic properties will be discussed. In Section 4 an example of the application of IFTTSs in a Multi-Criteria Decision Making procedure is presented, and finally Section 5 outlines a conclusion and discusses new directions for the development of the present ideas.

2. Short Remarks about Temporal Intuitionistic Fuzzy Sets

The IFSs are one of the early extensions of Lotfi Zadeh’s (1921–2017) fuzzy sets [33]. When a set E, called a “universum”, is fixed and A is its subset, each IFS in E has the form
A = { x , μ A ( x ) , ν A ( x ) | x E } ,
where functions μ A : E [ 0 , 1 ] and ν A : E [ 0 , 1 ] define the degree of membership and of non-membership of element x E , respectively, to the set A E , and for each x E :
0 μ A ( x ) + ν A ( x ) 1 .
As usual, instead of A for brevity, the notation A is used.
Let the above (fixed) set E be given and let T be a non-empty set (finite or infinite), called the temporal scale with upper and lower boundaries. The elements of T are called “time-moments”.
Following [30,31,32], we define the Temporal IFS (TIFS) as follows:
A ( T ) = { x , μ A ( x , t ) , ν A ( x , t ) | x , t E × T } ,
where
(a)
A E is a fixed set,
(b)
μ A ( x , t ) + ν A ( x , t ) 1 for every x , t E × T ,
(c)
μ A ( x , t ) and ν A ( x , t ) are the degrees of membership and non-membership, respectively, of the element x E at the time-moment t T .
As usual, instead of A ( T ) for brevity, the notation A ( T ) is used.
As is mentioned in [31], each ordinary IFS can be regarded as a TIFS for which T is a singleton set. Additionally, it is mentioned there that all operations and operators on the IFSs can be defined for the TIFSs. However, the opposite is also true: each TIFS A ( T ) is a standard IFS, but over universe E × T . For this reason, we can re-define all operations, relations, and operators defined over standard IFSs, now over TIFSs. For example, if we have two TIFSs:
A ( T ) = { x , μ A ( x , t ) , ν A ( x , t ) | x , t E × T } ,
and
B ( T ) = { x , μ B ( x , t ) , ν B ( x , t ) | x , t E × T } ,
where T and T are temporal scales, then
A ( T ) B ( T ) = { x , μ A ( T ) B ( T ) ( x , t ) , ν A ( T ) B ( T ) ( x , t ) | x , t E × ( T T ) } ,
where
x , μ A ( T ) B ( T ) ( x , t ) , ν A ( T ) B ( T ) ( x , t )
= x , μ A ( x , t ) , ν A ( x , t ) , if   t = t T T x , μ B ( x , t ) , ν A ( x , t ) , if   t = t T T x , max ( μ A ( x , t ) , μ B ( x , t ) ) , if   t = t = t T T min ( ν A ( x , t ) , ν A ( x , t ) ) , x , 0 , 1 , otherwise
A ( T ) B ( T ) = { x , μ A ( T ) B ( T ) ( x , t ) , ν A ( T ) B ( T ) ( x , t ) | x , t E × ( T T ) } ,
where
x , μ A ( T ) B ( T ) ( x , t ) , ν A ( T ) B ( T ) ( x , t )
= x , μ A ( x , t ) , ν A ( x , t ) , if   t = t T T x , μ B ( x , t ) , ν A ( x , t ) , if   t = t T T x , min ( μ A ( x , t ) , μ B ( x , t ) ) , if   t = t = t T T max ( ν A ( x , t ) , ν A ( x , t ) ) , x , 0 , 1 , otherwise
For the needs of the present research, we define also operation “(classical) negation” by
¬ A ( T ) = { x , ν A ( x , t ) , μ A ( x , t ) | x , t E × T }
and the simplest relations, defined for the case when T = T = T :
A ( T ) B ( T ) iff ( x E ) ( t T ) ( μ A ( T ) ( x , t ) μ B ( T ) ( x , t ) ν A ( T ) ( x , t ) ν B ( T ) ( x , t ) ) ; A ( T ) B ( T ) iff B ( T ) A ( T ) ; A ( T ) = B ( T ) iff ( x E ) ( t T ) ( μ A ( T ) ( x , t ) = μ B ( T ) ( x , t ) ν A ( T ) ( x , t ) = ν B ( T ) ( x , t ) )
In future research, we will discuss the form of the above relations in the case when T T .
Since we assume that T = T here, we see that the above definitions of the operations ∪ and ∩ are reduced to the forms:
A ( T ) B ( T ) = { x , max ( μ A ( x , t ) , μ B ( x , t ) ) , min ( ν A ( x , t ) , ν A ( x , t ) ) | x , t E × T } ,
A ( T ) B ( T ) = { x , min ( μ A ( x , t ) , μ B ( x , t ) ) , max ( ν A ( x , t ) , ν A ( x , t ) ) | x , t E × T } .
The first two (simplest) analogues of the topological operators “closure” and “interior” (defined over IFSs) are introduced over TIFSs in [30,31] as follows:
C ( A ( T ) ) = { x , sup y E μ A ( T ) ( y , t ) , inf y E ν A ( T ) ( y , t ) | x , t E × T } , I ( A ( T ) ) = { x , inf y E μ A ( T ) ( y , t ) , sup y E ν A ( T ) ( y , t ) | x , t E × T } ,
while specifically related to temporality are the following two operators over TIFSs (see [30,31]):
C ( A ( T ) ) = { x , sup t T μ A ( T ) ( x , t ) , inf t T ν A ( T ) ( x , t ) | x , t E × T } , I ( A ( T ) ) = { x , inf t T μ A ( T ) ( x , t ) , sup t T ν A ( T ) ( x , t ) | x , t E × T } .
Thus, we say that the operator C is an operator of closure type, while the operator I is an operator of interior type. Notably, the first two operators, C and I , are related to the elements of the universe, while the second two operators, C and I , are related to the elements of the chosen time-scale.

3. Definitions of Four Intuitionistic Fuzzy Temporal Topological Structures

Following [30], let us define
O ( T ) = { x , 0 , 1 | x , t E × T } ,
E ( T ) = { x , 1 , 0 | x , t E × T } .
Therefore, for each TIFS A ( T ) :
O ( T ) A ( T ) E ( T ) .
If for each set X
P ( X ) = { Y | Y X } ,
then for each TIFS A ( T ) over the universe E and time-scale T:
P ( O ( T ) ) = O ( T ) ,
P ( E ( T ) ) = { A ( T ) | A ( T ) E ( T ) } .
Let O and Q be operators such that for each TIFS A ( T ) P ( E ( T ) ) :
O ( A ( T ) ) = ¬ Q ( ¬ A ( T ) ) ,
Q ( A ( T ) ) = ¬ O ( ¬ A ( T ) ) .
Let Δ , : P ( E ( T ) ) × P ( E ( T ) ) P ( E ( T ) ) be operations such that for every two TIFSs A ( T ) , B ( T ) P ( E ( T ) ) :
A ( T ) B ( T ) = ¬ ( ¬ A ( T ) Δ ¬ B ( T ) ) ,
A ( T ) Δ B ( T ) = ¬ ( ¬ A ( T ) ¬ B ( T ) ) .
Let ∘ and • be the special operators over TIFS that are related to temporality and such that for each TIFS A ( T ) P ( E ( T ) ) :
A ( T ) = ¬ ¬ A ( T ) ,
A ( T ) = ¬ ¬ A ( T ) .
By analogy with [22], and extending the definitions from there, we will introduce four types of IFTTSs: a c l - c l -IFTTS, c l - i n -IFTTS, i n - c l -IFTTS, and i n - i n -IFTTS.

3.1. c l - c l -Intuitionistic Fuzzy Temporal Topological Structure

The c l - c l -IFTTS is the object
P ( E ( T ) ) , O , Δ , ,
where T is a fixed time-scale; E is a fixed universe; O : P ( E ( T ) ) P ( E ( T ) ) is an operator of a closure type related to operation Δ ; : P ( E ( T ) ) P ( E ( T ) ) is a temporal operator of a closure type; and for every two TIFSs A ( T ) , B ( T ) P ( E ( T ) ) , the following nine conditions hold:
CC1
O ( A ( T ) Δ B ( T ) ) = O ( A ( T ) ) Δ O ( B ( T ) ) ,
CC2
A ( T ) O ( A ( T ) ) ,
CC3
O ( O ( T ) ) = O ( T ) ,
CC4
O ( O ( A ( T ) ) ) = O ( A ( T ) ) ,
CC5
( A ( T ) B ( T ) ) A ( T ) B ( T ) ,
CC6
A ( T ) A ( T ) ,
CC7
E ( T ) = E ( T ) ,
CC8
A ( T ) = A ( T ) ,
CC9
O ( A ( T ) ) = O ( A ( T ) ) .
Now, we see that the first four conditions correspond to the conditions C1–C4 for a topological operator “closure”; the next four conditions correspond to the conditions C1–C4, too, but for a temporal topological operator “closure”; and condition CC9 determines the relation between the two types of operators.
Obviously, when T = { t } is a single set, then the IFTTS is reduced to an IFTS. On the other hand, if we have a set of IFTSs for which we know that they are related to fixed time-moments t 1 < t 2 < , respectively, then on their basis we can construct an IFTTS.
Theorem 1. 
For each universe E and each time-scale T, P ( E ( T ) ) , C , , C is a c l - c l -IFTTS.
Proof. 
Let the IFSs A ( T ) , B ( T ) P ( E ( T ) ) be given. We will sequentially prove the validity of the nine conditions CC1–CC9.
CC1.
C ( A ( T ) B ( T ) ) = C ( { x , μ A ( T ) ( x , t ) , ν A ( T ) ( x , t ) | x , t E × T } { x , μ B ( T ) ( x , t ) , ν B ( T ) ( x , t ) | x , t E × T } ) = C ( { x , max ( μ A ( T ) ( x , t ) , μ B ( T ) ( x , t ) ) , min ( ν A ( T ) ( x , t ) , ν B ( T ) ( x , t ) ) | x , t E × T } ) = { x , sup y E max ( μ A ( T ) ( y , t ) , μ B ( T ) ( y , t ) ) , inf y E min ( ν A ( T ) ( y , t ) , ν B ( T ) ( y , t ) ) | x , t E × T } = { x , max ( sup y E μ A ( T ) ( y , t ) , sup y E μ B ( T ) ( y , t ) ) , min ( inf y E ν A ( T ) ( y , t ) , inf y E ν B ( T ) ( y , t ) ) | x , t E × T } = C ( A ( T ) ) C ( B ( T ) ) ;
CC2.
A ( T ) = { x , μ A ( T ) ( x , t ) , ν A ( T ) ( x , t ) | x , t E × T } { x , sup y E μ A ( T ) ( y , t ) , inf y E ν A ( T ) ( y , t ) | x , t E × T } = C ( A ( T ) ) ;
CC3.
C ( O ( T ) ) = C ( { x , 0 , 1 | x , t E × T } ) = { x , sup y E 0 , inf y E 1 | x , t E × T } = { x , 0 , 1 | x , t E × T } = O ( T ) ;
CC4.
Bearing in mind that for each fixed t T : sup y E μ A ( T ) ( y , t ) and inf y E ν A ( T ) ( y , t ) are constants, we obtain that:
C ( C ( A ( T ) ) ) = C ( { x , sup y E μ A ( T ) ( y , t ) , inf y E ν A ( T ) ( y , t ) | x , t E × T } ) = { x , sup z E sup y E μ A ( T ) ( y , t ) , inf z E inf y E ν A ( T ) ( y , t ) | x , t E × T } = { x , sup y E μ A ( T ) ( y , t ) , inf y E ν A ( T ) ( y , t ) | x , t E × T } = C ( A ( T ) ) .
CC5.
To check condition CC5, we will first prove that for each x E :
sup u T min ( μ A ( T ) ( x , u ) , μ B ( T ) ( x , u ) ) min ( sup u T μ A ( T ) ( x , u ) , sup u T μ B ( T ) ( x , u ) ) ,
inf u T max ( ν A ( T ) ( x , u ) , ν B ( T ) ( x , u ) ) max ( inf t T ν A ( T ) ( x , t ) , inf t T ν B ( T ) ( x , t ) ) .
Let for a fixed x E :
min ( μ A ( T ) ( x , u ) , μ B ( T ) ( x , u ) ) = g ( u ) .
Therefore, for each x E :
g ( u ) μ A ( T ) ( x , u ) , g ( u ) μ B ( T ) ( x , u ) .
Therefore,
sup u T g ( u ) sup u T μ A ( T ) ( x , u ) , sup u T g ( u ) sup u T μ B ( T ) ( x , u )
hence,
sup u T g ( u ) min ( sup u T μ A ( T ) ( x , u ) , sup u T μ B ( T ) ( x , u ) ) ,
i.e., (1) is valid. (2) is proved in a similar manner.
Back to the proof of CC5, using (1) and (2), we see that:
C ( A ( T ) B ( T ) ) = C ( { x , min ( μ A ( T ) ( x , t ) , μ B ( T ) ( x , t ) ) , max ( ν A ( T ) ( x , t ) , ν B ( T ) ( x , t ) ) | x , t E × T } ) = { x , sup u T min ( μ A ( T ) ( x , u ) , μ B ( T ) ( x , u ) ) ) , inf u T max ( ν A ( T ) ( x , u ) , ν B ( T ) ( x , u ) ) | x , t E × T } { x , min ( sup t T μ A ( T ) ( x , t ) , sup t T μ B ( T ) ( x , t ) ) , max ( inf t T ν A ( T ) ( x , t ) , inf t T ν B ( T ) ( x , t ) | x , t E × T } = { x , sup t T μ A ( T ) ( x , t ) , inf t T ν A ( T ) ( x , t ) | x , t E × T } { x , sup t T μ B ( T ) ( x , t ) , inf t T ν B ( T ) ( x , t ) | x , t E × T } = C ( A ( T ) ) C ( B ( T ) ) .
CC6.
A ( T ) = { x , μ A ( T ) ( x , t ) , ν A ( T ) ( x , t ) | x , t E × T } { x , sup t T μ A ( T ) ( x , t ) , inf t T ν A ( T ) ( x , t ) | x , t E × T } = C ( A ( T ) ) ;
CC7.
C ( E ( T ) ) = C ( { x , 1 , 0 } | x , t E × T } ) = ( { x , 1 , 0 } | x , t E × T } ) = E ( T )
CC8.
Bearing in mind that for each fixed x T : sup t T μ A ( T ) ( x , t ) and inf t T ν A ( T ) ( x , t ) are constants, we obtain that:
C ( C ( T ) ) = C ( { x , sup t T μ A ( T ) ( x , t ) , inf t T ν A ( T ) ( x , t ) | x , t E × T } = { x , sup u T sup t T μ A ( T ) ( x , t ) , inf u T inf t T ν A ( T ) ( x , t ) | x , t E × T } = { x , sup t T μ A ( T ) ( x , t ) , inf t T ν A ( T ) ( x , t ) | x , t E × T } = C ( A ( T ) ) ;
CC9.
C ( C ( A ( T ) ) ) = C ( { x , sup y E μ A ( T ) ( y ) , inf y E ν A ( T ) ( y ) | x , t E × T } ) = { x , sup u T sup y E μ A ( T ) ( y , u ) , inf u T inf y E ν A ( T ) ( y , u ) | x , t E × T } ) = { x , sup y E sup u T μ A ( T ) ( y , u ) , inf y E inf u T ν A ( T ) ( y , u ) | x , t E × T } = C ( { x , sup t T μ A ( T ) ( x , t ) , inf t T ν A ( T ) ( x , t ) | x , t E × T } ) = C ( C ( A ( T ) ) ) .
This completes the proof. □

3.2. i n - i n -Intuitionistic Fuzzy Temporal Topological Structure

The i n - i n -IFTTS is the object
P ( E ( T ) ) , Q , , ,
where T is a fixed time-scale; E is a fixed universe; Q : P ( E ( T ) ) P ( E ( T ) ) is an operator of interior type, related to the operation ∇; : P ( E ( T ) ) P ( E ( T ) ) is a temporal operator from interior type; and for every two TIFSs A ( T ) , B ( T ) P ( E ( T ) ) , the following nine conditions hold:
II1
Q ( A ( T ) B ( T ) ) = Q ( A ( T ) ) Q ( B ( T ) ) ,
II2
Q ( A ( T ) ) A ( T ) ,
II3
Q ( E ( T ) ) = E ( T ) ,
II4
Q ( Q ( A ( T ) ) ) = Q ( A ( T ) ) ,
II5
( A ( T ) Δ B ( T ) ) A ( T ) Δ B ( T ) ,
II6
A ( T ) A ( T ) ,
II7
O ( T ) = O ( T ) ,
II8
A ( T ) = A ( T ) ,
II9
Q ( A ( T ) ) = Q ( A ( T ) ) .
We see that the first four conditions correspond to the conditions I1–I4 for a topological operator “interior”; the next four conditions correspond to the conditions I1–I4, too, but for a temporal topological operator the “interior” and condition CC9 determine the relation between the two types of operators.
Theorem 2. 
For each universe E and each time-scale T, P ( E ( T ) ) , I , , I is an i n - i n -IFTTS.
Proof. 
Let the IFSs A ( T ) , B ( T ) P ( E ( T ) ) be given. We will sequentially prove the validity of the nine conditions II1–II9.
II1.
I ( A ( T ) B ( T ) ) = I ( { x , μ A ( T ) ( x , t ) , ν A ( T ) ( x , t ) | x , t E × T } { x , μ B ( T ) ( x , t ) , ν B ( T ) ( x , t ) | x , t E × T } ) = C ( { x , min ( μ A ( T ) ( x , t ) , μ B ( T ) ( x , t ) ) , max ( ν A ( T ) ( x , t ) , ν B ( T ) ( x , t ) ) | x , t E × T } ) = { x , inf y E min ( μ A ( T ) ( y , t ) , μ B ( T ) ( y , t ) ) , sup y E max ( ν A ( T ) ( y , t ) , ν B ( T ) ( y , t ) ) | x , t E × T } = { x , min ( inf y E μ A ( T ) ( y , t ) , inf y E μ B ( T ) ( y , t ) ) , max ( sup y E ν A ( T ) ( y , t ) , sup y E ν B ( T ) ( y , t ) ) | x , t E × T } = I ( A ( T ) ) I ( B ( T ) ) ;
II2.
I ( A ( T ) ) = { x , inf y E μ A ( T ) ( y , t ) , sup y E ν A ( T ) ( y , t ) | x , t E × T } { x , μ A ( T ) ( x , t ) , ν A ( T ) ( x , t ) | x , t E × T } = A ( T ) ;
II3.
I ( E ( T ) ) = I ( { x , 1 , 0 | x , t E × T } ) = { x , inf y E 1 , sup y E 0 | x , t E × T } = { x , 1 , 0 | x , t E × T } = E ( T ) ;
II4.
Similarly to the above, bearing in mind that for each fixed t T : inf y E μ A ( T ) ( y , t ) and sup y E ν A ( T ) ( y , t ) are constants, we obtain that:
I ( I ( A ( T ) ) ) = I ( { x , inf y E μ A ( T ) ( y , t ) , sup y E ν A ( T ) ( y , t ) | x , t E × T } ) = { x , inf z E inf y E μ A ( T ) ( y , t ) , sup z E sup y E ν A ( T ) ( y , t ) | x , t E × T } = { x , inf y E μ A ( T ) ( y , t ) , sup y E ν A ( T ) ( y , t ) | x , t E × T } = I ( A ( T ) ) .
II5.
To check condition II5, as above, we will first prove that for each x E :
inf u T max ( μ A ( T ) ( x , u ) , μ B ( T ) ( x , u ) ) max ( inf u T μ A ( T ) ( x , u ) , inf u T μ B ( T ) ( x , u ) ) ,
sup u T min ( ν A ( T ) ( x , u ) , ν B ( T ) ( x , u ) ) min ( sup t T ν A ( T ) ( x , t ) , sup t T ν B ( T ) ( x , t ) ) .
Let for a fixed x E :
max ( μ A ( T ) ( x , u ) , μ B ( T ) ( x , u ) ) = h ( u ) .
Therefore, for each x E :
h ( u ) μ A ( T ) ( x , u ) , h ( u ) μ B ( T ) ( x , u ) .
Therefore,
inf u T h ( u ) inf u T μ A ( T ) ( x , u ) , inf u T h ( u ) inf u T μ B ( T ) ( x , u )
and hence
inf u T h ( x ) max ( inf u T μ A ( T ) ( x , u ) , inf u T μ B ( T ) ( x , u ) ) ,
i.e., (3) is valid. Proving (4) is done in a similar manner.
Back to the proof of II5, using (3) and (4), we see that:
I ( A ( T ) ( B ( T ) ) = I ( { x , μ A ( T ) ( x , t ) , ν A ( T ) ( x , t ) | x , t E × T } { x , μ B ( T ) ( x , t ) , ν B ( T ) ( x , t ) | x , t E × T } ) = I ( { x , max ( μ A ( T ) ( x , t ) , μ B ( T ) ( x , t ) ) , min ( ν A ( T ) ( x , t ) , ν B ( T ) ( x , t ) ) | x , t E × T } ) = { x , inf u T max ( μ A ( T ) ( x , u ) , μ B ( T ) ( x , u ) ) ) , sup u T min ( ν A ( T ) ( x , u ) , ν B ( T ) ( x , u ) ) | x , t E × T } { x , max ( inf t T μ A ( T ) ( x , t ) , inf t T μ B ( T ) ( x , t ) ) , min ( sup t T ν A ( T ) ( x , t ) , sup t T ν B ( T ) ( x , t ) | x , t E × T } = { x , inf t T μ A ( T ) ( x , t ) , sup t T ν A ( T ) ( x , t ) | x , t E × T } { x , inf t T μ B ( T ) ( x , t ) , sup t T ν B ( T ) ( x , t ) | x , t E × T } = I ( A ( T ) I B ( T ) ) .
II6.
I ( A ( T ) ) = { x , inf t T μ A ( T ) ( x , t ) , sup t T ν A ( T ) ( x , t ) | x , t E × T } { x , μ A ( T ) ( x , t ) , ν A ( T ) ( x , t ) | x , t E × T } = A ( T ) ;
II7.
I ( O ( T ) ) = I ( { x , 0 , 1 } | x , t E × T } ) = ( { x , 0 , 1 } x , t E × T } ) = O ( T )
II8.
As above, bearing in mind that for each fixed x T : inf t T μ A ( T ) ( x , t ) and sup t T ν A ( T ) ( x , t ) are constants, we obtain that:
I ( I ( T ) ) = I ( { x , inf t T μ A ( T ) ( x , t ) , sup t T ν A ( T ) ( x , t ) | x , t E × T } = { x , inf u T inf t T μ A ( T ) ( x , t ) , sup u T sup t T ν A ( T ) ( x , t ) | x , t E × T } = { x , inf t T μ A ( T ) ( x , t ) , sup t T ν A ( T ) ( x , t ) | x , t E × T } = I ( A ( T ) ) ;
II9.
I ( I ( A ( T ) ) ) = I ( { x , inf y E μ A ( T ) ( y ) , sup y E ν A ( T ) ( y ) | x , t E × T } ) = { x , inf u T inf y E μ A ( T ) ( y , u ) , sup u T sup y E ν A ( T ) ( y , u ) | x , t E × T } ) = { x , inf y E inf u T μ A ( T ) ( y , u ) , sup y E sup u T ν A ( T ) ( y , u ) | x , t E × T }
= I ( { x , inf t T μ A ( T ) ( x , t ) , sup t T ν A ( T ) ( x , t ) | x , t E × T } ) = I ( I ( A ( T ) ) ) .
This completes the proof. □

3.3. c l - i n -Intuitionistic Fuzzy Temporal Topological Structure

The c l - i n -IFTTS is the object
P ( E ( T ) ) , O , Δ , ,
where T is a fixed time-scale; E is a fixed universe; O : P ( E ( T ) ) P ( E ( T ) ) is an operator of a closure type related to operation Δ ; : P ( E ( T ) ) P ( E ( T ) ) is a temporal operator from an interior type; and for every two TIFSs A ( T ) , B ( T ) P ( E ( T ) ) , the following nine conditions hold:
CI1
O ( A ( T ) Δ B ( T ) ) = O ( A ( T ) ) Δ O ( B ( T ) ) ,
CI2
A ( T ) O ( A ( T ) ) ,
CI3
O ( O ( T ) ) = O ( T ) ,
CI4
O ( O ( A ( T ) ) ) = O ( A ( T ) ) ,
CI5
( A ( T ) B ( T ) ) = A ( T ) B ( T ) ,
CI6
A ( T ) A ( T ) ,
CI7
O ( T ) = O ( T ) ,
CI8
A ( T ) = A ( T ) ,
CI9
O ( A ( T ) ) O ( A ( T ) ) .
Now, we see that the first four conditions correspond to the conditions C1–C4 for a topological operator “closure”; the next four conditions correspond to the conditions I1–I4, too, but for a temporal topological operator “interior”, and condition CC9 determines the relation between the two types of operators.
Theorem 3. 
For each universe E and each time-scale T, P ( E ( T ) ) , C , , I is a c l - i n -IFTTS.
Proof. 
Let the TIFS A ( T ) P ( E ( T ) ) be given.
The checks of the conditions CI1–CI4 coincide with the proofs of conditions CC1–CC4 in Theorem 1. The checks of the conditions CI6–CI8 coincide with the proofs of conditions II6–II8.
Hence, it remains that we check only the validity of the conditions CI5 and CI9.
For the validity of condition (CI5), we obtain:
I ( A ( T ) B ( T ) ) = I ( { x , min ( μ A ( x , t ) , μ B ( x , t ) ) , max ( ν A ( x , t ) , ν A ( x , t ) ) | x , t E × T } = { x , inf u T min ( μ A ( x , u ) , μ B ( x , u ) ) , sup u T max ( ν A ( x , u ) , ν B ( x , u ) ) x , t E × T } = { x , min ( inf u T μ A ( x , u ) , inf u T μ B ( x , u ) ) , max ( sup u T ν A ( x , u ) , sup u T ν B ( x , u ) ) | x , t E × T } = I ( A ( T ) ) I ( B ( T ) ) .
For the validity of condition CI9, we will first prove that for each TIFS A ( T ) :
sup u T inf y E ν A ( T ) ( y , u ) inf y E sup u T ν A ( T ) ( y , u ) ,
and
inf u T sup y E μ A ( T ) ( y , u ) sup y E inf u T μ A ( T ) ( y , u ) .
Let for a fixed u T ,
h ( u ) = inf y E ν A ( T ) ( y , u ) .
Therefore, for each y E ,
h ( u ) ν A ( T ) ( y , u )
and hence
sup u T h ( u ) sup u T ν A ( T ) ( y , u ) .
Since sup u T h ( u ) is a constant for each y E and
sup u T h ( u ) inf y E sup u T ν A ( T ) ( y , u ) ,
i.e., (5) is valid. The check of (6) is similar.
Now, using (5) and (6), we obtain:
I ( C ( A ( T ) ) ) = I ( { x , sup y E μ A ( T ) ( y ) , inf y E ν A ( T ) ( y ) | x , t E × T } ) = { x , inf u T sup y E μ A ( T ) ( y , u ) , sup u T inf y E ν A ( T ) ( y , u ) | x , t E × T } ) { x , sup y E inf u T μ A ( T ) ( y , u ) , inf y E sup u T ν A ( T ) ( y , u ) | x , t E × T } = C ( { x , inf t T μ A ( T ) ( x , t ) , sup t T ν A ( T ) ( x , t ) | x , t E × T } ) = C ( I ( A ( T ) ) ) .
This completes the proof. □

3.4. i n - c l -Intuitionistic Fuzzy Temporal Topological Structure

The i n - c l -IFTTS is the object
P ( E ( T ) ) , Q , , ,
where T is a fixed time-scale; E is a fixed universe; Q : P ( E ( T ) ) P ( E ( T ) ) is an operator of interior type, related to the operation ∇; : P ( E ( T ) ) P ( E ( T ) ) is a temporal operator of closure type; and for every two TIFSs A ( T ) , B ( T ) P ( E ( T ) ) , the following nine conditions hold:
IC1
Q ( A ( T ) B ( T ) ) = Q ( A ( T ) ) Q ( B ( T ) ) ,
IC2
Q ( A ( T ) ) A ( T ) ,
IC3
Q ( E ( T ) ) = E ( T ) ,
IC4
Q ( Q ( A ( T ) ) ) = Q ( A ( T ) ) ,
IC5
( A ( T ) Δ B ( T ) ) = A ( T ) Δ B ( T ) ,
IC6
A ( T ) A ( T ) ,
IC7
E ( T ) = E ( T ) ,
IC8
A ( T ) = A ( T ) ,
IC9
Q ( A ( T ) ) Q ( A ( T ) ) .
Now, we see that the first four conditions correspond to the conditions I1–I4 for a topological operator “interior” and the next four conditions correspond to the conditions C1–C4, too, but for a temporal topological operator, “closure” and condition CC9 determine the relation between the two types of operators.
Theorem 4. 
For each universe E and each time-scale T, P ( E ( T ) ) , I , , C is an i n - c l -IFTTS.
Proof. 
Let the TIFS A ( T ) P ( E ( T ) ) be given.
The checks of the conditions IC1–IC4 are similar to the proofs of conditions II1–II4 in Theorem 2. The checks of the conditions IC6–IC8 coincide with the proofs of conditions CC6–CC8.
Hence, it remains that we check only the validity of the conditions IC5 and IC9.
For the validity of condition (IC5), we obtain:
C ( A ( T ) B ( T ) ) = I ( { x , max ( μ A ( x , t ) , μ B ( x , t ) ) , min ( ν A ( x , t ) , ν A ( x , t ) ) | x , t E × T } = { x , sup u T max ( μ A ( x , u ) , μ B ( x , u ) ) , inf u T min ( ν A ( x , u ) , ν B ( x , u ) ) x , t E × T } = { x , max ( sup u T μ A ( x , u ) , sup u T μ B ( x , u ) ) , min ( inf u T ν A ( x , u ) , inf u T ν B ( x , u ) ) | x , t E × T } = C ( A ( T ) ) C ( B ( T ) ) .
Now, using (5) and (6), we obtain:
C ( I ( A ( T ) ) ) = C ( { x , inf y E μ A ( T ) ( y ) , sup y E ν A ( T ) ( y ) | x , t E × T } ) = { x , sup u T inf y E μ A ( T ) ( y , u ) , inf u T sup y E ν A ( T ) ( y , u ) | x , t E × T } ) { x , inf y E sup u T μ A ( T ) ( y , u ) , sup y E inf u T ν A ( T ) ( y , u ) | x , t E × T } = I ( { x , sup t T μ A ( T ) ( x , t ) , inf t T ν A ( T ) ( x , t ) | x , t E × T } ) = I ( C ( A ( T ) ) ) .
This completes the proof. □

4. A Short Example of the Application of the IFTTSs in a Multi-Criteria Decision Making Procedure

Let us have e experts E 1 , E 2 , , E e and c criteria C 1 , C 2 , , C c and let the experts evaluate some object O using the criteria in the subsequent time-moments t 1 < t 2 < < t s .
Let the universe be C = { C 1 , C 2 , , C c } and let the time-scale be T = { t 1 , t 2 , , t s } . So, to each expert E i we juxtapose the TIFS
F i = { C j , μ i ( C j , t k ) , ν i ( C j , t k ) | C j C , t k T , 1 j c }
that corresponds to the expert evaluations of the object O against the subsequent criteria in the different time-moments, where 1 i e . Here, 0 μ i ( C j , t k ) , ν i ( C j , t k ) , μ i ( C j , t k ) + ν i ( C j , t k ) 1 , where μ i ( C j , t k ) and ν i ( C j , t k ) are the degrees of validity and of non-validity of criterion C j with respect to the object O at the time-moment t k according to expert E i .
Now, we can construct the set
F = { F i | 1 i e }
that can be the basis of the c l - c l -, c l - i n -, i n - c l - or i n - i n -IFTTSs P ( F ) , C , , C , P ( F ) , C , , I , P ( F ) , I , , C , P ( F ) , I , , I , respectively.
In these structures, the operators C and I will determine the maximal and minimal evaluations, given by the experts for object O in the separate time-moments, while the operators C and I will determine the maximal and minimal evaluations given by each one of the experts for object O in the whole time-period.
The more interesting case is this one, when we have more than one object for evaluation by the experts. This case will be discussed in future with respect to a more complex topological structure.

5. Conclusions and Ideas for Future Research

In [22], the author wrote: “The described above idea opens some directions for future research…”. Nevertheless, the present direction was not discussed there. On the other hand, the directions for the development of the IFMTS discussed in [22] are valid for the IFTTS, too. For example, one of the possible directions is related to the use of the extended topological operators, discussed in [31]. These operators will be applied over the elements of the universe E, as well as over the elements of the time-scale T.
Of course, as it has turned out with the IFMTSs, a lot of them will be (using the notation of [27,28,29]) feeble structures because they will not satisfy some of the conditions introduced above.
All of these directions for the development of IFTTSs will be an object of future research of the author.

Funding

This research was realized in the frames of project KP-06-N22-1/2018 “Theoretical research and applications of InterCriteria Analysis”, Bulgarian National Science Fund.

Data Availability Statement

Not applicable.

Acknowledgments

The author is very thankful to his reviewers for their valuable comments and corrections.

Conflicts of Interest

The author declares no conflict of interest.

References

  1. Bourbaki, N. Éléments De Mathématique, Livre III: Topologie Générale, Chapitre 1: Structures Topologiques, Chapitre 2: Structures Uniformes; Herman: Paris, France, 1960. (In French) [Google Scholar]
  2. Kuratowski, K. Topology; Academic Press: New York, NY, USA, 1966; Volume 1. [Google Scholar]
  3. Munkres, J. Topology; Prentice Hall Inc.: New Jersey, NJ, USA, 2000. [Google Scholar]
  4. Çoker, D. On topological structures using intuitionistic fuzzy sets. Notes Intuitionistic Fuzzy Sets 1997, 3, 138–142. [Google Scholar]
  5. Çoker, D. An introduction to intuitionistic fuzzy topological spaces. Fuzzy Sets Syst. 1997, 88, 81–89. [Google Scholar] [CrossRef]
  6. Lupiañez, F.G. Separation in intuitionistic fuzzy topological spaces. Int. Pure Appl. Math. 2004, 17, 29–34. [Google Scholar]
  7. Lupiañez, F.G. On intuitionistic fuzzy topological spaces. Kybernetes 2006, 35, 743–747. [Google Scholar] [CrossRef]
  8. El-Latif, A.; Khalaf, M. Connectedness in Intuitionistic Fuzzy Topological Spaces in Sostak’s Sense. Ital. J. Pure Appl. Math. 2015, 35, 649–668. [Google Scholar]
  9. Haydar Eş, A.; Çoker, D. More on fuzzy compactness in intuitionistic fuzzy topological spaces. Notes Intuitionistic Fuzzy Sets 1996, 2, 4–10. [Google Scholar]
  10. Kim, Y.C.; Abbas, S.E. Connectedness in Intuitionistic Fuzzy Topological Spaces. Commun. Korean Math. Soc. 2005, 20, 117–134. [Google Scholar] [CrossRef]
  11. Lee, S.J.; Lee, E.P. The category of intuitionistic fuzzy topological spaces. Bull. Korean Math. Soc. 2000, 37, 63–76. [Google Scholar]
  12. Milles, S. The Lattice of Intuitionistic Fuzzy Topologies Generated by Intuitionistic Fuzzy Relations. Appl. Appl. Math. 2020, 15, 942–956. [Google Scholar]
  13. Mondal, K.; Samanta, S.K. A study on intuitionistic fuzzy topological spaces. Notes Intuitionistic Fuzzy Sets 2003, 9, 1–32. [Google Scholar]
  14. Özbakir, O.; Çoker, D. Fuzzy multifunctions in intuitionistic fuzzy topological spaces. Notes Intuitionistic Fuzzy Sets 1999, 5, 1–5. [Google Scholar]
  15. Rajarajeswari, P.; Krishna Moorthy, R. Intuitionistic fuzzy completely weakly generalized continuous mappings. Notes Intuitionistic Fuzzy Sets 2012, 18, 25–36. [Google Scholar]
  16. Roopkumar, R.; Kalaivani, C. Continuity of intuitionistic fuzzy proper functions on intuitionistic smooth fuzzy topological spaces. Notes Intuitionistic Fuzzy Sets 2010, 16, 1–21. [Google Scholar]
  17. Saadati, R.; Park, J.H. On the intuitionistic fuzzy topological spaces. Chaos Solitons Fractals 2006, 27, 331–334. [Google Scholar] [CrossRef]
  18. Thakur, S.; Chaturvedi, R. Generalized continuity in intuitionistic fuzzy topological spaces. Notes Intuitionistic Fuzzy Sets 2006, 12, 38–44. [Google Scholar]
  19. Tiwari, S. On relationships among intuitionistic fuzzy approximation operators, intuitionistic fuzzy topology and intuitionistic fuzzy automata. Notes Intuitionistic Fuzzy Sets 2010, 16, 1–9. [Google Scholar]
  20. Yılmaz, S.; Cuvalcıoglu, G. On Level Operators for Temporal intuitionistic fuzzy sets. Notes Intuitionistic Fuzzy Sets 2014, 20, 6–15. [Google Scholar]
  21. Yongfa, H.; Changjun, J. Some properties of intuitionistic fuzzy metric spaces. Notes Intuitionistic Fuzzy Sets 2004, 10, 18–26. [Google Scholar]
  22. Atanassov, K. Intuitionistic Fuzzy Modal Topological Structure. Mathematics 2022, 10, 3313. [Google Scholar] [CrossRef]
  23. De Poidevin, R. Relationism and Temporal Topology: Physics or Metaphysics? Philos. Q. 1990, 40, 419–432. [Google Scholar] [CrossRef]
  24. Kutlu, F.; Bilgin, T. Temporal Intuitionistic Fuzzy Topology in Sostak’s Sense. Notes Intuitionistic Fuzzy Sets 2015, 21, 63–70. [Google Scholar]
  25. Kutlu, F.; Ramadan, A.; Bilgin, T. On Compactness in Temporal Intuitionistic Fuzzy Sostak Topology. Notes Intuitionistic Fuzzy Sets 2016, 22, 46–62. [Google Scholar]
  26. Kutlu, F. On Separation Axioms in Temporal Intuitionistic Fuzzy Sostak Topology. Notes Intuitionistic Fuzzy Sets 2017, 23, 21–30. [Google Scholar]
  27. Atanassov, K. On the Intuitionistic Fuzzy Modal Feeble Topological Structures. Notes Intuitionistic Fuzzy Sets 2022, 28, 211–222. [Google Scholar] [CrossRef]
  28. Atanassov, K. On four intuitionistic fuzzy feeble topological structures. In Proceedings of the IEEE 11th International Conference on Intelligent Systems, Warsaw, Poland, 12–14 October 2022. [Google Scholar] [CrossRef]
  29. Atanassov, K. On intuitionistic fuzzy modal topological structures with modal operator of second type. Notes Intuitionistic Fuzzy Sets 2022, 28, 457–463. [Google Scholar] [CrossRef]
  30. Atanassov, K. Intuitionistic Fuzzy Sets; Springer: Heidelberg, Germany, 1999. [Google Scholar]
  31. Atanassov, K. On Intuitionistic Fuzzy Sets Theory; Springer: Berlin, Germany, 2012. [Google Scholar]
  32. Atanassov, K. Temporal intuitionistic fuzzy sets. Comptes Rendus L’Academie Bulg. Sci. 1991, 44, 5–7. [Google Scholar]
  33. Zadeh, L. Fuzzy sets. Inf. Control 1965, 8, 338–353. [Google Scholar] [CrossRef] [Green Version]
Disclaimer/Publisher’s Note: The statements, opinions and data contained in all publications are solely those of the individual author(s) and contributor(s) and not of MDPI and/or the editor(s). MDPI and/or the editor(s) disclaim responsibility for any injury to people or property resulting from any ideas, methods, instructions or products referred to in the content.

Share and Cite

MDPI and ACS Style

Atanassov, K. On Intuitionistic Fuzzy Temporal Topological Structures. Axioms 2023, 12, 182. https://doi.org/10.3390/axioms12020182

AMA Style

Atanassov K. On Intuitionistic Fuzzy Temporal Topological Structures. Axioms. 2023; 12(2):182. https://doi.org/10.3390/axioms12020182

Chicago/Turabian Style

Atanassov, Krassimir. 2023. "On Intuitionistic Fuzzy Temporal Topological Structures" Axioms 12, no. 2: 182. https://doi.org/10.3390/axioms12020182

Note that from the first issue of 2016, this journal uses article numbers instead of page numbers. See further details here.

Article Metrics

Back to TopTop