-
A Pythagorean Theorem for Volume
Authors:
Fredric D. Ancel
Abstract:
Lebesgue measurable subsets A and B of parallel or identical k-dimensional affine subspaces of Euclidean n-space E^n satisfy
The Product Formula for Volume: Vol_k(A)Vol_k(B) = \sum_{J \in S(n,k)} Vol_k(π_J(A))Vol_k(π_J(B)).
Here Vol_k denotes k-dimensional Lebesgue measure; S(n,k) denotes the set of all k-element subsets of {1,2,..., n}; and for J \in S(n,k), E^J = {(x_1,x_2,...,x_n) \in E^n :…
▽ More
Lebesgue measurable subsets A and B of parallel or identical k-dimensional affine subspaces of Euclidean n-space E^n satisfy
The Product Formula for Volume: Vol_k(A)Vol_k(B) = \sum_{J \in S(n,k)} Vol_k(π_J(A))Vol_k(π_J(B)).
Here Vol_k denotes k-dimensional Lebesgue measure; S(n,k) denotes the set of all k-element subsets of {1,2,..., n}; and for J \in S(n,k), E^J = {(x_1,x_2,...,x_n) \in E^n : x_i = 0 for all i \notin J} and π_J : E^n \rightarrow E^J is the projection that sends the i^{th} coordinate of a point of E^n to 0 whenever i \notin J.
Setting B = A, we obtain the corollary:
The Pythagorean Theorem for Volume: Vol_k(A)^2 = \sum_{J \in S(n,k)} (Vol_k(π_J(A)))2.
△ Less
Submitted 14 May, 2023;
originally announced May 2023.
-
Semi-isotopic knots
Authors:
Fredric D. Ancel
Abstract:
A $\textit{knot}$ is a possibly wild simple closed curve in $S^3$. A knot $J$ is $\textit{semi-isotopic}$ to a knot $K$ if there is an annulus $A$ in $S^3\times[0,1]$ such that $A\cap(S^3\times\{0,1\})=\partial A=(J\times\{0\})\cup(K\times\{1\})$ and there is a homeomorphism $e:S^1\times[0,1)\rightarrow A-(K\times\{1\})$ such that $e(S^1\times\{t\})\subset S^3\times\{t\}$ for every $t\in[0,1)$.…
▽ More
A $\textit{knot}$ is a possibly wild simple closed curve in $S^3$. A knot $J$ is $\textit{semi-isotopic}$ to a knot $K$ if there is an annulus $A$ in $S^3\times[0,1]$ such that $A\cap(S^3\times\{0,1\})=\partial A=(J\times\{0\})\cup(K\times\{1\})$ and there is a homeomorphism $e:S^1\times[0,1)\rightarrow A-(K\times\{1\})$ such that $e(S^1\times\{t\})\subset S^3\times\{t\}$ for every $t\in[0,1)$.
$\textbf{Theorem.}$ Every knot is semi-isotopic to an unknot.
△ Less
Submitted 3 January, 2022; v1 submitted 27 December, 2021;
originally announced December 2021.
-
On the isometrization of groups of homeomorphisms
Authors:
Fredric D. Ancel
Abstract:
Let $G$ be a group of homeomorphisms of a topological space $X$. $G$ is $\textit{(properly) isometrizable}$ if there exists a $G$-invariant (proper) gauge structure on $X$. $G$ is $\textit{equiregular}$ if for every $x \in X$ and every open neighborhood $U$ of $x$ in $X$ there is an open neighborhood $V$ of $x$ in $X$ such that $cl(V) \subset U$ and every $y \in X$ has an open neighborhood $N_y$ w…
▽ More
Let $G$ be a group of homeomorphisms of a topological space $X$. $G$ is $\textit{(properly) isometrizable}$ if there exists a $G$-invariant (proper) gauge structure on $X$. $G$ is $\textit{equiregular}$ if for every $x \in X$ and every open neighborhood $U$ of $x$ in $X$ there is an open neighborhood $V$ of $x$ in $X$ such that $cl(V) \subset U$ and every $y \in X$ has an open neighborhood $N_y$ with the property that for every $g \in G$, if $g(N_y) \cap cl(V) \neq \emptyset$, then $g(N_y) \subset U$. $G$ is $\textit{nearly proper}$ if for all compact subsets $A$ and $B$ of $X$, $cl$ ( $\bigcup$ { $g(A):g\in G$ and $g(A)\cap B \neq \emptyset$ } ) is compact. $G$ $\textit{acts properly on}$ $X$ if for all compact subsets $A$ and $B$ of $X$, the subset $G_{A,B}$ = { $g\in G : g(A) \cap B \neq \emptyset$ } is compact when $G$ is endowed with the compact-open topology.
THE ISOMETRIZATION THEOREM: If $X$ is a Hausdorff space and $G$ \ $X$ is a paracompact regular space, then: $G$ is isometrizable if and only if $G$ is equiregular.
THE PROPER ISOMETRIZATION THEOREM: If $X$ is a locally compact $σ$-compact Hausdorff space and $G$ \ $X$ is a regular space, then: $G$ is properly isometrizable if and only if $G$ is equiregular and nearly proper.
The PROPER ISOMETRIZATION THEOREM has the following corollary.
THEOREM OF ABEL-MANOUSSOS-NOSKOV: If $X$ is a locally compact $σ$-compact Hausdorff space and $G$ acts properly on $X$, then $X$ is properly isometrizable.
△ Less
Submitted 17 May, 2021;
originally announced May 2021.
-
Recursively squeezable sets are squeezable
Authors:
Fredric D. Ancel
Abstract:
In work by Freedman [F2] and Freedman-Quinn [FQ] on the topology of 4-manifolds, null decompositions whose non-singleton elements are, in the terminology of [MOR], recursively starlike-equivalent sets of filtration length 1 arise and are shown to be shrinkable. The main result of [MOR] is a general theorem covering these types of decompositions. It establishes the shrinkability of null decompositi…
▽ More
In work by Freedman [F2] and Freedman-Quinn [FQ] on the topology of 4-manifolds, null decompositions whose non-singleton elements are, in the terminology of [MOR], recursively starlike-equivalent sets of filtration length 1 arise and are shown to be shrinkable. The main result of [MOR] is a general theorem covering these types of decompositions. It establishes the shrinkability of null decompositions whose non-singleton elements are recursively starlike-equivalent sets whose filtration lengths have a uniform finite upper bound. That result is the inspiration for this article. Here it is shown that the hypothesis of a uniform finite upper bound on filtration lengths is unnecessary. In outline: notions of squeezable subsets and squashable subsets of a compact metric space are defined. It is observed that starlike-equivalent sets are squeezable, and that any null decomposition of a compact metric space whose non-singleton elements are squeezable is shrinkable. It is also proved that a set is squeezable if and only if it is squashable, and that every recursively squashable set is squashable. It follows that any null decomposition of a compact metric space whose non-singleton elements are recursively squeezable is shrinkable. The latter theorem has as a corollary the main result of [MOR] with the hypothesis of a uniform finite upper bound on filtration lengths removed.
△ Less
Submitted 11 September, 2020; v1 submitted 6 September, 2020;
originally announced September 2020.
-
Most unexposed taut one-relator presentation 2-complexes are finitely unsplittable
Authors:
Fredric D. Ancel,
Pete Sparks
Abstract:
The main result of this article is that among the family of one-relator presentation 2-complexes that might be expected to be finitely unsplittable (not the union of two proper subpolyhedra with finite first homology groups) almost all have this property. Included among these one-relator presentation 2-complexes are all generalized dunce hats. A generalized dunce hat is a 2-dimensional polyhedron…
▽ More
The main result of this article is that among the family of one-relator presentation 2-complexes that might be expected to be finitely unsplittable (not the union of two proper subpolyhedra with finite first homology groups) almost all have this property. Included among these one-relator presentation 2-complexes are all generalized dunce hats. A generalized dunce hat is a 2-dimensional polyhedron created by attaching the boundary of a disk $Δ$ to a circle $J$ via a map $f : \partialΔ\rightarrow J$ with the property that there is a point $v$ in $J$ such that $f^{-1}(\{v\})$ is a finite set containing at least 3 points and $f$ maps each component of $\partialΔ- f^{-1}(\{v\})$ homeomorphically onto $J - \{v\}$. The fact that generalized dunce hats are finitely unsplittable undermines a strategy for proving that the interior of the Mazur compact contractible 4-manifold $M$ is splittable in the sense of Gabai (i.e., $\text{int}(M) = U \cup V$ where $U$, $V$ and $U \cap V$ are each homeomorphic to Euclidean 4-space).
△ Less
Submitted 15 July, 2019;
originally announced July 2019.
-
Generalized dunce hats are not splittable
Authors:
Fredric Ancel,
Pete Sparks
Abstract:
A \emph{generalized dunce hat} is a 2-dimensional polyhedron created by attaching the boundary of a disk $Δ$ to a circle $J$ via a map $f:\partial Δ\to J$ with the property that there is a point $v \in J$ such that $f^{-1}(\{v\})$ is a finite set containing at least 3 points and $f$ maps each component of $\partial Δ- f^{-1}(\{v\})$ homeomorphically onto $J - \{v\}.$ \textbf{Theorem:} No generaliz…
▽ More
A \emph{generalized dunce hat} is a 2-dimensional polyhedron created by attaching the boundary of a disk $Δ$ to a circle $J$ via a map $f:\partial Δ\to J$ with the property that there is a point $v \in J$ such that $f^{-1}(\{v\})$ is a finite set containing at least 3 points and $f$ maps each component of $\partial Δ- f^{-1}(\{v\})$ homeomorphically onto $J - \{v\}.$ \textbf{Theorem:} No generalized dunce hat is the union of two proper subpolyhedra that each have finite first homology groups. This result undermines a strategy for proving that the interior of the Mazur compact contractible 4-manifold M is \emph{splittable in the sense of Gabai} (i.e., $\intr(M) = U \cup V$ where $U,$ $V$ and $U \cap V$ are each homeomorphic to Euclidean 4-space).
△ Less
Submitted 1 March, 2018;
originally announced March 2018.
-
On homogeneous locally conical spaces
Authors:
Fredric D. Ancel,
David P. Bellamy
Abstract:
The main result of this article is:
THEOREM. Every homogeneous locally conical connected separable metric space that is not a $1$-manifold is strongly $n$-homogeneous for each $n \geq 2$ and countable dense homogeneous. Furthermore, countable dense homogeneity can be proven without assuming the space is connected.
This theorem has the following two consequences.
COROLLARY 1. If $X$ is a homo…
▽ More
The main result of this article is:
THEOREM. Every homogeneous locally conical connected separable metric space that is not a $1$-manifold is strongly $n$-homogeneous for each $n \geq 2$ and countable dense homogeneous. Furthermore, countable dense homogeneity can be proven without assuming the space is connected.
This theorem has the following two consequences.
COROLLARY 1. If $X$ is a homogeneous compact suspension, then $X$ is an absolute suspension (i.e., for any two distinct points $p$ and $q$ of $X$, there is a homeomorphism from $X$ to a suspension that maps $p$ and $q$ to the suspension points).
COROLLARY 2. If there exists a locally conical counterexample $X$ to the Bing-Borsuk Conjecture (i.e., $X$ is a locally conical homogeneous Euclidean neighborhood retract that is not a manifold), then $X$ is strongly $n$-homogeneous for all $n \geq 2$ and countable dense homogeneous.
△ Less
Submitted 1 June, 2017; v1 submitted 30 June, 2016;
originally announced July 2016.
-
Is a monotone union of contractible open sets contractible?
Authors:
Fredric D. Ancel,
Robert D. Edwards
Abstract:
This paper presents some partial answers to the following question.
QUESTION. If a normal space X is the union of an increasing sequence of open sets U(1), U(2), U(3) ... such that each U(n) contracts to a point in X, must X be contractible?
The main results of the paper are:
THEOREM 1. If a normal space X is the union of a sequence of open subsets { U(n) } such that the closure of U(n) is c…
▽ More
This paper presents some partial answers to the following question.
QUESTION. If a normal space X is the union of an increasing sequence of open sets U(1), U(2), U(3) ... such that each U(n) contracts to a point in X, must X be contractible?
The main results of the paper are:
THEOREM 1. If a normal space X is the union of a sequence of open subsets { U(n) } such that the closure of U(n) is contained in U(n+1) and U(n) contracts to a point in U(n+1) for each n > 0, then X is contractible.
COROLLARY 2. If a locally compact sigma-compact normal space X is the union of an increasing sequence of open sets U(1), U(2), U(3) ... such that each U(n) contracts to a point in X, then X is contractible.
△ Less
Submitted 10 October, 2016; v1 submitted 16 June, 2016;
originally announced June 2016.
