Relational topology (Q1704472)
From MaRDI portal
scientific article
Language | Label | Description | Also known as |
---|---|---|---|
English | Relational topology |
scientific article |
Statements
Relational topology (English)
0 references
9 March 2018
0 references
This booklet explains algebraic methods to work with relations, usually conceived as Boolean matrices. Although such matrices appear throughout mathematical and related sciences, the discussed techniques used to deal with them are not well known. The main goal of the text is to base reasoning not simply on first-order predicate logic, but on point-free relation algebra that avoids quantifiers. \par One stimulus for the authors was the intention to unify concepts. They apply their methods to several basic questions in topology. In particular proximity, nearness, apartness, contact, closure, frames, and finally orientability of simplicial complexes are treated in some detail. They believe that the presented theory has now reached a status from which it is possible to classify what can be achieved relationally and what cannot. \par The approach offers the possibility of dealing with topological problems by using proof assistants. One stimulus for this kind of research is the idea to solve mathematical problems computationally. \par While at present this reviewer does not recommend this booklet to lecturers as a base for a first course in classical topology (for this is was clearly not intended!), nevertheless professional topologists may want to take notice of these interesting new developments in their own field of expertise.
0 references
algebraic topology
0 references
proximity
0 references
spatial reasoning
0 references
Aumann contacts
0 references
Kronecker product of relations
0 references
quantifier-free logic
0 references
relational mathematics
0 references
frames in theoretical computer science
0 references
nearness
0 references
simplicial complexes
0 references