Dixmier's theorem for sequentially order continuous Baire measures on compact spaces

We prove that a Baire measure (or a regular Borel measure) on a compact Hausdorff space is sequentially order continuous as a linear functional on the Banach space of all continuous functions if and only if it vanishes on meager Baire subsets, a result parallel to a much earlier theorem of Dixmier. We also give some results on the relation between sequentially order continuous measures on compact spaces and countably additive measures on Boolean algebras.

     

Abstract ordered compact convex sets and algebras of the (sub)probabilistic powerdomain monad over ordered compact spaces

The majority of categories used in denotational semantics are topological in nature. One of these is the category of stably compact spaces and continuous maps. Previously, Eilenberg–Moore algebras were studied for the extended probabilistic powerdomain monad over the category of ordered compact spaces X and order-preserving continuous maps in the sense of Nachbin. Appropriate algebras were characterized as compact convex subsets of ordered locally convex topological vector spaces. In so doing, functional analytic tools were involved. The main accomplishments of this paper are as follows: the result mentioned is re-proved and is extended to the subprobabilistic case; topological methods are developed which defy an appeal to functional analysis; a more topological approach might be useful for the stably compact case; algebras of the (sub)probabilistic powerdomain monad inherit barycentric operations that satisfy the same equational laws as those in vector spaces. Also, it is shown that it is convenient first to embed these abstract convex sets in abstract cones, which are simpler to work with. Lastly, we state embedding theorems for abstract ordered locally compact cones and compact convex sets in ordered topological vector spaces.     

Groups of Invertible Binary Operations of a Topological Space

In this paper, continuous binary operations of a topological space are studied and a criterion of their invertibility is proved. The classification problem of groups of invertible continuous binary operations of locally compact and locally connected spaces is solved. A theorem on the binary distributive representation of a topological group is also proved.     

Integral representation of continuous comonotonically additive functionals

In this paper, I first prove an integral representation theorem: Every quasi-integral on a Stone lattice can be represented by a unique upper-continuous capacity. I then apply this representation theorem to study the topological structure of the space of all upper-continuous capacities on a compact space, and to prove the existence of an upper-continuous capacity on the product space of infinitely many compact Hausdorff spaces with a collection of consistent finite marginals.

     

A Yosida–Hewitt decomposition for totally monotone set functions on locally compact σ-compact topological spaces

We prove for totally monotone set functions defined on the set of Borel sets of a locally compact σ-compact topological space a similar decomposition theorem to the famous Yosida–Hewitt’s one for finitely additive measures. This way any totally monotone decomposes into a continuous part and a pathological part which vanishes on the compact subsets. We obtain as corollaries some decompositions for finitely additive set functions and for minitive set functions.     

Edelstein's fixed point theorem in topological spaces

An extension to topological spaces of a wellknown fixed point theorem of M. Edelstein for contractive mappings on metric spaces is presented. Results based on the generalized Edelstein's theorem are also established concerning the existence of fixed points of continuous selfmaps on a topological space. As a special case a compact starshaped subset of a linear topological space is considered. The results extend the fixed point theoremsfor nonexpansive mappings on a compact metric space of L.F.Guseman, Jr. and B.C. Peters, Jr.     

Even valuations on convex bodies

The notion of even valuation is introduced as a natural generalization of volume on compact convex subsets of Euclidean space. A recent characterization theorem for volume leads in turn to a connection between even valuations on compact convex sets and continuous functions on Grassmannians. This connection can be described in part using generating distributions for symmetric compact convex sets. We also explore some consequences of these characterization results in convex and integral geometry.

     

Analytic and Luzin spaces (non-separable case)

We introduce the concept of κ-analytic and κ-Luzin spaces as images of complete metric spaces by (disjoint) upper semi-continuous compact-valued correspondences which “preserve discreteness” in some sence (Definition in Section 3.1). The case κ = ω coincides with (Lindelöf) analytic spaces studied by Choquet, the first author and others. The main results are characterizations of uniform analytic spaces in terms of other parametrizations, complete sequences of covers, and Suslin subsets of some product of a compact and a complete metric space (Theorems in Section 3.2 and in Section 4), and characterizations of topological analytic spaces as Suslin subsets of paracompact ?ech-complete spaces (Theorem in Section 5).     

Structural properties of compact groups with measure-theoretic applications

Every compact group is Baire isomorphic to a product of compact metric spaces; the isomorphism takes the Haar measure on the group to a direct product measure. This topological connection between compact groups and products of compact metric spaces provides a unified treatment for (Baire) measures on compact groups and for measures on topological products of metric spaces.     

On the Euler characteristic of finite unions of convex sets

The Euler characteristic plays an important role in many subjects of discrete and continuous mathematics. For noncompact spaces, its homological definition, being a homotopy invariant, seems not as important as its role for compact spaces. However, its combinatorial definition, as a finitely additive measure, proves to be more applicable in the study of singular spaces such as semialgebraic sets, finitely subanalytic sets, etc. We introduce an interesting integral by means of which the combinatorial Euler characteristic can be defined without the necessity of decomposition and extension as in the traditional treatment for polyhedra and finite unions of compact convex sets. Since finite unions of closed convex sets cannot be obtained by cutting convex sets as in the polyhedral case, a separate treatment of the Euler characteristic for functions generated by indicator functions of closed convex sets and relatively open convex sets is necessary, and this forms the content of this paper.     

Strongly Generated Banach Spaces and Measures of Noncompactness

To generalize the Hausdorff measure of noncompactness to other classes of bounded sets (like e. g. conditionally weakly compact or Asplund sets), we introduce Grothendieck classes. We deduce integral inequalities for quantities (called Grothendieck measures) related to these classes. As a by-product, we can answer a question concerning the measure of noncompactness for linear T : X → Y introduced in [14], and generalize a theorem about weak solutions of differential equations in Banach spaces.     

Spaces of Densely Continuous Forms

The set C(X,Y) of continuous functions from a topological space X into a topological space Y is extended to the set D(X,Y) of densely continuous forms from X to Y, such form being a kind of multifunction from X to Y. The topologies of pointwise convergence, uniform convergence, and uniform convergence on compact sets are defined for D(X,Y), for locally compact spaces X and metric spaces Y having a metric satisfying the Heine–Borel property. Under these assumptions, D(X,Y) with the uniform topology is shown to be completely metrizable. In addition, if X is compact, D(X,Y) is completely metrizable under the topology of uniform convergence on compact sets. For this latter topology, an Ascoli theorem is established giving necessary and sufficient conditions for a subset of D(X,Y) to be compact.     

A uniqueness theorem for finitely additive invariant measures on a compact homogeneous space

Known uniqueness results for invariant measures on homogeneous spaces usually require fairly large domains of definition of the measures in question. This note, which was motivated by some special approach to integral geometric formulas, proves a uniqueness theorem for finitely additive, nonnegative invariant set functons defined on a certain (possibly small) algebra of subsets of a compact homogeneous space.     

Some generalizations of Backʼs Theorem

The problem of the existence of jointly continuous utility functions is studied. A continuous representation theorem of Back [1] gives the existence of a continuous map from the space of total preorders topologized by closed convergence (Fell topology) to the space of utility functions with different choice sets (partial maps) endowed with a generalization of the compact-open topology. The commodity space is locally compact and second countable. Our results generalize Back?s Theorem to non-metrizable commodity spaces with a family of not necessarily total preorders. Precisely, we consider regular commodity spaces having a weaker locally compact second countable topology.     

Preference orders and continuous representations

In this paper we prove some general theorems on the existence of continuous order-preserving functions on topological spaces with a continuous preorder. We use the concepts of network and netweight to prove new continuous representation theorems and we establish our main results for topological spaces that are countable unions of subspaces. Some results in the literature on path-connected, locally connected and separably connected spaces are shown to be consequences of the general theorems proved in the paper. Finally, we prove a continuous representation theorem for hereditarily separable spaces.     

The Kakutani fixed point theorem for Roberts spaces

Roberts spaces were the first examples of compact convex subsets of Hausdorff topological vector spaces (HTVS) where the Krein–Milman theorem fails. Because of this exotic quality they were candidates for a counterexample to Schauder's conjecture: any compact convex subset of a HTVS has the fixed point property. However, extending the notion of admissible subsets in HTVS of Klee [Math. Ann. 141 (1960) 286–296], Ngu [Topology Appl. 68 (1996) 1–12] showed the fixed point property for a class of spaces, including the Roberts spaces, he called weakly admissible spaces. We prove the Kakutani fixed point theorem for this class and apply it to show the non-linear alternative for weakly admissible spaces.     

<Emphasis Type="Italic">C</Emphasis>-Algebras on some Free-Banach Spaces

The main goal of this work is to study the Gelfand spaces of some commutative Banach algebras with unit within the space of bounded linear operators. We will also show, under special condition, that this algebra is isometrically isomorphic to some space of continuous functions defined over a compact. Such isometries preserve idempotent elements. This fact will allow us to define the respective associated measure which is known as spectral measure. Let us also notice that this measure is obtained by restriction of the reciprocal of the Gelfand transform to the set of characteristic functions of clopen subsets of the spectrum of above algebra. We will finish this work showing that each element of such algebras described above can be represented as an integral of some continuous function, where the integral has been defined through the spectral measure.     

Two Generating Mappings ωL and lL in Complete Lattices TVS and LFTVS

61.IntroductionRecently,weseparatelygavetheconceptofL-fuzzytoPOfoicalvectorspaceanddiscussthecontinuityofL-fuzzylinearorder-homomorphismin[lJ,[2],andweobtainedalotofin-terestingpropertiesinL-fuzzytopologicalvectorsPaces.Butthereisabasicproblem,i.e.whetherthedefinitionofL-fuzzytoPologicalvectorsPacesin[1]isagoodextensionornot,isn,tsolved.Inviewofthis,weintendheretodiscusstwogeneratingmappingscoLandt.L4j'andweprovedthedefinitionofL-fuzzytoPOlogicalvectorspacesisagoodextensioninthe'senseofR…     

Sublinear functionals and conical measures

The paper is devoted to the concept of conical measures which is central for the Choquet theory of integral representation in its final version. The conical measures need not be continuous under monotone pointwise convergence of sequences on the lattice subspace of functions which form their domain. We prove that they indeed become continuous (even in the nonsequential sense) when one restricts that domain to an obvious subcone. This result is in accord with the recent representation theory in measure and integration developed by the author. We also prove that one can pass from the subcone in question to a certain natural extended cone.     

Propositional distances and compact preference representation

Distances between possible worlds play an important role in logic-based knowledge representation (especially in belief change, reasoning about action, belief merging and similarity-based reasoning). We show here how they can be used for representing in a compact and intuitive way the preference profile of an agent, following the principle that given a goal G, then the closer a world w to a model of G, the better w. We give an integrated logical framework for preference representation which handles weighted goals and distances to goals in a uniform way. Then we argue that the widely used Hamming distance (which merely counts the number of propositional symbols assigned a different value by two worlds) is generally too rudimentary and too syntax-sensitive to be suitable in real applications; therefore, we propose a new family of distances, based on Choquet integrals, in which the Hamming distance has a position very similar to that of the arithmetic mean in the class of Choquet integrals.