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 4354

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

20 votes
Accepted

Is a left topological group which is a manifold a topological group?

Here is a counter-example with $G$ homeomorphic to $\mathbb R^2$. Let $f:\mathbb R\to\mathbb R$ be a discontinous additive homomorphism (constructed using a Hamel basis of $\mathbb R$ over $\mathbb Q$ …
Sergei Ivanov's user avatar
44 votes
Accepted

Why are free groups residually finite?

Here is a direct proof for free groups. Let $x_1,\dots,x_m$ be the generators of our group. Consider a word $x_{i_n}^{e_n}\dots x_{i_2}^{e_2}x_{i_1}^{e_1}$ where $e_i\in\{\pm 1\}$ and there are no ca …
Sergei Ivanov's user avatar
5 votes

Sequential topological vector spaces

The space of all functions $\mathbb R\to\mathbb R$ with the topology of pointwise convergence is obviously sequential but not first countable. Indeed, for every $x\in\mathbb R$, the set $U_x:=\{f:|f( …
Sergei Ivanov's user avatar