Skip to main content
Search type Search syntax
Tags [tag]
Exact "words here"
Author user:1234
user:me (yours)
Score score:3 (3+)
score:0 (none)
Answers answers:3 (3+)
answers:0 (none)
isaccepted:yes
hasaccepted:no
inquestion:1234
Views views:250
Code code:"if (foo != bar)"
Sections title:apples
body:"apples oranges"
URL url:"*.example.com"
Saves in:saves
Status closed:yes
duplicate:no
migrated:no
wiki:no
Types is:question
is:answer
Exclude -[tag]
-apples
For more details on advanced search visit our help page
Results tagged with
Search options not deleted user 61536
19 votes

A good place to read about uniform spaces

For a general audience it can be interesting to know that uniform spaces are just one of two opposite generalizations of metric spaces. Measuring distances with the help of metric, we can be intereste …
Taras Banakh's user avatar
  • 41.8k
8 votes
0 answers
296 views

Has the Roelcke completion of a topological group any reasonable algebraic structure?

It is well-known that each topological group $G$ carries (at least) four natural uniformities: the left uniformity $\mathcal L$, generated by the base $\{\{(x,y)\in G\times G:y\in xU\}:U\in\mathcal …
Taras Banakh's user avatar
  • 41.8k
4 votes
Accepted

Does each $\omega$-narrow topological group have countable discrete cellularity?

Mikhail Tkachenko informed me that the problem has a counterexample, constructed in Example 8.2.1 of his book with Arhangelskii. This example looks as follows. Consider the uncountable power $C_2^{\ …
Taras Banakh's user avatar
  • 41.8k
4 votes
1 answer
255 views

Does each $\omega$-narrow topological group have countable discrete cellularity?

A topological space $X$ is defined to have countable discrete cellularity if each discrete family of open subsets of $X$ is at most countable. A family $\mathcal F$ of subsets of a topological space …
Taras Banakh's user avatar
  • 41.8k
3 votes

Quotient of compact metrizable space in Hausdorff space

For the Cantor starcase function $f:C\to[0,1]$ from the standard ternary Cantor set $C$ onto the interval $[0,1]$ and for the standard Euclidean metric $d$ on $C$ the quotient pseudometric $d_\sim$ is …
Taras Banakh's user avatar
  • 41.8k