On exact capacities
Pith reviewed 2026-05-15 06:52 UTC · model grok-4.3
The pith
Exact capacities on compacta equal the envelopes of convex closed sets of probability measures.
A machine-rendered reading of the paper's core claim, the machinery that carries it, and where it could break.
Core claim
Exact capacities are described as envelopes of the convex closed sets of probability measures. This representation is used to prove openness of the functor of exact capacities. The paper also introduces strongly exact capacities and poses the problem of whether these coincide with exact capacities.
What carries the argument
The envelope representation that expresses each exact capacity as the pointwise supremum of a convex closed set of probability measures.
If this is right
- Exact capacities form a subfunctor of the capacity functor lying between the convex-capacity and balanced-capacity subfunctors.
- The functor that assigns to each compactum its set of exact capacities is open.
- Strongly exact capacities are defined and their possible equality with exact capacities is posed as an open question.
Where Pith is reading between the lines
- The envelope representation may let classical results about cores of exact games transfer directly to topological settings.
- Openness of the functor supplies a continuity property that could be used to study limits of sequences of exact capacities.
- If the two classes coincide, the simpler envelope description would classify all strongly exact capacities at once.
Load-bearing premise
Topological analogues of exact games preserve the core exactness properties from cooperative game theory when moved to the category of compact spaces.
What would settle it
An explicit capacity on a compact space that satisfies the topological exactness axioms yet cannot be recovered as the envelope of any convex closed set of probability measures.
read the original abstract
We consider capacity (fuzzy measure, non-additive probability) on a compactum as a monotone cooperative normed game. We introduce topological analogues of well known class of exact games and show that these classes form subfunctors of the capacity functor which lie between known subfunctors of convex capacities and balanced capacities. It is natural to consider probability measures as elements of core of such games. We describe exact capacities as envelopes of the convex closed sets of probability measures. Using such representation we prove openness of the functor of exact capacities. We also consider strongly exact capacities and pose the problem of coincidence of these two classes.
Editorial analysis
A structured set of objections, weighed in public.
Referee Report
Summary. The paper views capacities on compacta as monotone cooperative normed games and introduces topological analogues of exact games from cooperative game theory. These analogues are shown to form subfunctors of the capacity functor lying between the convex-capacity and balanced-capacity subfunctors. Exact capacities are represented as envelopes of convex closed sets of probability measures; this representation is then used to prove that the exact-capacity functor is open. The paper also introduces strongly exact capacities and poses the question of their coincidence with exact capacities.
Significance. If the representation theorem and the openness proof hold, the work supplies a concrete bridge between exact games and categorical topology on compacta, furnishing a new subfunctor with an explicit description in terms of cores. The envelope representation itself is a strength, as it reduces the new class to standard convex sets of measures and thereby makes functoriality arguments more tractable.
major comments (1)
- [Representation and openness argument] The central deduction that the envelope representation implies openness of the exact-capacity functor requires an explicit verification that the envelope operation is continuous (or open) with respect to the topology placed on the space of capacities. The abstract states only that the representation is used to prove openness; without a separate argument establishing continuity of the map from closed convex sets of measures to their envelopes, the step from representation to openness remains unsecured.
minor comments (2)
- [Definitions] The precise topology on the space of capacities (pointwise, weak*, or Vietoris) should be stated explicitly when the envelope map is introduced, so that continuity claims can be checked directly.
- [Introduction] A short comparison table or diagram locating the exact-capacity functor relative to the convex, balanced, and other known subfunctors would improve readability.
Simulated Author's Rebuttal
We thank the referee for the detailed reading and for identifying the need to make the continuity argument explicit. We address the major comment below and will revise the manuscript accordingly.
read point-by-point responses
-
Referee: The central deduction that the envelope representation implies openness of the exact-capacity functor requires an explicit verification that the envelope operation is continuous (or open) with respect to the topology placed on the space of capacities. The abstract states only that the representation is used to prove openness; without a separate argument establishing continuity of the map from closed convex sets of measures to their envelopes, the step from representation to openness remains unsecured.
Authors: We agree that the transition from the envelope representation to openness requires an explicit continuity statement. In the revised manuscript we will insert a new lemma establishing that the envelope map, from the space of nonempty closed convex subsets of probability measures (equipped with the Vietoris topology) to the space of capacities (with the topology of uniform convergence on compacta), is continuous. The proof of the lemma proceeds by observing that the envelope of a set K is the pointwise supremum of the measures in K and that the Vietoris topology ensures upper and lower semicontinuity of this supremum operation with respect to the uniform metric on capacities. This lemma will be placed immediately after the representation theorem and will be invoked to complete the openness argument for the exact-capacity functor. revision: yes
Circularity Check
No circularity: envelope representation is a derived theorem used to establish openness
full rationale
The paper defines exact capacities as topological analogues of exact games in the category of compacta, positions them between convex and balanced capacities, and then proves a representation theorem expressing them as envelopes of closed convex sets of probability measures. This representation is invoked to deduce openness of the exact-capacity functor. No step reduces a claimed prediction or theorem to a fitted parameter, self-citation, or definitional tautology; the envelope construction is shown from the monotonicity and core properties rather than assumed by fiat. The derivation therefore remains self-contained and non-circular.
Axiom & Free-Parameter Ledger
axioms (2)
- domain assumption Capacities are monotone set functions on compact spaces that can be viewed as normed cooperative games.
- domain assumption Probability measures form the core of the games under consideration.
Reference graph
Works this paper leans on
-
[1]
L.Bazylevych, D.Repov?s, M.ZarichnyiHyperspace of convex compacta of nonmetrizable com- pact convex subspaces of locally convex spacesTopology and its Applications155(2008), 764–772
work page 2008
-
[2]
W.Briec, Ch.HorvathNash points, Ky Fan inequality and equilibria of abstract economies in Max-Plus andB-convexity,J. Math. Anal. Appl.341(2008), 188–199
work page 2008
-
[3]
ChoquetTheory of Capacity,An.l’Instiute Fourie5(1953-1954), 13–295
G. ChoquetTheory of Capacity,An.l’Instiute Fourie5(1953-1954), 13–295
work page 1953
- [4]
-
[5]
J.Eichberger, D.Kelsey,Non-additive beliefs and strategic equilibria, Games Econ Behav30 (2000) 183–215
work page 2000
-
[6]
Eilenberg S., Moore J.,Adjoint functors and triples, Ill.J.Math.,9(1965), 381–389
work page 1965
-
[7]
of Mathematical Economics16(1987) 65–88
I.Gilboa,Expected utility with purely subjective non-additive probabilities, J. of Mathematical Economics16(1987) 65–88
work page 1987
-
[8]
I.L.GlicksbergA further generalization of the Kakutani fixed point theorem, with application to Nash equilibrium points,Proc. Am. Math. Soc.5(1952), 170–174
work page 1952
-
[9]
Michel Grabisch, Set Functions, Games and Capacities in Decision Making. Springer, 2016
work page 2016
-
[10]
R.Kozhan, M.Zarichnyi,Nash equilibria for games in capacities, Econ. Theory35(2008) 321–331
work page 2008
-
[11]
Lin Zhou,Integral representation of continuous comonotonically additive functionals, Trans- actions of the American Mathematical Society350(1998) 1811–1822
work page 1998
-
[12]
O.R.Nykyforchyn, M.M.Zarichnyi,Capacity functor in the category of compacta, Mat.Sb. 199(2008) 3–26
work page 2008
-
[13]
O.R.Nykyforchyn, M.M.Zarichnyi,Open mapping theorems for capacities, Fundamenta Mathematicae211(2011) 1–13
work page 2011
-
[14]
T.Radul,Games in possibility capacities with payoff expressed by fuzzy integral, Fuzzy Sets and systems434(2022) 185–197
work page 2022
-
[15]
T.Radul,Convexities generated by L-monads, Applied Categorical Structures19(2011) 729– 739. 6 TARAS RADUL
work page 2011
-
[16]
T.Radul,Functional representations of Lawson monads, Applied Categorical Structures9 (2001) 457–463
work page 2001
-
[17]
T.Radul,Nash equilibrium for binary convexities, Topological Methods in Nonlinear Analysis 48(2016) 555–564
work page 2016
-
[18]
T.Radul,Equilibrium under uncertainty with Sugeno payoff, Fuzzy Sets and systems349 (2018) 64–70
work page 2018
-
[19]
T.Radul,Balanced capacities, Topological Methods in Nonlinear Analysis62(2023) 553–567
work page 2023
-
[20]
T.Radul,Equilibrium under uncertainty with fuzzy payoff, Topological Methods in Nonlinear Analysis59(2022) 1029–1045
work page 2022
-
[21]
T.Radul,Games in capacities with payoff expressed by max-plus integral, Fuzzy Sets and systems (submitted)
-
[22]
T.Radul,The monad of inclusion hyperspaces and its algebras, Ukrainian Mathematical Journal42(6)(1990) 712–716
work page 1990
-
[23]
L.S.Shapley,On market games, Journal of Economic Theory1(1969) 9–25
work page 1969
-
[24]
D.Schmeidler,Subjective probability and expected utility without additivity, Econometrica57 (1989) 571–587
work page 1989
-
[25]
D.Schmeidler,Cores of exact games, I. J. Math. Analysis and Appl.40(1972) 214–225
work page 1972
-
[26]
A. Teleiko, M. Zarichnyi,Categorical Topology of Compact Hausdorff Spaces, VNTL Pub- lishers. Lviv, 1999
work page 1999
discussion (0)
Sign in with ORCID, Apple, or X to comment. Anyone can read and Pith papers without signing in.