ICMMCIT2021, 052, v3: ’A Study on HB Theory in Product Intuitionistic Fuzzy Fractal . . .

A Study on HB Theory in Product Intuitionistic

Fuzzy Fractal Space

M.Priya1 and R.Uthayakumar2

1
Research scholar, Department of Mathematics, The Gandhigram Rural Institute -
Deemed to be University, Dindigul, TamilNadu, India - 624 302.
priyamathavan777@gmail.com
2
Professor, Department of Mathematics, The Gandhigram Rural Institute - Deemed
to be University, Dindigul, TamilNadu, India - 624 302.
uthayagri@gmail.com

Abstract. Our treatise constitutes classical Hutchinson-Barnsley the-

ory (HB theory) on the product intuitionistic fuzzy fractal space with
the aid of iterated function system (IF S), which contains a restricted
number of intuitionistic fuzzy B-contractions (IN F BC) and intuition-
istic fuzzy Edelstein contractions (IN F EC). The Hutchinson-Barnsley
operator (HBO) is proved as an IN F BC and IN F EC on the product in-
tuitionistic fuzzy metric space. The primary goal of the article is to define
the notion of product intuitionistic fuzzy metric space (PIN F MS) on
complete and compact spaces in the sense of IN F BC and the IN F EC.

Keywords: Product intuitionistic fuzzy metric space, Fuzzy B-contraction,

Fuzzy Edelstein contraction, Hutchinson-Barnsley operator, Product in-
tuitionistic fuzzy fractal.

1 Introduction
Fractals have a wide range of applications in biomedicine, quantum physics,
computer graphics and several other areas of science. An extensive usage of the
theory of discrete dynamical system, which is explicitly known as the idea of
IFS, was began by ancient mathematicians and it is used to construct fractal
and self-similar sets. Self-similarity is not only an asset of a fractal set but also it
may be used to define them. An unvarying compact subset of a complete metric
space produced by the IFS of contractive mappings was configured by Hutchin-
son and Barnsley [9] and he developed a theory called HB theory, by employing
the Banach contraction theorem.

In 1965, Zadeh[7] initiated the theory of fuzzy sets and several notions of
fuzzy metric space (FMS) and their properties have been analyzed by many
succeeding mathematicians [3, 8]. Very recently, Jin Han Park[2] made the notion
of intuitionistic fuzzy metric spaces (IN FMS) which is a common idea of FMS
introduced by George and Veeramani [3]. Also analysis on the fuzzy fractal space
and on the intuitionistic fuzzy fractal space was done by Easwaramoorthy and
2 ICMMCIT2021, 052, v3: ’A Study on HB Theory in Product Intuitionistic Fuzzy Fractal . . .

2 M.Priya et al.

Uthayakumar [1, 6]. In their work, they investigated about attractors constructed
by the IFS of fuzzy contractive functions in both FMS and IN FMS by
generalizing the HB theory. Also they discussed several naming theorems such
as Collage theorem, falling leaves theorem in the standard FMS in respect of
the standard Hausdorff fuzzy metrics.
In 2014, Uthayakumar and Gowrisankar[5] have introduced the notion of
PFMS and presented the FBC properties of HBO in the PFMS. The main
intention of their paper is to dump the concept of product fuzzy fractal space in
the PFMS in the sense of FBC.
We make the succeeding short forms for simplicity of the paper.

Notations Interpretations
CT N Continuous t-norm
CT CN Continuous t-conorm
HB theory Hutchinson-Barnsley theory
IFS Iterated Function System
FBC Fuzzy B-Contraction
FEC Fuzzy Edelstein Contraction
IN FBC Intuitionistic Fuzzy B-Contraction
IN FEC Intuitionistic Fuzzy Edelstein Contraction
HBO Hutchinson-Barnsley Operator
FMS Fuzzy Metric Space
IN FMS Intuitionistic Fuzzy Metric Space
IN FM Intuitionistic Fuzzy Metric
SIN FMC Standard Intuitionistic Fuzzy Metric Space
PFMS Product Fuzzy Metric Space
HIN FMS Hausdorff Intuitionistic Fuzzy Metric Space
HIN FM Hausdorff Intuitionistic Fuzzy Metric
PIN FMS Product Intuitionistic Fuzzy Metric Space
IN FC Intuitionistic Fuzzy Contraction
IN F − IFS Intuitionistic Fuzzy Iterated Function System
IN F − HBO Intuitionistic Fuzzy Hutchinson-Barnsley Operator
SPIN FMS Standard Product Intuitionistic Fuzzy Metric Space
SPIN FM Standard Product Intuitionistic Fuzzy Metric
IN FA Intuitionistic Fuzzy Attractor
IN FF Intuitionistic Fuzzy Fractal

The motive of the present paper is to congest the absicht of the HB theory in
the PFMS. This research work is regularized as follows: Section 2 reveals the
concept of IN FMS and related results. In section 3, the notion of HIN FMS
is presented and section 4 introduces the idea of PIN FMS and derives the
main outputs. Finally, section 5 summarizes this treatise.
ICMMCIT2021, 052, v3: ’A Study on HB Theory in Product Intuitionistic Fuzzy Fractal . . . 3

A study on HB theory in Product Intutionistic Fuzzy Fractal Space 3

2 Outline of IN F MS
A common notion of fuzzy sets called as intuitionistic fuzzy sets was studied by
Atanassov [10] and utilizing this idea, Park [2] provided the IN FMS theory.
Now we shall study the basic definitions and related results of IN FMS in this
section.
Definition 1. [11] Suppose ⊙ : [0, 1] × [0, 1] → [0, 1] is a binary operation. We
call it as an CT N if the following conditions are assured by ⊙:
(c1) ⊙ is commutative and associative.
(c2) ⊙ is continuous.
(c3) ğ ⊙ 1 = ğ for each ğ ∈ [0, 1]
(c4) ğ ⊙ h̆ ≤ î ⊙ j̆ if ğ ≤ ĭ, h̆ ≤ j̆ and, ğ, h̆, ĭ, j̆ ∈ [0, 1]
Definition 2. [11] Take ⊡ : [0, 1] × [0, 1] → [0, 1] which is a binary operation.
It is known as an CT CN if ⊡ persuades the below constraints:
(c1) ⊡ is commutative and associative.
(c2) ⊡ is continuous.
(c3) ğ ⊡ 0 = ğ ∀ğ ∈ [0, 1].
(c4) ğ ⊡ h̆ ≤ ĭ ⊡ j̆ where ğ ≤ ĭ, h̆ ≤ j̆ and, ğ, h̆, ĭ, j̆ ∈ [0, 1].
Definition 3. [2] An arbitrary set P along with two fuzzy sets R, I : P × P →
(0, ∞) and two binary operations ⊙ and ⊡ called as CT N and CT CN is decalred
as an IN FMS, denoted by (P, R, I, ⊙, ⊡) if the forthcoming circumstances are
true:
(c1) R(k̆, ˘l, m̆) + I(k̆, ˘l, m̆) ≤ 1;
(c2) R(k̆, ˘l, m̆) > 0;
(c3) R(k̆, ˘l, m̆) = 1 iff k̆ = ˘l;
(c4) R(k̆, ˘l, m̆) = R(˘l, k̆, m̆);
(c5) R(k̆, ˘l, m̆) ⊙ R(˘l, ŏ, n̆) ≤ R(k̆, ŏ, m̆ + n̆);
(c6) R(k̆, ˘l, .) : (0, ∞) → (0, 1] is continuous;
(c7) I(k̆, ˘l, m̆) > 0;
(c8) I(k̆, ˘l, m̆) = 0 if and only if k̆ = ˘l;
(c9) I(k̆, ˘l, m̆) = I(˘l, k̆, m̆);
(c10) I(k̆, ˘l, m̆) ⊡ I(˘l, ŏ, n̆) ≥ I(k̆, ŏ, m̆ + n̆);
(c11) I(k̆, ˘l, .) : (0, ∞) → (0, 1] is continuous;
Then (R, I) is called an IN FM on P .
Definition 4. [2] Let (P, q) be a metric space. Suppose k̆ ⊙ ˘l = k̆˘l and k̆ ⊡
˘l = min{1, k̆ + ˘l} for every k̆, ˘l ∈ [0, 1] and let Rq and Iq be the fuzzy sets on
P 2 × (0, ∞) defined as below:

m̆ q(k̆, ˘l)
Rq (k̆, ˘l, m̆) = and Iq (k̆, ˘l, m̆) =
t + q(k̆, ˘l) m̆ + q(k̆, ˘l)
Then (P, Rq , Iq , ⊙, ⊡) is an IN FMS and we claim it as an SIN FMS.
4 ICMMCIT2021, 052, v3: ’A Study on HB Theory in Product Intuitionistic Fuzzy Fractal . . .

4 M.Priya et al.

Definition 5. [2] Assume that (P, Rq , Iq , ⊙, ⊡) is an SIN FMS, and if there

is r̂ ∈ (0, 1), m > 0 and p ∈ P . The family Br̂ (p, m) = {p̃ ∈ P : R(p, p̃, t) >
1 − r̂, I(p, p̃, m) < r̄} is entitled as the open ball having center p and radius r̄ in
connection with m.
Remark 1. [2] Suppose (P, Rq , Iq , ⊙, ⊡) is an SIN FMS. Specify τ̃(R,I) = {M̄
⊂ P : for each m̄ ∈ M̄ , there occurs m > 0 and r̂ ∈ (0, 1) so that Br̂ (m̄, m) ⊂
M̄ }. Then τ̃(R,I) is a topology on P .
Remark 2. [2] Let (P, q) be a metric space and let

m̆ q(k̆, ˘l)
Rq (k̆, ˘l, m̆) = and Iq (k̆, ˘l, m̆) =
t + q(k̆, ˘l) m̆ + q(k̆, ˘l)
be the SIN FM defined on P . Then the topology τ̃q generated by the metric q
and the topology τ̃(R,I) induced by the IN FM (R, I) are similar to each other.
Definition 6. [2] Presume that (P, R, I, ⊙, ⊡) is an IN FMS and assume τ̃(R,I)
is the topology on P produced by the fuzzy metric on P .
(i) We insist that a sequence {pn } converges to p in P iff R(pn , p, m) → 1 and
I(pn , p, m) → 0 as n → ∞.
(ii) A sequence {pn } is known as a Cauchy sequence if for each ǫ′ > 0 and each
t̂ > 0, there exists N̂ ∈ N such that A(pn′ , pm′ , t̂) > 1−ǫ′ and B(pn′ , pm′ , t̂) <
ǫ′ for all n′ , m′ ≥ N̂ .
(iii) Suppose every Cauchy sequence is convergent in (P, R, I, ⊙, ⊡) with respect
to τ̃(R,I) . Then it is known as complete IN FN S.
(iv) (P, R, I, ⊙, ⊡) is said to be compact if every sequence consists a convergent
subsequence.
Proposition 1. [12] The metric space (P, q) is complete iff the SIN FMS
(P, Rq , Iq , ⊙, ⊡) is complete.
Definition 7. [12] Let (P, R, I, ⊙, ⊡) be an IN FMS. We mention that the
mapping φ : P → P is IN FC suppose there takes place p̄ ∈ (0, 1) such that
!
1 1
− 1 ≤ p̄ −1
R(φ(k̆), φ(˘l), m̆) R(k̆, ˘l, m̆)
and !
1 1 1
−1≥ −1
˘
I(φ(k̆), φ(l), m̆) p̄ I(k̆, ˘l, m̆)
for each k, l ∈ P and m > 0. In this case, p̄ is assumed as the intuitionistic fuzzy
contractivity ratio of φ.
Definition 8. [13] Pretend that (P, R, I, ⊙, ⊡) is an IN FMS. The function
φ : P → P is called an IN FBC (intuitionistic fuzzy Shegal contraction) if there
exists p̄ ∈ (0, 1) such that

R(φ(k̆), φ(˘l), p̄m̆) ≥ R(k̆, ˘l, m̆) and I(φ(k), φ(l), p̄m̆) ≤ I(k̆, ˘l, m̆)
ICMMCIT2021, 052, v3: ’A Study on HB Theory in Product Intuitionistic Fuzzy Fractal . . . 5

A study on HB theory in Product Intutionistic Fuzzy Fractal Space 5

for each k̆, ˘l ∈ P and m > 0. Here, p̄ is denoted as the IN FBC ratio of φ.
We represent the mapping φ : P → P is IN FEC if there exists p′ ∈ (0, 1) such
that

R(φ(k̆), φ(˘l), ·) ≥ R(k̆, ˘l, ·) and I(φ(k̆), φ(˘l), ·) ≤ I(k̆, ˘l, ·)

for each k̆, ˘l ∈ P such that k̆ 6= ˘l. Here, p′ is known as the IN FEC ratio of φ.

3 Interpretation of HIN F MS
The Hausdorff version of IN FMS was introduced by S.Romaguera et al[4]. Let
us see the basic concepts and theorems in HIN FMS, which is going to be a
very useful tool to construct our main results.

Definition 9. [4] Let (P, R, I, ⊙, ⊡) be an IN FMS. Symbolize P(P ) as the

set of all non-empty compact subsets of P . We give the definition of HIN FM,
represented by (HR , HI , ⊙, ⊡) as come after:

HR (Ă, B̆, m̆) = min{R(Ă, B̆, m̆), R(B̆, Ă, m̆)}

and
HI (Ă, B̆, m̆) = min{I(Ă, B̆, m̆), I(B̆, Ă, m̆)}

where

R(Ă, B̆, m̆) = inf R(Ă, B̆, m̆) , R(Ă, B̆, m̆) = sup R(Ă, B̆, m̆)
Ă∈Ă B̆∈B̆
and
I(Ă, B̆, m̆) = sup I(Ă, B̆, m̆) , I(Ă, B̆, m̆) = inf I(Ă, B̆, m̆)
Ă∈Ă B̆∈B̆

for all Ă ∈ P and Ă, B̆ ∈ P(P ). Here, (HR , HI ) is an IN FM on the hyperspace

of compact sets, P(P ), and accordingly (P(P ), HR , HI , ⊙, ⊡) is said to be a
HIN FMS.

Theorem 1. [6] Take (P, R, I, ⊙, ⊡) as an IN FMS. Then (P(P ), HR , HI , ⊙, ⊡)

is complete iff (P, R, I, ⊙, ⊡) is complete.

Theorem 2. [6] Suppose (P, R, I, ⊙, ⊡) is an IN FMS. Then (P(P ), HR , HI , ⊙, ⊡)

is compact iff (P, R, I, ⊙, ⊡) is compact.

4 Amalgamation of IN F MS and fractal space

The collaborative study of IN FMS and fractals was done by Easwaramoorthy
and Uthayakumar[6] on complete and compact spaces. This elucidative note
reveals the HB theory in IN FMS. We shall see some of the results that are
indispensable to provide our desired productile.
6 ICMMCIT2021, 052, v3: ’A Study on HB Theory in Product Intuitionistic Fuzzy Fractal . . .

6 M.Priya et al.

Definition 10. [6] Suspect that (P, R, I, ⊙, ⊡) is an IN FMS and φn : P →

P, n = 1, 2, . . . , N̆ (N̆ ∈ N) are N̆ -IN FBC (respectively IN FEC) with the cor-
responding contractivity ratios p̄n , n = 1, 2, . . . , N̆ . Then the collection {P ; φn ,
n = 1, 2, . . . , N̆ } is designated as an IN F − IFS in the IN FMS (P, R, I, ⊙, ⊡).
Also the IN F − HBO of the IN F − IFS is a mapping Φ : P(P ) → P(P ) de-
fined by
N̆
Φ(A′ ) = ∪ φn (A′ )
n=1

Theorem 3. [6] Let (P, R, I, ⊙, ⊡) be an IN FMS. We entitle (P(P ), HR , HI ,

⊙, ⊡) as the corresponding HIN FMS. Suppose φ : P → P is an IN FBC with
the correlated contractivity ratio p̄ ∈ (0, 1). Then

HR (φ(Ă), φ(B̆), p̄m̆) ≥ HR (Ă, B̆, m̆) and HI (φ(Ă), φ(B̆), p̄m̆) ≤ HI (Ă, B̆, m̆)

for all Ă, B̆ ∈ P(P ) and m > 0.

Theorem 4. [6] Assume (P, R, I, ⊙, ⊡) is an IN FMS. Let (P(P ), HR , HI , ⊙, ⊡)
be the HIN FMS relative to the IN FMS. Suppose φ : P → P is an IN FEC
with the associated contractivity ratio p̄ ∈ (0, 1). Then

HR (φ(Ă), φ(B̆), ·) ≥ HR (Ă, B̆, ·) and HI (φ(Ă), φ(B̆), ·) ≤ HI (Ă, B̆, ·)

for all Ă, B̆ ∈ P(P ) such that Ă ∩ B̆ = ∅.

Lemma 1. [6] Take (P, R, I, ⊙, ⊡) as an IN FMS. Assume (P(P ), HR , HI , ⊙, ⊡)
is the related HIN FMS. Let Ă, B̆, Ĉ, D̂ ∈ P(P ). Then

HR (Ă ∪ B̆, C̆ ∪ D̆, m̆) ≥ min{HR (Ă, C̆, m), HR (B̆, D̆, m̆)}
and
HI (Ă ∪ B̆, C̆ ∪ D̆, m̆) ≤ max{HI (Ă, C̆, m̆), HI (B̆, D̆, m̆)}
for all m > 0.
Theorem 5. [6] Suppose (P, R, I, ⊙, ⊡) is an IN FMS. Assume (P(P ), HR , HI
, ⊙, ⊡) is the corresponding HIN FMS. Suppose {P ; φn , n = 1, 2, . . . , N̆ ; N̆ ∈
N} is an IN F − IFS of IN FBC with contractivity ratio p̄n ∈ (0, 1) for each
n = 1, 2, . . . , N̆ . Then the HBO Φ is an IN FBC with contractivity ratio p̄.
Theorem 6. [6] Take (P, R, I, ⊙, ⊡) be an IN FMS. Assume (P(P ), HR , HI , ⊙,
⊡) is the related HIN FMS. Let {P ; φn , n = 1, 2, . . . , N̆ ; N̆ ∈ N} be an IN F − IFS
of IN FEC with contractivity ratio p′n ∈ (0, 1) for each n = 1, 2, . . . , N̆ . Then
the HBO Φ is an IN FEC with contractivity ratio p̄.
Theorem 7. [6] Let (P, R, I, ⊙, ⊡) be a complete IN FMS. Suppose {P ; φn , n =
1, 2, . . . , N̆ ; N̆ ∈ N} is an IN F − IFS of IN FBC and Φ is the IN F − HBO
of the IF − IFS. Then, there occurs at most one unvarying compact set Ă∞ ∈
P(P ) of the HBO (Φ), or equitably, Φ has a unique fixed point specifically
Ă∞ ∈ P(P ).
ICMMCIT2021, 052, v3: ’A Study on HB Theory in Product Intuitionistic Fuzzy Fractal . . . 7

A study on HB theory in Product Intutionistic Fuzzy Fractal Space 7

This theorem is known as HB theorem for complete space.

Theorem 8. [6] Let (P, R, I, ⊙, ⊡) be a compact IN FMS. Suppose {P ; φn , n =
1, 2, . . . , N̆ ; N̆ ∈ N} is an IN F − IFS of IN FEC and Φ is the IN F − HBO of
the IF − IFS. Then, there survives only one invariant compact set Ă′∞ ∈ P(P )
of the HBO (Φ), or equitably, Φ has at most one fixed point namely Ă′∞ ∈ P(P ).
The above result is termed as HB theorem for compact space.
Definition 11. [6] We notate the IN FA or IN FF on complete space as the
set Ă∞ ∈ P(P ), that is expressed in Theorem 7 for complete space. Any set
equivalent to Ă∞ ∈ P(P ) is also termed as Fractal engendered by IN F − IFS
of the IN FBC and so called as IN FF on complete space.
The preceding definition can also be stated in the case of compact sets using
Theorem 8.

5 Product Intuitionistic Fuzzy Fractal space

PFMS is investigated by Uthayakumar and Gowrisankar [5]. They implemented

the idea of fuzzy IFS consisting of FBC in the PFMS. The assiduity done by
Rahmat and Noorni [14] is taken as a cardinal appliance to attain our needful
consequences. Now we extend this notion to a finite number of intuitionistic
fuzzy fractal spaces having IN FBC and IN FEC as the intuitionistic fuzzy IFS.

Definition 12. Take (P1 , R1 , I1 , ⊙, ⊡), (P2 , R2 , I2 , ⊙, ⊡), . . . , (Pn , Rn , In , ⊙, ⊡)

are n-IN FMSs and let P = P1 ×P2 ×. . .×Pn . For each a = (a1 , a2 , . . . , an ), b =
(b1 , b2 , . . . , bn ) and t > 0 construe

RP (a, b, m) = RP1 (a1 , b1 , m) ⊙ RP2 (a2 , b2 , m) ⊙ · · · ⊙ RPn (an , bn , m)

and

IP (a, b, m) = IP1 (a1 , b1 , m) ⊡ IP2 (a2 , b2 , m) ⊡ · · · ⊡ IPn (an , bn , m)

Then (RP , IP , ⊙, ⊡) is an IN FM on P and the 5-tuple (P, RP , IP , ⊙, ⊡) is

called the PIN FMS of P1 , P2 , . . . , Pn .

Definition 13. Suppose (P, q ′ ) is a product space. Define k̆ ⊙ ˘l = k̆.˘l, where k̆.˘l
is the usual real number multiplication for all k̆, ˘l ∈ [0, 1] and k̆ ⊡ ˘l = 1−[(1− k̆)⊙
(1 − ˘l)]. Take RPq′ , IPq′ are the mappings defined on P × P → (0, ∞) by RPq′ =
′
m̆
, IP ′ = q (k̆,l̆) , for all k̆, ˘l ∈ P and m > 0. Then (P, AP ′ , BP ′ , ⊙, ⊡)
m̆+q ′ (k̆,l̆) q m+q ′ (k̆,l̆) q q

is known as the standard product IN FMS and (RPq′ , IPq′ ) is said to be the
SPIN FM produced by the metric q ′ .

Here after, we assume that P = P × P × . . . × P , where (P, R, I, ⊙, ⊡) is an

IN FMS, unless otherwise mentioned.
8 ICMMCIT2021, 052, v3: ’A Study on HB Theory in Product Intuitionistic Fuzzy Fractal . . .

8 M.Priya et al.

Theorem 9. Suppose (P, R, I, ⊙, ⊡) is an IN FMS and φ be an IN FBC on P .

Assume (P, RP , IP , ⊙, ⊡) is a PIN FMS of P . Then the function ψ : P → P
defined by ψ(a) = (φ(a1 ), φ(a2 ), . . . , φ(an )) for all a = (a1 , a2 , . . . , an ) ∈ P is an
intuitionistic fuzzy B-contraction on P.
Proof. Take P = P × P × . . . × P and let (P, RP , IP , ⊙, ⊡) be the PIN FMS.
Then for any p̄ ∈ (0, 1), a, b ∈ P and m > 0, by using the assumption that φ is
an IN FBC, we have
RP (ψ(a), ψ(b), p̄m) = RP ((φ(a1 ), φ(a2 ), . . . , φ(an )), (φ(b1 ), φ(b2 ), . . . , φ(bn )), p̄m)
= RP (φ(a1 ), φ(b1 ), p̄m) ⊙ RP (φ(a2 ), φ(b2 ), p̄m) ⊙ · · ·
⊙RP (φ(an ), φ(bn ), p̄m)
≥ RP (a1 , b1 , m) ⊙ RP (a2 , b2 , m) ⊙ · · · ⊙ RP (an , bn , m)
= RP (a, b, m) (1)
and in a similar way we obtain
IP (ψ(a), ψ(b), p̄m) = IP ((φ(a1 ), φ(a2 ), . . . , φ(an )), (φ(b1 ), φ(b2 ), . . . , φ(bn )), p̄m)
= IP (φ(a1 ), φ(b1 ), p̄m) ⊡ IP (φ(a2 ), φ(b2 ), p̄m) ⊡ · · ·
⊡IP (φ(an ), φ(bn ), p̄m)
≤ IP (a1 , b1 , m) ⊡ IP (a2 , b2 , m) ⊡ · · · ⊡ IP (an , bn , m)
= IP (a, b, m). (2)
From (1) and (2), we get the required result.
Theorem 10. Assume that (P, R, I, ⊙, ⊡) is an IN FMS and φ is an IN FEC
on P . Let (P, RP , IP , ⊙, ⊡) be the corresponding PIN FMS of P . Then the
function ψ : P → P represented by ψ(a) = (φ(a1 ), φ(a2 , . . . , φ(an )) for all a =
(a1 , a2 , . . . , an ) ∈ P is an IN FEC on P.
Proof. Let P = P × P × . . . × P and (P, RP , IP , ⊙, ⊡) be the PIN FMS. For
each p′ ∈ (0, 1), a, b ∈ P such that a 6= b, by using the result that φ is an IN FEC,
we have
RP (ψ(a), ψ(b), ·) = RP ((φ(a1 ), φ(a2 ), . . . , φ(an ), ), (φ(b1 ), φ(b2 ), . . . , φ(bn )), ·)
= RP (φ(a1 ), φ(b1 ), ·) ⊙ RP (φ(a2 ), φ(b2 ), ·) ⊙ · · · ⊙ RP (φ(an ), φ(bn ), ·)
≥ RP (a1 , b1 , ·) ⊙ RP (a2 , b2 , ·) ⊙ · · · ⊙ RP (an , bn , ·)
= RP (a, b, ·) (3)
and in the same way we obtain
IP (ψ(a), ψ(b), ·) = IP ((φ(a1 ), φ(a2 ), . . . , φ(an )), (φ(b1 ), φ(b2 ), . . . , φ(bn )), ·)
= IP (φ(a1 ), φ(b1 ), ·) ⊡ IP (φ(a2 ), φ(b2 ), ·) ⊡ · · · ⊡ IP (φ(an ), φ(bn ), ·)
≤ IP (a1 , b1 , ·) ⊡ IP (a2 , b2 , ·) ⊡ · · · ⊡ IP (an , bn , ·)
= IP (a, b, ·). (4)
From (3) and (4), the result follows.
ICMMCIT2021, 052, v3: ’A Study on HB Theory in Product Intuitionistic Fuzzy Fractal . . . 9

A study on HB theory in Product Intutionistic Fuzzy Fractal Space 9

Definition 14. Let (P, R, I, ⊙, ⊡) be an IN FMS. Suppose φn : P → P, n =

1, 2, . . . , N̆ (N̆ ∈ N) are N̆ -IN FBC (respectively IN FEC) on P and (P, RP , IP , ⊙, ⊡)
is the PIN FMS of P . Assume ψn : P → P, n = 1, 2, . . . , N̆ are N̆ IN FBC
(respectively IN FEC) on the product space given by

ψn (a1 , a2 , . . . , an ) = (φn (a1 ), φn (a2 ), . . . , φn (an ))

Then the collection {P; ψn , n = 1, 2, . . . , N̆ ; N̆ ∈ N} is read as an IN F − IFS

of the IN FBC (respectively IN FEC) on the PIN FMS.

Definition 15. Assume that (P, RP , IP , ⊙, ⊡) is the PIN FMS. Let {P; ψn , n =
1, 2, . . . , N̆ ; N̆ ∈ N} be an IN F − IFS of the IN FBC (similarly IN FEC) on
(P, RP , IP , ⊙, ⊡). Take P(X ) as the set of all non-empty compact subsets of P.
Then the IN F − HBO of the IN F − IFS of IN FBC (respectively IN FEC)
on (P, RP , IP , ⊙, ⊡) is a function Φ′ : P(P) → P(P) defined by

N̆
Φ′ (Ă) = ∪ ψn (Ă), for all Ă ∈ P(P)
n=1

That is,

N̆
Φ′ (Ă) = ∪ (φn (a1 ), φn (a2 ), . . . , φn (an )), for all a = (a1 , a2 , . . . , an ) ∈ Ă ∈ P(P)
n=1

Theorem 11. Let (P, RP , IP , ⊙, ⊡) be a PIN FMS. If (P(P), HRP , HIP , ⊙, ⊡)

is the associated Hausdorff product IN FMS. Suppose ψ : P → P is an IN FBC
on (P, RP , IP , ⊙, ⊡). Then for p̄ ∈ (0, 1)

HRP (ψ(Ă), ψ(B̆), p̄m̆) ≥ HRP (Ă, B̆, m̆) and HIP (ψ(Ă), ψ(B̆), p̄m̆) ≤ HIP (Ă, B̆, m̆)

for all Ă, B̆ ∈ P(P) and m̆ > 0.

Proof. For any fixed m̆ > 0. Take Ă, B̆ ∈ P(P). Usage of Theorem 9 implies for
any p̄ ∈ (0, 1)

RP (ψ(a), ψ(b), p̄m̆) ≥ RP (a, b, m̆) for all a, b ∈ P

≥ RP (a, b, m̆) for all a ∈ Ă and b ∈ B̆
supRP (ψ(a), ψ(b), p̄m̆) ≥ supAP (a, b, m̆) for all a ∈ Ă
b∈B̆ b∈B̆

RP (ψ(a), ψ(B̆), p̄m) ≥ RP (a, B̆, m̆) for all a ∈ Ă

inf RP (ψ(a), ψ(B̆), p̄m̆) ≥ inf RP (a, B̆, m̆) for all a ∈ Ă
a∈Ă a∈Ă

RP (ψ(Ă), ψ(B̆), p̄m̆) ≥ RP (Ă, B̆, m̆)

Similarly, we can get

RP (ψ(B̆), ψ(Ă), p̄m̆) ≥ RP (B̆, Ă, m̆)

10 ICMMCIT2021, 052, v3: ’A Study on HB Theory in Product Intuitionistic Fuzzy Fractal . . .

10 M.Priya et al.

Now

min{RP (ψ(Ă), ψ(B̆), p̄m̆), RP (ψ(B̆), ψ(Ă), p̄m̆)} ≥ min{RP (Ă, B̆, m̆), RP (B̆, Ă, m̆)}
i.e., HRP (ψ(Ă), ψ(B̆), p̄m̆) ≥ HRP (Ă, B̆, m̆) (5)

By replacing RP by IP , sup by inf and changing the corresponding inequality,

we have the following

HIP (ψ(Ă), ψ(B̆), p̄m̆) ≤ HIP (Ă, B̆, m̆) (6)

From equations (5) and (6), we have the required inequality.

Theorem 12. Let (P, RP , IP , ⊙, ⊡) be a PIN FMS. Suppose (P(P), HRP , HIP ,
⊙, ⊡) is the related Hausdorff product IN FMS. Suppose ψ : P → P is an
IN FEC on (P, RP , IP , ⊙, ⊡). Then for p′ ∈ (0, 1)

HRP (ψ(Ă), ψ(B̆), ·) ≥ HRP (Ă, B̆, ·) and HIP (ψ(Ă), ψ(B̆), ·) ≤ HIP (Ă, B̆, ·)

for all Ă, B̆ ∈ P(P) such that Ă ∩ B̆ = ∅.

Proof. The proof of the above theorem is straight ahead and hence we exclude
it.

Theorem 13. If (P, RP , IP , ⊙, ⊡) is a product IN FMS. Let (P(P), HRP , HIP , ⊙, ⊡)

be the related Hausdorff PIN FMS. Assume ψn : P → P, n = 1, 2, . . . , N̆ are
N̆ - IN FBC on (P, RP , IP , ⊙, ⊡). Then the HBO is an IN FBC on (P(P), HRP , HIP , ⊙, ⊡).

Proof. Fix m > 0, take Ă, B̆ ∈ P(P), then for a given p̄ ∈ (0, 1). Using Theorem
11, we get
 
N̆ N̆
HRP (Φ′ (Ă), Φ′ (B̆), p̄m̆) = HRP ∪ ψn (Ă), ∪ ψn (B̆), p̄m̆
n=1 n=1

≥ min HRP (ψn (Ă), ψn (B̆), p̄m̆)

1≤n≤N̆

≥ HRP (Ă, B̆, m̆)

′ ′
HRP (Φ (Ă), Φ (B̆), p̄m̆) ≥ HRP (Ă, B̆, m̆)

Proceeding on the similar lines, we have

 
N̆ N̆
HIP (Φ′ (Ă), Φ′ (B̆), p̄m̆) = HBP ∪ ψn (Ă), ∪ ψn (B̆), p̄m̆
n=1 n=1

≤ max HIP (ψn (Ă), ψn (B̆), p̄m̆)

1≤n≤N̆

≤ HIP (Ă, B̆, m̆)

′ ′
HIP (Φ (Ă), Φ (B̆), p̄m̆) ≤ HIP (Ă, B̆, m̆)

Therefore, Φ′ is an IN FBC.
ICMMCIT2021, 052, v3: ’A Study on HB Theory in Product Intuitionistic Fuzzy Fractal . . . 11

A study on HB theory in Product Intutionistic Fuzzy Fractal Space 11

Theorem 14. If (P, RPq′ , IPq′ , ⊙, ⊡) is a PIN FMS. Assume (P(P), HRP , HIP ,
⊙, ⊡) is the associated Hausdorff product IN FMS. Suppose ψn : P → P, n =
1, 2, . . . , N̆ are N̆ IN FEC on (P, APq′ , BPq′ , ⊙, ⊡). Then the HBO is an IN FEC
on (P(P), HRP , HIP , ⊙, ⊡).

Proof. It’s quick to prove this theorem.

Definition 16. Suppose (P, RP , IP , ⊙, ⊡) is a complete IN FMS. Let {P; ψn , n =

1, 2, . . . , N̆ ; N̆ ∈ N} be an IN F − IFS of IN FBC on (P, RP , IP , ⊙, ⊡) and Φ′
be the IN F − HBO of IN FBC on (P, RP , IP , ⊙, ⊡). We denote that the set
Ă∞ ∈ P(P) as the product IN FA (Product IN FF) of the given IN F − IFS
of IN FBC, if Ă∞ is a unique fixed point of the IN F − HBO Φ′ . Such Ă∞ ∈
P(P) is also known as Product Intuitionistic Fuzzy Fractal generated by the
IF − IFS of IN FBC.

Definition 17. Suppose (P, RP , IP , ⊙, ⊡) is a complete IN FMS. Let {P; ψn , n =

1, 2, . . . , N̆ ; N̆ ∈ N} be an IN F − IFS of IN FEC on (P, RP , IP , ⊙, ⊡) and Φ′
be the IN F − HBO of IN FEC on (P, RP , IP , ⊙, ⊡). We denote that the set
Ă∞ ∈ P(P) as the product IN FA (Product IN FF) of the given IN F − IFS
of IN FEC, if Ă′∞ is a unique fixed point of the IN F − HBO Φ′ . Any set of the
form Ă′∞ ∈ P(P) is also known as Product Intuitionistic Fuzzy Fractal created
by the IN F − IFS of IN FEC.

6 Conclusion

In this article we implemented the whimsy of PIN FMS in the sense of IN FBC
and IN FEC. We prolonged the HB theory in this new fractal space and derived
that the HBO is an IN FBC and IN FEC on the corresponding Hausdorff prod-
uct IN FMSs having IN FBC and IN FEC as the IF − IFS. Finally, we gave
the definition for Product Intuitionistic Fuzzy Fractal produced by the IF-IFS
of IN FBC and IN FEC.

Acknowledgement: The work of the authors are supported by UGC - SAP,

Department of Mathematics, The Gandhigram Rural Institute (Deemed to be
University) Gandhigram, Dindigul District, Tamil Nadu, India. Pincode: 624
302.
12 ICMMCIT2021, 052, v3: ’A Study on HB Theory in Product Intuitionistic Fuzzy Fractal . . .

12 M.Priya et al.

References
1. Easwaramoorthy, D., Uthayakumar, R.: Analysis on fractals in fuzzy metric spaces.
Fractals 19(3), 379-386 (2011).
2. Park, J.H.: Intuitionistic fuzzy metric spaces. Chaos, Solitons and Fractals 22,
1039-1046 (2004).
3. George, A., Veeramani, P.: On some results in fuzzy metric spaces. Fuzzy Sets and
Systems 64, 395-399 (1994).
4. Gregori,V., Romaguera,S., Veeramani,P.: A note on intuitionistic fuzzy metric
spaces. Chaos, Solitons and Fractals 28, 902-905 (2006).
5. Uthayakumar,R., & Gowrisankar,A. Fractals in Product Fuzzy Metric Space. In
Fractals, Wavelets, and their Applications (pp. 157-164). Springer, Cham. (2014).
6. Easwaramoorthy,D., & Uthayakumar,R. Intuitionistic Fuzzy Fractals on Complete
and Compact Spaces. In International Conference on Logic, Information, Control
and Computation (pp. 89-96). Springer, Berlin, Heidelberg. (2011).
7. Zadeh, L.A.: Fuzzy Sets. Information and Control 8, 338-353 (1965).
8. Kramosil, I., Michalek, J.: Fuzzy metrics and statistical metric Spaces. Kybernetika
11, 336-344 (1975).
9. J.E.Hutchinson. Fractals and self similarity. Indiana U. Math. J. 30 713-747 (1981).
10. Atanassov K. Intuitionistic fuzzy sets. In: SgurevV, editor. VII ITKR’s Session,
Sofia June, 1983 (Central Sci. and Techn. Library, Bulg. Academy of Sciences),
(1984).
11. Schweizer B, Sklar A. Statistical metric spaces. Pacific J Math 10:314-34 (1960).
12. A.Mohamad.: Fixed-point theorems in intuitionistic fuzzy metric spaces. Chaos,
Solitons and Fractals, 34, 1689-1695 (2007).
13. Alaca,C., Turkoglu,D., Yildiz,C.: Fixed points in intuitionistic fuzzy metric spaces.
Chaos, Solitons and Fractals 29, 1073-1078 (2006).
14. Rahmat, M.R.S., Noorani, M.S.M.: Product of fuzzy metric spaces and fixed point
theorems. Int. J. Contemp. Math. Sci. 15(3), 703-212 (2008).