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).

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

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
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

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
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