相关论文: Brouwer's fan theorem

This is a companion note to our paper 'A relative Szemer\'edi theorem', elaborating on a concluding remark. In that paper, we showed how to prove a relative Szemer\'edi theorem for $(r+1)$-term arithmetic progressions assuming a linear…

We present a simple set-theoretic proof of the Banach-Stone Theorem .We thus apply this Topological classification theorem to the still unsolved problem of topological classification of euclidean manifolds through two conjectures and…

Building on the work of the fourth author in math.AG/9904074, we prove the weak factorization conjecture for birational maps in characteristic zero: a birational map between complete nonsingular varieties over an algebraically closed field…

Lusin's Theorem states that, for every Borel-measurable function $\bf{f}$ on $\mathbb R$ and every $\epsilon>0$, there exists a continuous function $\bf{g}$ on $\mathbb R$ which is equal to $\bf{f}$ except on a set of measure $<\epsilon$.…

We investigate uniform ergodic type theorems for additive and subadditive functions on a subshift over a finite alphabet. We show that every strictly ergodic subshift admits a uniform ergodic theorem for Banach-space-valued additive…

We prove that every unital C*-algebra $A$ has the Mazur--Ulam property. Namely, every surjective isometry from the unit sphere $S_A$ of $A$ onto the unit sphere $S_Y$ of another normed space $Y$ extends to a real linear map. This extends…

We give an elementary and self-contained proof of the uniformization theorem for non-compact simply-connected Riemann surfaces.

In this paper we prove a uniqueness theorem on generalized Kahler-Einstein metrics on Fano manifolds. Our result generalize the one shown by Berndtsson using the convexity properties of Bergman kernels. The same technics as well as that of…

Here I prove some extension theorem for multifunctions in a space with an arbitrary uniform structure and orbital completeness. The motivation comes from a fixed point theorem due to Dhage which is proved as a special case of the theorem…

Viewing a fan as a partially ordered set (of cones) we consider a category of sheaves on the fan which corresponds to a category of equivariant sheaves on the corresponding toric variety if the fan is rational. In this category we define an…

The Wigner's theorem, which is one of the cornerstones of the mathematical formulation of quantum mechanics, asserts that every symmetry of quantum system is unitary or anti-unitary. This classical result was first given by Wigner in 1931.…

Browder (1960) proved that for every continuous function $F : X \times Y \to Y$, where $X$ is the unit interval and $Y$ is a nonempty, convex, and compact subset of $\dR^n$, the set of fixed points of $F$, defined by $C_F := \{ (x,y) \in X…

A \textit{$t$-unit-bar representation} of a graph $G$ is an assignment of sets of at most $t$ horizontal unit-length segments in the plane to the vertices of $G$ so that (1) all of the segments are pairwise nonintersecting, and (2) two…

The equivariant cohomology ring of a GKM manifold is isomorphic to the cohomology ring of its GKM graph. In this paper we explore the implications of this fact for equivariant fiber bundles for which the total space and the base space are…

Konig's theorem states that the covering number and the matching number of a bipartite graph are equal. We prove a generalisation of this result, in which each point in one side of the graph is replaced by a subtree of a given tree. The…

Kakutani's fixed point theorem is a generalization of Brouwer's fixed point theorem to upper semicontinuous multivalued maps and is used extensively in game theory and other areas of economics. Earlier works have shown that Sperner's lemma…

In much discussed work Artemov has recently shown that, for $\mathrm{PA}$, the consistency schema admits a form of uniform verification via selector proofs, despite the unprovability of the corresponding uniform consistency sentence…

There are many results asserting the existence of tree-decompositions of minimal width which still represent local connectivity properties of the underlying graph, perhaps the best-known being Thomas' theorem that proves for every graph $G$…

We survey our recent result that for every continuous function there is an absolutely continuous homeomorphism such that the composition has a uniformly converging Fourier expansion. We mention the history of the problem, orginally stated…

Some aspects of a mathematical theory of rigidity and flexibility are developed for general infinite frameworks and two main results are obtained. In the first sufficient conditions, of a uniform local nature, are obtained for the existence…