LEADER 02863nam a2200493 i 4500 001 991003636179707536 006 m o d 007 cr |n||||||||| 008 190408s2018 sz ob 001 0 eng d 020 $a3319744518$q(electronic bk.) 020 $a9783319744513$q(electronic bk.) 020 $z331974450X 020 $z9783319744506 024 7 $a10.1007/978-3-319-74451-3$2doi 035 $ab14363896-39ule_inst 040 $aBibl. Dip.le Aggr. Matematica e Fisica - Sez. Matematica$beng 082 04$a514$223 084 $aAMS 54-01 084 $aLC QA611 100 1 $aSchmidt, Gu?nther$0502593 245 10$aRelational topology$h[e-book] /$cby Gunther Schmidt, Michael Winter 260 $aCham :$bSpringer,$c2018 300 $a1 online resource (xiv, 198 p. 104 illus., 64 illus. in color 336 $atext$btxt$2rdacontent 337 $acomputer$bc$2rdamedia 338 $aonline resource$bcr$2rdacarrier 347 $atext file$bPDF$2rda 490 1 $aLecture Notes in Mathematics,$x0075-8434 ;$v2208 505 0 $a1.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 520 $aThis 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 650 0$aCategories (Mathematics) 650 0$aAlgebra, Homological 650 0$aAlgebra 650 0$aComputer science$xMathematics 650 0$aLogic, Symbolic and mathematical 650 0$aTopology 700 1 $aWinter, Michael$eauthor$4http://id.loc.gov/vocabulary/relators/aut$0566406 776 08$iPrinted edition:$z9783319744506 856 40$zAn electronic book accessible through the World Wide Web$uhttp://link.springer.com/10.1007/978-3-319-74451-3 907 $a.b14363896$b03-03-22$c08-04-19 912 $a991003636179707536 996 $aRelational topology$91524079 997 $aUNISALENTO 998 $ale013$b08-04-19$cm$d@ $e-$feng$gsz $h0$i0