| 書目名稱 | Lattices and Ordered Algebraic Structures |
| 編輯 | T.S. Blyth |
| 視頻video | http://file.papertrans.cn/582/581957/581957.mp4 |
| 概述 | A unified introduction to the theory of ordered sets and basic ordered algebraic structures; it provides an exposition of all the essentials.Up-to-date: it includes recent developments in the theory o |
| 叢書名稱 | Universitext |
| 圖書封面 |  |
| 描述 | The notion of an order plays an important role ? not only throughout mat- maticsbutalsoinadjacentdisciplinessuchaslogicandcomputerscience. The purpose of the present text is to provide a basic introduction to the theory of ordered structures. Taken as a whole, the material is mainly designed for a postgraduate course. However, since prerequisites are minimal, selected parts of it may easily be considered suitable to broaden the horizon of the advanced undergraduate. Indeed, this has been the author’s practice over many years. A basic tool in analysis is the notion of a continuous function, namely a mapping which has the property that the inverse image of an open set is an open set. In the theory of ordered sets there is the corresponding concept of a residuated mapping, this being a mapping which has the property that the inverse image of a principal down-set is a principal down-set. It comes the- fore as no surprise that residuated mappings are important as far as ordered structures are concerned. Indeed, albeit beyond the scope of the present - position, the naturality of residuated mappings can perhaps best be exhibited using categorical concepts. If we regard an ordered set as |
| 出版日期 | Textbook 2005 |
| 關(guān)鍵詞 | Algebraic structure; Algebraic structures; Boolean algebra; Lattice; Lattices; Ordered groups; Ordered sem |
| 版次 | 1 |
| doi | https://doi.org/10.1007/b139095 |
| isbn_softcover | 978-1-84996-955-0 |
| isbn_ebook | 978-1-84628-127-3Series ISSN 0172-5939 Series E-ISSN 2191-6675 |
| issn_series | 0172-5939 |
| copyright | Springer-Verlag London 2005 |
|Archiver|手機版|小黑屋|
派博傳思國際
( 京公網(wǎng)安備110108008328)
GMT+8, 2025-10-10 10:17
發(fā)表于 2025-3-21 16:40:42
