Relational topology / Gunther Schmidt, Michael Winter.

By: Schmidt, Gunther, 1939- [author.]
Contributor(s): Winter, Michael (Professor) [author.]
Material type: TextTextSeries: Lecture notes in mathematics (Springer-Verlag): 2208.Publisher: Cham : Springer, 2018Description: 1 online resourceContent type: text Media type: computer Carrier type: online resourceISBN: 9783319744513; 3319744518Subject(s): Topology | Relation algebras | Boolean matrices | Mathematics -- Logic | Mathematics -- Algebra -- Abstract | Mathematics -- Applied | Mathematics -- Discrete Mathematics | Mathematical foundations | Algebra | Mathematical modelling | Discrete mathematics | Mathematics -- Topology | Topology | Relation algebras | Boolean matrices | TopologyGenre/Form: Electronic books. Additional physical formats: Print version:: Relational topology.DDC classification: 514 LOC classification: QA611Online resources: Click here to access online
Contents:
Introduction -- Prerequisites -- Products of relations -- Meet and join as relations -- Applying relations in topology -- Construction of topologies -- Closures and their Aumann contacts -- Proximity and nearness -- Frames -- Simplicial complexes.
Summary: "This book introduces and develops new algebraic methods to work with relations, often conceived as Boolean matrices, and applies them to topology. Although these objects mirror the matrices that appear throughout mathematics, numerics, statistics, engineering, and elsewhere, the methods used to work with them are much less well known. In addition to their purely topological applications, the volume also details how the techniques may be successfully applied to spatial reasoning and to logics of computer science. Topologists will find several familiar concepts presented in a concise and algebraically manipulable form which is far more condensed than usual, but visualized via represented relations and thus readily graspable. This approach also offers the possibility of handling topological problems using proof assistants"--Page 4 of cover.
Tags from this library: No tags from this library for this title. Log in to add tags.
    Average rating: 0.0 (0 votes)
Item type Current location Collection Call number Status Date due Barcode Item holds
eBook eBook e-Library

Electronic Book@IST

EBook Available
Total holds: 0

Includes bibliographical references and index.

Print version record.

Introduction -- Prerequisites -- Products of relations -- Meet and join as relations -- Applying relations in topology -- Construction of topologies -- Closures and their Aumann contacts -- Proximity and nearness -- Frames -- Simplicial complexes.

"This book introduces and develops new algebraic methods to work with relations, often conceived as Boolean matrices, and applies them to topology. Although these objects mirror the matrices that appear throughout mathematics, numerics, statistics, engineering, and elsewhere, the methods used to work with them are much less well known. In addition to their purely topological applications, the volume also details how the techniques may be successfully applied to spatial reasoning and to logics of computer science. Topologists will find several familiar concepts presented in a concise and algebraically manipulable form which is far more condensed than usual, but visualized via represented relations and thus readily graspable. This approach also offers the possibility of handling topological problems using proof assistants"--Page 4 of cover.

There are no comments for this item.

to post a comment.

Powered by Koha