All Questions
5,185 questions
4
votes
1
answer
247
views
Does a uniform space have a closed embedding in a product of metric spaces?
I am assuming that uniform spaces are Hausdorff (although it probably doesn't matter for this question). It is more-or-less obvious that a uniform space can be embedded in a product of metric space (...
- 907
2
votes
0
answers
371
views
Descriptive set theory on $\mathbb{R}^\mathbb{N}$
The short version of my question is, What is a good source for learning about descriptive set theory on the space $\mathbb{R}^\mathbb{N}$, under the product topology coming from the discrete topology ...
- 20.5k
1
vote
1
answer
179
views
Measures idempotent with respect to addition and multiplication.
Does there exist a probability finitely additive measure on $\mathbb N$ which is idempotent with respect to addition and multiplication simultaneously?
It is known (due to Hindman) that there is no ...
- 723
9
votes
2
answers
2k
views
What is the free monoidal category generated by a monoid?
In several places in a segment on cohomology (for example, here (PDF)) in John Baez's online lecture notes for a course in 2007 on quantum gravity, much is made of the fact that the simplex category $...
- 1,446
4
votes
1
answer
252
views
function space in comma category
Let TOP be a category of topological spaces and B be an object of TOP. Is there a notion of function space in the comma category TOP/B.
- 41
5
votes
2
answers
257
views
Quotients of Cantor cubes onto spaces
Let $\lambda$ be an infinite cardinal. Consider the Cantor cube $\Delta_\lambda = \{0,1\}^\lambda$. It is a standard fact in topology that the topological weight (= minimal cardinality for a basis) of ...
- 387
2
votes
1
answer
236
views
Does every proximal outer measure, measure all open sets?
Let $\: \langle X,\delta\rangle \: $ be a separated proximity space.
Let $\: \mu^* \: : \: 2^{X} \: \to \: [0,+\infty] \: $ be a proximal outer measure.
Let $U$ be an open subset of $X$.
Does it ...
user5810
3
votes
0
answers
867
views
The inductive and projective limits of compact Hausdorff topological groups
Are there conditions known under which the inductive or projective limit of a family of compact Hausdorff topological groups is compact? (For instance, such a result is valid for the projective limit ...
- 5,407
7
votes
2
answers
653
views
The integers as a sequential but non-first countable topological group
Completely unaware of the Bohr topology, I recently asked whether or not there was a Hausdorff group topology on the integers $\mathbb{Z}$ which made the group fail to be first countable. For me, this ...
- 7,193
1
vote
3
answers
314
views
Counterpart of Weierstrass theorem
Assume that $(X,\tau)$ is a topological space and assume that every continuous mapping $f$ of $X$ into real line $\mathbb{R}$ achieves its maximum. Under which conditions on $\tau$, the space $X$ is ...
- 303
3
votes
1
answer
164
views
Algebras with countable chains only
Is there an example of an uncountable Boolean algebra $B$ in which every chain is countable and such that $\ell_\infty$ embeds into the Banach space $C(\mbox{Stone }B)$? The latter requirement is not ...
- 387
2
votes
0
answers
1k
views
Closed irreducible subset
A nonempty subset $A$ of a topological space $X$ is called irreducible if, if $A\subset A_{1}\cup A_{2}$ and $A_{1}, A_{2}$ are closed subsets of $X$, then $A\subset A_{1}$ or $A\subset A_{2}$. We ...
- 192
1
vote
0
answers
321
views
Type I subspaces of the Stone Cech compactification of $\omega$
EDIT: I found a construction, see below. I decided not to delete the question in case someone is interested.
A space $X$ is of Type I if $X=\cup_{\alpha<\omega_1} X_\alpha$, where each $X_\alpha$ ...
- 1,855
6
votes
2
answers
507
views
Hausdorff group topologies on finitely generated groups
Suppose $G$ is a finitely generated Hausdorff topological group. Must $G$ be first countable (or perhaps a sequential space)? What if we restrict to the abelian case?
I wonder if this is even true ...
- 7,193
24
votes
0
answers
751
views
Are amenable groups topologizable?
I've learned about the notion of topologizability from "On topologizable and non-topologizable groups" by Klyachko, Olshanskii and Osin (http://arxiv.org/abs/1210.7895) - a discrete group $G$ is ...
- 3,897
6
votes
3
answers
281
views
Well-ordering with a topological property
Assuming the axiom of choice, is there a well-ordering of the reals such that every initial segment is closed for the usual topology? If the continuum hypothesis helps, we can also assume it.
An ...
- 1,341
7
votes
2
answers
394
views
When does a homeomorphism split into essentially minimal homeomorphisms?
Background
Suppose $X$ is a compact metric space, and that $\varphi: X\to X$ is a homeomorphism of $X$.
We say a subset $A$ of $X$ is $\varphi$-invariant if $\varphi(A) = A$. A $\varphi$-invariant ...
- 1,023
2
votes
1
answer
240
views
Relative extremely disconnected space
A topological space $X$ is called relative extremely disconnected if it has a base $B$ (for open subsets) such that disjoint elements in $B$ have disjoint closure.
Does it exist an infinite ...
- 192
0
votes
3
answers
1k
views
Zero-dimensional space
Let $X$ be a topological space with the following property: for any open subset $A$ of $X$ there is a collection of clopen subsets $\{A_{\alpha} : \alpha\in S\}$ such that $\overline{A}=\overline{\...
- 192
0
votes
1
answer
521
views
Extremely disconnected space
A topological space $X$ is called relative extremely disconnected if it has a base $B$(for open subsets) such that disjoint elements in B have disjoint closure, i.e, if $C, D$ in $B$ and $C\cap D=\...
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
1
answer
668
views
special extremally disconnected spaces with only finite isolated points
We Know that a cardinal $\kappa$ is measurable if there is a set $X$ with cardinal $\kappa$ and a {0,1}-measure $\mu: P(X) \rightarrow ${$0,1$} so that for all $x \in X$, $\mu(x)=0$ and $\mu(X)=1$. ...
- 1,788
2
votes
1
answer
637
views
Topological properties of SpecMax(A)
We consider $A = C_{b}(X)$, the ring of continuous bounded functions on a completely regular space $X$. Let $\DeclareMathOperator{\SpecMax}{SpecMax} \SpecMax(A)$ be the set of maximal ideals of $A$ ...
- 933
0
votes
1
answer
341
views
Length of intersection of intervals
Can anyone prove this statement? It seems true, but I'm finding it tricky to give a concise proof.
Fix $\alpha\in[0,1]$. Let $\mu$ be Lebesgue measure. Define $B(c,r)\equiv[c-r,c+r]$, where $[\cdot, ...
- 500
6
votes
1
answer
333
views
Trasportation metric (AKA Earth-Mover's, Wasserstein, etc.) as "natural" / "induced"?
Context: Given a discrete finite metric space $X$ (in my case X={0,1}$^n$ with the Hamming/L$_1$ distance), I need to define the natural or canonical metric on the set of all probability distributions ...
- 111
2
votes
1
answer
116
views
Composition of (topologically) connected binary relations
My question seems far too basic to be unknown, but I could not find anything relevant...
Let $X$, $Y$ and $Z$ be compact connected metric spaces, and let $F \subset X \times Y$ and $G \subset Y \...
- 4,010
1
vote
1
answer
201
views
can an nonzero IC sheaf have zero hypercohomology?
Can someone tell me which of the following are true? Let $X$ be a reasonable space.
Suppose $F$ is a complex whose cohomology groups are constructible sheaves, at least one of which is nontrivial.
...
- 8,723
7
votes
4
answers
659
views
Is there a good metric under which a sequence of compact sets can converge to an infinite dimensional set?
I have a sequence of finite-dimensional, compact sets in $L^2(\Omega)$, where $\Omega\subset \mathbf{R}^2$ is closed and bounded. The dimension grows monotonically with the sequence, and there is no ...
- 71
2
votes
1
answer
2k
views
Does there exist a countable partition of [0,1] by disjoint closed subsets? [duplicate]
Possible Duplicate:
Why are the integers with the cofinite topology not path-connected?
As in the title, is it possible to find closed, disjoint subsets $C_n$ of $[0,1]$ such that $[0,1] = \...
- 21
4
votes
2
answers
559
views
Is the generalized Baire space complete?
I want to see whether the fact that the Baire space $\omega^\omega$ is a complete (metrizable) space generalizes to $\kappa^\kappa$ being a complete (topological) space. I think this is an easy ...
- 2,882
8
votes
1
answer
1k
views
Beautiful examples of arc-like continua
A continuum is a nonempty compact, connected metric space.
A continuum $X$ is called arc-like if, for every $\varepsilon>0$, there is a continuous and surjective function $f:X\to [0,1]$ such that $...
1
vote
1
answer
216
views
Counting modular squares in an interval
For an integer $m$, let $S^m_{x_0,x_1} = \{ t | x_0 ≤ t ≤ x_1 $ and $t$ is a square modulo $m \}$. Let $S^m_x$ = $S^m_{0,x}$.
Determining whether the sets $S^m_x$ are empty is easy (1 is always a ...
- 123
2
votes
3
answers
1k
views
On the image of a G_\delta set under a continuous bijection
Let $X, Y$ be two metric spaces and $f$ be a continuous bijection (i.e. one-to-one map) from $X$ to $Y$. Let $E$ be a $G_{\delta}$ subset of $X$. I want to know weather the image $f(E)$ is also a $G_{...
- 19
6
votes
2
answers
569
views
Compactification of topological spaces
Hello,
If we take a localy compact space $X$ and we put $A=C_{b}(X)$ the $\mathbb{R}$-algebra of bounded continous functions on $X$, we have an embeding of topological space
$$\psi:X\longrightarrow ...
- 933
17
votes
6
answers
2k
views
The reals as continuous image of the irrationals
In the Wikipedia article about descriptive set theory I read that $\mathbb{R}$ (with its usual topology) is a Polish space, and that every Polish space
1) can be obtained as a continuous image of ...
- 23.4k
7
votes
3
answers
911
views
A fibrant-objects structure on Top
(Sorry for the crossposting, but I'm really interested in this question).
One can define (Paragraph 1.5, page 10) a fibrant-object structure on a suitable cartesian closed category of topological ...
- 13.6k
12
votes
1
answer
1k
views
Ultralimit versus partial limit
Let $\omega$ be a nonprincipal ultrafilter on $\mathbb N$.
A standard construction gives an $\omega$-limit, say $x_\omega$, for any bounded sequence $(x_n)$ of real numbers.
Namely, there is unique ...
- 45k
3
votes
1
answer
199
views
Is P(X) a connected set for a set X with a $\sigma$-algebra P(X) and a measure function m on it to [0,$\infty$] when P(X) is equiped with meter d, that for every A,B in P(X), $d(A,B)=m(A \Delta B)$?
look at Problem14.12 of chapter3 of "Aliprantis-Burkinshaw-Principles of real analysis-3ed.1998" ; 12. Let A be the collection of all measurable subsets of X of finite measure. That is, A = {B in X: m(...
7
votes
2
answers
643
views
Proper maps and transversality
I'll begin with the question, which is intrinsically interesting:
Let M be a manifold with some submanifold Y. Suppose that $W \rightarrow M$ is a smooth, proper map. Does there exist another map $...
- 13.5k
1
vote
0
answers
430
views
Intersection of cocompact closed normal subgroups
Let $G$ be a locally compact Hausdorff topological group.
Definition A closed normal subgroup $H \unlhd G$ is called cocompact if $G/H$ is compact with respect to the quotient topology.
Note that ...
- 1,498
5
votes
3
answers
1k
views
Is the hyperspace of the Hilbert cube homeomorphic to the Hilbert cube
Question: Is the hyperspace of the Hilbert cube $H=[0,1]^\mathbb {N}$ homeomorphic to $H$?
Remarks and definitions:
1) The Hilbert cube $H$ is a compact metric space, where the metric is given by ...
- 328
13
votes
4
answers
4k
views
Universal covering space for non-semilocally simply connected spaces
Consider a topological space $X$. Let us consider a universal covering space to be a covering $ p : \tilde{X} \rightarrow X$ which is a covering of all other covering spaces. (Perhaps I should call ...
- 1,162
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
1
vote
1
answer
136
views
Nonhomeomorphic CW-complexes that are "stably" homeomorphic
Do there exist CW-complexes $X$ and $Y$ that are not homeomorphic, but $X \times I$ and $Y \times I$ are homeomorphic? Here $I$ denotes the unit interval $[0, 1]$.
- 19
1
vote
2
answers
375
views
What are the monoids in which every globally idempotent subsemigroup contains the identity element?
A semigroup is called globally idempotent when for any $x\in S$ there are $y,z\in S$ such that $x=yz$.
Is there a name for monoids whose every globally idempotent subsemigroup contains the identity ...
- 1,445
0
votes
0
answers
196
views
measurable function on a locally compact space for a regular measure
A well known classical fact is that a Lebesgue measurable function on Euclidean space is almost everywhere equal to a Baire class 2 function. A relatively modern reference for this fact is van Rooij -...
- 1,704
2
votes
1
answer
407
views
Endomorphisms of degree d on a sphere with infinite fibers on a dense subset
Let $S^n$ be the sphere of dimension $n$. In order to construct a map $f:S^n\rightarrow S^n$ of degree $d\geq 2$ one has the following construction: Let $K$ be the complement of $d$
disjoint n-...
- 7,609
9
votes
4
answers
3k
views
Associativity of topological join and join of spheres
This must be an elementary question, as I couldn't find any proofs on the Internet, but I still can't do it. And yes, Hatcher says that the join is not actually associative for general topological ...
- 1,000
2
votes
1
answer
190
views
Test functions with small support and nonnegative Fourier transform
The following problem arose in a question I recently asked : given a (possibly non abelian) compact group $G$ and a neighbourhood $U$ of the identity in $G$, can we always find a function $f : G \...
- 235
6
votes
2
answers
1k
views
Fundamental groups and homology groups of closed subsets of the plane
Let $X$ be a closed subset of $\mathbb{R}^2$. What restrictions are there on $\pi_1(X)$ and on the homology groups of $X$ (both singular and Cech)? This is elementary if $X$ has reasonable local ...
- 207