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 Template:Stage

${\displaystyle }$

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:

1. The product map $*:G\times G\to G$ is continuous where $G\times G$ is equipped with the canonical product topology.
2. The inverse map $\iota :G\to 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:

1. Any group equipped with the discrete topology becomes a topological group.
2. $ℝ$, with the addition of numbers as product and the usual line topology. More generally, if $V$ is a finite dimensional $𝕂$-vector space, then $V$ equipped with the canonical product topology and addition of vectors is a topological group.
3. If $V$ is a $𝕂$-vector space, then the set $GL(V)=\{T:V\to 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 $\varphi :G\times G\to G$, given by $\varphi (x,y)=x{y}^{-1}$ is continuous.

proof: First notice that we can write the map $\varphi$ as $\varphi =*\circ id\times \iota :G\times G\to G$. Suppose $(G,*,\tau )$ is a topological group. Then, by definition 9.1.1, 1 and 2 , $\varphi =\varphi =*\circ (id\times \iota )$ is a composition of continuous maps, and is therefore continuous.

Conversely, assume $\varphi =*\circ (id\times \iota )$ is continuous. Since the inclusion $i_2:G\to G\times G$ given by $i_2(y)=(e,y)$ is continuous. We can then conclude that the composition $\iota =\varphi \circ i_2:G\to G$ is continuous. Finally, by a similar line of reason the product map $*=\varphi \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 $\varphi :G_1\to G_2$. To be more precise, a homomorphism of topological groups is a $\varphi :G_1\to G_2$ such that:

1. $\varphi (xy)=\varphi (x)\varphi (y)$ for all $x,y\in G_1$.
2. $\varphi$ 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 $\varphi :G_1\to G_2$ be a homomorphism. Then $\varphi (G_1)\subset G_2$ is a topological subgroup and $\ker (\varphi )\subset G_1$ is a normal topological subgroup. Furthermore

Proof: If $\varphi$ is a homomorphism, we know from group theory that the image $\varphi (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 $\varphi (G_1)$ are continuous in the subspace topology and thus $\varphi (G_1)$ is a topological group. Lastly, we know from topology that the subspace topology makes the inclusion map continuous and therefore $\varphi (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 (\varphi )}\simeq \varphi (G_1)$ as groups, with isomorphism given by $\tilde{\varphi }(x\ker (\varphi ))=\varphi (x)$. But since the map $\tilde{\varphi }$ is the quotient map of $\varphi$, it is continuous and open. These properties together with surjectivity show that $\tilde{\varphi }$ 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 ${𝒩}_G(x)$.

Lemma: For any $y\in G$ we have ${𝒩}_G(y)=\{yN|N\in {𝒩}_G(e)\}=\{Ny|N\in {𝒩}_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 {𝒩}_G(e)$, then by lemma (ref) (translations are homeos), $yN,Ny$ are neighborhoods of $y$. Similarly, if $N\in {𝒩}_G(y)$, then $N{y}^{-1},y^{-1}N$ are neighborhoods of $e$ such that $N=y{y}^{-1}N=N{y}^{-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 $\varphi :G_1\to G_2$, be an algebraic homomorphism. In order for $\varphi$ to be a homomorphism, it is necessary and sufficient for $\varphi$ 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 ${\varphi }^{-1}(x^{-1}N)$ is an open neighborhood of $e_1\in G_1$. For each $y\in {\varphi }^{-1}(x)$ we have the open set $y{\varphi }^{-1}(x^{-1}N)$ satisfying $\varphi (y{\varphi }^{-1}(x^{-1}N))\subset N$. We claim that:

${\varphi }^{-1}(N)=\bigcup _{x\in N,y\in {\varphi }^{-1}(x)}y{\varphi }^{-1}(x^{-1}N)$.

Indeed if $z\in {\varphi }^{-1}(N)$ then $z\in z{\varphi }^{-1}(\varphi (z{)}^{-1}N)$ since $e_1\in {\varphi }^{-1}(\varphi (z{)}^{-1}N)$. Consequently ${\varphi }^{-1}(N)$ is an open set and $\varphi$ is continuous. QED.

Proposition: For every $x$ contained in the topological group $G$, we have ${𝒩}_G(x)=x{𝒩}_G(e)=\{xN|N\in {𝒩}_G(e)\}$ and ${𝒩}_G(x)={𝒩}_G(e)x=\{Nx|N\in {𝒩}_G(e)\}$.

Proof: Let $x\in G$. Then for each each $N\in {𝒩}_G(e)$, by proposition (ref) (translations are homeos) we have $xN\in {𝒩}_G(x)$. Conversely, if $N\in {𝒩}_G(x)$, then $N_1=:x^{-1}N\in {𝒩}_G(e)$. But then we can write $N=x{N}_1$, $N_1\in {𝒩}_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 $𝒩$ be a class of subsets of $G$ containing $e$. Then the class $G𝒩:=\{xN|x\in G,N\in 𝒩\}$ is the basis for a topology making $G$ a topological group if and only it satisfies the following properties:

1. If $N_1,N_2\in 𝒩$ and if $x\in N_1\cap N_2$ then there exists $N_3\in 𝒩$ such that $x{N}_{3}and{N}_{3}x\subset N_1\cap N_2$

Appendices Template:Stage

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