**2**

votes

**1**answer

32 views

### Largeness, generic, random points

As presented in Oxtoby's book ( http://link.springer.com/book/10.1007%2F978-1-4615-9964-7 ), there are two notions of largeness for subspace $Y$ of a given space $X$:
Topology: $X$ is a topological ...

**1**

vote

**1**answer

77 views

### Weak topology on a pre-Hilbert Space

Since there was essentially no answers on my previous question, I will ask a partial case of it, which is very easy to state.
Let $\left(X,\left<\cdot,\cdot\right>\right)$ be an inner product ...

**1**

vote

**1**answer

265 views

### Weaker form of irreducible surjections

An irreducible surjection is usually defined as a continuous closed surjective map $f:X\rightarrow Y$ such that if for some closed set $C\subset X$ one has $f(C)=Y$ then $C=X$. In my dissertation I ...

**3**

votes

**1**answer

146 views

### Question about of comeager set

If $G\subseteq2^{\mathbb{N}}$ is comeager then exist is a partition $\mathbb{N}=A_0\cup A_1$, $A_0\cap A_1=\emptyset$, and sets $B_i \subseteq A_i$ for $i \in \{0,1\}$, such that for $A \subseteq ...

**20**

votes

**4**answers

1k views

### Can you write $\mathbb R^2$ as a disjoint union of two totally disconnected sets?

Can you write $\mathbb R^2$ as a disjoint union of two totally disconnected sets?

**3**

votes

**2**answers

893 views

### Are countable unions of metrizable spaces metrizable too?

Suppose that $X=\bigcup_{n=1}^\infty K_n$ is a topological space, $K_n$ is a metrizable subspace in $X$ for every $n \in \omega$, then $X$ is a metrizable space?
In metrizable spaces, compactness is ...

**1**

vote

**0**answers

117 views

### Sum-epimorphisms and prod-monomorphisms

Sum-epimorphisms
A longer time ago I have introduced the bi-onto maps for the topological category. Let me formulate here its general categorical definition:
...

**2**

votes

**4**answers

354 views

### Topological spaces $(X,\tau)$ where $|\text{Cont}(X,X)| = |X|$

Let $(X,\tau)$ be a topological space. Let $\text{Cont}(X,X)$ denote the set of continuous functions $f:X\to X$.
What can be said about spaces $(X,\tau)$ where $|\text{Cont}(X,X)| = |X|$? For ...

**0**

votes

**1**answer

74 views

### Totally non fixed point property

Edit: According to the comment of Pietro Majer, I revise the question
Is there a non singleton compact connected Hausdorff topological space $X$ for which the following property hold?:
"Constant ...

**0**

votes

**1**answer

127 views

### A question about open subsets of Hilbert space whose complements are compact sets

Let $H$ be an infinite-dimensional separable Hilbert space. Let $C$ be the intersection of a denumerably infinite sequence of sets, each of which is the complement of a compact subset of $H$. In other ...

**8**

votes

**1**answer

210 views

### Translates of meager sets

Does there exist a meager set of reals M such that every meager set can be covered by countably many translates of M? This is the category analogue of the following.

**1**

vote

**1**answer

154 views

### Term for number of crossings of smooth curves

Two smooth oriented finite curves $g_1, g_2$ on e.g. the 2-dimensional torus can intersect each other transversally in two ways: either the pair $(Tg_1(x),Tg_2(x))$ of tangent vectors in the ...

**10**

votes

**1**answer

245 views

### When is $X \rightarrow \text{Spec}(C(X))$ a homeomorphism?

Let $X$ be compact Hausdorff topological space. Consider the ring $C(X)$ of continuous functions $X \rightarrow \mathbb C$ (we do not consider the C* algebra structure, just consider $C(X)$ as a ring) ...

**0**

votes

**0**answers

63 views

### Pro-constructible subset of scheme intersects very dense subsets?

Let $X$ be a scheme, let $D$ be a very dense subset of $X$ and let $Y$ be a pro-constructible subset of $X$. Is it true that $Y \cap D \neq \emptyset$?
If $Y$ is just constructible, this is true.
...

**3**

votes

**1**answer

800 views

### Who coined “mob” and “clan” and why these words?

A mob is a word used for a topological semigroup which is a Hausdorff space. A clan is a compact connected mob with a two-sided identity element.
Who used these words with these meanings first and ...

**9**

votes

**5**answers

1k views

### Defining a topology in the Power Set

I have the following question:
Given a topological space $T$ is possible in general to give a topology to $2^T$ (the power set of $T$) such that this topology in $2^T$ is related to $T$.
If the ...

**14**

votes

**1**answer

1k views

### complement of a totally disconnected closed set in the plane

While preparing a course in complex analysis, I stumbled over a remark in Dudziak's book on removable sets, namely that any totally disconnected $K \subset\subset {\mathbb C}$ must have a connected ...

**0**

votes

**1**answer

147 views

### Totally non hereditary $C^{*}$-subalgebras

Assume that $B$ is a $C^{*}$ subalgebra of $A$. We say $B$ is totally non hereditary subalgebra of $A$ if not only $B$ is not a hereditary subalgebra but also it is not isomorphic to any ...

**8**

votes

**2**answers

294 views

### Totally disconnected subspaces

This question is motivated by this one, where no simple solution within ZFC seems to exist. Let me ask a weaker question then.
Suppose that $K$ is a compact, Hausdorff, non-metrizable space. Does it ...

**12**

votes

**2**answers

310 views

### If G is a sequential topological group, must G x G be sequential?

Using standard definitions, the topological space $Y$ is sequential if for each nonclosed $A \subset Y$, there exists a convergent sequence $a_{1}$ , $a_{2}$,...$\rightarrow b$
so that $a_{n} \in A$ ...

**35**

votes

**10**answers

2k views

### Notions of convergence not corresponding to topologies

This question concerns the ramifications of the following interesting problem that
appeared on Ed Nelson's final exam on Functional Analysis some years ago:
Exam question: Is there a metric on the ...

**3**

votes

**1**answer

189 views

### Equivalence relation defined by the existence of a homeomorphism

Let $(X,\tau)$ be a topological space. We assign to $(X,\tau)$ an equivalence relation $\simeq_{(X,\tau)}$ in the following way:
$x\simeq_{(X,\tau)} y$ if and only if there is a homeomorphism ...

**1**

vote

**1**answer

159 views

### Homotopy with non piece-wise linear boundary

in the middle of a long proof I encounter the following problem.
Let $E$ be a closed and convex set in $\mathbb R^n$ such that for all $\vec x\in E$ it holds that $\sum_ix_i=1$. (We can understand ...

**1**

vote

**1**answer

63 views

### A countable tight topological group where every countable subset is metrizable

I am looking for an example of a topological group with countable tightness with the property then it is not metrizable, but every countable subset is metrizable but I cannot construct an example.
...

**31**

votes

**1**answer

769 views

### Are there only countably many compact topological manifolds?

Up to homeomorphism, there are 2 one-dimensional topological manifolds and countably many 2- and 3-dimensional compact manifolds, respectively, since each manifold in these dimensions can be ...

**4**

votes

**1**answer

232 views

### Can an abelian group have a minimal group topology?

In the abstract of this paper, it is said that a minimal group topology on an abelian group is not Hausdorff.
Suppose $G$ is an abelian group and $\mathcal T$ is a minimal group topology on $G$ and ...

**1**

vote

**0**answers

43 views

### What is the quotient $\mathbb{T}^3/\mathbb{Z}_2$? [migrated]

What is the quotient space $\mathbb{T}^3/\mathbb{Z}_2$, When $\mathbb{Z}_2$ acting on 3-dimensional torus $\mathbb{T}^3 := \mathbb{R}^3/\mathbb{Z}^3$ by sending $x$ to $-x$? Does anyone know how to ...

**0**

votes

**0**answers

67 views

### Recontruction of the weak topolgy from the scalar product on a subset of a Hilbert Space

Let $M$ be a set a let $K:M\times M\to\mathbb{C}$ be a positive definite kernel. By a version of Moore-Aronszajn Theorem, there is a unique (up to the unitary euivalence) Hilbert Space $X$, and a map ...

**1**

vote

**0**answers

73 views

### Set nor its compliment contain an uncountable closed set [closed]

Does there exist a set $X$ subset of the real numbers such that no uncountable closed set is contained in $X$ or $X^c$?

**2**

votes

**1**answer

122 views

### What do sparse sets in a norm topology look like in the weak* topology?

I'm wondering if a very "sparse" set in a normed vector space can look connected in the weak* topology. Specifically,
Let V be a Banach space, V* its dual, and X a (uncountable) subset of the unit ...

**25**

votes

**1**answer

927 views

### Computing Self-Intersections with Complex Analysis

It is possible to find the winding number of a path $C \subset \mathbb{C}$ using complex analysis:
$$n = \oint_C\frac{dz}{z}.$$
You can also count the number of roots of $f(z) = 0$ inside a close ...

**1**

vote

**2**answers

113 views

### Is the poset of all precompact group topologies on an abelian group $G$, order-isomorphic to $\operatorname{Sub}(\hat{G})$?

In this page, in abstract, it is claimed that the poset of all Hausdorff precompact group topologies on an abelian group $G$, is order-isomorphic to the the subgroup lattice of $\hat{G}$, the ...

**6**

votes

**4**answers

477 views

### Inserting an open and simply-connected set between a compact set and an open set

In a paper I am reading, the following is considered obvious:
Let $K$ be a compact and connected subset of $\,\mathbb R^2$, with $\mathbb R^2\smallsetminus K$ also connected, and $U\subset \mathbb ...

**-1**

votes

**0**answers

42 views

### Universal covering space of CW complex has CW complex structure [migrated]

We know that covering spaces of many low dimensional CW complexes such as graph (CW structures with only 0-cells and 1-cells) and all compact surfaces has CW structure. [The second fact is due to ...

**1**

vote

**0**answers

102 views

### Closed subsets of Souslin orders [migrated]

A total order without end-points is Souslin if it is complete, non-separable and ccc. Such orders may or may not exist but when they do, there can be a vast zoo of them.
Can we get consistent ...

**5**

votes

**1**answer

190 views

### $\text{Cont}(X,X)$ and $\neg\mathsf{GCH}$

For a topological space $(X,\tau)$ let $\text{Cont}(X,X)$ denote the set of continuous functions $f:X\to X$. Is it consistent that there a space $(X,\tau)$ such that $$|X| < |\text{Cont}(X,X)| < ...

**7**

votes

**2**answers

250 views

### Finiteness as a motivation for compactness

Another history question, and I am not sure if I will get any answers. (If anyone knows of a good history of math list to use for this question I would be happy for any tips. The one I used to post to ...

**1**

vote

**0**answers

37 views

### Local section of Lie Groupoids

Suppose we have the pair groupoid $G:\mathbb{R}^2\rightrightarrows \mathbb{R}$ which is a Lie groupoid with source $s$ and target $t$ maps given by the first and second projection, respectively. ...

**-3**

votes

**1**answer

111 views

### partial converse of existence of covering spaces [closed]

Suppose $X_1$ and $X_2$ are two spaces which has a common finite sheeted covering space $Z$ (may be distinct index)...from here can we conclude that there exists a space $W$ such that $X_1$ and $ X_2$ ...

**2**

votes

**3**answers

473 views

### Non-separable Banach space

The vector space $C_b(\mathbb R)$ of bounded continuous functions on $\mathbb R$ is non-separable: it is possible to produce a direct proof of this fact, mimicking the standard proof for the ...

**6**

votes

**1**answer

433 views

### Are $L^\infty(\Bbb R)$ and $L^2(\Bbb R)$ homeomorphic?

It's easy to see that, for $1\le p,q< \infty$ the spaces $L^p(\Bbb R)$ and $L^q(\Bbb R)$ of $p$-th and $q$-th power integrable functions on the real line are homeomorphic as topological spaces. In ...

**12**

votes

**2**answers

321 views

### Counterexample for associativity of smash product

In Section 1.7 of Parametrized Homotopy Theory by May and Sigurdsson it is stated that the smash product of pointed topological spaces is not associative (which is just another hint that ...

**5**

votes

**2**answers

150 views

### Is the strong Whitney topology connected?

$\def\bbR{\mathbb R}\def\ssp{\kern.4mm}$Put more precisely, let $C$ be the set of all continuous functions $f:\bbR\to\bbR$ when
$\bbR$ has its standard order topology. Let $\mathscr T$ be the set of ...

**7**

votes

**1**answer

452 views

### Is there a suitably generalized Baire property for topological spaces of arbitrary cardinalities?

Is there some suitable generalization to the notion of Baire property for topological spaces of arbitrary cardinalities which satisfies the following condition:
The meager sets are sets which are ...

**0**

votes

**0**answers

46 views

### Is the core of an atom in lattice of group topologies a coatom?

Let $(G,\mathcal T)$ be an abelian topological group such that for any nontrivial group topology $\mathcal S$ on $G$ with $\mathcal S\subseteq \mathcal T$ we have $\mathcal S = \mathcal T$.
Let ...

**1**

vote

**1**answer

104 views

### A Hausdorff atom in lattice of group topologies

Do you have an example of an infinite Hausdorff nonabelian topological group $(G,\mathcal T)$ such that for any nontrivial group topology $\mathcal S$ on $G$ with $\mathcal S\subseteq \mathcal T$ we ...

**0**

votes

**0**answers

31 views

### Definition of submaximal (group) topology

By [3] (or [2]), a submaximal group topology on a group is the infimum of all maximal group topologies on it.
By [4], a submaximal topological space is one with all dense subsets open.
By [1], a ...

**1**

vote

**1**answer

148 views

### Two questions on path connected spaces

Is it true to say that a compact hausdorff space $X$ is path connected if and only if for every continuous function $f:X\to \mathbb{C}$, we have $f(X)\subset \mathbb{C}$ is path connected?
...

**5**

votes

**2**answers

207 views

### Quotient of metric spaces

Let $(X,d)$ be a compact metric space and $\sim$ an equivalence relation on $X$ such that the quotient space $X/\sim$ is Hausdorff. It is well known that in this case the quotient is metrizable. My ...

**3**

votes

**2**answers

268 views

### Non-Polish Lebesgue probability space?

Any Lebesgue probability space is mod. 0 isomorphic to some Polish probability space (with $\sigma$-algebra the completion of Borel algebra, and some Borel probability). I would like to see an example ...