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 5903

A topological group is a group $G$ together with a topology on the elements of $G$ such that the group operation and group inverse function are both continuous (with respect to the topology).

9 votes
Accepted

Why are free Boolean topological groups Hausdorff?

You can use the universality property with the following Boolean group as codomain: $B$ is the measure algebra over the unit interval (the quotient of the $\sigma$-algebra of Lebesgue measurable sets …
KP Hart's user avatar
  • 11.4k
3 votes
Accepted

CH and the density topology on $\mathbb{R}$

According to your first reference your space is dense with respect to the density topology; this implies that, in $Y$, the closure of $Y\cap(0,\infty)$ is $Y\cap[0,\infty)$; the latter set is not open …
KP Hart's user avatar
  • 11.4k
7 votes

Embeds in a topological W-group, or a W-space that embeds in a topological group?

Or, you can embed $X$ into a Tychonoff cube $[0,1]^\kappa$, where $\kappa$ is the weight of $X$, say. The Tychonoff cube embeds in the corresponding power of the unit circle, say by embedding $[0,1]$ …
KP Hart's user avatar
  • 11.4k
2 votes
Accepted

Is every subgroup closed in this complete, nondiscrete topological group?

The metric induces the product topology, so the group $G$ is compact. The direct sum of $\mathbb{Z}$ many copies of $G'$ is a countable dense subgroup, but not the whole group, so it is not closed.
KP Hart's user avatar
  • 11.4k
13 votes
Accepted

Mistake on article about Bohr compactification?

The problem is in the proof of Theorem 2. We have two maps to begin with: the map $b:\mathbb{R}\to b\mathbb{R}$ of the Bohr compactification (called $\tau$ in the paper), and an embedding $e$ of $\mat …
KP Hart's user avatar
  • 11.4k
2 votes
Accepted

Approximations by compact sub-spaces

Q1. Consider the space of rationals $\mathbb{Q}$. It is the direct limit of the family of finite unions of convergent sequences (including their limits), ordered by inclusion, as a set is closed iff i …
KP Hart's user avatar
  • 11.4k