All Questions
1,339 questions with no upvoted or accepted answers
1
vote
0
answers
70
views
Is the property $S_1(\Omega,\Gamma)$ preserved when the metrizable separable topology is finer?
Let $(X,\tau)$ be a metrizable separable space and $X$ has the property $S_1(\Omega,\Gamma)$.
Suppose that $(X,\tau')$ be a metrizable separable space such that $\tau\subset \tau'$.
Will space $(X,\...
- 1,101
1
vote
0
answers
177
views
If $X$ is a strong deformation retract of $\mathbb{R}^n$, then is $X$ simply connected at infinity?
Let $X \subseteq \mathbb{R}^n$, and assume there is a strong deformation retract from $\mathbb{R}^n$ to $X$. Is $X$ necessarily simply connected at infinity?
(Edit) Follow up question: if there is a ...
- 637
1
vote
0
answers
102
views
Homeomorphism to $[0,1]^n$ preserving equality of measure
Let $A\subseteq R^n$ be a subset which is homeomorphic to $\left[0,1\right]^n$. Does there exists a homeomorphic map $f:A\rightarrow \left[0,1\right]^n$ such that for any $X_1,X_2\subseteq\left[0,1\...
- 359
1
vote
0
answers
61
views
Necessary or sufficient conditions for the $k$-fold intersection to be empty in a covering with a "tree structure"
Consider a finite collection of $d$-dimensional balls $\mathfrak{B}=\{B_1,\ldots,B_n\}$ which cover a PL $d$-manifold $M$, i.e. $M=\bigcup_{i=1}^{n}B_i$. Suppose we want to compute the Euler ...
- 159
1
vote
0
answers
127
views
Extremally disconnected sets as building blocks for compact Hausdorff spaces
Is every compact Hausdorff space the filtered colimit of compact extremally disconnected spaces?
- 1,638
1
vote
0
answers
76
views
Uniform approximation over compacts using weighted function spaces
I'm interested in approximations over the so-called weighted function spaces.
Let $(X,\tau_X)$ be some completely regular Hausdorff topological space. Additionally, consider some map $\psi: X \to (0,\...
- 161
1
vote
0
answers
81
views
"Star" of a CW-complex
Suppose we have a CW-complex $X$ with a 0-cell $e^0$. Is the union of all the cells (of higher dimensions) for which $e^0$ is a boundary point open in $X$?
I don't know if it has a name, but a similar ...
- 11
1
vote
0
answers
85
views
Increasing coverings of rigid analytic varieties
Let $K/\mathbb{Q}_p$ be complete and let $X/K$ be a rigid analytic variety. When does $X$ admit an "increasing" admissible covering by quasi-compact admissible (in the strong G-topology) ...
- 36
1
vote
0
answers
80
views
Construct manifold given simplical complex
It's known that, in general, given a simplical complex, answering if it's homeomorphic to a manifold is undecidable. However, given a positive answer to the problem, is there an algorithm to construct ...
- 141
1
vote
0
answers
83
views
Approximating evalutation maps at open sets over invariant measures
Let $G$ be a group acting by homeomorphisms on a compact metrizable space, say $X$; let's denote by $\alpha:G\to\mathrm{Homeo}(X)$ the action, $g\mapsto\alpha_g$, and consider the weak-$^*$ compact ...
- 93
1
vote
0
answers
62
views
Continuous maps between compact space and cubes
Let $X$ be a compact metrizable space. Let $f$ be a continuous map from $X$ to the cube $[0,1]^m$. I would like to know under which condition of a continuous map $g: X\to [0,1]^n$ there exists a ...
- 675
1
vote
0
answers
145
views
Determine the Eilenberg-MacLane spaces on the right-handed side of this Whitehead tower?
What and how to determine the Eilenberg-MacLane spaces on the right-handed side of this Whitehead tower?
Namely, how do we know
$$
K(Z_2,1)?, \quad K(Z_2,2)?, \quad K(Z,4)?
$$
Naively -- in each step ...
- 447
1
vote
0
answers
240
views
Examples of when $X$ is homotopy equivalent to $X\times X$
I was thinking about this question the other day: When is a topological space $X$ homotopy equivalent to $X\times X$ (with the product topology)? This is essentially a cross-post of this MSE question.....
1
vote
0
answers
141
views
Can a closed null-homotopic curve be filled in by a disc?
Let $U\subseteq\Bbb R^n$ be an open set and $\gamma\subset U$ a closed null-homotopic curve in $U$ (i.e. it can be contracted to a point). Then is there an embedded disc $D\subset U$ with boundary $\...
- 13.6k
1
vote
0
answers
84
views
Is there a standard name for the following class of functions on non-Hausdorff manifolds?
Let $M$ be a (not necessarily Hausdorff) smooth manifold. Given an open chart $U\subset M$ and a compactly-supported smooth function $f:U\to\mathbb{R}$ on $U$, define $\widetilde{f}:M\to\mathbb{R}$ by ...
- 2,178
1
vote
0
answers
131
views
Can we construct a general counterexample to support the weak whitney embedding theorm?
The weak Whitney embedding theorem states that any continuous function from an $n$-dimensional manifold to an $m$-dimensional manifold may be approximated by a smooth embedding provided $m > 2n$.
...
- 109
1
vote
0
answers
73
views
Is $L^p_\text{loc} (Y)$ dense in $(L^0(Y), \hat \rho)$?
Below we use Bochner measurability and Bochner integral. Let
$(Y, d)$ be a separable metric space,
$\mathcal B$ Borel $\sigma$-algebra of $Y$,
$\nu$ a $\sigma$-finite Borel measure on $Y$,
$(Y, \...
- 657
1
vote
0
answers
114
views
Refinement of an open cover for a simply connected compact subset
Let $U$ denote a simply connected, open subset of the plane, and let $K$ be a simply connected, compact subset of $U$. Can we always find a finite or countable sequence of open disks $(D_n)$ such that:...
- 341
1
vote
0
answers
22
views
Weakening compacity hypothesis in multifunctions intersection
Let $X,Y$ be metric spaces, $x^*\in X$
We define two multifunctions $F_1:X\rightrightarrows Y$,$F_2:X\rightrightarrows Y$.
We recall the upper-semi-continuity in Berge's sense :
A multifunction $F:X\...
- 141
1
vote
0
answers
51
views
Discreteness of $D^{-1}D$ given that $D$ is uniformly discrete
Let $G$ be a topological group with unit element $e$.
We say that $D\subseteq G$ is discrete if for all $x\in D$ there is a unit-neighborhood $U\subseteq G$ such that $x^{-1}D\cap U=\{e\}$. We say ...
- 151
1
vote
0
answers
192
views
Simple left earthquakes are dense
i´ve been studying an article from W. P. Thurston about hyperbolic geometry, there, he defines something called left earthquake, whose definition is as follows:
Definition. If $\lambda$ is a geodesic ...
- 11
1
vote
0
answers
103
views
"Classifying" causally closed sets in Minkowski space
Let $M = \mathbb R^{D+1}$ be Minkowski space. Recall that the causal complement of a set $A \subseteq M$ is the set $A^\perp \subseteq M$ where $p \in A^\perp$ there is no timelike path between $p$ ...
- 64k
1
vote
0
answers
41
views
How to embed an arbitrary graph into (k,d)-kautz space (like multidimensional scaling of non-normed space)? See details in the following
How to embed an arbitrary graph into (k,d)-kautz space (like multidimensional scaling of non-normed space)? See details in the following.
Given a graph $G = \{V,E\}$,
we have a distance matrix (the ...
- 11
1
vote
0
answers
50
views
Is there some kind of construction of a "canonical unirational variety" like the one for toric varieties?
Toric varieties in some sense a "canonical rational variety" in that one can construct them from purely combinatorial data and this combinatorial data makes it possible to turn many ...
- 912
1
vote
0
answers
70
views
A ZFC example of a star-$K$-Menger space which is not star-$K$-Hurewicz
An open cover $\mathcal U$ of a space $X$ is said to be $\gamma$-cover if $\mathcal U$ is infinite and for each $x\in X$, the set $\{U\in\mathcal U : x\notin U\}$ is finite.
A space $X$ is said to be ...
- 505
1
vote
0
answers
48
views
Neighborhoods of idempotents in topological inverse semigroups
In a topological group, for any neighborhood $U$ of the origin, there is another such neighborhood with the property that $V.V\subseteq U.$ I conjecture a similar property for topological inverse ...
- 1,093
1
vote
0
answers
83
views
Powersets of simplicial sets vs. powersets of topological spaces
Motivation. Recently I've been trying to understand how well- or ill-behaved are the many different powerset topologies one can put on the powerset of a topological space, and in particular I'm trying ...
- 11.8k
1
vote
0
answers
95
views
Eventual stabilization for repeatedly adding multiplayer games
This question is an outgrowth of a couple previous questions of mine. In order: 1,2,3. This should be fully self-contained, but those questions may help motivate this one.
To keep things readable, I'...
- 20.5k
1
vote
0
answers
63
views
Space of valuations is spectral space and what does it mean to say that conditions are closed conditions
I am reading lecture 3 of Conrad notes (link : https://math.stanford.edu/~conrad/Perfseminar/ ), in which he proves space of valuations is a spectral space. Last theorem of lecture 3.
We have a map $j:...
- 11
1
vote
0
answers
91
views
A term for a submonoid of a free abelian monoid?
Are there multiple ways of characterising which monoids are submonoids of free abelian monoids?
What free abelian monoids are:
A free abelian monoid $\mathbb N^d$ with $d$ generators (where $d$ is an ...
- 4,943
1
vote
0
answers
190
views
the Brouwer fixed point theorem for maps rather than spaces
Is there a version for the Brouwer fixed point theorem for maps rather than spaces ?
In other words, for a family of endomorphisms, can the fixed point be chosen continuously, under some assumptions ?
...
- 513
1
vote
0
answers
138
views
Category whose morphisms are commutative monoids but not enriched
In a recent investigation, I constructed a category $\mathcal{C}$ with the following property. For objects $X,Y \in \mathcal{C}$, the morphism set $\text{Mor}(X,Y)$ is a commutative monoid with ...
- 161
1
vote
0
answers
70
views
Another matrices for a semigroup with intermediate growth
Nathanson showed that the Okninski's semigroup $S$ of $2×2$ matrices which is generated by the set $H=\{A,B\}$, where
$
A=\begin{bmatrix}
1&1\\
0&1\\
\end{bmatrix}
,
B=\begin{bmatrix}
1&0\\...
- 883
1
vote
0
answers
114
views
Moore space over a group with infinite generator
I am not an expert on this topic. I am trying to learn about Moore spaces of type $(G,n)$. where $G$ is abelian and $n\geq 2$.
Let $M$ be a simply connected non-compact $4$-manifold with $H_2(M;\...
- 179
1
vote
0
answers
192
views
Is the domain space in Lusin's theorem required to be Hausdorff?
I'm reading a general version of Lusin's theorem, i.e.,
If $\mu$ is a finite Radon measure on $X$, and $Y$ is a second countable topological spaces, then for any Borel-measurable function $f:X\to Y$ ...
- 825
1
vote
0
answers
274
views
Functional equation $f(x*y) = f(f(x)*f(y))$
Find all endo-functions $f$ on a commutative semigroup $(\mathbb{S},*)$ such that
$f(x*y) = f(f(x)*f(y))$.
Typical case of interest are $(\mathbb{N},+)$ or $(\mathbb{Z}/k\mathbb{Z},+)$ or $(\mathbb{Z}/...
- 1,306
1
vote
0
answers
179
views
Second homology group of a presentation complex
I am trying to learn results related to the presentation complex of a group and I am new to this subject. So I apologize if the questions are silly.
Given a finite group $G$, and a presentation $P$ of ...
- 179
1
vote
0
answers
99
views
Density of Lipschitz functions in Bochner space with bounded support
Let $X$ and $Y$ be separable and reflexive Banach spaces with Schauder bases. Let $\mu$ be a non-zero finite Borel measure on $X$ and let $L^p(X,Y;\mu)$ denote the (Boehner) space of strongly p-...
- 21
1
vote
0
answers
53
views
The "hyperbolicity preserving" probabilities
A classical fact (due to Polya ?) is that if $P\in{\mathbb R}[X]$ has only real roots (one says that $P$ is hyperbolic), and $a$ is a real number, then the roots of
$$L_aP(X):=\frac12(P(X+ia) +P(X-ia))...
- 52.3k
1
vote
0
answers
81
views
Morphism in commutative square strict?
Let $G,H$ be topological groups and $f:G\rightarrow H$ a continuous group homomorphism.
Then $f$ is said to be strict if $G/\mathrm{Ker}(f) \cong \mathrm{Im}(f)$ is an isomorphism of topological ...
- 473
1
vote
0
answers
48
views
Reference for preimage of boundary of spacefilling curve
Given a continuous map $\gamma$ from $[0,1]$ onto a bounded
contractible subset $S$ of $\mathbb R^2$ such that $S$ contains an open subset of $\mathbb R^2$ which is dense in $S$,
the preimage $\gamma^{...
- 17.9k
1
vote
0
answers
155
views
Study of the class of functions satisfying null-IVP
$\mathcal{N}_u$ : Class of all uncountable Lebesgue-null set i.e all uncountable sets having Lebesgue outer measure $0$.
Let $f:\Bbb{R}\to \Bbb{R}$ be a function with the following property :
$\...
- 307
1
vote
0
answers
125
views
Translation of an article by Šapirovskiĭ
The AMS has a book, Fourteen Papers Translated from the Russian, containing an article by Šapirovskiĭ, "Cardinal invariants in compact Hausdorff spaces", that I would very much like to ...
- 674
1
vote
0
answers
54
views
Closed linear span of compact open subsets of a spectral space
Let $X$ be a spectral space and $KO(X)$ be the set of all compact open subsets of $X$. Identify $KO(X)$ with $\{1_D:D\in KO(X)\}$, where $1_D(u) = 1$ if $u\in D$ and $1_D(u) = 0$ if $u\notin D$.
...
- 2,605
1
vote
0
answers
84
views
Terminology for the property: "Each uncountable disjoint open family is locally countable"
Suppose that a topological space $X$ satisfies the following property
(P): "Each uncountable disjoint open family is locally countable",
where a family $\mathcal U$ of subsets of $X$ is ...
- 505
1
vote
0
answers
97
views
Are Hölder functions between Banach spaces residual in the compact-open topology?
Let $X$ and $Y$ be Banach spaces and let $C(X,Y)$ be the set of continuous functions from $X$ to $Y$ equipped with the topology of uniform convergence on compact sets (i.e. the compact-open topology). ...
- 5,405
1
vote
0
answers
200
views
Question regarding affine fibre bundles
Let $f:X\to Y$ be a morphism of affine varieties such that it is a fibre bundle with fibre $F$. Let $\pi_1(Y)=\Gamma$ be a free group (non abelian) of finite rank and $\pi_1(F)$ is a finite group $G$ ...
- 585
1
vote
0
answers
112
views
What is the topological characteristic of a separable metric space $X$ such that $|kX\setminus X|=\frak{c}$ for any completion $kX$ of $X$?
What is the topological characteristic of a separable metric space $X$ such that $|kX\setminus X|=\frak{c}$ for any completion $kX$ of $X$?
- 1,101
1
vote
0
answers
93
views
What is t-equivalence in function spaces?
In $C_p$-Theory monographs, it is said that two topological spaces $X$ and $Y$ are said to be $t$-equivalent means that $C_p(X)$ is homeomorphic to $C_p(Y)$. Then they also define $u$-equivalences (...
- 31
1
vote
0
answers
46
views
A question related to injective envelope for a system of DGA's
I was trying to read Fine and Triantafillou's paper "On the equivariant formality of Kahler manifolds with finite group action".
They have defined the enlargement at $H$ of a system of DGA's ...
- 1,177