All Questions
1,339 questions with no upvoted or accepted answers
4
votes
0
answers
50
views
The normality of powers versus the normality hypersymmetric powers
Let $X$ be a topological space. Let $[X]^{<\omega}$ be the space of non-empty finite subsets of $X$, endowed with the Vietoris topology. For a natural number $n$ the subspace $$[X]^{\le n}:=\{A\in[...
- 42k
4
votes
0
answers
67
views
Irreducible separators of compact manifolds
Definition. A closed subset $S$ of a topological space $X$ is called
$\bullet$ a separator of $X$ if $X\setminus S$ is disconnected;
$\bullet$ an irreducible separator if $S$ is a separator of $X$ ...
- 42k
4
votes
0
answers
216
views
Is each metric continuum $\ell_p$-chain connected?
This problem was motivated by the MO problems:
"Running most of the time in a connected set", "Is every metric continuum almost path connected?" and "Are $\varepsilon$-connected components dense?".
...
- 42k
4
votes
0
answers
107
views
Compact subspace of sober space
We know from lemma 1.2.5 in part C of Sketches of an Elephant (by Johnstone) that both open and closed subspaces of a sober space are again sober. This raises the following question.
Question: Is a ...
- 221
4
votes
0
answers
105
views
Is the closure $\overline{ \{X \in \mathbb{R}^{m \times n} : \rho(M-NX) < 1\} }$ equal to $ \{X \in \mathbb{R}^{m \times n} : \rho(M-NX) \le 1\}$
I am not sure whether this question fits this forum (I will delete it if not appropriate here). But I asked this on MSE over a week ago with no answer and then put a bounty still got no answer. Here ...
- 195
4
votes
0
answers
115
views
point-wise approximation of the identity in hereditary Lindelof spaces
Let $X$ be a topological vector space. Assume that there exists a sequence of finite range measurable functions $\phi_n:X\to X$ with $\lim\phi_n(x)=x$.
Q. Can we concluded that $X$ is hereditery ...
- 4,058
4
votes
0
answers
143
views
A point concerning Fremlin's example on Borel sets in non-separable Banach spaces
Let $E$ be a Banach space. Let us consider the following three sigma algebras on $E$.
$~~~~\mathcal{B}$= The $\sigma$-algebra coming from the norm topology.
$~~\mathcal{M}$= The sigma algebra ...
- 4,058
4
votes
0
answers
222
views
Set of subsequences with the same ultrafilter limit of the original sequence
Let $\mathscr{U}$ be a free ultrafilter on the positive integers $\mathbf{N}$ and fix $U \in \mathscr{U}$ such that $U$ is not cofinite (thanks J.D.Hamkins for the correction.)
Consider the natural ...
- 1,511
4
votes
0
answers
195
views
A kind of 0-1 law?
Suppose that P is a Borel subset of Baire $\times$ Baire, such that for every pair $x,x'$ of reals in the horizontal copy of Baire,
if: $x,x'$ are $E_0$-equivalent (that is, $x(n)=y(n)$ for all but ...
- 2,281
4
votes
0
answers
79
views
Is $c(\mathcal M(X)) = c(X)$ for any first countable regular space?
G.M. Reed developed a construction technique which associates
a Moore space $\mathcal M(X)$ to each regular first-countable space $X$ such that $\mathcal M(X)$ is separable
(respectively, locally ...
- 621
4
votes
0
answers
133
views
Equivalence of Flat Fiber Bundles vs Equivalence of Group Actions on the Fiber
Let's consider all flat fiber bundles with base space $B$ and fiber $F$, where $B$ and $F$ are compact and at least CW-complexes. (perhaps even topological/smooth manifolds if that helps)
All those ...
- 404
4
votes
0
answers
86
views
When is the map $X^I \to X \times X$ open onto its image?
Here $X$ is a topological space, $I$ is the unit interval, $X^I$ is the function space and the map is evaluation at the end-points. According to the discussion at On the openness of the map X^I -> ...
- 431
4
votes
1
answer
364
views
Values attained by the coheight of $(H \setminus H^\times)^k$ as a function of $H$ and $k$
Edit (Apr 24, 2017). I'm updating this post in the light of the latest developments of a related thread.
Let $H$ be a multiplicatively written, commutative monoid, and set $M := H \setminus H^\times$,...
- 10.5k
4
votes
0
answers
112
views
Bundle structures on spheres
Given a positive integer $n$, there is a well known free action of $\mathbb T^1$ on $\mathbb S^{2n-1}$ due to Hopf, which makes $\mathbb S^{2n-1}$ a fibre bundle with the fibre $\mathbb T^1$. Moreover,...
4
votes
0
answers
154
views
Is the limit of classical Laver tables connected anywhere?
Let $A_{n}=(\{1,\dots,2^{n}\},*_{n})$ be the $n$-th classical Laver table. Then $*_{n}$ is the unique operation on $\{1,\dots,2^{n}\}$ where $x*_{n}(y*_{n}z)=(x*_{n}y)*_{n}(x*_{n}z)$ and
$x*_{n}1=x+1\...
4
votes
0
answers
152
views
Interval topology of the poset of all coverings
Let $(P,\leq)$ be a poset. The interval topology $\tau_i(P)$ on $P$ is generated by
$$\{P\setminus\downarrow x : x\in P\} \cup \{P\setminus\uparrow x : x\in P\},$$
where $\downarrow x = \{y\in P: y\...
- 48.9k
4
votes
0
answers
156
views
Basic calculus on topological fields
Let $K$ be a a topological field (I am mainly interested in the cases when K is either an ordered field or a valued field, e.g. $K = \mathbb Q$ or $ \mathbb Q_p$).
1) Let $f: K^n \to K$ be a ...
4
votes
0
answers
177
views
Continuity of equivalence relations
A function $\varphi : X \rightarrow Y$ between two topological spaces is continuous if and only if $\varphi(\,\overline{A}\,) \subset \overline{\varphi(A)}$ for all $A \subset X$.
This property can ...
- 18.7k
4
votes
0
answers
765
views
Counting loops in degree: 1 or 2?
Here's what seems to be an annoying technicality when dealing with loops in graphs.
In the literature on expander graphs (and surely not only), it seems to be the convention that a loop at vertex $v$ ...
- 997
4
votes
0
answers
227
views
Homeomorphism between evenly spaced integer topology and the rationals
The evenly spaced integer topology is countable, metrizable, and has no isolated points, and hence is homeomorphic to the rationals with the order topology. But what is an explicit construction for ...
- 4,907
4
votes
0
answers
455
views
Topology on $\mathcal{C}(X,Y)$ to work with homotopy
We know that the compact open topology on $\mathcal{C}(X,Y)$ is a good choice for topology on the set of continuous maps, but this seems really efficient, both naively and with respect to existence of ...
- 401
4
votes
0
answers
414
views
Topology on the space of Borel measures
Let $ B $ be the set of all measures $ \phi $ of $ \mathbf{R}^{n} $ such that every open set is $ \phi $-measurable (sometimes these measures are called Borel measures). Note the measures in $ B $ are ...
- 541
4
votes
0
answers
137
views
Intuition for universal quotient maps
The universal quotient maps are precisely the descent morphisms in the category of topological spaces. In some papers of Janelidze, Tholen, Sobral, and Reiterman (see for instance Reiterman-Tholen), ...
- 10.5k
4
votes
0
answers
503
views
Every convex sequentially closed set is closed
Let $X$ be a vector space. A vector (not necessarily Hausdorff) topology on $X$ will be called convex sequential if every convex sequentially closed subset of $X$ is closed.
Is there some description ...
- 105
4
votes
0
answers
352
views
A generalized ellipse
We know that an ellipse is the locus of all point $z$ in the plane with $$|z-a|+|z-b|=\lambda$$
where $a,b$ are two given points in the plane and $\lambda$ is a constant.
Now we consider the ...
- 366
4
votes
0
answers
87
views
Almost invariance in compact quotients of locally compact groups
While trying to get an analogue of Weiss's monotiling result for amenable residually finite groups
in the topological setting, I face the following problem.
Let $G$ be a locally compact amenable ...
4
votes
0
answers
158
views
Which Topological Spaces are Powers?
Given a topological space $X$ and closed subspace $Y \subset X$, it may be the case that $X$ is a power of $Y$. That means $\displaystyle X = \prod_{i < \kappa} Y_i$ for some cardinal $\kappa$ ...
- 1,955
4
votes
0
answers
77
views
Catenarity of monoid algebras
Let $R$ be a commutative ring, let $M$ be a commutative monoid, and let $R[M]$ denote the corresponding monoid algebra. Suppose further that $R$ is universally catenary. One may ask for conditions on $...
- 6,700
4
votes
0
answers
90
views
Topological systems of imprimitivity
Let $G$ be a group acting by homeomorphisms on a topological space $X$. $G$ is topologically transitive if every open $G$-invariant subset of $X$ is empty or dense.
Here is an attempt to define ...
- 4,728
4
votes
0
answers
152
views
On the computational complexity of the Hilbert polynomial of numerical semigroup rings
Let $(R, \mathfrak{m}) = k[[X^a, X^b, X^c]]$, $a<b<c$, $gcd(a, b, c) = 1$, be a semigroup ring. We have $R$ is a Cohen-Macaulay local ring of dimension one. It is well known that $\ell(R/\...
- 2,773
4
votes
0
answers
162
views
Remainders in compactifications of completely metrizable spaces
Given a Tychonoff (topological) space $X$, we know that $X$ admits a Hausdorff compactification $cX$. We say the remainder of $X$ in this compactification is $rX=cX\setminus X$. One natural question, ...
- 333
4
votes
0
answers
98
views
Unique representability of bounded distributive lattices
Priestley Duality assigns to every bounded distributive lattice $L$ a compact totally order-disconnected topological space $P(L)$, also called a Priestley space.
A poset $(P,\leq)$ is called (...
- 48.9k
4
votes
0
answers
146
views
A question on extension of $Z^{*}$ algebras
A $Z^{*}$ algebra is a $C^{*}$ algebra which all elements are(two sided or equivalently one sided) zero divisor.
Are there two $Z^{*}$ algebras $A,B$ such that for every short exact sequence of ...
- 366
4
votes
0
answers
225
views
A construction on commutative monoids similar to the semidirect product
Let $M_1$ and $M_2$ be commutative monoids, $M_1$ written additively with identity $0$ and $M_2$ multiplicatively with identity $1$. Furthermore, let $M_2$ act on the left on $M_1$ via monoid ...
- 492
4
votes
0
answers
172
views
$S^{3}$-valued harmonic analysis
Edit:
Note that $S^{3}$ with the quaternion operation is a group. For a locally compact Abelian group $\Gamma$ we consider
$$\tilde{\tilde{\Gamma}}=\{\phi:\Gamma \to S^{3} \mid \phi(xy)=\phi(...
- 366
4
votes
0
answers
199
views
Correspondence between numerical semigroups and polynomials?
A numerical semigroup $A$ is defined as a subsemigroup of the semigroup $(\mathbb{N},+)$ of the positive integers such that the set $\mathbb{N}\setminus A$ is finite. Equivalently (for a subsemigroup) ...
4
votes
0
answers
2k
views
Approximation of continuous functions by Lipschitz functions in the topology of uniform convergence on compact sets
I was involved into this subject when I answered
this
question from MSE. Trying to generalize my answer, I am thinking about a following
Question. Let $X$ and $Y$ be metric spaces. When each ...
- 5,409
4
votes
0
answers
330
views
determine if a toric variety is Gorenstein
Let $G$ a simply connected group over $k$ and $car(k)=0$.
Let $T_{+}=(T\times T)/Z_{G}$ we consider the closure $\overline{T}_{+}$ of the torus $T_{+}$ in $\prod End(V_{\omega_{i}})\times\prod\...
- 3,472
4
votes
0
answers
158
views
Does this construction yield an injective hull ?
Let $K$ be an object of $\mathbf{CHaus}$, the category of compact Hausdorff spaces, and $K \xrightarrow{\ \ \sigma \ \ } K$ be an involutory morphism without fixed points. Define $C^{\sigma}(K)$ as ...
- 7,249
4
votes
0
answers
210
views
properties of $\beta\omega\setminus\omega$ minus the P-points
Let $X=\beta\omega\setminus\omega$ and let $Y=X\setminus P$ where $P$ is the set of P-points in $X$. Then $P$ is dense in $X$ if we assume CH but $P$ may be empty otherwise (Shelah). In the one case $...
- 607
4
votes
0
answers
396
views
Is there a homological way to compute quiver presentations?
I have recently been studying with colleagues the representation theory of certain finite monoids that come up in probability theory and combinatorics, see Ken Brown's beautiful survey here.
These ...
- 38.6k
4
votes
0
answers
223
views
A closure operation on subsets of ${\Bbb Z}[x]$
Given a(n infinite) set $S\subset {\Bbb Z}[x]$ (integer polynomials), write $R_S$ for the topological closure of the set of all complex roots of all $p\in S$. Then write $\hat{S}$ for the set of all ...
- 17.6k
4
votes
0
answers
331
views
What is the pro-algebraic completion of the free semigroup on one generator?
This question is motivated by an attempt to understand what is going on in Tom's post from a certain point of view.
Let $\mathbb N^+$ be the free semigroup on one generator (so the positive natural ...
- 38.6k
4
votes
0
answers
137
views
Does this property of scattered spaces have a name?
(Note: I asked this question at MSE a week ago and received no answer, so I am now reposting it here.)
Let $K$ be a (Hausdorff) scattered topological space and for each ordinal $\alpha$ denote by $K^{...
- 2,378
4
votes
0
answers
940
views
Proofs of Baire category theorem
I would like to have a list of proofs of the fact that the real line is not meager (also very useful would be a reference to such a list, if it already exists somewhere).
My motivation is the ...
- 315
4
votes
0
answers
355
views
Terminology for topological base closed under intersection?
Is there an established or well justified terminology for a topological base that is closed under finitary intersections?
As motivation, recall these conditions on a collection of subsets of a given ...
- 2,754
4
votes
0
answers
1k
views
Associative binary operations on natural numbers
Which are all the associative binary operations on natural numbers ?
Certain results in this regard can be found in arxiv:math/0508215.
It appears that such associative operations cannot grow too fast....
4
votes
0
answers
296
views
What is enough to conclude that something is a CW complex (part II)?
A while ago I asked a question about recoqnizing CW complexes and got an extremely nice and concrete answer. However, I am still interested in a more general treatment of this and therefore pose the ...
- 2,590
4
votes
1
answer
479
views
"monotone" homotopy?
This is a question about a concept that I call "monotone homotopy" which arises in a natural way in some topological situations.
Let $X$ be a (bounded) metric space, $Y$ be a topological space and $A\...
- 101
3
votes
0
answers
637
views
Fixed point theorem for convex, closed multivalued mapping
There is well-known fixed point theorem theorem for multivalued l.s.c. maps, based on Michael selection theorem:
Suppose, that $X$ is compact, convex and metrizable in locally convex Hausdorff ...
- 696