


Pointfree pointwise suprema in archimedean lgroups



Description: 
We generalize the concept of the pointwise supremum of realvalued functions to the pointfree setting. The concept itself admits a direct and intuitive formulation which makes no mention of points. But our aim here is to investigate pointwise suprema of subsets of RL, the family of continuous real valued functions on a locale, or pointfree space. Thus our setting is the category W of archimedean latticeordered groups (lgroups) with designated weak order unit, with morphisms which preserve the group and lattice operations and take units to units. This is an appropriate context for this investigation because every Wobject can be canonically represented as a subobject of RL. We prove the appropriate analog of the NakanoStone Theorem: a (completely regular) locale L has the feature that RL is conditionally pointwise complete (sigmacomplete), i.e., every bounded (countable) family from RL has a pointwise supremum in RL, iff L is boolean (a Plocale). It is perhaps surprising that pointwise suprema can be characterized purely algebraically, without reference to a representation. They are the contextfree suprema, in the sense that the pointwise suprema are precisely those which are preserved by all morphisms out of G. We adopt the latter attribute as the final, representationfree definition of pointwise suprema. Thus emboldened, we adopt a maximally broad definition of unconditional pointwise completeness (sigmacompleteness): a divisible Wobject G is pointwise complete (sigmacomplete) if it contains a pointwise supremum for every subset which has a supremum in any extension. We show that the pointwise complete (sigmacomplete) Wobjects are those of the form RL for L a boolean locale (Plocale). Finally, we show that a Wobject G is pointwise sigmacomplete iff it is epicomplete.
Joint work with Anthony W. Hager

Date: 
20140910

Start Time: 
14:30 
Speaker: 
Richard N. Ball (Univ. Denver, USA)

Institution: 
Univ. Denver, USA

Place: 
Room 5.5

Research Groups: 
Algebra, Logic and Topology

See more:

<Main>



Attached Files 

One register found.1









