Relational Topology

Book Details:

• Publisher: Springer

• Author: Gunther Schmidt

• Language: English

• Binding: Paperback

• ISBN: 9783319744506

• Pages: 194

• Edition: 2018 ed.

• Release Date: 02-06-2018

• Package Dimensions: 9.1 x 6.0 x 0.6 inches

About The Book:

This book introduces novel algebraic methods to handle relations, particularly in the form of Boolean matrices, and applies them to topology. While these objects are analogous to matrices found in various fields such as mathematics, engineering, statistics, and numerics, the techniques for working with them are relatively obscure. The book goes beyond the traditional applications of relations, demonstrating how these algebraic methods can also be applied to spatial reasoning and computer science logics.

Topologists will appreciate the familiar concepts presented in a succinct, algebraically manipulative form. These concepts are not only more condensed than traditional methods but are also visualized through represented relations, making them easily accessible. Additionally, the book explores the potential for using proof assistants to address topological problems, providing a modern approach to traditional topics. This work will be particularly valuable for those in the fields of topology, spatial reasoning, and computer science, offering new perspectives and tools for tackling complex problems in these areas.