All Questions
1,339 questions with no upvoted or accepted answers
2
votes
0
answers
136
views
Progess on conjectures of Palis
I came across a "A Global Perspective for Non-Conservative Dynamics" by Palis. He has some conjectures
"Global Conjecture:
There is a dense set $D$ of dynamics such that any element of ...
- 247
2
votes
0
answers
92
views
Explicit CW-complex replacement of the space of reparametrization maps
Let $P$ be the space of nondecreasing surjective maps from $[0,1]$ to itself equipped with the compact-open topology: $P$ is contractible. There exists a trivial fibration $P^{cof} \to P$ from a CW-...
- 3,901
2
votes
0
answers
104
views
Unordered configuration space with non-distinct points
Consider a topological space $X$, a natural number $n>0$ and
the quotient topological space $Q_n(X)$ of $X^n$ by the equivalence relation : $x\sim y$ if and only if
there is a permutation $\sigma$ ...
- 1,035
2
votes
0
answers
123
views
Homotopy type of a 3-manifold produced via Dehn surgery?
My apologizes if this is a fairly elementary question, I am still a novice when it comes to 3-manifold topology.
I am wondering the following: by Kirby calculus, we know that two links (say in $S^{3}$ ...
- 295
2
votes
0
answers
176
views
On the origin of power semigroups
Let $S$ be a (multiplicatively written) semigroup. Equipped with the (binary) operation of setwise multiplication $(X, Y) \mapsto \{xy \colon x \in X, \, y \in Y\}$, the family of all non-empty ...
- 10.5k
2
votes
0
answers
49
views
$\sigma$-compactness of probability measures under a refined topology
Denote Polish spaces $(X, \tau_x)$ and $(Y, \tau_y)$, where $X$ and $Y$ are closed subsets of $\mathbb{R}$. Consider a Borel measurable function $f: (X \times Y, \tau_x \times \tau_y) \rightarrow \...
- 195
2
votes
0
answers
57
views
Is a “well-behaved” closed subbasis for the topology generated by a closure operator a closed basis for the closure operator itself?
Let $\Omega$ be a set, $\mathcal{c}: \mathcal{P}(\Omega) \rightarrow \mathcal{P}(\Omega)$ be a closure operator (i.e., $\mathcal{c}$ satisfies $X \subseteq \mathcal{c}(X)$ and $\mathcal{c}(\mathcal{c}(...
- 2,830
2
votes
0
answers
92
views
Can this order relation, defined in terms of all topological spaces, be defined in terms of the reals alone?
Let $K$ be the operator monoid under composition of Kuratowski's $14$ set operators generated by topological closure $k$ and complement $c.$ Kuratowski's 1922 paper gives the poset diagram of the ...
- 870
2
votes
0
answers
185
views
Properties of universal fibration
I am trying to read the following paper [1] (Becker, James C.; Gottlieb, Daniel Henry
Coverings of fibrations.
Compositio Math.26(1973)) where the authors mentioned that for any fiber $F$,
there ...
- 179
2
votes
0
answers
48
views
The world of non-weak*-topologies on $\mathcal{P}(X)$
Let $X$ be a metrizable space and consider $\mathcal{P}(X)$, the set of all probability measures on $X$.
Typically, the weak*-topology is considered on $\mathcal{P}(X)$, which is a very natural ...
- 429
2
votes
0
answers
227
views
Is the product of two outer regular Radon measures outer regular?
Everything is nice on second countable spaces: the product of two outer regular Radon measure is still an outer regular Radon measure. But what happens without the assumption of second countability?
...
- 324
2
votes
0
answers
159
views
Are there hereditarily square-boxed plane continua?
A plane continuum is a bounded, closed and connected subset of the plane.
A bounding box $B$ for a plane continuum $C$ is
a rectangle $B=[a,b]\times[c,d]$ (including sides and interior)
such that $C$ ...
- 1,375
2
votes
0
answers
105
views
What is known about sublocales defined by regular nuclei?
(For basic terminology, which is supposed to be standard anyway, see this other question, which inspired this one.)
I am interested in nuclei $j\colon L\to L$ on a frame $L$ which are regular elements ...
- 32.5k
2
votes
0
answers
156
views
Do Grothendieck topoi with enough points satisfy the fan theorem internally?
Fourman and Hylland proved in the 80s that all spatial topoi satisfy the full fan theorem internally, while there are examples of localic topoi that do not satisfy it.
This leads one to conjecture a ...
- 1,947
2
votes
0
answers
339
views
Blow up at an ordinary double point
Let $X \subset \mathbb{C}^n$ be a complex complete intersection surface with only ordinary double point singularities. Let $o$ be such an ordinary double point.
Let $\tilde{X}$ be the strict transform ...
2
votes
0
answers
74
views
Is there a literature name for this concept of a "graded metric"?
Given a space $X$, I have been thinking about a function $d\colon X \times X \times \mathbb{N} \to \mathbb{R}_{\geq 0}$ (i.e. with values that are nonnegative reals) with the properties below. One may ...
- 21
2
votes
0
answers
57
views
The graph topologies for powersets
Given a topological space $X$ and a metric space $(Y,d_Y)$, there are a number of topologies one may put on the space $\mathcal{C}(X,Y)$ of continuous functions from $X$ to $Y$. Perhaps the most ...
- 11.8k
2
votes
0
answers
95
views
References (and a question) on the "fine" topology of powersets
Recently I've been trying to understand powerset topologies better, and came upon the following reference:
Frank Wattenberg, Topologies on the set of closed subsets. Pacific J. Math. 68(2): 537-551 (...
- 11.8k
2
votes
0
answers
67
views
When did derivative algebras first appear?
In the paper "The Algebra of Topology" (Annals of Mathematics, 45, 1944), McKinsey and Tarski proposed derivative algebras (p183) to define the derive set in topology as follows.
Suppose $K$ ...
- 663
2
votes
0
answers
107
views
Existence of a nice-ish topology on the powerset of a topological space
This is a follow-up question to my previous question, Existence of a *really* nice topology on the powerset of a topological space, which, in a few words, asked about whether given a topological space ...
- 11.8k
2
votes
0
answers
70
views
Niceness properties of quotient spaces by continuous equivalence relations
Given an equivalence relation $R$ on a topological space $X$, there are certain conditions we may ask of $R$ that imply certain well-behavedness conditions on the quotient space $X/\mathord{\sim}_R$. ...
- 11.8k
2
votes
0
answers
98
views
Closed images of linearly ordered spaces
Is there a description of the class of continuous closed images of linearly ordered spaces?
- 115
2
votes
0
answers
171
views
Is there a Lusin space $X$ such that ...?
Is there a Lusin space (in the sense Kunen) $X$ such that
$X$ is Tychonoff;
$X$ is a $\gamma$-space ?
Note that if $X$ is metrizable and a $\gamma$-space then it is not Lusin.
In mathematics, a ...
- 1,101
2
votes
0
answers
68
views
Semigroups related to iterated orthogonal complement
Let $R\subset V\times V$ be a relation on a set $V$. For a subset $S\subset V$, define its orthogonal complement with respect to $R$
as
$$S^l:=\{ x: \forall y\in S\ \ (x,y)\in R\},\ \ S^r:=\{y: \...
- 513
2
votes
0
answers
64
views
A particular generalization of free partially commutative monoids
A trace monoid, or free partially commutative monoid, is one with the presentation $\langle \Sigma \mid a_1b_1 = b_1a_1, \dots, a_nb_n = b_na_n\rangle$. The theory of trace monoids has been well ...
- 21
2
votes
0
answers
174
views
Concrete description of “DeMorganian” open sets
Let me begin with a few definitions. My question will be basically how to simplify them to something more manageable. The motivation for these definitions is given at the end.
Let $X$ be a ...
- 32.5k
2
votes
0
answers
73
views
What should I call a log scheme with free reduced monoids?
This is a terminology question about a class of log varieties.
Given an fs (fine and saturated) log variety $(X, M)$ (for $M$ the defining sheaf of monoids), any geometric point $x\in X$ has a ...
- 7,962
2
votes
0
answers
217
views
Presentation complex and arbitrary $2$-dimensional CW-complex with same fundamental group
Given a finite group $G$, consider a presentation $P$ of $G$ and consider $X_P$, the presentation complex. Now let $Y$ be any $2$-dimensional CW-complex with $\pi_1(Y)=G$. Is there any relation ...
- 179
2
votes
0
answers
161
views
Embedding a monoid into a group via its monoid ring
Suppose I have a monoid $(M,\, \cdot,\, e)$ equipped with a monoid homomorphism $\textrm{length} : M \rightarrow \mathbb{N}_+$ into the monoid of natural numbers under addition where $e$ is the only ...
user491484
2
votes
0
answers
52
views
Can we decompose an increasing net of functions into two increasing nets with prescribed supports?
Let $K$ be a compact Hausdorff space and let $U,V\subset K$ be open. Let $\left(f_{i}\right)_{i\in I}$ be an increasing net of continuous non-negative functions such that $f_{i}\le 1$ and $f_{i}$ ...
- 5,529
2
votes
0
answers
66
views
Separating property of a finite union of topological disks
Let $X$ be a topological $2$-sphere. Let $D_1, D_2, \dots, D_n \subset X$ be a finite family of closed topological disks (i.e. sets homeomorphic to the closed unit disk). Let $\mathcal{U} = \bigcup_{1 ...
- 111
2
votes
0
answers
103
views
$n$-connected spaces (terminology)
A graph is called $n$-connected if it remains connected after removal $\le n$ vertices.
Question. What is the name of an analogous property of topological spaces: a space that remains connected after ...
- 42k
2
votes
0
answers
181
views
So many types of subwords! How are they called?
Let $\mathscr F(X)$ be the free monoid on an alphabet $X$, the carrier set of $\mathscr F(X)$ being the union of $X^{\times k}$ (the Cartesian product of $k$ copies of $X$) as $k$ ranges over $\mathbb ...
- 10.5k
2
votes
0
answers
134
views
Subsets of $\mathbb{S}^n$ fixed by an orientation-reversing self-homeomorphism — Part 1
Call a subset $Z$ of $\mathbb{S}^n$ ambiently-reversible, if there is an orientation-reversing self-homeomorphism $h: \mathbb{S}^n \to \mathbb{S}^n$ fixing $Z$ pointwise.
Question 1: Which subsets of ...
- 1,936
2
votes
0
answers
73
views
Why does normality imply that a countable base $B$ contains at least one set $U$ whose closure is a subset of another set $V \in B$?
I'm reading Aliprantis and Border's excellent text, Infinite Dimensional Analysis: A Hitchhiker's Guide (PDF available at link, assuming I've done this properly), and I've reached an impasse in the ...
- 21
2
votes
0
answers
75
views
Dual space induced by a finer topology
Let $\|\cdot\|_1$ and $\|\cdot\|_2$ be two seminorms on a space $E$ such that $\|\cdot\|_2\geq\|\cdot\|_1$. Let further $E_i:=(E,\|\cdot\|_i)$ and
$$C_b(E_i):=\{f : E\rightarrow\mathbb{R}\mid f \ \...
- 463
2
votes
0
answers
61
views
Space of continuous paths up to strict reparametrization
Take a Hausdorff topological space $X$. Take two distinct points $x$ and $y$ of $X$. Consider a set $U$ of continuous paths $p$ from $[0,1]$ to $X$ equipped with the compact-open topology such that: $...
- 3,901
2
votes
0
answers
101
views
Concrete topological objects and notions in the category of locales
I have read Peter Johnstone's “The Point of Pointless Topology” and the idea that topological spaces are not quite the right abstraction for topology seems, at least philosophically, rather appealing. ...
- 121
2
votes
0
answers
130
views
Attaching a 2-handle to a once-twisted unlink in the boundary of the 4-ball
Consider the 3-sphere $S_3$ with an unlink loop $L$ whose tubular neighborhood is identified with the solid torus $B_2\times S_1$ with one twist, i.e., such that the image of $x\times S_1$ (where $x$ ...
- 3,001
2
votes
0
answers
82
views
Is every first-countable symmetrizable space perfect?
Let us recall that a symmetric on a set $X$ is any function $d:X\times X\to[0,\infty)$ such that
for every $x,y\in X$ the following two conditions are satisfied:
$d(x,y)=0$ if and only if $x=y$;
$d(...
- 42k
2
votes
0
answers
67
views
Type of numerical semigroups is not bounded when embedding dimension is $\geq 4$
I am currently studying numerical semigroups. I know that there is no upper bound for the type of a numerical semigroup with embedding dimension greater or equal than $4$. There is a famous example by ...
- 121
2
votes
0
answers
149
views
Polynomial entropy of topological dynamical systems
For a continuous mapping $\varphi: X \to X$ on a compact Hausdorff space $X$ we define the entropy as follows:
Given open covering $\mathcal{U}$, $\mathcal{V}$ of $X$, we call $\mathcal{V}$ a ...
- 467
2
votes
0
answers
76
views
Equilibrium for a game with mixed strategies on a compact ultrametric space
Let $(X,d)$ be a compact ultrametric space. Hartig and de Vink considered the following ultrametric on the set $P(X)$ of probability on $X$:
$$\hat d(\mu,\nu)=\inf\{r>0:\forall x\in X\;\;\mu(B_r(x))...
- 4,535
2
votes
0
answers
73
views
Separately continuous functions of the first Baire class
Problem. Let $X,Y$ be (completely regular) topological spaces such that every separately continuous functions $f:X^2\to\mathbb R$ and $g:Y^2\to \mathbb R$ are of the first Baire class. Is every ...
- 4,535
2
votes
0
answers
108
views
Left-elements of a numerical semigroup generated by two elements
A numerical semigroup $S$ is a semigroup in $\mathbb{N}$ such that $\mathbb{N}\backslash S$ is finite. It is known that there exists always a set $M$ such that an element in $S$ can be expressed as a ...
- 31
2
votes
0
answers
76
views
Maps defined on the set of Turing degrees
Let $\mathcal{D}$ be the collection of Turing degrees. Are there nontrivial maps $\phi:\mathcal{D}\to \mathcal{D}$ which is natural to consider? For instance, I wonder whether maps which are ...
- 4,459
2
votes
0
answers
369
views
Components of the complement of a compact set
Suppose $K$ is a compact subset of $\mathbb{R}^m$ ($m>1$), and $0<r<R$ are fixed numbers. Let $A$ be the set of points having a distance $<R$ and $>r$ from $K$. My questions are
If $K$ ...
- 411
2
votes
0
answers
200
views
A question about infinite product of Baire and meager spaces
Proposition 1: For any space $X$ and an infinite cardinal $\kappa$, the product $X^{\kappa}$ is either meager or a Baire space.
Does anyone have any suggestions to demonstrate Proposition 1?
I was ...
- 561
2
votes
0
answers
58
views
Dimension changes from global to local immersion
From Hatcher Corollary A.10. the (global) immersion for an $n-$dimensional CW complex is possible in some $\mathbb{R}^N$. I have started with $M(G,n)$ (Moore space of type $(G,n)$, $G$ is cyclic ...
- 1,177
2
votes
0
answers
198
views
A generalisation of closed and bounded subsets of non-Archimedean fields to topological spaces
The definition of compactness in topological spaces generalises the notion of a subset of $\mathbb{R}^n$ being closed and bounded, as expressed by the Heine-Borel Theorem.
In finite-dimensional vector ...
