3
votes
1answer
314 views

proving that $SO(n)$ is path connected

Our professor gave us exercise to show that $G=SO(n,\mathbb R)$ is path connected. He gave some hints, using them I have come upto this far: I have shown that $SO(n)$ acts on $S^{n-1}$ transitively ...
1
vote
1answer
114 views

Properties of $ \text{Exp}(A) $, where $ A $ is a Banach algebra.

$ \newcommand{\Exp}{\operatorname{Exp}} $ Let $ A $ be a unital Banach algebra. For $ a \in A $, consider $$ \Exp(A) \stackrel{\text{def}}{=} \{ e^{a_{1}} e^{a_{2}} \cdots e^{a_{n}} ~|~ n \in ...
6
votes
3answers
220 views

Can continuity of inverse be omitted from the definition of topological group?

According to Wikipedia, a topological group $G$ is a group and a topological space such that $$ (x,y) \mapsto xy$$ and $$ x \mapsto x^{-1}$$ are continuous. The second requirement follows from the ...
3
votes
0answers
219 views

Definition of a topological module

A topological universal algebra of type $\Omega$ is a universal algebra $A$ of type $\Omega$ that is also a topological space, such that for any $n\!\in\!\mathbb{N}$ and any operation ...
0
votes
1answer
88 views

Topological fields questions

From Wikipedia: "Let $K$ be a topological field, namely a field with a topology such that addition, multiplication, and division are continuous. In most applications $K$ will be either the field of ...
4
votes
1answer
176 views

Existence of balanced neighborhoods in a topological vector space

I'm wondering about the following: Let$\ X $ be a topological vector space. Then one could pick balanced neighborhoods$\ W $ and$\ U $ of$\ 0 $ such that $\ \overline{U} + \overline{U} \subset W $, ...
11
votes
3answers
566 views

Topology on the general linear group of a topological vector space

Let $K$ be a topological field. Let $V$ be a topological vector space over $K$ (if it makes things convenient, you may assume it is finite dimensional). Naive Question: Is there a canonical way of ...