Introduction to lattices and order:
Saved in:
| Main Authors: | , |
|---|---|
| Format: | Book |
| Language: | English |
| Published: |
Cambridge [u.a.]
Cambridge Univ. Press
2006
|
| Edition: | 2. ed., 3. print. |
| Subjects: | |
| Online Access: | Inhaltsverzeichnis |
| Physical Description: | XII, 298 S. Ill., graph. Darst. |
| ISBN: | 0521784514 |
Staff View
MARC
| LEADER | 00000nam a2200000 c 4500 | ||
|---|---|---|---|
| 001 | BV021577666 | ||
| 003 | DE-604 | ||
| 005 | 20060515 | ||
| 007 | t | ||
| 008 | 060511s2006 ad|| |||| 00||| eng d | ||
| 020 | |a 0521784514 |9 0-521-78451-4 | ||
| 035 | |a (OCoLC)255420029 | ||
| 035 | |a (DE-599)BVBBV021577666 | ||
| 040 | |a DE-604 |b ger |e rakwb | ||
| 041 | 0 | |a eng | |
| 049 | |a DE-739 | ||
| 082 | 0 | |a 511.33 | |
| 084 | |a ST 132 |0 (DE-625)143589: |2 rvk | ||
| 100 | 1 | |a Davey, Brian A. |e Verfasser |4 aut | |
| 245 | 1 | 0 | |a Introduction to lattices and order |c B. A. Davey ; H. A. Priestley |
| 250 | |a 2. ed., 3. print. | ||
| 264 | 1 | |a Cambridge [u.a.] |b Cambridge Univ. Press |c 2006 | |
| 300 | |a XII, 298 S. |b Ill., graph. Darst. | ||
| 336 | |b txt |2 rdacontent | ||
| 337 | |b n |2 rdamedia | ||
| 338 | |b nc |2 rdacarrier | ||
| 650 | 0 | 7 | |a Geordnete Menge |0 (DE-588)4156748-1 |2 gnd |9 rswk-swf |
| 650 | 0 | 7 | |a Gitter |g Mathematik |0 (DE-588)4157375-4 |2 gnd |9 rswk-swf |
| 650 | 0 | 7 | |a Verband |g Mathematik |0 (DE-588)4062565-5 |2 gnd |9 rswk-swf |
| 650 | 0 | 7 | |a Verbandstheorie |0 (DE-588)4127072-1 |2 gnd |9 rswk-swf |
| 689 | 0 | 0 | |a Gitter |g Mathematik |0 (DE-588)4157375-4 |D s |
| 689 | 0 | |5 DE-604 | |
| 689 | 1 | 0 | |a Verbandstheorie |0 (DE-588)4127072-1 |D s |
| 689 | 1 | |5 DE-604 | |
| 689 | 2 | 0 | |a Geordnete Menge |0 (DE-588)4156748-1 |D s |
| 689 | 2 | 1 | |a Verband |g Mathematik |0 (DE-588)4062565-5 |D s |
| 689 | 2 | |8 1\p |5 DE-604 | |
| 700 | 1 | |a Priestley, Hilary A. |e Verfasser |4 aut | |
| 856 | 4 | 2 | |m Digitalisierung UB Passau |q application/pdf |u http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=014793385&sequence=000002&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA |3 Inhaltsverzeichnis |
| 999 | |a oai:aleph.bib-bvb.de:BVB01-014793385 | ||
| 883 | 1 | |8 1\p |a cgwrk |d 20201028 |q DE-101 |u https://d-nb.info/provenance/plan#cgwrk | |
Record in the Search Index
| _version_ | 1804135347556188160 |
|---|---|
| adam_text | Contents
Preface
to the second edition
viii
Preface to the first edition
χ
1.
Ordered sets
1
Ordered sets
1
Examples from social science and computer science
5
Diagrams: the art of drawing ordered sets
10
Constructing and de-constructing ordered sets
14
Down-sets and up-sets
20
Maps between ordered sets
23
Exercises
25
2.
Lattices and complete lattices
33
Lattices as ordered sets
33
Lattices as algebraic structures
39
Sublattices, products and homomorphisms
41
Ideals and filters
44
Complete lattices and
Π
-structures
46
Chain conditions and completeness
50
Join-irreducible elements
53
Exercises
56
3.
Formal concept analysis
65
Contexts and their concepts
65
The fundamental theorem of concept lattices
70
From theory to practice
74
Exercises
79
4.
Modular, distributive and Boolean lattices
85
Lattices satisfying additional identities
85
The M3-N5 Theorem
88
Boolean lattices and Boolean algebras
93
Boolean terms and disjunctive normal form
96
Exercises
104
5.
Representation: the finite case
112
Building blocks for lattices
112
Finite Boolean algebras are powerset algebras
114
Finite distributive lattices are down-set lattices
116
Finite distributive lattices and finite ordered sets in
partnership
119
Exercises
124
6.
Congruences
130
Introducing congruences
130
Congruences and diagrams
134
The lattice of congruences of a lattice
137
Exercises
140
7.
Complete lattices and Galois connections
145
Closure operators
145
Complete lattices coming from algebra: algebraic lattices
148
Galois connections
155
Completions
165
Exercises
169
8.
CPOs and fixpoint theorems
175
CPOs
175
CPOs of partial maps
180
Fixpoint theorems
182
Calculating with fixpoints
189
Exercises
193
9.
Domains and information systems
201
Domains for computing
201
Domains re-modelled: information systems
204
Using fixpoint theorems to solve domain equations
221
Exercises
223
10.
Maximality principles
228
Do maximal elements exist?
-
Zorn s Lemma and the
Axiom of Choice
228
Prime and maximal ideals
232
Powerset algebras and down-set lattices revisited
237
Contents
vii
Exercises
244
11.
Representation:
the general case
247
Stone s representation theorem for Boolean algebras
247
Meet LINDA: the
Lindenbaum
algebra
252
Priestley s representation theorem for distributive lattices
256
Distributive lattices and Priestley spaces in partnership
261
Exercises
267
Appendix A: a topological toolkit
275
Appendix B: further reading
280
Notation index
286
Index
289
|
| adam_txt |
Contents
Preface
to the second edition
viii
Preface to the first edition
χ
1.
Ordered sets
1
Ordered sets
1
Examples from social science and computer science
5
Diagrams: the art of drawing ordered sets
10
Constructing and de-constructing ordered sets
14
Down-sets and up-sets
20
Maps between ordered sets
23
Exercises
25
2.
Lattices and complete lattices
33
Lattices as ordered sets
33
Lattices as algebraic structures
39
Sublattices, products and homomorphisms
41
Ideals and filters
44
Complete lattices and
Π
-structures
46
Chain conditions and completeness
50
Join-irreducible elements
53
Exercises
56
3.
Formal concept analysis
65
Contexts and their concepts
65
The fundamental theorem of concept lattices
70
From theory to practice
74
Exercises
79
4.
Modular, distributive and Boolean lattices
85
Lattices satisfying additional identities
85
The M3-N5 Theorem
88
Boolean lattices and Boolean algebras
93
Boolean terms and disjunctive normal form
96
Exercises
104
5.
Representation: the finite case
112
Building blocks for lattices
112
Finite Boolean algebras are powerset algebras
114
Finite distributive lattices are down-set lattices
116
Finite distributive lattices and finite ordered sets in
partnership
119
Exercises
124
6.
Congruences
130
Introducing congruences
130
Congruences and diagrams
134
The lattice of congruences of a lattice
137
Exercises
140
7.
Complete lattices and Galois connections
145
Closure operators
145
Complete lattices coming from algebra: algebraic lattices
148
Galois connections
155
Completions
165
Exercises
169
8.
CPOs and fixpoint theorems
175
CPOs
175
CPOs of partial maps
180
Fixpoint theorems
182
Calculating with fixpoints
189
Exercises
193
9.
Domains and information systems
201
Domains for computing
201
Domains re-modelled: information systems
204
Using fixpoint theorems to solve domain equations
221
Exercises
223
10.
Maximality principles
228
Do maximal elements exist?
-
Zorn's Lemma and the
Axiom of Choice
228
Prime and maximal ideals
232
Powerset algebras and down-set lattices revisited
237
Contents
vii
Exercises
244
11.
Representation:
the general case
247
Stone's representation theorem for Boolean algebras
247
Meet LINDA: the
Lindenbaum
algebra
252
Priestley's representation theorem for distributive lattices
256
Distributive lattices and Priestley spaces in partnership
261
Exercises
267
Appendix A: a topological toolkit
275
Appendix B: further reading
280
Notation index
286
Index
289 |
| any_adam_object | 1 |
| any_adam_object_boolean | 1 |
| author | Davey, Brian A. Priestley, Hilary A. |
| author_facet | Davey, Brian A. Priestley, Hilary A. |
| author_role | aut aut |
| author_sort | Davey, Brian A. |
| author_variant | b a d ba bad h a p ha hap |
| building | Verbundindex |
| bvnumber | BV021577666 |
| classification_rvk | ST 132 |
| ctrlnum | (OCoLC)255420029 (DE-599)BVBBV021577666 |
| dewey-full | 511.33 |
| dewey-hundreds | 500 - Natural sciences and mathematics |
| dewey-ones | 511 - General principles of mathematics |
| dewey-raw | 511.33 |
| dewey-search | 511.33 |
| dewey-sort | 3511.33 |
| dewey-tens | 510 - Mathematics |
| discipline | Informatik Mathematik |
| discipline_str_mv | Informatik Mathematik |
| edition | 2. ed., 3. print. |
| format | Book |
| fullrecord | <?xml version="1.0" encoding="UTF-8"?><collection xmlns="http://www.loc.gov/MARC21/slim"><record><leader>01803nam a2200457 c 4500</leader><controlfield tag="001">BV021577666</controlfield><controlfield tag="003">DE-604</controlfield><controlfield tag="005">20060515 </controlfield><controlfield tag="007">t</controlfield><controlfield tag="008">060511s2006 ad|| |||| 00||| eng d</controlfield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">0521784514</subfield><subfield code="9">0-521-78451-4</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(OCoLC)255420029</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(DE-599)BVBBV021577666</subfield></datafield><datafield tag="040" ind1=" " ind2=" "><subfield code="a">DE-604</subfield><subfield code="b">ger</subfield><subfield code="e">rakwb</subfield></datafield><datafield tag="041" ind1="0" ind2=" "><subfield code="a">eng</subfield></datafield><datafield tag="049" ind1=" " ind2=" "><subfield code="a">DE-739</subfield></datafield><datafield tag="082" ind1="0" ind2=" "><subfield code="a">511.33</subfield></datafield><datafield tag="084" ind1=" " ind2=" "><subfield code="a">ST 132</subfield><subfield code="0">(DE-625)143589:</subfield><subfield code="2">rvk</subfield></datafield><datafield tag="100" ind1="1" ind2=" "><subfield code="a">Davey, Brian A.</subfield><subfield code="e">Verfasser</subfield><subfield code="4">aut</subfield></datafield><datafield tag="245" ind1="1" ind2="0"><subfield code="a">Introduction to lattices and order</subfield><subfield code="c">B. A. Davey ; H. A. Priestley</subfield></datafield><datafield tag="250" ind1=" " ind2=" "><subfield code="a">2. ed., 3. print.</subfield></datafield><datafield tag="264" ind1=" " ind2="1"><subfield code="a">Cambridge [u.a.]</subfield><subfield code="b">Cambridge Univ. Press</subfield><subfield code="c">2006</subfield></datafield><datafield tag="300" ind1=" " ind2=" "><subfield code="a">XII, 298 S.</subfield><subfield code="b">Ill., graph. Darst.</subfield></datafield><datafield tag="336" ind1=" " ind2=" "><subfield code="b">txt</subfield><subfield code="2">rdacontent</subfield></datafield><datafield tag="337" ind1=" " ind2=" "><subfield code="b">n</subfield><subfield code="2">rdamedia</subfield></datafield><datafield tag="338" ind1=" " ind2=" "><subfield code="b">nc</subfield><subfield code="2">rdacarrier</subfield></datafield><datafield tag="650" ind1="0" ind2="7"><subfield code="a">Geordnete Menge</subfield><subfield code="0">(DE-588)4156748-1</subfield><subfield code="2">gnd</subfield><subfield code="9">rswk-swf</subfield></datafield><datafield tag="650" ind1="0" ind2="7"><subfield code="a">Gitter</subfield><subfield code="g">Mathematik</subfield><subfield code="0">(DE-588)4157375-4</subfield><subfield code="2">gnd</subfield><subfield code="9">rswk-swf</subfield></datafield><datafield tag="650" ind1="0" ind2="7"><subfield code="a">Verband</subfield><subfield code="g">Mathematik</subfield><subfield code="0">(DE-588)4062565-5</subfield><subfield code="2">gnd</subfield><subfield code="9">rswk-swf</subfield></datafield><datafield tag="650" ind1="0" ind2="7"><subfield code="a">Verbandstheorie</subfield><subfield code="0">(DE-588)4127072-1</subfield><subfield code="2">gnd</subfield><subfield code="9">rswk-swf</subfield></datafield><datafield tag="689" ind1="0" ind2="0"><subfield code="a">Gitter</subfield><subfield code="g">Mathematik</subfield><subfield code="0">(DE-588)4157375-4</subfield><subfield code="D">s</subfield></datafield><datafield tag="689" ind1="0" ind2=" "><subfield code="5">DE-604</subfield></datafield><datafield tag="689" ind1="1" ind2="0"><subfield code="a">Verbandstheorie</subfield><subfield code="0">(DE-588)4127072-1</subfield><subfield code="D">s</subfield></datafield><datafield tag="689" ind1="1" ind2=" "><subfield code="5">DE-604</subfield></datafield><datafield tag="689" ind1="2" ind2="0"><subfield code="a">Geordnete Menge</subfield><subfield code="0">(DE-588)4156748-1</subfield><subfield code="D">s</subfield></datafield><datafield tag="689" ind1="2" ind2="1"><subfield code="a">Verband</subfield><subfield code="g">Mathematik</subfield><subfield code="0">(DE-588)4062565-5</subfield><subfield code="D">s</subfield></datafield><datafield tag="689" ind1="2" ind2=" "><subfield code="8">1\p</subfield><subfield code="5">DE-604</subfield></datafield><datafield tag="700" ind1="1" ind2=" "><subfield code="a">Priestley, Hilary A.</subfield><subfield code="e">Verfasser</subfield><subfield code="4">aut</subfield></datafield><datafield tag="856" ind1="4" ind2="2"><subfield code="m">Digitalisierung UB Passau</subfield><subfield code="q">application/pdf</subfield><subfield code="u">http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=014793385&sequence=000002&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA</subfield><subfield code="3">Inhaltsverzeichnis</subfield></datafield><datafield tag="999" ind1=" " ind2=" "><subfield code="a">oai:aleph.bib-bvb.de:BVB01-014793385</subfield></datafield><datafield tag="883" ind1="1" ind2=" "><subfield code="8">1\p</subfield><subfield code="a">cgwrk</subfield><subfield code="d">20201028</subfield><subfield code="q">DE-101</subfield><subfield code="u">https://d-nb.info/provenance/plan#cgwrk</subfield></datafield></record></collection> |
| id | DE-604.BV021577666 |
| illustrated | Illustrated |
| index_date | 2024-07-02T14:40:37Z |
| indexdate | 2024-07-09T20:39:04Z |
| institution | BVB |
| isbn | 0521784514 |
| language | English |
| oai_aleph_id | oai:aleph.bib-bvb.de:BVB01-014793385 |
| oclc_num | 255420029 |
| open_access_boolean | |
| owner | DE-739 |
| owner_facet | DE-739 |
| physical | XII, 298 S. Ill., graph. Darst. |
| publishDate | 2006 |
| publishDateSearch | 2006 |
| publishDateSort | 2006 |
| publisher | Cambridge Univ. Press |
| record_format | marc |
| spelling | Davey, Brian A. Verfasser aut Introduction to lattices and order B. A. Davey ; H. A. Priestley 2. ed., 3. print. Cambridge [u.a.] Cambridge Univ. Press 2006 XII, 298 S. Ill., graph. Darst. txt rdacontent n rdamedia nc rdacarrier Geordnete Menge (DE-588)4156748-1 gnd rswk-swf Gitter Mathematik (DE-588)4157375-4 gnd rswk-swf Verband Mathematik (DE-588)4062565-5 gnd rswk-swf Verbandstheorie (DE-588)4127072-1 gnd rswk-swf Gitter Mathematik (DE-588)4157375-4 s DE-604 Verbandstheorie (DE-588)4127072-1 s Geordnete Menge (DE-588)4156748-1 s Verband Mathematik (DE-588)4062565-5 s 1\p DE-604 Priestley, Hilary A. Verfasser aut Digitalisierung UB Passau application/pdf http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=014793385&sequence=000002&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA Inhaltsverzeichnis 1\p cgwrk 20201028 DE-101 https://d-nb.info/provenance/plan#cgwrk |
| spellingShingle | Davey, Brian A. Priestley, Hilary A. Introduction to lattices and order Geordnete Menge (DE-588)4156748-1 gnd Gitter Mathematik (DE-588)4157375-4 gnd Verband Mathematik (DE-588)4062565-5 gnd Verbandstheorie (DE-588)4127072-1 gnd |
| subject_GND | (DE-588)4156748-1 (DE-588)4157375-4 (DE-588)4062565-5 (DE-588)4127072-1 |
| title | Introduction to lattices and order |
| title_auth | Introduction to lattices and order |
| title_exact_search | Introduction to lattices and order |
| title_exact_search_txtP | Introduction to lattices and order |
| title_full | Introduction to lattices and order B. A. Davey ; H. A. Priestley |
| title_fullStr | Introduction to lattices and order B. A. Davey ; H. A. Priestley |
| title_full_unstemmed | Introduction to lattices and order B. A. Davey ; H. A. Priestley |
| title_short | Introduction to lattices and order |
| title_sort | introduction to lattices and order |
| topic | Geordnete Menge (DE-588)4156748-1 gnd Gitter Mathematik (DE-588)4157375-4 gnd Verband Mathematik (DE-588)4062565-5 gnd Verbandstheorie (DE-588)4127072-1 gnd |
| topic_facet | Geordnete Menge Gitter Mathematik Verband Mathematik Verbandstheorie |
| url | http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=014793385&sequence=000002&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA |
| work_keys_str_mv | AT daveybriana introductiontolatticesandorder AT priestleyhilarya introductiontolatticesandorder |