arXiv 1108.22012011-08-10math.LOcs.GT

Brouwer's fixed point theorem with sequentially at most one fixed point

Yasuhito Tanaka

英文摘要：

We present a constructive proof of Brouwer's fixed point theorem with sequentially at most one fixed point, and apply it to the mini-max theorem of zero-sum games.

机构、总结、中文摘要均由AI分析而来，可能存在错误，请以论文正文为准。

阅读原文

阅读 PDF ↗

arXiv 页面 ↗HTML 原文 ↗

本文内容

英文摘要相关论文

机构、总结、中文摘要均由AI分析而来，可能存在错误，请以论文正文为准。

继续探索

相关论文

Constructive proof of Brouwer's fixed point theorem for sequentially locally non-constant and uniformly sequentially continuous functions by Sperner's lemma

In this paper using Sperner's lemma for modified partition of a simplex we will constructively prove Brouwer's fixed point theorem for sequentially locally non-constant and uniformly sequentially continuous functions.

2011-04-25math.LO

Constructive proof of Brouwer's fixed point theorem for sequentially locally non-constant functions

We present a constructive proof of Brouwer's fixed point theorem for uniformly continuous and sequentially locally non-constant functions based on the existence of approximate fixed points. And we will show that Brouwer's fixed point theorem for uniformly continuous and sequentially locally non-constant functions implies Sperner's lemma for a simplex. Since the existence of approximate fixed points is derived from Sperner's lemma, our Brouwer's fixed point theorem is equivalent to Sperner's lemma.

2011-08-23math.LO

布劳威尔不动点定理与弱柯尼希引理的构造性等价性

Constructive equivalence between Brouwer's fixed-point theorem and weak König's lemma

Kochi University（高知大学）

该研究在构造性反数学中证明布劳威尔不动点定理与弱柯尼希引理等价，通过推广Orevkov的构造实现推导，明确二者的构造性等价关系。

2026-10-15math.LO

Brouwer fixed point theorem as a corollary of Lawvere

It is investigated in what sense the Brouwer fixed point theorem may be viewed as a corollary of the Lawvere fixed point theorem. A suitable generalisation of the Lawvere fixed point theorem is found and a means is identified by which the Brouwer fixed point theorem can be shown to be a corollary, once an appropriate continuous surjective mapping $A' \rightarrow X^{A''}$ has been constructed for each space $X$ in a certain class of "nice" spaces for each one of which the exponential topology on $X^{A''}$ exists, and here $A'$ and $A''$ have the same carrier set and the topology on $A'$ is fine…

2020-05-20math.LO

Kakutani's fixed point theorem in constructive mathematics

In this paper we consider Kakutani's extension of the Brouwer fixed point theorem within the framework of Bishop's constructive mathematics. Kakutani's fixed point theorem is classically equivalent to Brouwer's fixed point theorem. The constructive proof of (an approximate) Brouwer's fixed point theorem relies on a finite combinatorial argument; consequently we must restrict our attention to uniformly continuous functions. Since Brouwer's fixed point theorem is a special case of Kakutani's, the mappings in any constructive version of Kakutani's fixed point theorem must also satisfy some form o…

2016-11-08math.LO

Connected Choice and the Brouwer Fixed Point Theorem

We study the computational content of the Brouwer Fixed Point Theorem in the Weihrauch lattice. Connected choice is the operation that finds a point in a non-empty connected closed set given by negative information. One of our main results is that for any fixed dimension the Brouwer Fixed Point Theorem of that dimension is computably equivalent to connected choice of the Euclidean unit cube of the same dimension. Another main result is that connected choice is complete for dimension greater than or equal to two in the sense that it is computably equivalent to Weak Kőnig's Lemma. While we can p…

2018-11-09cs.LOmath.LO

更多相关论文收起更多论文

Brouwer's fixed-point theorem in real-cohesive homotopy type theory

We combine Homotopy Type Theory with axiomatic cohesion, expressing the latter internally with a version of "adjoint logic" in which the discretization and codiscretization modalities are characterized using a judgmental formalism of "crisp variables". This yields type theories that we call "spatial" and "cohesive", in which the types can be viewed as having independent topological and homotopical structure. These type theories can then be used to study formally the process by which topology gives rise to homotopy theory (the "fundamental $\infty$-groupoid" or "shape"), disentangling the "iden…

2017-04-25math.ATmath.CTmath.LO

Constructive proofs of Tychonoff's and Schauder's fixed point theorems for sequentially locally non-constant functions

We present a constructive proof of Tychonoff's fixed point theorem in a locally convex space for sequentially locally non-constant functions, As a corollary to this theorem we also present Schauder's fixed point theorem in a Banach space for sequentially locally non-constant functions. We follow the Bishop style constructive mathematics.

2011-05-18math.LO

Constructive proof of the existence of equilibrium in competitive economy with sequentially locally non-constant excess demand functions

We present a constructive proof of the existence of an equilibrium in a competitive economy with sequentially locally non-constant excess demand functions. And we will show that the existence of such an equilibrium implies Sperner's lemma. Since the existence of an equilibrium is derived from the existence an approximate fixed point of uniformly continuous functions, which is derived from Sperner's lemma, the existence of an equilibrium in a competitive economy with sequentially locally non-constant excess demand functions is equivalent to Sperner's lemma.

2011-08-24cs.GTmath.LO