All Questions
5,185 questions
5
votes
0
answers
237
views
On a very weak notion of fibration (of topological spaces)
Suppose that $f:Y \to X$ is a map of topological spaces, and lets assume for simplicity that $X$ is connected. For the fibers of $f$ to compute the homotopy fibers, one would usually want to demand ...
- 15.5k
0
votes
2
answers
673
views
(Homotopy) Y ENR and contractible subset implies Y is a retract
I'm trying to solve the following question:
Suppose $Y \subset R^n$ is a Euclidean neighborhood retract. I want to prove that if $Y$ is contractible, then it is a retract of $R^n$.
- 11
4
votes
3
answers
1k
views
Morse theory and Euler characteristics
Suppose we have a space M with a real-valued, differentiable function F on M. Under what conditions on F will the Euler characteristic of M be expressed as a (signed) sum of Euler characteristics of ...
- 1,129
4
votes
1
answer
169
views
Is this notion of 'closed subset' of a semigroup action something people have thought of?
Suppose $S$ is a semigroup (or a monoid, or a category), and $X$ is an $S$-set -- that is, a set with an action of $S$. Say that a sub-$S$-set $Y$ is "downward closed" (or maybe "well-generated") if ...
- 3,159
3
votes
2
answers
788
views
On the group of homeomorphisms of a manifold
Let $M$ be a $n$ dimensional manifold. Let $Aut(M)$ be the group of homeomorphisms
of $M$ viewed as a topological group under the compact-open topology.
What can we say in general about $Aut(M)$?
...
- 7,609
1
vote
0
answers
284
views
A question about the Leray-Serre spectral sequence
Suppose $F \to E \stackrel{p}{\to} B$ is a fibration with $B$ simply connected. The $E_2^{p,q}$ page of the Leray-Serre spectral sequence is given by $H^p(B;H^q(F))$. Suppose futhermore that $k$ is a ...
- 2,830
0
votes
1
answer
153
views
Path-connected Hausdorff interval topologies
Let $(P,\leq)$ be a poset with more than $1$ point such that the interval topology $\tau_i(P)$ is path-connected and $T_2$. Does this imply that $[0,1]$ order-embeds into $P$?
(This is a follow-up ...
- 48.9k
2
votes
1
answer
223
views
pseudovarieties and profinite group : do * and g() commute?
Let $V$ and $W$ be pseudovarieties of finite monoids. We denote with $gV$ the pseudovariety of categories generated by $V$, and by $V*W$ the semidirect product of pseudovarieties $V$ and $W$.
Does ...
- 421
7
votes
0
answers
171
views
Are there always large discrete families of normal measures?
Let $\kappa$ be a measurable cardinal. We give the Stone space of all ultrafilters on $\kappa$ the usual topology, where each $x\subseteq\kappa$ determines a basic open $[x]=\{U;x\in U\}$. The ...
- 2,389
1
vote
1
answer
164
views
Connectedness of the complements of the connected subsets
EDIT: My original foolish version was instantly destroyed by Dylan Thurston; it consisted of questions 1 & 2 below. Thus now only new question 0 remains to be answered.
Let $\ X:=M^n\ $ be a ...
- 7,500
4
votes
2
answers
263
views
scott continuity, sub additivity
Let $(X, \sqsubseteq_x)$ and $(Y, \sqsubseteq_y)$ be two posets and let $\delta_x:X \to X$ and $\delta_y:Y \to Y$ be two closure operators (monotone, inflationary, idempotent). Then, a monotone ...
- 41
8
votes
0
answers
838
views
Intersections of open sets and $\alpha$-favorable spaces
I would like to ask about some classes of topological spaces whether they have been studied, what are they called (if they have a name) and whether they have some interesting properties. For the ...
- 4,713
8
votes
1
answer
480
views
Face poset of a subcomplex complement
Let $P$ denote the face poset of a simplicial complex, $\Delta$ the order complex of a poset, and $\sim$ homotopy equivalence. It's known that for any finite simplicial complex $\mathcal{K}$ that $\...
- 191
8
votes
1
answer
453
views
C* algebras of Almost Periodic Functions
Suppose we take, for example, the $C^*$-algebra which is the sup norm closure of the exponentials $e^{2 \pi i ax}$ where $a \in \mathbb{Z} + \theta \mathbb{Z}$ for $\theta$ an irrational number. This ...
- 1,010
2
votes
2
answers
357
views
Projective limit construction of a semigroup
Let $\tilde{\mathbb N}$ be the Abelian semigroup (under addition) given by $\mathbb N\cup\{0,\infty\}$, and let $S_n$ be the Abelian monoid $\tilde{\mathbb N}^{2^n}$ under point-wise addition. ...
- 417
5
votes
3
answers
553
views
Nonmetrizable uniformities with metrizable topologies
I'm looking for such pathological examples of uniform spaces which are not metrizable, but whose underlying topology is metrizable. Willard in his General Topology text constructs such a uniformity ...
- 3,004
12
votes
1
answer
744
views
Is the following construction of the 0-Hecke monoid (well) known?
Let W be a Coxeter group with Coxeter generators S. The corresponding 0-Hecke monoid H(W) has generating set S, the braid relations of W and the relations that each element of S is an idempotent. If ...
- 38.6k
7
votes
0
answers
227
views
Uniform approximation of separately continuous functions on zero-dimensional spaces
For topological spaces $X,Y,Z$ а function $f:X\times Y\to Z$ is called separately continuous if for any $(x,y)\in X\times Y$ the restrictions of $f$ to the sets $\{x\}\times Y$ and $X\times \{y\}$ are ...
- 42k
2
votes
1
answer
891
views
Riesz representation theorem for vector-valued fields
Let $Q$ be a locally compact Hausdorff space, and let $V$ be a topological vector space. Consider the space $X = C_0(Q, V)$ of $V$-valued fields which vanish at infinity. Let $X^*$ denote the dual ...
- 8,512
8
votes
2
answers
464
views
Direct proof of "K is projective iff C(K) has the Hahn-Banach property" ?
An object $X$ of a given category is called projective if for each morphism $f : X \rightarrow Z$, and each epimorphism $ g : Y \twoheadrightarrow Z$, there is a morphism $h : X \rightarrow Y$ such ...
- 7,249
0
votes
0
answers
83
views
Topology of sets given by semi-continuous functions
$M$ is a compact space. Assume $f$ is upper semi-continuous on $M$, $g$ is lower semi-continuous on $M$, and $f(x) \geq g(x)$ for any $x\in M$.
If $f(x_0) = g(x_0) $ for some point $x_0\in M$,
Then $...
- 173
2
votes
0
answers
516
views
The Hausdorff quotient of totally disconnected space
Let $G$ be a second countable locally compact Hausdorff group and $X$ be a second countable locally compact almost-Hausdorff $G$-space. If $X$ is totally disconnected and the orbit space X/G is ...
- 1,702
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
3
votes
1
answer
494
views
Why the category of core-compact spaces with continuous maps is not cartesian closed ?
According to ESCARDÓ-LAWSON-SIMPSON paper 'Comparing cartesian closed categories of (core) compactly generated spaces' The following four propositions are true:
A topological space $X$ is ...
- 764
5
votes
3
answers
843
views
Topology on the set of linear subspaces
Hello,
let $X$ be a seperable Hilbert space. Let $(e_i)_i$ be a Hilbert basis, and for each index let $E_i = \langle e_1,\dots,e_i \rangle \subset X$ the span of the first $i$ basis vectors. For any $...
- 5,327
1
vote
0
answers
152
views
Does bounded and closed equal compact for sets of Borel probability measures?
Equip the space of Borel probability measures on a fixed closed subset X of the s-dimensional Euclidean space with the topology induced by weak convergence of probability measures. In this setting, ...
6
votes
0
answers
754
views
Homeomorphisms of product spaces: an example
In the first of these lectures (http://www.mpim-bonn.mpg.de/node/4436) given by M. Freedman he says that there exists (compact metric) spaces $X$ and $Y$ such that $X\times S^{1}$ is homeomorphic to $...
- 683
5
votes
3
answers
676
views
Does every compact Hausdorff ring admit a decomposition into primitive idempotents?
Let $\mathbf{R} = (R,\mathcal{T},+,\cdot,0,1)$ be a compact Hausdorff topological unitary ring, and consider the set $I(\mathbf{R}) := \{ e \in R \mid e \cdot e = e \}$ (of idempotents in $\mathbf{R}$)...
- 1,498
7
votes
2
answers
417
views
Does every commutative monoid admit a translation-invariant measure?
Let $T$ be a commutative monoid, written additively. The set $T$ is equipped with a canonical pre-order, defined by $s \le t$ when there exists $s' \in T$ so that $s + s' = t$. Consequently, $T$ may ...
- 8,512
1
vote
3
answers
5k
views
Definition of Connected Subspace
In Munkres (Chapter 3, Section 23, p. 148), Munkres shows that if a subspace $Y$ of a space $X$ is not connected, then there are two disjoint open subsets $A,B$ such that the union of $A$ and $B$ ...
- 15.4k
5
votes
1
answer
186
views
When does topological homogeneity imply algebraic homogeneity? Pseudo-arc and Hilbert cube
Knaster's pseudo-arc and Hilbert cube are topologically homogeneous continua. The easier question is: do these spaces admit a topological group structure? (I am sure that the answer is negative). Thus ...
- 7,500
3
votes
3
answers
3k
views
Locally compact separable metric spaces
Hi,
Is it true that for every locally compact separable metric space $E$ there exists a sequence $(K_n)_{n\in\mathbb{N}}$ of compact subsets of $E$ such that $K_n\subset\stackrel{\circ}{K_{n+1}}$ and $...
- 3,033
3
votes
1
answer
364
views
Automatic continuity of the inverse map
All topological spaces considered here are Hausdorff.
It is a well-known consequence of the minimality of a compact topology that an injective continuous map
$f\colon X\to Y$
where $X$ is compact, ...
- 387
7
votes
2
answers
2k
views
Intersection form in twisted homology (homology with local coefficients)
The answer to this question should be obvious, but I can't seem to figure it out. Suppose we have a surface $F$, and a representation $\rho : \pi_1(F)\to SU(n)$. We can define the homology with local ...
- 1,129
7
votes
0
answers
2k
views
Prokhorov's theorem for finite signed measures?
Prokhorov theorem provides a useful characterization of relatively compact sets w.r.t. narrow topology (topology induced by narrow convergence) in the space of probability measure.
Notation used ...
- 339
7
votes
1
answer
2k
views
Universally measurable sets and weak topology
After I posted this question, a couple of months ago, and got from MO-users several
good hints, I think i'm ready, after some study, to ask another related question (or rather, to focus on the main ...
user11618
6
votes
1
answer
313
views
A question on compact sets
Let $K\subset \mathbb{R}^N$ be a compact set. We say
$K$ is "good" if the following property holds:
Given a set of open neighborhoods $\{x\in U_x\subset \mathbb{R}^N\}_{x\in K}$ there exists a finite ...
3
votes
2
answers
303
views
Finite non-Hausdorff models of CW-complexes
Years ago, my advisor showed me a construction where you take a CW complex and quotient each open cell to a single point. He said that under certain conditions (I believe always satisfied by the ...
- 3,359
11
votes
2
answers
721
views
Inconsistency and workaday independence.
Set-theoretic topologists, for example, encounter many propositions that turn out independent from set theory. Sometimes these results require novel forcing arguments, but often they simply rely on ...
- 17.6k
6
votes
2
answers
94
views
Closed field lines in the plane
A dipole in the plane consists of a positive charge P and an equal and opposite negative charge N separated by a fixed distance . Almost all of the resulting electric field lines (which fill the ...
- 1,411
2
votes
0
answers
49
views
Does each weakly feathered topological group admit an injective homomorphism into a feathered topological group?
A topological group $G$ is called
$\omega$-$\mathit{narrow}$ if for each non-empty open set $U\subset G$ there exists a countable subset $C\subset G$ such that $G=CU=UC$;
$\mathit{feathered}$ if $...
- 42k
1
vote
1
answer
523
views
The space $\psi$
Is the space $\psi$ (described in problem 5I of L. Gillman and M. Jerison, Rings of continuous functions, Springer Verlag, 1976) a F-Z-space (i.e, space with $cl(X-Z(f))$ is a zero set for every $f$ ...
- 113
2
votes
0
answers
329
views
Two questions on hyperspace of a metric space
Let $(X,T)$ be a compact metrizable space. For every metric $d$ on $X$ which is $T-$ compatible, the Hausdorff metric on $2^{X}$ gives a topology on $2^{X}$.
(Up to homeomorphism) is this topology ...
- 366
3
votes
1
answer
440
views
Lindelöf subsets of $P$-spaces
A completely regular topological space $(X,\tau)$ is called a $P$-space, if every $G_\delta$-subset of $X$ is open. (i.e $\tau$ is closed under countable intersection). Here we recall some special ...
- 1,788
1
vote
1
answer
655
views
Topological razors (ball-like spaces)
Introduction
Many admire the Euclidean space, and I am not an exception. I will try to catch the topological roundness of the $n$-ball in its greatest generality. I call the resulting axiomatized ...
- 7,500
4
votes
1
answer
401
views
Is normality of a Hausdorff space consequence of some property of open domains?
Let $\mathrm{r}\mathscr{O}$ be the family of open domains (regular open sets) of a topological space $\langle X,\mathscr{O}\rangle$, that is:
$$A\in\mathrm{r}\mathscr{O}\iff A=\mathrm{int(\mathrm{cl(A)...
- 1,112
3
votes
0
answers
47
views
Counting the monic atoms $f$ in the semiring $\mathbf N[x]$ with $f(0)=1$, bounded coefficients, and degree $k$ (in the limit as $k \to \infty$)
Let $H$ be the multiplicative monoid of the (usual) semiring of polynomials in one variable $x$ with coefficients in $\mathbf N$. Given $\alpha, k \in \mathbf N$, denote by $\mathcal A_k(\alpha)$ the ...
- 10.5k
2
votes
4
answers
634
views
Can connectedness of fibers of a smooth map be checked on a dense set?
Suppose $f: M\to N$ is a smooth map between two smooth manifolds, with $M$ compact and connected, and suppose there is a dense subset of $f(M)$ where each fiber is connected, then each fiber of $f$ is ...
- 377
7
votes
2
answers
435
views
Is the category of quotient of countably based topological spaces cartesian closed ?
In "Handbook of categorical algebra Vol 2" from Francis Borceux, the author gives a proof that $Top$ is not cartesian closed. It seems to me that this proof can be adapted to show that the category $\...
- 764
13
votes
2
answers
713
views
How do you compute the space of lifts of an E-infinity map?
Let X, Y and B be $E_\infty$ spaces, and let $p: X \rightarrow Y$ and $f: B \rightarrow Y$ be $E_\infty$ maps. We can ask for the space of lifts of f across p, that is the space of $E_\infty$ maps $g:...
- 3,103