175 research outputs found
A decomposition theorem for maxitive measures
A maxitive measure is the analogue of a finitely additive measure or charge,
in which the usual addition is replaced by the supremum operation. Contrarily
to charges, maxitive measures often have a density. We show that maxitive
measures can be decomposed as the supremum of a maxitive measure with density,
and a residual maxitive measure that is null on compact sets under specific
conditions.Comment: 11 page
A Few Notes on Formal Balls
Using the notion of formal ball, we present a few new results in the theory
of quasi-metric spaces. With no specific order: every continuous
Yoneda-complete quasi-metric space is sober and convergence Choquet-complete
hence Baire in its -Scott topology; for standard quasi-metric spaces,
algebraicity is equivalent to having enough center points; on a standard
quasi-metric space, every lower semicontinuous -valued
function is the supremum of a chain of Lipschitz Yoneda-continuous maps; the
continuous Yoneda-complete quasi-metric spaces are exactly the retracts of
algebraic Yoneda-complete quasi-metric spaces; every continuous Yoneda-complete
quasi-metric space has a so-called quasi-ideal model, generalizing a
construction due to K. Martin. The point is that all those results reduce to
domain-theoretic constructions on posets of formal balls
Rothberger gaps in fragmented ideals
The~\emph{Rothberger number} of a definable
ideal on is the least cardinal such that there
exists a Rothberger gap of type in the quotient algebra
. We investigate for a subclass of the ideals, the fragmented ideals,
and prove that for some of these ideals, like the linear growth ideal, the
Rothberger number is while for others, like the polynomial growth
ideal, it is above the additivity of measure. We also show that it is
consistent that there are infinitely many (even continuum many) different
Rothberger numbers associated with fragmented ideals.Comment: 28 page
Uniqueness of directed complete posets based on Scott closed set lattices
In analogy to a result due to Drake and Thron about topological spaces, this
paper studies the dcpos (directed complete posets) which are fully determined,
among all dcpos, by their lattices of all Scott-closed subsets (such dcpos will
be called -unique).
We introduce the notions of down-linear element and quasicontinuous element
in dcpos, and use them to prove that dcpos of certain classes, including all
quasicontinuous dcpos as well as Johnstone's and Kou's examples, are
-unique. As a consequence, -unique dcpos with their
Scott topologies need not be bounded sober.Comment: 12 pages. arXiv admin note: substantial text overlap with
arXiv:1607.0357
Unsharp Values, Domains and Topoi
The so-called topos approach provides a radical reformulation of quantum
theory. Structurally, quantum theory in the topos formulation is very similar
to classical physics. There is a state object, analogous to the state space of
a classical system, and a quantity-value object, generalising the real numbers.
Physical quantities are maps from the state object to the quantity-value object
-- hence the `values' of physical quantities are not just real numbers in this
formalism. Rather, they are families of real intervals, interpreted as `unsharp
values'. We will motivate and explain these aspects of the topos approach and
show that the structure of the quantity-value object can be analysed using
tools from domain theory, a branch of order theory that originated in
theoretical computer science. Moreover, the base category of the topos
associated with a quantum system turns out to be a domain if the underlying von
Neumann algebra is a matrix algebra. For general algebras, the base category
still is a highly structured poset. This gives a connection between the topos
approach, noncommutative operator algebras and domain theory. In an outlook, we
present some early ideas on how domains may become useful in the search for new
models of (quantum) space and space-time.Comment: 32 pages, no figures; to appear in Proceedings of Quantum Field
Theory and Gravity, Regensburg (2010
- …