# User:Htttbooks/sandbox

## Introduction

Definition:

Proposition:

Proof: QED.

Theorem:

Proof: QED.

Lemma:

Proof: QED.

### Notation

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.

## Notation And Previous Definitions

Definition: A subset ${\displaystyle X}$  of a group ${\displaystyle G}$  is called symmetric if ${\displaystyle X=X^{-1}}$ .

Definition: Let ${\displaystyle f:X\rightarrow Y}$  be a map between two sets. For any subset ${\displaystyle Z\subset X}$ , we define ${\displaystyle f(Z)=\{f(z)|\ z\in Z\}\subset Y}$ . In particular, if ${\displaystyle A,B}$  are subsets of a group ${\displaystyle G}$  we have:

1. ${\displaystyle AB=\{ab|\ a\in A,b\in B\}}$
2. ${\displaystyle A^{-1}=\{a^{-1}|\ a\in A\}}$
3. If ${\displaystyle A=\{a\}}$  is a singleton, we denote ${\displaystyle AB=:aB}$  and ${\displaystyle BA=:Ba}$ .

## Preliminaries

Definition 9.1.1: A topological group is a triple ${\displaystyle (G,*,\tau )}$ , where ${\displaystyle (G,*)}$  is a group, ${\displaystyle (G,\tau )}$  is a topological space, such that:

1. The product map ${\displaystyle *:G\times G\rightarrow G}$  is (jointly) continuous where ${\displaystyle G\times G}$  is equipped with the canonical product topology.
2. The inversion map ${\displaystyle \iota :G\rightarrow G}$  is continuous.

We abuse notation slightly and write ${\displaystyle 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. ${\displaystyle \mathbb {R} }$ , with the addition of numbers as product and the usual line topology. More generally, if ${\displaystyle V}$  is a finite dimensional ${\displaystyle \mathbb {K} }$ -vector space, then ${\displaystyle V}$  equipped with the canonical product topology and addition of vectors is a topological group.
3. If ${\displaystyle V}$  is a ${\displaystyle \mathbb {K} }$ -vector space, then the set ${\displaystyle GL(V)=\{T:V\rightarrow V|\ T}$  is linear and invertible ${\displaystyle \}}$  is a topological group equipped with map composition as product and the subspace topology inherited from the vector space ${\displaystyle {\text{End}}(V)}$ .
4. If ${\displaystyle (G,*,\tau )}$  is a topological group, the opposite or reversed topological group is the group ${\displaystyle G^{op}=(G,*^{op},\tau )}$ , where ${\displaystyle x*^{op}y=y*x}$ .
5. Let ${\displaystyle S}$  be a nonempty set and consider ${\displaystyle Bij(S)}$  the set of all bijections from ${\displaystyle S}$  to ${\displaystyle S}$ . If equipped with the product ${\displaystyle f*g(x)=f(g(x))}$ , i.e., the composition of maps, then ${\displaystyle Bij(S)}$  becomes a group.

From now on, when we use a topological property or charateristic to describe a group, one should understand that we are talking about a topological group. Therefore instead of saying connected topological group or locally compact topological group we say connected group or locally compact group.

The following proposition gives an equivalent definition of topological group.

Proposition 9.1.2: Let ${\displaystyle (G,*)}$  be a group and ${\displaystyle (G,\tau )}$  a topological space with the same underlying set. Then ${\displaystyle (G,*,\tau )}$  is a topological group if and only if the map ${\displaystyle \phi :G\times G\rightarrow G}$ , given by ${\displaystyle \phi (x,y)=xy^{-1}}$  is continuous.

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

Conversely, assume ${\displaystyle \phi =*\circ (id\times \iota )}$  is continuous. Since the inclusion ${\displaystyle i_{2}:G\rightarrow G\times G}$  given by ${\displaystyle i_{2}(y)=(e,y)}$  is continuous. We can then conclude that the composition ${\displaystyle \iota =\phi \circ i_{2}:G\rightarrow G}$  is continuous. Finally, by a similar line of reason the product map ${\displaystyle *=\phi \circ (id\times \iota )}$  is continuous. QED

Definition 9.1.3: Let ${\displaystyle (G_{1},*_{1},\tau _{1})}$  and ${\displaystyle (G_{2},*_{2},\tau _{2})}$  be topological groups. A topological group homomorphism, or simply a homomorphism between ${\displaystyle G_{1}}$  and ${\displaystyle G_{2}}$  is a continuous group homomorphism ${\displaystyle \phi :G_{1}\rightarrow G_{2}}$ . To be more precise, a homomorphism of topological groups is a ${\displaystyle \phi :G_{1}\rightarrow G_{2}}$  such that:

1. ${\displaystyle \phi (xy)=\phi (x)\phi (y)}$  for all ${\displaystyle x,y\in G_{1}}$ .
2. ${\displaystyle \phi }$  is a continuous map between the topological spaces ${\displaystyle (G_{1},\tau _{1})}$  and ${\displaystyle (G_{1},\tau _{2})}$ .

An isomorphism between topological groups is a bijective continuous map whose inverse is also continuous. In other words, it is a group homomorphism which is also a homeomorphism of topological spaces

As with purely algebraic groups, isomorphic topological groups are seen as being the same topological group, except in very specific contexts.

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 ${\displaystyle L_{x}(y)=xy,R_{x}(y)=yx}$  are homeomorphisms of ${\displaystyle G}$ .

Proof: The product map is jointly continuous by assumption and therefore separately continuous. The inverses of these maps are the maps ${\displaystyle L_{x^{-1}},R_{x^{-1}}}$  which are continuous by the same reason. QED.

Corollary: Any topological group ${\displaystyle G}$  is a homogeneous topological space.

Proof: If ${\displaystyle x,y\in G}$ , then by lemma (ref) (translations are homeos) the map ${\displaystyle L_{xy^{-1}}:G\rightarrow G}$  is an homeomorphism of ${\displaystyle G}$  sending ${\displaystyle y}$  to ${\displaystyle x}$ .

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. Until the end of this chapter fix a topological group ${\displaystyle G}$ .

### Subgroups

Proposition: If ${\displaystyle H}$  is an algebraic subgroup of ${\displaystyle G}$  equipped with the subspace topology, then ${\displaystyle H}$  is a topological group.

Proof: This follows from the fact that the product and inversion, which are continuous maps, of ${\displaystyle G}$  restricted to ${\displaystyle H}$  remain continuous QED.

Definition: Let ${\displaystyle G}$  be a topological group and ${\displaystyle H}$  an algebraic subgroup, which is also a topological group by (ref) . In this case ${\displaystyle H}$  is called a subgroup of ${\displaystyle G}$ . We denote ${\displaystyle H\leq G}$  if ${\displaystyle H}$  is a subgroup of ${\displaystyle G}$ .

Recall from topology (ref) that the inclusion of subspaces are continuous, and from abstract algebra that the inclusion of groups (ref) is a group homomorphism. Combining this information we conclude that the inclusion of a subgroup is a homomorphism of topological groups.

Proposition 9.1.6: Let ${\displaystyle \phi :G_{1}\rightarrow G_{2}}$  be a homomorphism. Then ${\displaystyle \phi (G_{1})\subset G_{2}}$  is a topological subgroup and ${\displaystyle \ker(\phi )\subset G_{1}}$  is a normal topological subgroup. Furthermore

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

Proposition: Suppose ${\displaystyle G}$  is a ${\displaystyle T_{1}}$  topological space. If ${\displaystyle H\leq G}$ , then ${\displaystyle {\overline {H}}\leq G}$ . Furthermore:

1. ${\displaystyle H}$  is abelian if and only if ${\displaystyle {\overline {H}}}$  is abelian.
2. If ${\displaystyle H}$  is normal, then ${\displaystyle {\overline {H}}}$  is normal.

Proof: Indeed, let ${\displaystyle x,y\in {\overline {H}}}$ , and let ${\displaystyle N_{1}\in {\mathcal {N}}_{G}(xy),N_{2}\in {\mathcal {N}}_{G}(x^{-1})}$  be neighborhoods. Then ${\displaystyle x^{-1}N_{1}y^{-1}\in {\mathcal {N}}_{G}(e)}$ . Using proposition (ref) we find a symmetric ${\displaystyle M_{1}\in {\mathcal {N}}_{G}(e)}$  such that ${\displaystyle M_{1}^{2}\subset x^{-1}N_{1}y^{-1}}$ . Then ${\displaystyle xM_{1}}$  is a neighborhood of ${\displaystyle x}$  and therefore there exists ${\displaystyle h_{1}\in xM_{1}\cap H}$  since ${\displaystyle x\in {\overline {H}}}$ . Similarly we find ${\displaystyle h_{2}\in M_{1}y\cap H}$ . But then ${\displaystyle h_{1}h_{2}\in xMMy\subset xx^{-1}N_{1}y^{-1}y=N_{1}\cap }$ . Thus ${\displaystyle xy\in {\overline {H}}}$ .

If M_2 is a symmetric neighborhood of ${\displaystyle e}$  such that ${\displaystyle M_{2}^{2}\subset xN_{2}}$ , then ${\displaystyle M_{2}x\in {\mathcal {N}}_{G}(x)}$ . Similarly, there exists ${\displaystyle h\in H\cap M_{2}x}$  which means that ${\displaystyle h^{-1}\in x^{-1}M_{2}^{-1}=x^{-1}M_{2}\subset x^{-1}xN_{2}=N_{2}}$ . Thus ${\displaystyle x^{-1}\in {\overline {H}}}$ .

To prove (1.) let ${\displaystyle H}$  be abelian, and let ${\displaystyle x,y\in {\overline {H}}}$ . Take ${\displaystyle (x_{\alpha })_{A},(y_{\beta })_{B}}$  nets in ${\displaystyle H}$  converging to ${\displaystyle x,y}$  respectively. Then the net ${\displaystyle (x_{\alpha }y_{\beta })_{A\times B}=(y_{\beta }x_{\alpha })_{A\times B}}$  converges to ${\displaystyle xy}$  and to ${\displaystyle yx}$ . Since ${\displaystyle G}$  is ${\displaystyle T_{1}}$ , ${\displaystyle xy=yx}$ . The reverse implication is clear.

To prove (2.) let ${\displaystyle x\in G}$ , ${\displaystyle h\in {\overline {H}}}$ , and let ${\displaystyle (h_{\alpha })_{A}}$  be a net in ${\displaystyle H}$  converging to ${\displaystyle h}$ . For every ${\displaystyle \alpha \in A}$  ${\displaystyle xh_{\alpha }x^{-1}=h'_{\alpha }\in H}$ . But ${\displaystyle \lim _{\alpha \in A}xh_{\alpha }x^{-1}=xhx^{-1}=\lim _{\alpha \in A}h'_{\alpha }\in {\overline {H}}}$ . QED.

Lemma: Let ${\displaystyle {\mathcal {H}}}$  be any collection of subgroups of a given group ${\displaystyle G}$ . Then the intersection of all the subgroups in ${\displaystyle {\mathcal {H}}}$  is a subgroup of ${\displaystyle G}$ . Symbolically, ${\displaystyle \bigcap _{H\in {\mathcal {H}}}H\leq G}$ .

Proof: Since all ${\displaystyle H\in {\mathcal {H}}}$  are subgroups, the neutral element is contained in all of them, and therefore in their intersection. If ${\displaystyle x,y\in H}$  for each ${\displaystyle H\in {\mathcal {H}}}$  then ${\displaystyle xy\in H}$  and ${\displaystyle x^{-1}\in H}$  for each ${\displaystyle H\in {\mathcal {H}}}$ , and therefore ${\displaystyle x^{-1},\ xy\in \bigcap _{H\in {\mathcal {H}}}H.}$  QED.

Proposition: Given any subset ${\displaystyle S\subset G}$ , there exists a unique subgroup ${\displaystyle \langle S\rangle \leq G}$  containing ${\displaystyle S}$  which is minimal with this property. This unique subgroup is called the subgroup generated by ${\displaystyle S}$ .

Proof: To show existence we use the previous lemma on the collection ${\displaystyle {\mathcal {H}}(S):=\{H\leq G|\ S\subset H\}}$  of all subgroups containing ${\displaystyle S}$ , which is nonempty since ${\displaystyle G\in {\mathcal {H}}}$ . To prove uniqueness, denote ${\displaystyle \langle S\rangle :=\bigcap _{H\in {\mathcal {H}}(S)}H}$ . If ${\displaystyle H_{0}}$  is another subgroup containing ${\displaystyle S}$  with the minimality property then, by the minimality property ${\displaystyle \langle S\rangle \subset H_{0}}$  and ${\displaystyle H_{0}\subset \langle S\rangle }$ . QED

### Topological Quotient Spaces

Throughout this subsection, fix ${\displaystyle H\leq G}$  a closed subgroup, and denote by ${\displaystyle \tau }$  the topology of ${\displaystyle G}$ . We shall study the quotient space ${\displaystyle G/H}$  of left equivalence classes modulo ${\displaystyle H}$ . The canonical topology on this set is the quotient topology, i.e., the topology ${\displaystyle \tau _{G/H}=\{X\in G/H|\ \cup _{xH\in X}xH\in \tau \}}$ .

Proposition: A subset ${\displaystyle X\subset G/H}$  is open if and only if ${\displaystyle \pi ^{-1}(X)\subset G}$  is open. The quotient map ${\displaystyle P_{H}:G\rightarrow G/H;P_{H}(x)=xH}$  is open and closed.

HA-TOPGP-TQS-001

Proof: QED.

Proposition: If ${\displaystyle H}$  is a closed subgroup of ${\displaystyle G}$ , then the space ${\displaystyle G/H}$  is Hausdorff (satisfies the ${\displaystyle T_{2}}$  axiom of separability).

HA-TOPGP-TQS-002

Proof: Let ${\displaystyle xH\neq yH\in G/H}$ . Since ${\displaystyle H}$  is closed, ${\displaystyle G\setminus yH}$  is an open neighborhood of ${\displaystyle x}$ . QED.

From this proposition we may conclude that if ${\displaystyle G}$  possesses a topological property ${\displaystyle P}$  preserved on continuous images, then ${\displaystyle G/H}$  also has this property. For example, if ${\displaystyle G}$  is compact or connected, then so is ${\displaystyle G/H}$ . Unfortunately, local compactness is not preserved by continuous images. However, the quotient map is also open, so we have:

Proposition: If ${\displaystyle G}$  is locally compact, then so is ${\displaystyle G/H}$ .

HA-TOPGP-TQS-

Proof: If ${\displaystyle xH\in G/H}$ , let ${\displaystyle K}$  be a compact neighborhood of ${\displaystyle x}$ . Since ${\displaystyle P_{H}}$  is open and continuous, ${\displaystyle P_{H}(K)}$  is a compact neighborhood of ${\displaystyle XH}$ . QED.

Proposition: '

HA-TOPGP-TQS-

Proof: QED.

Proposition: '

HA-TOPGP-TQS-

Proof: QED.

Proposition: '

HA-TOPGP-TQS-

Proof: QED.

### Neighborhoods of the Neutral Element

Neighborhoods of the neutral element are particularly important for a topological group.

Definition: For ${\displaystyle x\in G}$ , denote the set of all neighborhoods of ${\displaystyle x}$  in ${\displaystyle G}$  by ${\displaystyle {\mathcal {N}}_{G}(x)}$ .

Lemma: For any ${\displaystyle y\in G}$  we have ${\displaystyle {\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 ${\displaystyle N\in {\mathcal {N}}_{G}(e)}$ , then by lemma (ref) (translations are homeos), ${\displaystyle yN,Ny}$  are neighborhoods of ${\displaystyle y}$ . Similarly, if ${\displaystyle N\in {\mathcal {N}}_{G}(y)}$ , then ${\displaystyle Ny^{-1},y^{-1}N}$  are neighborhoods of ${\displaystyle e}$  such that ${\displaystyle N=yy^{-1}N=Ny^{-1}y}$ . QED.

Proposition: For any ${\displaystyle A\subset G}$ , we have

${\displaystyle {\overline {A}}=\bigcap _{N\in {\mathcal {N}}_{G}(e)}NA}$

Proof: 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 ${\displaystyle \phi :G_{1}\rightarrow G_{2}}$ , be an algebraic homomorphism. In order for ${\displaystyle \phi }$  to be a homomorphism, it is necessary and sufficient for ${\displaystyle \phi }$  to be continuous at ${\displaystyle e}$ .

Proof: Necessity is clear. To show sufficiency, let ${\displaystyle N\subset G_{2}}$  be a nonempty open set, and ${\displaystyle x\in N}$ . Then ${\displaystyle x^{-1}N}$  is a neighborhood of the neutral element ${\displaystyle e_{2}\in G_{2}}$ , and by assumption ${\displaystyle \phi ^{-1}(x^{-1}N)}$  is an open neighborhood of ${\displaystyle e_{1}\in G_{1}}$ . For each ${\displaystyle y\in \phi ^{-1}(x)}$  we have the open set ${\displaystyle y\phi ^{-1}(x^{-1}N)}$  satisfying ${\displaystyle \phi (y\phi ^{-1}(x^{-1}N))\subset N}$ . We claim that:

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

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

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

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

1. For every ${\displaystyle N_{1},N_{2}\in {\mathcal {N}}}$  there exists ${\displaystyle N_{3}\in {\mathcal {N}}}$  such that ${\displaystyle N_{3}\subset N_{1}\cap N_{2}}$
2. For every ${\displaystyle N\in {\mathcal {N}}}$  there exists ${\displaystyle N_{0}\in {\mathcal {N}}}$  such that ${\displaystyle N_{0}^{2}\subset N}$ .
3. For every ${\displaystyle N\in {\mathcal {N}}}$  there exists ${\displaystyle N_{0}\in {\mathcal {N}}}$  such that ${\displaystyle N_{0}^{-1}\subset N}$ .
4. For every ${\displaystyle N\in {\mathcal {N}}}$  and every ${\displaystyle x\in N}$  there exists ${\displaystyle N_{0}\in {\mathcal {N}}}$  such that ${\displaystyle N_{0}x\subset N}$ .
5. For every ${\displaystyle N\in {\mathcal {N}}}$  and every ${\displaystyle x\in G}$  there exists ${\displaystyle N_{0}\in {\mathcal {N}}}$  such that ${\displaystyle xN_{0}x^{-1}\subset N}$ .

Furthermore, this topology is ${\displaystyle T_{1}}$  (ref) (def of t1 space) if and only if ${\displaystyle \{e\}=\bigcap _{\mathcal {N}}N}$ .

Proof: QED.

Proposition: Every topological group possesses a base of neighborhoods of the neutral element composed of symmetric open sets.

Proof: QED.

Proposition Every topological group is a Tychonoff space, i.e., completely regular and Hausdorff

Proof QED.

Proposition: If ${\displaystyle N}$  is a neighborhood of a subset ${\displaystyle C}$  of ${\displaystyle G}$ , then there exists ${\displaystyle M\in {\mathcal {N}}_{G}(e)}$  such that ${\displaystyle MC\subset N}$ .

Proof: QED.

### Functions on Topological Groups

Proposition: Let ${\displaystyle G}$  be a locally connected group. Then the connected component ${\displaystyle G_{0}}$  containing the neutral element is a subgroup of ${\displaystyle G}$ .

Proof: By assumption, ${\displaystyle G_{0}}$  contains the neutral element.

Proposition: An open subgroup is also closed.

### Operations With Subsets

Proposition: Let ${\displaystyle A,B}$  be subsets of ${\displaystyle G}$ .

1. If ${\displaystyle A}$  is open, then ${\displaystyle AB}$  is open
2. If ${\displaystyle A,B}$  are connected, then ${\displaystyle A^{-1}}$  and ${\displaystyle AB}$  are connected
3. If ${\displaystyle A}$  is closed and ${\displaystyle B}$  is compact, then both ${\displaystyle AB}$  and ${\displaystyle BA}$  are closed.
4. If ${\displaystyle A,B}$  are compact, then ${\displaystyle AB}$  is compact.

Proof: Exercise (ref). QED.

Proposition: If ${\displaystyle H}$  is a closed subgroup of the LCG ${\displaystyle G}$ , then the topological space ${\displaystyle G/H}$  is locally compact.

Proof: QED.

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

_____________________________________________________________________________________________________________________________________________________________________________________________________________________________________

## Actions of Topological Groups

Definition: An action of a topological group ${\displaystyle G}$  is a pair ${\displaystyle (\pi ,X)}$  where ${\displaystyle X}$  is a topological space (ref) and ${\displaystyle \pi :G\times X\rightarrow X}$  is a continuous group action (ref). In other words it satisfies, for all ${\displaystyle x,y\in G}$  and ${\displaystyle z\in X}$   :

1. ${\displaystyle \pi (x,\pi (y,z))=\pi (xy,z)}$  .
2. ${\displaystyle \pi (e,z)=z}$ .
3. The map ${\displaystyle \pi }$  is continuous.

_____________________________________________________________________________________________________________________________________________________________________________________________________________________________________

## Locally Compact Groups

In this section we define the most well-known class of topological groups, namely locally compact groups. This class includes compact groups which in turn includes all finite groups, finite-dimensional Lie groups, etc.

## Preliminaries

Definition 9.2.1: A locally compact group is a topological group whose underlying topological space is locally compact.

Examples:

1. All compact, and therefore all finite groups are locally compact.
2. A discrete group is always locally compact.
3. Any finite-dimensional vector space is a locally compact group (equipped with addition).

The Hilbert space ${\displaystyle l^{2}(\mathbb {N} )}$  is not locally compact in the norm topology.

Proposition: An open subgroup of a locally compact group is always closed. A closed subgroup of a locally compact group is locally compact.

Proof: Indeed, let ${\displaystyle H\subset G}$  be an open subgroup of ${\displaystyle G}$ . Choose a set ${\displaystyle \{y_{j}\in G|\ j\in J\}}$ , one ${\displaystyle y_{j}}$  for each class in ${\displaystyle G/H}$ , but choosing ${\displaystyle e}$  for the class of ${\displaystyle H}$ . We then have the disjoint union ${\displaystyle G=\sqcup _{j\in J}y_{j}H}$ . Since left multiplication by a given element ${\displaystyle y_{j}}$  is a homeomorphism between ${\displaystyle H}$  and ${\displaystyle y_{j}H}$ , we have that each such set is open in ${\displaystyle G}$ . Therefore the complement of ${\displaystyle H=eH}$  is open in ${\displaystyle G}$  and therefore ${\displaystyle H}$  is also closed.

If now ${\displaystyle H\subset G}$  be an closed subgroup of ${\displaystyle G}$ , let ${\displaystyle x\in H}$ . There exists a compact neighborhood ${\displaystyle X}$  of ${\displaystyle x}$  in ${\displaystyle G}$ . But then the intersection ${\displaystyle X\cap H}$  is a compact neighborhood of ${\displaystyle x}$  in ${\displaystyle H}$ . QED.

Combining the statements in the last proposition we conclude that an open subgroup of a locally compact group is also locally compact.

Proposition: Let ${\displaystyle G}$  be a topological group. In order for ${\displaystyle G}$  to be locally compact it is necessary and sufficient that the neutral element ${\displaystyle e}$  possesses a compact neighborhood.

Proof: Indeed, if ${\displaystyle X}$  is a compact neighborhood of ${\displaystyle e}$ , then ${\displaystyle Xx}$  is a compact neighborhood of ${\displaystyle x}$  for any ${\displaystyle x\in X}$ , since ${\displaystyle Xx=R_{x}(X)}$  is the image of a continuous map by lemma (ref) (left and right multiplication maps). QED.

## Examples

1) Sn and symmetries of polygons

2) ${\displaystyle GL(n,K)}$  and its subgroups

3) ${\displaystyle a-}$ adic numbers

4) Isometries of a metric space.

5) Complex functions on a topological group, finite, N, Z, R, C, Q, Qua, GL,

6)

1) Finite Groups.

The canonical topology on finite groups is the discrete topology. Consider, then, the symmetric groups ${\displaystyle S_{n}={\text{Perm}}(X_{n})}$ , where ${\displaystyle X_{n}}$  is any set with ${\displaystyle n}$  elements.

2) The General Linear Group.

Let ${\displaystyle \mathbb {K} }$  be a field and ${\displaystyle n\in \mathbb {N} }$ . Consider the topological vector space ${\displaystyle {\text{End}}(\mathbb {K} ^{n})}$  of linear maps from ${\displaystyle \mathbb {K} }$  into itself with the operator norm topology, i.e., for each ${\displaystyle T\in {\text{End}}(\mathbb {K} ^{n})}$ , ${\displaystyle ||T||:={\text{sup}}_{||x||=1}||Tx||}$ .

Definition: The general linear group of ${\displaystyle \mathbb {K} }$  and ${\displaystyle n}$  is the group of invertible linear operators ${\displaystyle GL(n,\mathbb {K} ):=\{T\in {\text{End}}(\mathbb {K} ^{n})|\ \ker(T)\neq 0\ {\text{and}}\ T(\mathbb {K} ^{n})=\mathbb {K} ^{n}\}}$ .

Proposition: Equipped with the subspace topology inherited from the topological vector space ${\displaystyle {\text{End}}(\mathbb {K} ^{n})}$ , ${\displaystyle GL(n,\mathbb {K} )}$  is a topological group.

Proof: QED.

3)

## Exercises

1) If A is open and B is any set, then AB is open

2) find an example in which A and B are closed but AB is not closed.

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