All Questions
1,339 questions with no upvoted or accepted answers
1
vote
0
answers
52
views
A local base for space of probability measures with Prohorov metric
Let $S$ be a Polish space. Let $P(S)$ denote the space of probability measures on $(S,\mathcal{B})$, where $\mathcal B$ is the Borel-$\sigma$-algebra over $S$. Equip $P(S)$ with the Prohorov metric. I ...
- 111
1
vote
0
answers
152
views
Complement of contractible locally Euclidean subspace
Let $X$ be a connected closed topological manifold. Let $S\subset X$ be a contractible locally Euclidean subspace. Is $X\setminus S$ connected?
- 11
1
vote
0
answers
154
views
Homotopy groups of ball complement
Let $X$ be a connected closed topological manifold. Let $n$ be an integer such that $\pi_i(X)=\{0\}$ for $1\leq i \leq n$.
Let $f:B^m\to X$ be a topological embedding, where $B^m$ is the $m$-...
- 19
1
vote
0
answers
83
views
Compact metrizable contractible locally contractible topological space of finite covering dimension is a CW complex
Let $X$ be a compact metrizable contractible locally contractible topological space of finite covering dimension. Is $X$ homeomorphic to a CW complex?
user145520
1
vote
0
answers
120
views
Is the Vietoris topology on compact subsets of $\mathbb R^n$ locally convex?
The title question says it all really.
If the question is negative for compact subsets of $\mathbb R^n$, is it affirmative for compact and convex subsets of $\mathbb R^n$? How about for all nonempty ...
- 869
1
vote
0
answers
65
views
Connected components of bounded linear operators of $V = (\mathcal C(U(1), \mathbb C) , \lVert \cdot \rVert_\infty)$
This question is related to this one.
Consider the complex Banach space $V=(\mathcal C(U(1), \mathbb C), \Vert \cdot \Vert_\infty)$ where $\mathcal C(U(1), \mathbb C)$ is the space of continuous ...
- 1,355
1
vote
0
answers
59
views
About Countable Dense Homogeneous spaces (CDH) and strongly locally homogeneous spaces
I am new to the study of CDH topological spaces, I wanted to study basic examples of this type of spaces, for example I could understand the demonstration that $\mathbb{R}$ is CDH, using the Cantor ...
- 561
1
vote
0
answers
79
views
Conditions for a function to vanish almost nowhere on its support?
Let $f:\mathbb{R}^d\rightarrow\mathbb{R}$ be a continuous function and $\mathrm{supp}(f) := \mathrm{cl}\{x\in\mathbb{R}^d\mid f(x)\neq 0\}$ its support.
Under which conditions is it true that $f≠0$ (...
- 463
1
vote
0
answers
470
views
Cellular chain complex of $G$-CW-complexes & their differentials
I not completly understand EXAMPLE 2.31 (page 19) dealing with homology of
$G$-CW-complexes. Source: http://www.ltcc.ac.uk/media/london-taught-course-centre/documents/LTCC-notes-Lecture3-2019.pdf
...
- 6,038
1
vote
1
answer
379
views
Creating an inverse system which "stratifies density"
Setting:
Let $X'$ be a dense subset of an infinite-dimensional Fréchet space $X$ and suppose that $(X_n')_{n \in \mathbb{N}}$ is a nested sequence of non-empty subsets of $X'$ satisfying
$$
\bigcup_{n ...
- 5,405
1
vote
0
answers
102
views
Functions preserving almost disjoint of partitions
A collection $\mathcal{A}\subseteq \omega^\omega$
is almost disjoint iff
$\bigcap_{X\in \mathcal{A}}X^{-1}(j)$ is finite for all $j\in\omega$.
A function $\Gamma:2^\omega\rightarrow 2^\omega$ is
...
- 909
1
vote
0
answers
43
views
Continuous surjection from $X(D_n)$ onto $\operatorname{Homeo}_0(D_n)$
Let $n>1$ and let $\mathfrak{X}(D_n)$ denote the set of continuous vector fields on the closed disc $D_n\subseteq \mathbb{R}^n$. Let $\operatorname{Homeo}_0(D_n)$ be the set of homeomorphism of ...
- 5,405
1
vote
0
answers
53
views
Spaces that are comparable with their compacts
This is an outgrowth of this question.
For a (metrizable) space $X$ consider the following increasingly strong properties:
(i) For every compact $K\subset X$ there is a map $f:X\to X$ such that $K\...
- 5,529
1
vote
0
answers
104
views
"Global" topologies between compact convergence and uniform convergence
Let $X$ and $Y$ be locally compact (but not compact), second countable, Hausdorff spaces with $Y$ metric. It is easy to see that the topology of compact convergence is weaker than the topology of ...
- 5,405
1
vote
0
answers
61
views
Minimal radius of a ball admitting a trivialization of a vector bundle
Let $X$ be a compact Hausdorff space and $p : V \to X$ a complex vector bundle of rank $n$. For $r > 0$ let $B(r,x)$ denote the open ball of radius $r$ around $x$. Does there exist an $r$ such that,...
1
vote
0
answers
27
views
Approximation of multipliers by multipliers of a smaller set 2
This question is a refinement of my previous question.
Let $X$ be a compact metric space, and let $B$ be a bounded Banach Disk in $C(X)$ such that for every $x\in X$ there is $f\in B$ with $f(x)\ne 0$...
- 5,529
1
vote
0
answers
224
views
Surjectivity of colimit maps for topological spaces
From this post and to (co)completness of the category Top of topological spaces and continuous functions we know that for any diagram $B_i$ and an object $A$ in Top, there are natural maps of sets:$\...
- 5,405
1
vote
0
answers
142
views
Identifying the two points of a subspace homeomorphic to a Sierpinski space
Let $X$ be a $\Delta$-generated space having a subset $A=\{a,b\}$ such that the relative topology is the Sierpinski topology with for example $\{a\}$ closed and $\{b\}$ open (the Sierpinsky space is a ...
- 3,901
1
vote
0
answers
135
views
A density problem
Let $\langle\cdot,\cdot\rangle$ be the usual scalar product in ${\bf R}^n$ ($n\geq 2$) and let $B$ be the closed unit ball of ${\bf R}^n$.
Denote by $C^0(B,B)$ the space of all continuous functions ...
- 293
1
vote
0
answers
216
views
Uniform convergence over compacts subsets implies existence of a uiform convergente subsequence?
Let $H$ the group of all homeomorphisms of a locally compact second countable and totally bounded metric space $X$ onto itself, under the compact-open topology ($X$ is totally bounded if every ...
- 365
1
vote
0
answers
117
views
Stone duality- a modification
Let $2$ be the discrete topological space with two elements. For a map of sets
$$\beta : X \times Y \rightarrow 2 $$
We get a topology on $X$ and a topology on $Y$. The topology on $X$ is the weakest ...
user30211
1
vote
0
answers
30
views
The cellularity of the composition of cellular maps (with arbitrary CW decompositioning)
Is the composition of cellular maps cellular?
Related to this, I have another question. (I apologize to asking very similar question.)
Let ${\sf CWcpx}$ be the category of CW complexes and let ${\sf ...
- 33
1
vote
0
answers
92
views
Topological space modeled by special topological structures
Let $X$ be a topological space. Suppose it is "modeled by" topological spaces of the form $\text{Spec}(A)$ for some commutative ring $A$, then, (along with some other conditions/structure), we call $...
- 6,023
1
vote
0
answers
166
views
Subspaces of compact spaces and quotients of Hausdorff spaces
Let $\operatorname{Top}$ be the class of topological spaces. Furthermore, let $\mathcal{U}\subset\operatorname{Top}$ and $\mathcal{V}\subset\operatorname{Top}$ classes satisfying the following ...
- 353
1
vote
0
answers
250
views
topological properties of $G_{\delta}$ sets in a compact Hausdorff space
I am trying to understand a family of types $\mathcal{F}$ in the set $S(A)$,the set of complete types over $A$ (in the sense of types in model theory) which is a compact and Haurdorff space equipped ...
- 195
1
vote
0
answers
254
views
When is the weak topology generated by a family of functions Baire?
Suppose we are given a locally compact space $X$ with $C_b(X)$ denoting the continuous bounded complex or real functions on $X$.
Now, if $A\subset C_b(X)$ is given, I am trying to figure out when the ...
- 173
1
vote
0
answers
63
views
What are the various kinds of graphs that can be defined on $C(X)$
I was considering the space $C(X)$ where $X$ is a topological space and $C(X)$ is the set of all continuous functions from $X$ to $\Bbb R$.
What are the various kinds of graphs that can be defined on ...
- 135
1
vote
0
answers
323
views
Closed and discrete sets
Let $\kappa$ in an uncountable regular cardinal and $X$ be a space and $e(x)=\kappa$, where the ``extent'' $e(X)$ of $X$ is the supremum of the cardinalities of
closed discrete subsets of $X$. My ...
- 63
1
vote
0
answers
69
views
How exactly to adapt Brown's collapse from monoids to algebras?
In The Geometry of Rewriting Systems (Springerlink behind paywall), Kenneth Brown describes a method to collapse the bar resolution of a monoid. Roughly:
Given a simplicial set $X$ equipped with a ...
1
vote
0
answers
66
views
Quantification over Nets
On a topological space $X$, a net is defined as a map $A \ni \alpha \longmapsto x_{\alpha} \in X$ from a directed set $A$.
With this, compactness of $X$ (for instance) is equivalent to "every net $(...
- 145
1
vote
0
answers
202
views
What is the normalized complex of a simplicial set with a monoid action?
This question is a follow up to this question I posted on Math.SE. I will make this question self-contained, though.
In a certain point on the paper The Geometry of Rewriting Systems, Kenneth Brown ...
1
vote
0
answers
132
views
Is the Upper Banach density always zero with respect to some sequence of Finite subset
The following question came to me while reading the paper 'Density in Arbitrary Semigroups' by Hindman and Strauss.
Question: Given an infinite subset $A$ of $\mathbb{N}$ such that $A^c$ is also ...
- 73
1
vote
0
answers
298
views
Fully faithful functor from schemes to spaces
Is there a fully faithful functor from the category of schemes
to the category of topological spaces and continuous maps (or some other sufficiently topological objects, e.g. smooth manifolds and ...
user137517
1
vote
0
answers
151
views
Clarification about the ϵ -net argument
I have been reading the paper Do GANs learn the distribution? Some theory and empirics.
In Corollary D.1, they reference the paper Generalization and Equilibrium in Generative Adversarial Nets which ...
- 19
1
vote
0
answers
263
views
Norm closure of $C_b^1(\mathbb{R})$
I want to determine what the closure of $C_b^1(\mathbb{R})$, the space of continuous differentiable functions with bounded derivative, with respect to the supremums norm is. I think that $\overline{...
1
vote
0
answers
29
views
Localized connected expansions
Given a connected space, it is easy to tell if there is a connected expansion because maximal connected spaces (those admitting no finer connected topology) have the property that every dense subset ...
1
vote
0
answers
55
views
Schemes for conditional distributions (monads)
(Note: This is a heuristic question. I'm trying to work out if this idea makes sense. I don't have much background in this area, so apologies if I'm wide of the mark.)
Suppose you have a monad ...
- 121
1
vote
0
answers
111
views
When a semigroup ideal is a determinantal ideal?
Let $S=\langle n_1,...,n_r \rangle$ be a commutative semigroup, and let $I_S \subset k[x_1,...,x_r]$ the associated ideal of $S$, defined as the kernel of the polinomial map $\varphi:k[x_1,...x_n] \...
- 113
1
vote
0
answers
79
views
Difference between planar sub-continua and sub-continua on the surface $\mathbb{T}^2$?
Can anyone tell me what is the essential difference between planar sub-continua and sub-continua of the torus? I will appreciate if you can give me some references.
- 97
1
vote
0
answers
122
views
Mackey topology characterising property
Let $V$ be a topological $k$-vector space.
Let $V^{\star}$ denote the space of all linear functionals $V \rightarrow k$ and $V' \subset V^{\star}$ the subspace of all continuous linear functionals.
...
- 11
1
vote
0
answers
90
views
Cobordism of an annulus with a non-vanishing vector field
Let $M$ be a compact three-dimensional manifold with corners, which is a cobordism of the two-dimensional annulus. In particular, the codimension one boundary of $M$ consists of two copies of the ...
- 778
1
vote
0
answers
127
views
Explicit description of the scheme obtained by relative gluing data over a base scheme
I have recently been trying to get a better understanding of the projective space bundle of a quasi-coherent sheaf of graded algebras over a scheme $X$. The key idea is the following construction ...
- 453
1
vote
0
answers
127
views
How many two-dimensional space filling Hilbert-like curves are there?
I'm interested in filling 2d square with space filling, non-self-intersecting, locality preserving, self-similar curves, like Hilbert curve. I found interesting work concerning three dimensional case ...
- 355
1
vote
0
answers
113
views
Commutations of some limits and colimits in $\mathbf{CGWH}$
I know that finite limits do not commute with filtered colimits in general in $\mathbf{CGWH}$, nevertheless, do colimits commute with pullbacks, when we consider diagrams of the form $$\begin{matrix}&...
- 765
1
vote
0
answers
116
views
Path connected without bounded path connected subset?
Question: Is there a path connected subset of $\mathbb R^2$, without any bounded path connected subset (aside from singletons)?
Motivation: If we replace "path connected" by "connected", then the ...
- 2,829
1
vote
0
answers
126
views
Determine all possible magnetic monopole of gauge theories
In Wikipedia, it states about the magnetic monopole of the gauge theory is determined by the fact:
This argument for monopoles is a restatement of the lasso argument for a pure U(1) theory. It ...
- 10.5k
1
vote
0
answers
116
views
A generalized Cauchy type functional equation
Let $(S,+)$ be an abelian semigroup . Let $f:S \to \mathbb C$ be a function such that for some positive integer $n>1$, $f(x+y)^n=(f(x)+f(y))^n,\forall x,y \in S$.
Then is it true that $f(x+y)=f(x)...
- 1,209
1
vote
0
answers
76
views
Is there any characterization for lifting clopen subsets
Let $Y$ be a subset of a topological space $X$. We say that a clopen subset $L$ of $Y$ lifts to $X$ whenever there exists a clopen subset $H$ of $X$ such that $H\cap Y=L$.
Let $X$ be a compact and $...
- 11
1
vote
0
answers
191
views
Clopen subsets of a closed subspace of a spectral space
Let $X$ be a topological space. Set
$K(X) := \{ A\subseteq X\mid A$ is quasi-compact and open $\}.$ A topological space $X$ is called spectral,
if it satisfies all of the following conditions:
1) $...
- 11
1
vote
0
answers
142
views
Comparing Different Notions of Unicoherence in the Plane
Unicoherence is a generalization of simple connectedness that has been useful in topology in one and two dimensions. It is also a fundamental concept in shape theory, and thus has relations to Cech ...
- 439