|
|
|
|
LEADER |
02515nmm a2200421 u 4500 |
001 |
EB001824145 |
003 |
EBX01000000000000000990591 |
005 |
00000000000000.0 |
007 |
cr||||||||||||||||||||| |
008 |
180604 ||| eng |
020 |
|
|
|a 9783319744513
|
100 |
1 |
|
|a Schmidt, Gunther
|
245 |
0 |
0 |
|a Relational Topology
|h Elektronische Ressource
|c by Gunther Schmidt, Michael Winter
|
250 |
|
|
|a 1st ed. 2018
|
260 |
|
|
|a Cham
|b Springer International Publishing
|c 2018, 2018
|
300 |
|
|
|a XIV, 194 p. 104 illus., 68 illus. in color
|b online resource
|
505 |
0 |
|
|a 1.Introduction -- 2. Prerequisites -- 3. Products of Relations -- 4. Meet and Join as Relations -- 5. Applying Relations in Topology -- 6. Construction of Topologies -- 7. Closures and their Aumann Contacts -- 8. Proximity and Nearness -- 9. Frames -- 10. Simplicial Complexes
|
653 |
|
|
|a Computer science—Mathematics
|
653 |
|
|
|a General Algebraic Systems
|
653 |
|
|
|a Mathematical Applications in Computer Science
|
653 |
|
|
|a Discrete Mathematics
|
653 |
|
|
|a Topology
|
653 |
|
|
|a Homological algebra
|
653 |
|
|
|a Mathematical logic
|
653 |
|
|
|a Mathematical Logic and Foundations
|
653 |
|
|
|a Topology
|
653 |
|
|
|a Algebra
|
653 |
|
|
|a Computer mathematics
|
653 |
|
|
|a Category Theory, Homological Algebra
|
653 |
|
|
|a Discrete mathematics
|
653 |
|
|
|a Category theory (Mathematics)
|
700 |
1 |
|
|a Winter, Michael
|e [author]
|
041 |
0 |
7 |
|a eng
|2 ISO 639-2
|
989 |
|
|
|b Springer
|a Springer eBooks 2005-
|
490 |
0 |
|
|a Lecture Notes in Mathematics
|
856 |
4 |
0 |
|u https://doi.org/10.1007/978-3-319-74451-3?nosfx=y
|x Verlag
|3 Volltext
|
082 |
0 |
|
|a 514
|
520 |
|
|
|a 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
|