Professional Documents
Culture Documents
18449
18449
https://ebookmass.com/product/a-modern-introduction-to-dynamical-
systems-richard-brown/
https://ebookmass.com/product/a-modern-introduction-to-classical-
electrodynamics-1st-edition-michele-maggiore/
https://ebookmass.com/product/undergraduate-introduction-to-
financial-mathematics-an-third-edition-3rd/
https://ebookmass.com/product/introduction-to-modern-
analysis-2nd-edition-kantorovitz/
Introduction to AutoCAD® 2024: A Modern Perspective
Paul Richard
https://ebookmass.com/product/introduction-to-
autocad-2024-a-modern-perspective-paul-richard/
https://ebookmass.com/product/excursions-in-modern-
mathematics-10th-edition-peter-tannenbaum/
https://ebookmass.com/product/pearson-edexcel-international-a-
level-mathematics-further-pure-mathematics-1-student-book-1st-
edition-joe-skrakowski/
https://ebookmass.com/product/linear-algebra-a-modern-
introduction-4th-edition-ebook-pdf/
https://ebookmass.com/product/fuzzy-graph-theory-applications-to-
global-problems-john-n-mordeson/
A Modern Introduction to Fuzzy Mathematics
A Modern Introduction to Fuzzy
Mathematics
Apostolos Syropoulos
Theophanes Grammenos
New York 2020
This edition first published 2020
© 2020 John Wiley & Sons, Inc
All rights reserved. No part of this publication may be reproduced, stored in a retrieval system,
or transmitted, in any form or by any means, electronic, mechanical, photocopying, recording or
otherwise, except as permitted by law. Advice on how to obtain permission to reuse material
from this title is available at http://www.wiley.com/go/permissions.
The right of Apostolos Syropoulos and Theophanes Grammenos to be identified as the authors
of this work has been asserted in accordance with law.
Registered Office
John Wiley & Sons, Inc., 111 River Street, Hoboken, NJ 07030, USA
Editorial Office
111 River Street, Hoboken, NJ 07030, USA
For details of our global editorial offices, customer services, and more information about Wiley
products visit us at www.wiley.com.
Wiley also publishes its books in a variety of electronic formats and by print-on-demand. Some
content that appears in standard print versions of this book may not be available in other
formats.
Limit of Liability/Disclaimer of Warranty
While the publisher and authors have used their best efforts in preparing this work, they make
no representations or warranties with respect to the accuracy or completeness of the contents of
this work and specifically disclaim all warranties, including without limitation any implied
warranties of merchantability or fitness for a particular purpose. No warranty may be created or
extended by sales representatives, written sales materials or promotional statements for this
work. The fact that an organization, website, or product is referred to in this work as a citation
and/or potential source of further information does not mean that the publisher and authors
endorse the information or services the organization, website, or product may provide or
recommendations it may make. This work is sold with the understanding that the publisher is
not engaged in rendering professional services. The advice and strategies contained herein may
not be suitable for your situation. You should consult with a specialist where appropriate.
Further, readers should be aware that websites listed in this work may have changed or
disappeared between when this work was written and when it is read. Neither the publisher nor
authors shall be liable for any loss of profit or any other commercial damages, including but not
limited to special, incidental, consequential, or other damages.
Library of Congress Cataloging-in-Publication Data
Names: Syropoulos, Apostolos, author.
Title: A modern introduction to fuzzy mathematics / Apostolos Syropoulos,
Theophanes Grammenos.
Description: First edition. | New York : Wiley, 2020. | Includes
bibliographical references and index.
Identifiers: LCCN 2020004300 (print) | LCCN 2020004301 (ebook) | ISBN
9781119445289 (cloth) | ISBN 9781119445302 (adobe pdf) | ISBN
9781119445296 (epub)
Subjects: LCSH: Fuzzy mathematics.
Classification: LCC QA248.5 .S97 2020 (print) | LCC QA248.5 (ebook) | DDC
511.3/13—dc23
LC record available at https://lccn.loc.gov/2020004300
LC ebook record available at https://lccn.loc.gov/2020004301
Cover Design: Wiley
Cover Image: Courtesy of Apostolos Syropoulos
Set in 9.5/12.5pt STIXTwoText by SPi Global, Chennai, India
Printed in the United States of America
10 9 8 7 6 5 4 3 2 1
To my son Demetrios-Georgios, To my wife Andromache for her
to Koula and Linda. endurance, tolerance, and care.
Apostolos Syropoulos Theophanes Grammenos
vii
Contents
Preface xiii
Acknowledgments xvii
1 Introduction 1
1.1 What Is Vagueness? 1
1.2 Vagueness, Ambiguity, Uncertainty, etc. 4
1.3 Vagueness and Fuzzy Mathematics 6
Exercises 8
4 Fuzzy Relations 71
4.1 Crisp Relations 71
4.1.1 Properties of Relations 72
4.1.2 New Relations from Old Ones 72
4.1.3 Representing Relations Using Matrices 73
4.1.4 Representing Relations Using Directed Graphs 73
4.1.5 Transitive Closure of a Relation 74
4.1.6 Equivalence Relations 75
4.2 Fuzzy Relations 75
4.3 Cartesian Product, Projections, and Cylindrical Extension 77
4.3.1 Cartesian Product 77
4.3.2 Projection of Fuzzy Relations 77
4.3.3 Cylindrical Extension 78
Contents ix
Preface
sets. The chapter concludes with a section marked with a star. There are a few
such sections in the book and these are optional readings as they deal with quite
advanced ideas.
Fuzzy number are special kinds of fuzzy sets that, in a way, have been introduced
to generalize the notion of a number. In Chapter 3, we present various forms of
fuzzy numbers and the basic arithmetic operations between them. We introduce
linguistic variables, that is, terms such as “small,” “heavy,” “tall.” Also, we present
fuzzy equations (e.g. simple equations like ax + b = c, where known and unknown
quantities are fuzzy numbers) and how one can solve them. The chapter concludes
with applications of fuzzy numbers. In general, most chapters that follow have
a final section that presents applications of the main material presented in the
specific chapter.
Fuzzy relations are a very important subject that is presented in Chapter 4.
We discuss fuzzy relations, the Cartesian product of fuzzy sets and related notions,
and fuzzy orders. Since graphs can be described by relations, we also discuss
fuzzy graphs. Also, since precategories are also described by graphs, we discuss
fuzzy categories.
Chapter 5 is devoted to possibility theory, that is, generally speaking, the fuzzy
“version” of a probability theory. Also, we compare probability and possibility the-
ories in order to see their differences.
Chapter 6 discusses fuzzy statistics. In this chapter, we discuss fuzzy random
variables (in a way as something that corresponds to vague randomness …) and
all related notions such as fuzzy regression and fuzzy point estimation.
In Chapter 7, we discuss many-valued and fuzzy logics. We do not just present
truth values and the basic logical operations, but we present complete logical sys-
tems. In addition, we discuss approximate reasoning and try to see what is a logic
of vagueness.
Although computability theory is a very basic part of logic, we discuss in a
separate chapter fuzzy computation (Chapter 8). In particular, we discuss fuzzy
automata, fuzzy Turing machines, and other fuzzy models of computation.
In Chapter 9, we give a taste of fuzzy abstract algebra theory. We present fuzzy
groups, fuzzy rings, fuzzy vector spaces, fuzzy normed spaces, and fuzzy Lie
algebras.
Chapter 10 introduces the basic notions and ideas of fuzzy metric spaces and
fuzzy topology. In addition, we briefly discuss fuzzy Banach spaces and fuzzy
Hilbert spaces.
Fuzzy geometry is introduced in Chapter 11. We discuss the notion of fuzzy
points and the distance between them, fuzzy lines, fuzzy circles, and fuzzy poly-
gons.
Chapter 12 introduces the reader to fuzzy calculus. In particular, we discuss
fuzzy functions, integrals and derivatives of fuzzy functions, and fuzzy limits of
Preface xv
Apostolos Syropoulos
Xanthi, Greece, November 2019
Theophanes Grammenos
Volos, Greece, November 2019
Reference
Acknowledgments
We would like to thank Kathleen Pagliaro who believed in this project and helped
us in every possible way to realize it. Also, we thank Christina E. Linda, our project
editor, for her help and assistance. In addition, we thank Andromache Spanou for
carefully reading drafts of the text and suggesting improvements and corrections.
Also, we thank Athanasios Margaris and Basil K. Papadopoulos for reading parts
of the book and making comments and suggestions.
1
Introduction
Vagueness is a fundamental property of this world. Vague objects are real objects
and exist in the real world. Fuzzy mathematics is mathematics of vagueness. The
core of fuzzy mathematics is the idea that objects have a property to some degree.
1 Ancient Greek philosopher, teacher of Demosthenes and a student of Euclid, famous for his
paradoxes. He lived in the fourth century BC.
we say the same for a person who is 30 years old? Moreover, there are objects that
one can classify as vague. For example, a cloud is vague since its boundaries are
not sharp. Also, a dog is a vague object since it loses hair all the time and so it is
difficult to say what belongs to it.
To a number of people, these arguments look like sophisms. Others consider
vagueness as a linguistic phenomenon, that is, something that exists only in the
realm of natural languages and gives us greater expressive power. And there are
others that think that vagueness is a property of the world. In summary, there
are three views regarding the nature of vagueness2 : the ontic view, the semantic
view, and the epistemic view. According to the ontic view the world itself is vague
and, consequently, language is vague so to describe the world. The semantic view
asserts that vagueness exists only in our language and our thoughts. In a way, this
view is similar to the mental constructions of intuitionism, that is, things that exist
in our minds but not in the real world. On the other hand, the epistemic view
asserts that vagueness exists because we do not know where the boundaries exist
for a “vague” concept. So we wrongly assume they are vague. In this book, we
assume that onticism about vagueness is the right view. In different words, we
believe that there are vague objects and that vagueness is a property of the real
world. It seems that semanticism is shared by many people, engineers in particular
who use fuzzy mathematics, while if epistemicism is true, then there is simply no
need for fuzzy mathematics, and this book is useless.
Let us consider countries and lakes. These geographical objects do not have
sharply defined boundaries since natural phenomena (e.g. drought or heavy rain-
falls) may alter the volume of water contained in a lake. Thus, one can think
these are vague objects. Nevertheless, vagueness can emerge from other unex-
pected observations. In 1967, Benoît Mandelbrot [208] argued that the measured
length of the coastline of Great Britain (or any island for that matter) depends on
the scale of measurement. Thus, Great Britain is a vague object since its boundaries
are not sharp. Nevertheless, one may argue that here there is no genuine geo-
graphical vagueness, instead this is just a problem of representation. A response
to this argument was put forth by Michael Morreau [224]. Obviously, if the exis-
tence of vague objects is a matter of representation, then there are obviously no
vague objects including animals. Consider Koula the dog. Koula has hair that she
will lose tonight, so it is a questionable part of her. Because Koula has many such
questionable parts (e.g. nails, whisker), she is a vague dog. Assume that Koula is
not a vague dog. Instead, assume that there are many precise mammals that must
be dogs because they differ from each other around the edges of the hair. Obvi-
ously, all these animals are dogs that differ slightly when compared to Koula. All of
2 See [247] for a general introduction to vagueness and the ideas briefly presented in this
paragraph.
1.1 What Is Vagueness? 3
these candidates are dogs, and they have very small differences between them. If
vagueness is a matter of representation, then, wherever I own a dog, I own at least
a thousand dogs. Clearly, this is not the case.
Gareth Evans [119] presented an argument that proves that there are no vague
objects. Evans used the modality operator ∇ to express indeterminacy. Thus, ∇𝜙 is
read as it is indeterminate whether 𝜙. The dual of ∇ is the Δ operator and Δ𝜙 is read
as it is determinate that 𝜙. Evans started his argument with the following premise:
∇(a = b). (1.1)
This means that it is true that it is indeterminate whether a and b are iden-
tical. Next, he transformed this expression to an application of some sort of
𝜆-abstraction:
𝜆x.∇(x = a)b. (1.2)
Of course, it is a fact that it is not indeterminate whether a is identical to a:
¬∇(a = a). (1.3)
Using this “trick” to derive formula (1.2), one gets
¬𝜆x.∇(x = a)a. (1.4)
Finally, he used the identity of indiscernibles principle to derive from (1.2) and (1.4):
¬(a = b)
meaning that a and b are not identical. So we started by assuming that it is indeter-
minate whether a and b are identical and concluded that they are not identical. In
different words, indeterminate identities become nonidentities, which makes no
sense, therefore, the assumption makes no sense. The identity of indiscernibles
principle (see [125] for a thorough discussion of this principle) states that if, for
every property F, object x has F if and only if object y has F, then x is identical to
y. This principle was initially formulated by Wilhelm Gottfried Leibniz.
A first response to this argument is that the logic employed to deliver this proof
is not really adequate. Francis Jeffry Pelletier [240] points out that when one
says that an object is vague, then this means that there is a predicate that neither
applies nor does not apply to it. Thus when you have a meaningful predicate Fa, it
makes no sense to make it indeterminate by just prefixing it with the ∇ operator.
Although this logic is not appropriate for vagueness, still this does not refute
Evan’s argument.
Edward Jonathan Lowe [196] put forth an argument that is a response to Evans’
“proof”:
To be fair, even the authors admit that this is not a new idea, but they were the
first to systematically defend this idea. This definition of vague predicates is very
useful in order to distinguish vagueness from ambiguity and uncertainty.
The term ambiguity refers to something that has more than one possible
meaning, which may cause confusion. Of course, we encounter ambiguity only
1.2 Vagueness, Ambiguity, Uncertainty, etc. 5
One of the reasons for the misunderstanding between fuzzy sets and the
philosophy of vagueness may lie in the fact that Zadeh was trained in engi-
neering mathematics, not in the area of philosophy.
Dubois (2012) [108]
Iberi, 144.
Ietto, 173.
Iloti, 76-77; obblighi, 79; piccolezza del possesso, condizioni
morali e giuridiche, 84 sgg., 86 sgg.; economiche, 87, 88 sgg.,
209 sgg.
Imbro, 23, 143, 145.
Imera, II, 187.
Imperialismo (L’), nella Grecia antica, 115 sgg.; nel mondo
moderno, 118; concetto greco, 119 sgg.; ateniese, 124 sgg.; e
la decadenza di Atene, 145 sgg.; spartano, 149 sgg.: tebano,
160 sgg.; siracusano, 169 sgg.; macedone, 176 sgg.; nell’Italia
romana, II, 122 sgg.; romano, II, 122 sgg.
Impero romano, colonato e servitù della gleba, 80, 85.
India, II, 92, 93, 95, 100, 101, 106, 111.
Industria, e schiavitù, 11; macchinario e lavori industriali nel
mondo antico, 25 sgg.; II, 98; carattere voluttuario dell’i. antica,
26; fabbriche in Grecia, 36; II, 108-09; costosità, 9 sgg.; 46;
nell’Oriente ellenistico, II, 98; nell’Europa occidentale, II, 102-
104; nella Grecia ellenistica, II, 108-09, 112-13; corporazioni
industriali, II, 116, n. 29; etrusca, II, 122.
Ionia, II, 32, 168, 186.
Ipponico, 34.
Ipponio, II, 187.
Irlanda, mezzadria, 85.
Iseo, 30.
Isocrate, 46, 154, 166, 167; II, 64, 66, 69 sgg.
Italia, produzione dei cereali, 17, 23-24; il latifondo nell’I. antica,
28; I. meridionale, mezzadria, 85; e l’impero siracusano, 169;
crisi sociale dei secc. II-I a. C., II, 121 sgg.; e il commercio
greco, II, 111.
Italici, e Greci, II, 2; nelle province romane, II, 130; nel mondo
greco, II, 145-46; in Asia minore, II, 166; massacrati, II, 166.