New trends in quantum structures:
Gespeichert in:
| Hauptverfasser: | , |
|---|---|
| Format: | Buch |
| Sprache: | English |
| Veröffentlicht: |
Netherlands
Springer
2010
|
| Ausgabe: | [1. ed, softcover version] |
| Schriftenreihe: | Mathematics and its applications
516 |
| Schlagworte: | |
| Online-Zugang: | Inhaltsverzeichnis |
| Beschreibung: | XVI, 541 S. graph. Darst. |
| ISBN: | 9789048155255 9048155258 |
Internformat
MARC
| LEADER | 00000nam a2200000 cb4500 | ||
|---|---|---|---|
| 001 | BV036851582 | ||
| 003 | DE-604 | ||
| 005 | 20160616 | ||
| 007 | t | ||
| 008 | 101203s2010 d||| |||| 00||| eng d | ||
| 020 | |a 9789048155255 |9 978-90-481-5525-5 | ||
| 020 | |a 9048155258 |9 90-481-5525-8 | ||
| 035 | |a (OCoLC)706032854 | ||
| 035 | |a (DE-599)BVBBV036851582 | ||
| 040 | |a DE-604 |b ger |e rakwb | ||
| 041 | 0 | |a eng | |
| 049 | |a DE-739 | ||
| 084 | |a SK 950 |0 (DE-625)143273: |2 rvk | ||
| 100 | 1 | |a Dvurečenskij, Anatolij |d 1949- |e Verfasser |0 (DE-588)172681979 |4 aut | |
| 245 | 1 | 0 | |a New trends in quantum structures |c by Anatolij Dvurečenskij and Sylvia Pulmannová |
| 250 | |a [1. ed, softcover version] | ||
| 264 | 1 | |a Netherlands |b Springer |c 2010 | |
| 300 | |a XVI, 541 S. |b graph. Darst. | ||
| 336 | |b txt |2 rdacontent | ||
| 337 | |b n |2 rdamedia | ||
| 338 | |b nc |2 rdacarrier | ||
| 490 | 1 | |a Mathematics and its applications |v 516 | |
| 650 | 0 | 7 | |a Quantentheorie |0 (DE-588)4047992-4 |2 gnd |9 rswk-swf |
| 650 | 0 | 7 | |a Mathematisches Modell |0 (DE-588)4114528-8 |2 gnd |9 rswk-swf |
| 650 | 0 | 7 | |a Mathematik |0 (DE-588)4037944-9 |2 gnd |9 rswk-swf |
| 689 | 0 | 0 | |a Quantentheorie |0 (DE-588)4047992-4 |D s |
| 689 | 0 | 1 | |a Mathematisches Modell |0 (DE-588)4114528-8 |D s |
| 689 | 0 | |5 DE-604 | |
| 689 | 1 | 0 | |a Quantentheorie |0 (DE-588)4047992-4 |D s |
| 689 | 1 | 1 | |a Mathematik |0 (DE-588)4037944-9 |D s |
| 689 | 1 | |5 DE-604 | |
| 700 | 1 | |a Pulmannová, Sylvia |e Verfasser |4 aut | |
| 830 | 0 | |a Mathematics and its applications |v 516 |w (DE-604)BV008163334 |9 516 | |
| 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=020767536&sequence=000002&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA |3 Inhaltsverzeichnis |
| 999 | |a oai:aleph.bib-bvb.de:BVB01-020767536 | ||
Datensatz im Suchindex
| _version_ | 1804143546325794816 |
|---|---|
| adam_text | Contents
Preface
vii
Introduction
1
CHAPTER
1
D-posets and Effect Algebras
9
1.1
D-posets
...................................................................10
1.2
Effect Algebras
............................................................15
1.3
Morphisms and Categorical Equivalence of D-posets and Effect Algebras
.... 20
1.4
Group Representations of Effect Algebras. Interval Effect Algebras
..........22
1.4.1
Examples of Interval Algebras
.......................................32
1.5
Generalized Orthoalgebras and OMP as Orthomodular Structures
...........35
1.6
Examples and Applications
.................................................42
1.7
Effect Algebras with the Riesz Decomposition Property
.....................58
1.8
D-lattices and Lattice-ordered Effect Algebras
..............................69
1.9
Some Basic Constructions with D-posets/Effect Algebras
....................80
1.9.1
Subalgebras and Ideals
..............................................80
1.9.2
Center and Direct Products
.........................................82
1.9.3
Principal and Sharp Elements in Effect Rings
........................86
1.9.4
Finite Distributive Lattice Ordered Effect Algebras
..................87
1.9.5
Direct Products of Interval Algebras
................................91
1.9.6
Horizontal Sums
....................................................92
1.9.7
Direct Limits of D-posets/Effect Algebras
...........................94
1.10
Compatibility and
Observables
............................................97
1.10.1
Compatibility in Orthomodular Structures
.........................97
1.10.2
Compatibility in GDLs
...........................................102
1.10.3
Observables
......................................................109
1.11
Order Properties of £(H)
................................................117
1.12
Exercises
................................................................121
CHAPTER
2
MV-algebras and QMV-algebras
129
2.1
S-algebras
................................................................130
2.2
MV-algebras
..............................................................132
2.2.1
Basic Properties
...................................................132
2.2.2
Congruences and Ideals in MV-algebras
............................143
2.2.3
Subdirect
Representation Theorem
.................................147
2.2.4 Semisimple MV-algebras
and Bold Fuzzy Set Theory
...............148
2.3
QMV-algebras
............................................................152
2.3.1
Basic Properties of QMV-algebras
..................................153
2.3.2
Examples of QMV-algebras
........................................158
2.3.3
Commutativity in QMV-algebras
...................................162
2.3.4
Congruences and Ideals in Quantum MV-algebras
..................167
2.3.5
Lattices of Ideals in QMV-algebras
.................................177
2.3.6
Quotients of QMV-algebras
........................................181
2.3.7
Quasilinearity and Weak Linearity
.................................185
2.3.8
Open Problems
....................................................189
CHAPTER
3
Quotients of Partial Abelian Monoids
191
3.1
Congruences and Ideals on Partial Abelian Monoids
.......................192
3.1.1
Congruences and Quotients
........................................193
3.1.2
Riesz Ideals on CPAMs
............................................ 198
3.1.3
Congruences and Ideals in Effect Algebras
..........................202
3.2
Some Lattices of Ideals in Positive CPAMs
................................211
3.2.1
Лі
-ideals and Riesz Ideals
..........................................211
3.3
Applications to Dimension Theory
.........................................220
3.3.1
Congruences and Dimensional Equivalence
.........................221
3.3.2
Relations to Ko of AF C*-algebras
.................................223
3.4
Exercises
.................................................................227
CHAPTER
4
Tensor Product of D-Posets and Effect Algebras
231
LI D-test Spaces and Difference Posets
.......................................232
4.1.1
D-test Spaces
......................................................232
4.1.2
D-algebraic D-test Spaces
..........................................234
4.1.3
D-Test Spaces versus Difference Posets
.............................236
4.1.4
Examples of D-Test Spaces
........................................237
4.1.5
Weights on D-test spaces
..........................................240
4.1.6
Morphisms and Bimorphisms
...................................... 241
4.1.7
Tensor Products of D-test Spaces
..................................243
4.2
Tensor Product of Difference Posets
........................................244
4.2.1
Tensor Product
....................................................244
4.2.2
Bounded Boolean Powers and Tensor Products
......................247
4.2.3
Tensor Product of D-posets and D-test Spaces
......................251
4.2.4
State Tensor Product
..............................................253
4.2.5
Weight Tensor Product of D-test Spaces
............................259
4.2.6
Examples of State Tensor Products
.................................264
4.3
Partition Logics, Orthoalgebras and Automata
.............................267
4.3.1
Boolean Atlases
...................................................267
4.3.2
Quasi Orthoalgebras and Orthoalgebras
............................268
4.3.3
Examples of Orthoalgebras
........................................269
4.3.4
Relations among Boolean Atlases and Quasi Orthoalgebras
.........274
4.3.5
Partition Logics
...................................................275
4.3.6
Partition Logics and Automata Logics
..............................277
4.3.7
Partition Logics in Examples
.......................................279
4.3.8
Partition Test Spaces
..............................................283
4.3.9
Product of Partition Logics
........................................285
4.3.10
Exercises
.........................................................289
CHAPTERS BCK-algebras
293
5.1
Elements of BCK-algebras
................................................293
5.1.1
Definitions and Elementary Properties of BCK-algebras
............293
5.1.2
Examples of BCK-algebras
.........................................296
5.1.3
Commutative BCK-algebras
.......................................299
5.1.4
BCK-algebras with the Condition (S)
...............................304
5.1.5
Union BCK-algebras
............................................... 306
5.1.6
Direct Product of BCK-algebras
...................................307
5.1.7
Ideals of a BCK-algebra
...........................................308
5.1.8
Measures on BCK-algebras
........................................312
5.1.9
Exercises
..........................................................319
5.2
Commutative BCK-algebras with the Relative Cancellation Property
.......320
5.2.1
Basic Properties of BCK-algebras with the R. C. Property
..........321
5.2.2
BCK-algebras and the Riesz Decomposition Property
...............324
5.2.3
Ideals and Prime Ideals
............................................326
5.2.4
Subdirect
Product of Linear Commutative BCK-algebras
...........328
5.2.5
Embedding of Commutative BCK-algebras into ¿-groups
............330
5.2.6
Characterizations
of
Comm. BCK-algebras
with the
R.C.
Property
. 334
5.2.7
Universal Groups for Commutative BCK-algebras
..................336
5.2.8
BCK-hull of Commutative BCK-algebras
...........................339
5.2.9
Relations among BCK-algebras and Universal Groups
..............342
5.2.10
Ideals of BCK-algebras and f-ideals
...............................345
5.2.11
Quasi Strong Units of BCK-algebras
..............................350
5.2.12
Exercises
.........................................................351
5.3
Representation of Commutative BCK-algebras
.............................352
5.3.1
Categorical Equivalences of Commutative BCK-algebras
............353
5.3.2
Categorical Representation of Bounded Commutative BCK-algebras
357
5.3.3
Categorical Representation of Comm. BCK-algebras with Q. S. Unit
358
5.3.4
Product on MV-algebras
...........................................359
5.3.5
Product on Commutative BCK-algebras
............................370
5.3.6
Ideals in Product BCK-algebras and BCKf-algebras
................373
5.3.7
Exercises
..........................................................376
CHAPTER
6
BCK-algebras in Applications
379
6.1
Algebraic Properties of Commutative BCK-algebras
.......................379
6.1.1 Semisimple BCK-algebras ..........................................379
6.1.2
Topologies and Semisimplicity
.....................................382
6.1.3
Fuzzy set representation of BCK-algebras
..........................385
6.1.4
Atomic and
Semisimple BCK-algebras..............................386
6.1.5
Measure-Morphisms and Maximal Ideals
...........................390
6.1.6
State Space of a BCK-algebra
......................................393
6.1.7
Simple Commutative BCK-algebras
................................399
6.1.8
Exercises
..........................................................403
6.2
Dedekind Complete BCK-algebras
.........................................405
6.2.1
Dedekind Complete Commutative BCK-algebras
...................405
6.2.2
Decomposition of Dedekind Complete Atomic BCK-algebras
........413
6.2.3
Exercises
..........................................................417
6.3
Connections between BCK-algebras and Difference Posets
..................419
6.3.1
Exercises
..........................................................427
6.4
Pseudo
MV-algebras
......................................................428
6.4.1
On Partial Addition in
Pseudo
MV-algebras
........................428
6.4.2
Commutativity of Atomic
Pseudo
MV-algebras
.....................435
6.4.3
Commutativity of Linear
Pseudo
MV-algebras
......................438
6.4.4
Ideals of
Pseudo
MV-algebras
......................................439
6.4.5
Exercises
..........................................................444
CHAPTER
7
Loomis-Sikorski Theorems for MV-algebras and
BCK-algebras
447
7.1
Loomis-Sikorski s Theorem for a-complete MV-algebras
...................448
7.1.1
Bold Algebras of Fuzzy Sets
.......................................448
7.1.2
a-complete MV-algebras and Tribes
................................451
7.1.3
Loomis-Sikorski s Theorem
........................................458
7.1.4
Loomis-Sikorski Theorem for Dedekind
σ
-complete
¿-groups
........465
7.2
Loomis-Sikorski s Theorem for MV-algebras and BCK-algebras
............468
7.2.1
Loomis-Sikorski s Theorem for Perfect MV-algebras
................468
7.2.2
Loomis-Sikorski s Theorem for Product BCK-algebras
..............471
7.3
Weakly Divisible MV-algebras
.............................................474
7.4
MV-observables
...........................................................478
7.4.1
MV-observables
...................................................478
7.4.2
Calculus of MV-observables
........................................483
7.4.3
Exercises
..........................................................488
Bibliography
491
Index of Symbols
531
Index
535
List of Figures and Tables
Fig.
1.1 ....................................................................13
Fig.
1.2 ....................................................................43
Fig.
1.3 ....................................................................44
Fig.
1.4 ....................................................................47
Fig.
1.5 ....................................................................47
Fig.
1.6 ....................................................................48
Fig.
1.7,
Diamond
..........................................................88
Fig.
1.8,
Frazer cube
.......................................................99
Fig.
1.9,
Fano
plane
.......................................................101
Tab.
2.0.
S-algebra vith non-transitive order
...............................132
Fig.
2.1 ...................................................................177
Fig.
2.2
Me
..............................................................182
Fig.
4.1,
Firefly in a box
..................................................270
Fig.
4.2 ...................................................................270
Fig.
4.3 ...................................................................271
Tab. 4.4 ..................................................................271
Fig. 4.5,
Firefly in a three chamber box
....................................272
Fig.
4.6,
Wright triangle
...................................................273
Fig.
4.7...................................................................273
Tab.
4.8 ..................................................................274
Fig.
4.9,
Fano
plane
.......................................................279
Tab.
4.10 .................................................................280
Tab.
4.11 .................................................................280
Fig.
4.12 ..................................................................281
Tab.
4.13 .................................................................281
Tab.
4.14 .................................................................282
Fig.
4.15 ..................................................................282
Fig.
4.16 ..................................................................283
Fig.
4.17..................................................................287
Fig.
4.18 ..................................................................289
Tab.
5.1 ..................................................................297
Fig.
5.1 ...................................................................297
Tab.
5.2 ..................................................................298
Fig.
5.2 ...................................................................298
Tab.
5.3 ..................................................................298
Fig.
5.3 ...................................................................298
Tab.
5.4 ..................................................................306
Fig.
5.4 ...................................................................306
Tab.
5.5 ..................................................................308
Tab.
5.5 ..................................................................308
Tab.
5.6 ..................................................................321
Fig.
5.6 ...................................................................321
Tab.
5.7 ..................................................................331
|
| any_adam_object | 1 |
| author | Dvurečenskij, Anatolij 1949- Pulmannová, Sylvia |
| author_GND | (DE-588)172681979 |
| author_facet | Dvurečenskij, Anatolij 1949- Pulmannová, Sylvia |
| author_role | aut aut |
| author_sort | Dvurečenskij, Anatolij 1949- |
| author_variant | a d ad s p sp |
| building | Verbundindex |
| bvnumber | BV036851582 |
| classification_rvk | SK 950 |
| ctrlnum | (OCoLC)706032854 (DE-599)BVBBV036851582 |
| discipline | Mathematik |
| edition | [1. ed, softcover version] |
| format | Book |
| fullrecord | <?xml version="1.0" encoding="UTF-8"?><collection xmlns="http://www.loc.gov/MARC21/slim"><record><leader>01803nam a2200445 cb4500</leader><controlfield tag="001">BV036851582</controlfield><controlfield tag="003">DE-604</controlfield><controlfield tag="005">20160616 </controlfield><controlfield tag="007">t</controlfield><controlfield tag="008">101203s2010 d||| |||| 00||| eng d</controlfield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">9789048155255</subfield><subfield code="9">978-90-481-5525-5</subfield></datafield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">9048155258</subfield><subfield code="9">90-481-5525-8</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(OCoLC)706032854</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(DE-599)BVBBV036851582</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="084" ind1=" " ind2=" "><subfield code="a">SK 950</subfield><subfield code="0">(DE-625)143273:</subfield><subfield code="2">rvk</subfield></datafield><datafield tag="100" ind1="1" ind2=" "><subfield code="a">Dvurečenskij, Anatolij</subfield><subfield code="d">1949-</subfield><subfield code="e">Verfasser</subfield><subfield code="0">(DE-588)172681979</subfield><subfield code="4">aut</subfield></datafield><datafield tag="245" ind1="1" ind2="0"><subfield code="a">New trends in quantum structures</subfield><subfield code="c">by Anatolij Dvurečenskij and Sylvia Pulmannová</subfield></datafield><datafield tag="250" ind1=" " ind2=" "><subfield code="a">[1. ed, softcover version]</subfield></datafield><datafield tag="264" ind1=" " ind2="1"><subfield code="a">Netherlands</subfield><subfield code="b">Springer</subfield><subfield code="c">2010</subfield></datafield><datafield tag="300" ind1=" " ind2=" "><subfield code="a">XVI, 541 S.</subfield><subfield code="b">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="490" ind1="1" ind2=" "><subfield code="a">Mathematics and its applications</subfield><subfield code="v">516</subfield></datafield><datafield tag="650" ind1="0" ind2="7"><subfield code="a">Quantentheorie</subfield><subfield code="0">(DE-588)4047992-4</subfield><subfield code="2">gnd</subfield><subfield code="9">rswk-swf</subfield></datafield><datafield tag="650" ind1="0" ind2="7"><subfield code="a">Mathematisches Modell</subfield><subfield code="0">(DE-588)4114528-8</subfield><subfield code="2">gnd</subfield><subfield code="9">rswk-swf</subfield></datafield><datafield tag="650" ind1="0" ind2="7"><subfield code="a">Mathematik</subfield><subfield code="0">(DE-588)4037944-9</subfield><subfield code="2">gnd</subfield><subfield code="9">rswk-swf</subfield></datafield><datafield tag="689" ind1="0" ind2="0"><subfield code="a">Quantentheorie</subfield><subfield code="0">(DE-588)4047992-4</subfield><subfield code="D">s</subfield></datafield><datafield tag="689" ind1="0" ind2="1"><subfield code="a">Mathematisches Modell</subfield><subfield code="0">(DE-588)4114528-8</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">Quantentheorie</subfield><subfield code="0">(DE-588)4047992-4</subfield><subfield code="D">s</subfield></datafield><datafield tag="689" ind1="1" ind2="1"><subfield code="a">Mathematik</subfield><subfield code="0">(DE-588)4037944-9</subfield><subfield code="D">s</subfield></datafield><datafield tag="689" ind1="1" ind2=" "><subfield code="5">DE-604</subfield></datafield><datafield tag="700" ind1="1" ind2=" "><subfield code="a">Pulmannová, Sylvia</subfield><subfield code="e">Verfasser</subfield><subfield code="4">aut</subfield></datafield><datafield tag="830" ind1=" " ind2="0"><subfield code="a">Mathematics and its applications</subfield><subfield code="v">516</subfield><subfield code="w">(DE-604)BV008163334</subfield><subfield code="9">516</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=020767536&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-020767536</subfield></datafield></record></collection> |
| id | DE-604.BV036851582 |
| illustrated | Illustrated |
| indexdate | 2024-07-09T22:49:23Z |
| institution | BVB |
| isbn | 9789048155255 9048155258 |
| language | English |
| oai_aleph_id | oai:aleph.bib-bvb.de:BVB01-020767536 |
| oclc_num | 706032854 |
| open_access_boolean | |
| owner | DE-739 |
| owner_facet | DE-739 |
| physical | XVI, 541 S. graph. Darst. |
| publishDate | 2010 |
| publishDateSearch | 2010 |
| publishDateSort | 2010 |
| publisher | Springer |
| record_format | marc |
| series | Mathematics and its applications |
| series2 | Mathematics and its applications |
| spelling | Dvurečenskij, Anatolij 1949- Verfasser (DE-588)172681979 aut New trends in quantum structures by Anatolij Dvurečenskij and Sylvia Pulmannová [1. ed, softcover version] Netherlands Springer 2010 XVI, 541 S. graph. Darst. txt rdacontent n rdamedia nc rdacarrier Mathematics and its applications 516 Quantentheorie (DE-588)4047992-4 gnd rswk-swf Mathematisches Modell (DE-588)4114528-8 gnd rswk-swf Mathematik (DE-588)4037944-9 gnd rswk-swf Quantentheorie (DE-588)4047992-4 s Mathematisches Modell (DE-588)4114528-8 s DE-604 Mathematik (DE-588)4037944-9 s Pulmannová, Sylvia Verfasser aut Mathematics and its applications 516 (DE-604)BV008163334 516 Digitalisierung UB Passau application/pdf http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=020767536&sequence=000002&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA Inhaltsverzeichnis |
| spellingShingle | Dvurečenskij, Anatolij 1949- Pulmannová, Sylvia New trends in quantum structures Mathematics and its applications Quantentheorie (DE-588)4047992-4 gnd Mathematisches Modell (DE-588)4114528-8 gnd Mathematik (DE-588)4037944-9 gnd |
| subject_GND | (DE-588)4047992-4 (DE-588)4114528-8 (DE-588)4037944-9 |
| title | New trends in quantum structures |
| title_auth | New trends in quantum structures |
| title_exact_search | New trends in quantum structures |
| title_full | New trends in quantum structures by Anatolij Dvurečenskij and Sylvia Pulmannová |
| title_fullStr | New trends in quantum structures by Anatolij Dvurečenskij and Sylvia Pulmannová |
| title_full_unstemmed | New trends in quantum structures by Anatolij Dvurečenskij and Sylvia Pulmannová |
| title_short | New trends in quantum structures |
| title_sort | new trends in quantum structures |
| topic | Quantentheorie (DE-588)4047992-4 gnd Mathematisches Modell (DE-588)4114528-8 gnd Mathematik (DE-588)4037944-9 gnd |
| topic_facet | Quantentheorie Mathematisches Modell Mathematik |
| url | http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=020767536&sequence=000002&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA |
| volume_link | (DE-604)BV008163334 |
| work_keys_str_mv | AT dvurecenskijanatolij newtrendsinquantumstructures AT pulmannovasylvia newtrendsinquantumstructures |