-
Myopic equilibria, the spanning property, and subgame bundles
Authors:
Robert Simon,
Stanislaw Spiez,
Henryk Torunczyk
Abstract:
For a set-valued function $F$ on a compact subset $W$ of a manifold, spanning is a topological property that implies that $F(x) \ne 0$ for interior points $x$ of $W$. A myopic equilibrium applies when for each action there is a payoff whose functional value is not necessarily affine in the strategy space. We show that if the payoffs satisfy the spanning property, then there exist a myopic equilibr…
▽ More
For a set-valued function $F$ on a compact subset $W$ of a manifold, spanning is a topological property that implies that $F(x) \ne 0$ for interior points $x$ of $W$. A myopic equilibrium applies when for each action there is a payoff whose functional value is not necessarily affine in the strategy space. We show that if the payoffs satisfy the spanning property, then there exist a myopic equilibrium (though not necessarily a Nash equilibrium). Furthermore, given a parametrized collection of games and the spanning property to the structure of payoffs in that collection, the resulting myopic equilibria and their payoffs have the spanning property with respect to that parametrization. This is a far reaching extension of the Kohberg-Mertens Structure Theorem. There are at least four useful applications, when payoffs are exogenous to a finite game tree (for example a finitely repeated game followed by an infinitely repeated game), when one wants to understand a game strategically entirely with behaviour strategies, when one wants to extends the subgame concept to subsets of a game tree that are known in common, and for evolutionary game theory. The proofs involve new topological results asserting that spanning is preserved by relevant operations on set-valued functions.
△ Less
Submitted 25 July, 2020;
originally announced July 2020.
-
Deficient and multiple points of maps into a manifold
Authors:
Daciberg L. Gonçalves,
Thaís F. M. Monis,
Stanisław Spież
Abstract:
For a map $f:X \to M$ into a manifold $M$, we study the sets of deficient and multiple points of $f$. In case of the set of deficient points, we estimate its dimension. For multiple points, we study its density in $X$, and we also provide examples where its complement is dense.
For a map $f:X \to M$ into a manifold $M$, we study the sets of deficient and multiple points of $f$. In case of the set of deficient points, we estimate its dimension. For multiple points, we study its density in $X$, and we also provide examples where its complement is dense.
△ Less
Submitted 23 October, 2018;
originally announced October 2018.
-
Extension of the Borsuk Theorem on Non-Embeddability of Spheres
Authors:
J. Krasinkiewicz,
S. Spiez
Abstract:
It is proved that the suspension of a closed n-dimensional manifold M, $n\ge1$, does not embed in a product of n+1 curves. In fact, the ultimate result will be proved in a much more general setting. This is a far-reaching generalization the Borsuk theorem on non-embeddability of the (n+1)-dimensional sphere in a product of n+1 curves.
It is proved that the suspension of a closed n-dimensional manifold M, $n\ge1$, does not embed in a product of n+1 curves. In fact, the ultimate result will be proved in a much more general setting. This is a far-reaching generalization the Borsuk theorem on non-embeddability of the (n+1)-dimensional sphere in a product of n+1 curves.
△ Less
Submitted 25 June, 2009;
originally announced June 2009.
-
Generalized manifolds in products of curves
Authors:
A. Koyama,
J. Krasinkiewicz,
S. Spiez
Abstract:
The intent of this article is to study some special $n$-dimensional continua lying in products of $n$ curves. (The paper is an improved version of a portion of \cite{K-K-S}.) We show that if $X$ is a locally connected, so-called, quasi $n$-manifold lying in a product of $n$ curves then rank of $H^1(X)\ge n$. Moreover, if $\rank H^1(X)<2n$ then $X$ can be represented as a product of an $m$-torus…
▽ More
The intent of this article is to study some special $n$-dimensional continua lying in products of $n$ curves. (The paper is an improved version of a portion of \cite{K-K-S}.) We show that if $X$ is a locally connected, so-called, quasi $n$-manifold lying in a product of $n$ curves then rank of $H^1(X)\ge n$. Moreover, if $\rank H^1(X)<2n$ then $X$ can be represented as a product of an $m$-torus and a quasi $(n-m)$-manifold, where $m\ge2n-\rank H^1(X)$. It follows that certain 2-dimensional contractible polyhedra are not embeddable in products of two curves. On the other hand, we show that any collapsible 2-dimensional polyhedron can be embedded in a product of two trees. We answer a question of R. Cauty proving that closed surfaces embeddable in products of two curves can be also embedded in products of two graphs. On the other hand, we construct an example of a 2-dimensional polyhedron which can be embedded in a product of two curves though it is not embeddable in any product of two graphes. This solves in the negative another problem of Cauty.
△ Less
Submitted 22 February, 2008;
originally announced February 2008.
-
Embedding compacta into products of curves
Authors:
A. Koyama,
J. Krasinkiewicz,
S. Spiez
Abstract:
We present some results on n-dimensional compacta lying in n-dimensional products of compacta, in particular, in products of n 1-dimensional compacta. Most of our basic results are proven under the assumption that the compacta X admit essential maps into the n-sphere. The results of the present paper may be viewed as an extension of the theory developed so far by other authors.
First, we prove…
▽ More
We present some results on n-dimensional compacta lying in n-dimensional products of compacta, in particular, in products of n 1-dimensional compacta. Most of our basic results are proven under the assumption that the compacta X admit essential maps into the n-sphere. The results of the present paper may be viewed as an extension of the theory developed so far by other authors.
First, we prove that if X is an n-dimensional compactum with $H^n(X) \neq 0$ that embeds in either a product of n curves or the nth symmetric product of a curve, then there exists an algebraically essential map of X into the n-torus. Consequently, there exist elements $a_1,...,a_n$ in $H^1(X)$ whose cup product is non-zero. Therefore, the rank of $H^1(X)$ is at least n, and the category of X exceeds n. Next, we introduce some new classes of n-dimensional continua and show that embeddability of locally connected quasi n-manifolds into products of n curves also implies that the rank of $H^1(X)$ is at least n. It follows that some 2-dimensional contractible polyhedra are not embeddable in products of two curves. On the other hand, we show that any collapsible 2-dimensional polyhedron can be embedded in a product of two trees. We answer a question posed by Cauty proving that closed surfaces embeddable in products of two curves can be also embedded in products of two graphs. We prove that no closed surface, different from the 2-torus, lying in a product of two curves is a retract of that product.
△ Less
Submitted 20 December, 2007;
originally announced December 2007.
-
A parametrized version of the Borsuk Ulam theorem
Authors:
Thomas Schick,
Robert Simon,
Stanislav Spiez,
Henryk Torunczyk
Abstract:
The main result of this note is a parametrized version of the Borsuk-Ulam theorem. We show that for a continuous family of Borsuk-Ulam situations, parameterized by points of a compact manifold W, its solution set also depends continuously on the parameter space W. Continuity here means that the solution set supports a homology class which maps onto the fundamental class of W. When W is a subset of…
▽ More
The main result of this note is a parametrized version of the Borsuk-Ulam theorem. We show that for a continuous family of Borsuk-Ulam situations, parameterized by points of a compact manifold W, its solution set also depends continuously on the parameter space W. Continuity here means that the solution set supports a homology class which maps onto the fundamental class of W. When W is a subset of Euclidean space, we also show how to construct such a continuous family starting from a family depending in the same way continuously on the points of the boundary of W. This solves a problem related to a conjecture which is relevant for the construction of equilibrium strategies in repeated two-player games with incomplete information. A new method (of independent interest) used in this context is a canonical symmetric squaring construction in Cech homology with coefficients in Z/2Z.
△ Less
Submitted 13 May, 2011; v1 submitted 12 September, 2007;
originally announced September 2007.
