RECORD
A Geometric Vietoris-Begle Theorem, with an Application to Convex Subsets of Topological Vector Lattices
General Topology · Submitted 25 Sep 2019
abstract compiled · 2026-09-23 · no language-model review
The authors' main claim We show that if $L$ is a topological vector lattice, $u \colon L \to L$ is the function $u(x) = x \vee 0$, $C \subset L$ is convex, and $D = u(C)$ is metrizable, then $D$ is an ANR and $u|_C \colon C \to D$ is a homotopy equivalence and thus an AR.
The compiled record
The paper's own sentences, arranged. Each label is drawn from a closed vocabulary; the number beside it is the probability the classifier gave that label. Numbers in the tables are the authors', checked by code. No sentence in this record was written by a model.
Open the compiled record
The abstract, sentence by sentence
We show that if $L$ is a topological vector lattice, $u \colon L \to L$ is the function $u(x) = x \vee 0$, $C \subset L$ is convex, and $D = u(C)$ is metrizable, then $D$ is an ANR and $u|_C \colon C \to D$ is a homotopy equivalence and thus an AR. This is proved by verifying the hypotheses of a second result: if $X$ is a connected space that is homotopy equivalent to an ANR, $Y$ is an ANR, and $f \colon X \to Y$ is a continuous surjection such that for each $y \in Y$ and each neighborhood $V \subset Y$ of $y$, there is a neighborhood $V' \subset V$ of $y$ such that $f^{-1}(V')$ can be contracted in $f^{-1}(V)$, then $f$ is a homotopy equivalence. The latter result is a geometric analogue of the Vietoris-Begle theorem.
background contribution method result interpretation main claim
| # | sentence | role | the authors' own work | states the main conclusion | strength |
|---|---|---|---|---|---|
| s0 | We show that if $L$ is a topological vector lattice, $u \colon L \to L$ is the function $u(x) = x \vee 0$, $C \subset L$ is convex, and $D = u(C)$ is metrizable, then $D$ is an ANR and $u|_C \colon C \to D$ is a homotopy equivalence and thus an AR. | result 0.97 | 0.95 | 0.91 | asserted 1.00 |
| s1 | This is proved by verifying the hypotheses of a second result: if $X$ is a connected space that is homotopy equivalent to an ANR, $Y$ is an ANR, and $f \colon X \to Y$ is a continuous surjection such that for each $y \in Y$ and each neighborhood $V \subset Y$ of $y$, there is a neighborhood $V' \subset V$ of $y$ such that $f^{-1}(V')$ can be contracted in $f^{-1}(V)$, then $f$ is a homotopy equivalence. | method 0.81 | 0.77 | 0.07 | asserted 1.00 |
| s2 | The latter result is a geometric analogue of the Vietoris-Begle theorem. | interpretation 0.87 | 0.52 | 0.04 | asserted 1.00 |
What was examined, and what was not
- arXiv listing abstract v3
- full text
- figures and tables
- references and citing sentences
- relations to other papers
- P abstract
- S sections
- T body sentences
- C citations
- R cross-paper relations
The paper
Original abstract
We show that if $L$ is a topological vector lattice, $u \colon L \to L$ is the function $u(x) = x \vee 0$, $C \subset L$ is convex, and $D = u(C)$ is metrizable, then $D$ is an ANR and $u|_C \colon C \to D$ is a homotopy equivalence and thus an AR. This is proved by verifying the hypotheses of a second result: if $X$ is a connected space that is homotopy equivalent to an ANR, $Y$ is an ANR, and $f \colon X \to Y$ is a continuous surjection such that for each $y \in Y$ and each neighborhood $V \subset Y$ of $y$, there is a neighborhood $V' \subset V$ of $y$ such that $f^{-1}(V')$ can be contracted in $f^{-1}(V)$, then $f$ is a homotopy equivalence. The latter result is a geometric analogue of the Vietoris-Begle theorem.
Human review
Discussion
Know something about this paper? Leave a comment, or highlight any passage above to comment on it.