Dominika Burešová presents On locally finite orthomodular lattices
On 2023-10-06 14:00:00 at JP3:B-601
Presentation of the paper
Burešová, D.; Pták, P.
On locally finite orthomodular lattices
Mathematica Slovaca. 2023, 73(2), 545-549. DOI 10.1515/ms-2023-0040
Let us denote by LF the class of all orthomodular lattices (OMLs) that are
locally finite (i.e., L ∈ LF provided each finite subset of L generates in L
a
finite subOML). In this note, we first show how one can obtain new locally
finite OMLs from the initial ones and enlarge thus the class LF. We find LF
considerably large though, obviously, not all OMLs belong to LF. Then we study
states on the OMLs of LF. We show that local finiteness may to a certain extent
make up for distributivity. For instance, we show that if L ∈ LF and if for
any finite subOML K there is a state s: K → [0,1] on K, then there is a state
on the entire L. We also consider further algebraic and state properties of LF
relevant to the quantum logic theory.
Venue: The seminar will take place in Dejvice, JP3:B-600, and online through MS
Teams
at the following link:
https://teams.microsoft.com/l/meetup-join/19%3abfb91ce1bae94a4ea7562654de3196ee%40thread.tacv2/1696431298006?context=%7b%22Tid%22%3a%22f345c406-5268-43b0-b19f-5862fa6833f8%22%2c%22Oid%22%3a%22af3305e7-c504-4df7-a242-1fc1c1a6e0e7%22%7d
It will not be recorded.
Remark: For access to the lecture hall, knock the door in the 6th floor of
building B (the end close to the square) or all call M. Navara by a mobile
phone; the number can be sent on request.
Burešová, D.; Pták, P.
On locally finite orthomodular lattices
Mathematica Slovaca. 2023, 73(2), 545-549. DOI 10.1515/ms-2023-0040
Let us denote by LF the class of all orthomodular lattices (OMLs) that are
locally finite (i.e., L ∈ LF provided each finite subset of L generates in L
a
finite subOML). In this note, we first show how one can obtain new locally
finite OMLs from the initial ones and enlarge thus the class LF. We find LF
considerably large though, obviously, not all OMLs belong to LF. Then we study
states on the OMLs of LF. We show that local finiteness may to a certain extent
make up for distributivity. For instance, we show that if L ∈ LF and if for
any finite subOML K there is a state s: K → [0,1] on K, then there is a state
on the entire L. We also consider further algebraic and state properties of LF
relevant to the quantum logic theory.
Venue: The seminar will take place in Dejvice, JP3:B-600, and online through MS
Teams
at the following link:
https://teams.microsoft.com/l/meetup-join/19%3abfb91ce1bae94a4ea7562654de3196ee%40thread.tacv2/1696431298006?context=%7b%22Tid%22%3a%22f345c406-5268-43b0-b19f-5862fa6833f8%22%2c%22Oid%22%3a%22af3305e7-c504-4df7-a242-1fc1c1a6e0e7%22%7d
It will not be recorded.
Remark: For access to the lecture hall, knock the door in the 6th floor of
building B (the end close to the square) or all call M. Navara by a mobile
phone; the number can be sent on request.