# Functional Analysis/Harmonic Analysis/Topological Group
## Introduction

The main algebraic structure studied in harmonic analysis is the topological group. In summary, a topological group is a group whose underlying set possesses a topology compatible with the group structure.

## Preliminaries

Definition 9.1.1: A topological group is a triple $(G,*,\tau )$, where $(G,*)$ is a group, $(G,\tau )$ is a topological space, such that:
* The product map $*:G\times G\rightarrow G$ is continuous where $G\times G$ is equipped with the canonical product topology.
* The inverse map $\iota :G\rightarrow G$ is continuous.
We abuse notation slightly and write $G$ for a topological group when the product and topologies are understood from context, unless we need to be careful about a situation, for example, when talking about two different topologies on the same group.
Examples:
* Any group equipped with the discrete topology becomes a topological group.
* $\mathbb {R}$, with the addition of numbers as product and the usual line topology. More generally, if $V$ is a finite dimensional $\mathbb {K}$-vector space, then $V$ equipped with the canonical product topology and addition of vectors is a topological group.
* If $V$ is a $\mathbb {K}$-vector space, then the set $GL(V)=\{T:V\rightarrow V|\ T$ is linear and invertible $\$ is a topological group equipped with map composition as product and the subspace topology inherited from the vector space ${\text{End}}(V)$.
The following proposition gives an equivalent definition of topological group.
Proposition 9.1.2: Let $(G,*)$ be a group and $(G,\tau )$ a topological space with the same underlying set. Then $(G,*,\tau )$ is a topological group if and only if the map $\phi :G\times G\rightarrow G$, given by $\phi (x,y)=xy^{-1}$ is continuous.
proof: First notice that we can write the map $\phi$ as $\phi =*\circ id\times \iota :G\times G\rightarrow G$. Suppose $(G,*,\tau )$ is a topological group. Then, by definition 9.1.1, 1 and 2 , $\phi =\phi =*\circ (id\times \iota )$ is a composition of continuous maps, and is therefore continuous.
Conversely, assume $\phi =*\circ (id\times \iota )$ is continuous. Since the inclusion $i_{2}:G\rightarrow G\times G$ given by $i_{2}(y)=(e,y)$ is continuous. We can then conclude that the composition $\iota =\phi \circ i_{2}:G\rightarrow G$ is continuous. Finally, by a similar line of reason the product map $*=\phi \circ (id\times \iota )$ is continuous. QED
Definition 9.1.3: Let $(G_{1},*_{1},\tau _{1})$ and $(G_{2},*_{2},\tau _{2})$ be topological groups. A topological group homomorphism, or simply a homomorphism between $G_{1}$ and $G_{2}$ is a continuous group homomorphism $\phi :G_{1}\rightarrow G_{2}$. To be more precise, a homomorphism of topological groups is a $\phi :G_{1}\rightarrow G_{2}$ such that:
* $\phi (xy)=\phi (x)\phi (y)$ for all $x,y\in G_{1}$.
* $\phi$ is a continuous map between the topological spaces $(G_{1},\tau _{1})$ and $(G_{1},\tau _{2})$.
An isomorphism between topological groups is a bijective continuous map whose inverse is also continuous.
As with purely algebraic groups, isomorphic topological groups are seen as being the same topological group, except for very specific contexts.
Definition 9.1.5: Let $G$ be a topological group and $H$ a topological group such that $H$ considered as a pure algebraic group is a subgroup of $G$. We call $H$ a topological subgroup of $G$ if the inclusion map is continuous.
Proposition 9.1.6: Let $\phi :G_{1}\rightarrow G_{2}$ be a homomorphism. Then $\phi (G_{1})\subset G_{2}$ is a topological subgroup and $\ker(\phi )\subset G_{1}$ is a normal topological subgroup. Furthermore
Proof: If $\phi$ is a homomorphism, we know from group theory that the image $\phi (G_{1})\subset G_{2}$ is a subgroup. But we also recall from topology that the image of a continuous map is canonically equipped with the subspace topology. But the restriction of the product and inverse maps to $\phi (G_{1})$ are continuous in the subspace topology and thus $\phi (G_{1})$ is a topological group. Lastly, we know from topology that the subspace topology makes the inclusion map continuous and therefore $\phi (G_{1})$ is a topological subgroup of $G_{2}$. The second assertion follows from the same line of reasoning.
We use the first isomorphism theorem for purely algebraic groups to conclude that ${\frac {G_{1}}{\ker(\phi )}}\simeq \phi (G_{1})$ as groups, with isomorphism given by ${\tilde {\phi }}(x\ker(\phi ))=\phi (x)$. But since the map ${\tilde {\phi }}$ is the quotient map of $\phi$, it is continuous and open. These properties together with surjectivity show that ${\tilde {\phi }}$ is an isomorphism of topological groups. QED.
Lemma: The left and right translations (ref) (def of Lx, Rx, group theory) by a given element are homeomorphisms of the group with itself. More precisely, the maps $L_{x}(y)=xy,R_{x}(y)=yx$ are homeomorphisms of $G$.
Proof: The product map is jointly continuous by assumption and therefore separately continuous. The inverses of these maps are the maps $L_{x^{-1}},R_{x^{-1}}$ which are continuous by the same reason. QED.
Since we shall almost exclusively deal with topological groups, we shall say homomorphism instead of homomorphism of topological groups, and if we mean pure group homomorphism we say algebraic homomorphism.
Neighborhood of the neutral element are particularly important for a topological group.
Definition: For $x\in G$, denote the set of all neighborhoods of $x$ in $G$ by ${\mathcal {N}}_{G}(x)$.
Lemma: For any $y\in G$ we have ${\mathcal {N}}_{G}(y)=\{yN|\ N\in {\mathcal {N}}_{G}(e)\}=\{Ny|\ N\in {\mathcal {N}}_{G}(e)\}$. In other words, the neighborhoods of a point in are the translations of the neighborhoods of the neutral element by that point.
Proof: If $N\in {\mathcal {N}}_{G}(e)$, then by lemma (ref) (translations are homeos), $yN,Ny$ are neighborhoods of $y$. Similarly, if $N\in {\mathcal {N}}_{G}(y)$, then $Ny^{-1},y^{-1}N$ are neighborhoods of $e$ such that $N=yy^{-1}N=Ny^{-1}y$. QED.
This suggests that the neighborhoods of the neutral element are sufficient for the description of the topology of the group. Indeed, some topological properties of maps, groups, etc... depend only on their behaviour at the neutral element. For example we have:
Lemma: Let $\phi :G_{1}\rightarrow G_{2}$, be an algebraic homomorphism. In order for $\phi$ to be a homomorphism, it is necessary and sufficient for $\phi$ to be continuous at $e$.
Proof: Necessity is clear. To show sufficiency, let $N\subset G_{2}$ be a nonempty open set, and $x\in N$. Then $x^{-1}N$ is a neighborhood of the neutral element $e_{2}\in G_{2}$, and by assumption $\phi ^{-1}(x^{-1}N)$ is an open neighborhood of $e_{1}\in G_{1}$. For each $y\in \phi ^{-1}(x)$ we have the open set $y\phi ^{-1}(x^{-1}N)$ satisfying $\phi (y\phi ^{-1}(x^{-1}N))\subset N$. We claim that:
$\phi ^{-1}(N)=\bigcup _{x\in N,y\in \phi ^{-1}(x)}y\phi ^{-1}(x^{-1}N)$
Indeed if $z\in \phi ^{-1}(N)$ then $z\in z\phi ^{-1}(\phi (z)^{-1}N)$ since $e_{1}\in \phi ^{-1}(\phi (z)^{-1}N)$. Consequently $\phi ^{-1}(N)$ is an open set and $\phi$ is continuous. QED.
Proposition: For every $x$ contained in the topological group $G$, we have ${\mathcal {N}}_{G}(x)=x{\mathcal {N}}_{G}(e)=\{xN|\ N\in {\mathcal {N}}_{G}(e)\}$ and ${\mathcal {N}}_{G}(x)={\mathcal {N}}_{G}(e)x=\{Nx|\ N\in {\mathcal {N}}_{G}(e)\}$.
Proof: Let $x\in G$. Then for each each $N\in {\mathcal {N}}_{G}(e)$, by proposition (ref) (translations are homeos) we have $xN\in {\mathcal {N}}_{G}(x)$. Conversely, if $N\in {\mathcal {N}}_{G}(x)$, then $N_{1}=:x^{-1}N\in {\mathcal {N}}_{G}(e)$. But then we can write $N=xN_{1}$, $N_{1}\in {\mathcal {N}}_{G}(e)$. QED.
This lemma suggests that in order to find topologies in a group that make it into a topological group it suffices to find a "nice" base of neighborhoods for the neutral element. This is indeed true, and we have:
Theorem: Let $G$ be a topological group and ${\mathcal {N}}$ be a class of subsets of $G$ containing $e$. Then the class $G{\mathcal {N}}:=\{xN|\ x\in G,N\in {\mathcal {N}}\}$ is the basis for a topology making $G$ a topological group if and only it satisfies the following properties:
* If $N_{1},N_{2}\in {\mathcal {N}}$ and if $x\in N_{1}\cap N_{2}$ then there exists $N_{3}\in {\mathcal {N}}$ such that $xN_{3}andN_{3}x\subset N_{1}\cap N_{2}$

## Appendices

Here, you will find a list of unsorted chapters. Some of them listed here are highly advanced topics, while others are tools to aid you on your mathematical journey. Since this is the last heading for the wikibook, the necessary book endings are also located here.
* List of Mathematical Symbols
* List of Theorems
* References
* Index