2025-07-13

1200: For Group, This Set of Subsets Constitutes Topological Basis Constituting Topological Group with This as Neighborhoods Basis at Point

<The previous article in this series | The table of contents of this series | The next article in this series>

description/proof of that for group, this set of subsets constitutes topological basis constituting topological group with this as neighborhoods basis at point

Topics


About: topological group

The table of contents of this article


Starting Context



Target Context


  • The reader will have a description and a proof of the proposition that for any group, this set of subsets constitutes a topological basis constituting a topological group with this as a neighborhoods basis at each point.

Orientation


There is a list of definitions discussed so far in this site.

There is a list of propositions discussed so far in this site.


Main Body


1: Structured Description


Here is the rules of Structured Description.

Entities:
\(G\): \(\in \{\text{ the groups }\}\)
\(B_1\): \(\subseteq Pow (G)\), with the properties specified below
\(B\): \(= \cup_{g \in G} g B_1\)
\(B'\): \(= \cup_{g \in G} B_1 g\)
//

Statements:
(
0) \(B_1 \neq \emptyset \land \forall S_1 \in B_1 (1 \in S_1)\)
\(\land\)
1) \(\forall g \in G \text{ such that } g \neq 1 (\exists S_1 \in B_1 (g \notin S_1))\)
\(\land\)
2) \(\forall S_1, S'_1 \in B_1 (\exists S''_1 \in B_1 (S''_1 \subseteq S_1 \cap S'_1))\)
\(\land\)
3) \(\forall S_1 \in B_1 (\exists S'_1 \in B_1 ({S'_1}^{-1} S'_1 \subseteq S_1))\)
\(\land\)
4) \(\forall S_1 \in B_1, \forall g \in G (\exists S'_1 \in B_1 (S'_1 \subseteq g S_1 g^{-1}))\)
\(\land\)
5) \(\forall S_1 \in B_1, \forall s \in S_1 (\exists S'_1 \in B_1 (S'_1 s \subseteq S_1))\)
)
\(\implies\)
(
(
\(B \in \{\text{ the topological bases for } G\}\)
\(\land\)
\(G \in \{\text{ the topological groups with } B\}\)
\(\land\)
\(\forall g \in G (g B \in \{\text{ the neighborhoods bases at } g \text{ on } G\})\)
)
\(\land\)
(
\(B' \in \{\text{ the topological bases for } G\}\)
\(\land\)
\(G \in \{\text{ the topological groups with } B'\}\)
\(\land\)
\(\forall g \in G (B g \in \{\text{ the neighborhoods bases at } g \text{ on } G\})\)
)
)
//


2: Proof


Whole Strategy: Step 1: see that \(B\) satisfies one of some criteria for any collection of open sets to be a basis; Step 2: see that \(g B_1\) is a neighborhoods basis at \(g\); Step 3: see that the group operations of \(G\) are continuous; Step 4: see that \(G\) is Hausdorff; Step 5: see that \(B'\) satisfies one of some criteria for any collection of open sets to be a basis; Step 6: see that \(B_1 g\) is a neighborhoods basis at \(g\); Step 7: see that the group operations of \(G\) are continuous; Step 8: see that \(G\) is Hausdorff.

Step 1:

Let us see that \(B\) satisfies Description 2 of some criteria for any collection of open sets to be a basis.

1) \(G = \cup B\) (refer to the definition of union of set)?

\(1 \in \cup B\), because \(B_1 \subseteq B\), so, \(\cup B_1 \subseteq \cup B\), there is an \(S_1 \in B_1\) such that \(1 \in S_1\), \(S_1 \subseteq \cup B_1\), and \(1 \in S_1 \subseteq \cup B_1 \subseteq \cup B\).

For each \(g \in G\), \(g \in \cup B\), because \(g B_1 \subseteq B\), so, \(\cup g B_1 \subseteq \cup B\), as there is an \(S_1 \in B_1\) such that \(1 \in S_1\), \(g \in g S_1 \in g B_1\), \(g S_1 \subseteq \cup g B_1\), and \(g \in g S_1 \subseteq \cup g B_1 \subseteq \cup B\).

So, 1) holds.

2) for each sets, \(S_j, S_l \in B\), and each point, \(g \in S_j \cap S_l\), there is a set, \(S_m \in B\), such that \(g \in S_m \subseteq S_j \cap S_l\)?

Let \(S_j \in g_j B_1\), \(S_l \in g_l B_1\), and \(S_m \in g_m B_1\).

\(S_j = g_j S_{1, j}\) and \(S_l = g_j S_{1, l}\) where \(S_{1, j}, S_{1, l} \in B_1\).

As \(g \in g_j S_{1, j}\), \({g_j}^{-1} g \in S_{1, j}\); \({g_l}^{-1} g \in S_{1, l}\), likewise.

By 5), there is an \(S'_{1, j} \in B_1\) such that \(S'_{1, j} {g_j}^{-1} g \subseteq S_{1, j}\); there is an \(S'_{1, l} \in B_1\) such that \(S'_{1, l} {g_l}^{-1} g \subseteq S_{1, l}\), likewise.

\(S'_{1, j} \subseteq S_{1, j} g^{-1} g_j\) and \(S'_{1, l} \subseteq S_{1, l} g^{-1} g_l\).

By 4), there is an \(S''_{1, j} \in B_1\) such that \(S''_{1, j} \subseteq g^{-1} g_j S'_{1, j} {g_j}^{-1} g\); there is an \(S''_{1, l} \in B_1\) such that \(S''_{1, l} \subseteq g^{-1} g_l S'_{1, l} {g_l}^{-1} g\), likewise.

So, \(S''_{1, j} \subseteq g^{-1} g_j S_{1, j} g^{-1} g_j {g_j}^{-1} g = g^{-1} g_j S_{1, j}\), so, \(g S''_{1, j} \subseteq g g^{-1} g_j S_{1, j} = g_j S_{1, j}\); \(g S''_{1, l} \subseteq g_l S_{1, l}\), likewise.

By 2), there is an \(S_1 \in B_1\) such that \(S_1 \subseteq S''_{1, j} \cap S''_{1, l}\).

So, \(g S_1 \subseteq g (S''_{1, j} \cap S''_{1, l}) = (g S''_{1, j}) \cap (g S''_{1, l}) \subseteq g_j S_{1, j} \cap g_l S_{1, l} = S_j \cap S_l\).

\(g \in g S_1\), because \(1 \in S_1\).

So, \(g S_1 = S_m\) will do.

So, \(G\) with \(B\) is a topological space, by the proposition that any basis of any topological space determines the topology.

Step 2:

Let us see that \(g B_1\) is a neighborhoods basis at \(g\).

Let \(N_g\) be any neighborhood of \(g\).

There is a \(g' S_1 \in B\) such that \(g \in g' S_1 \subseteq N_g\): the point is that \(g'\) is not guaranteed to be taken to be \(g\), yet.

\(g'^{-1} g \in S_1\). So, there is an \(S'_1 \in B_1\) such that \(S'_1 g'^{-1} g \subseteq S_1\), by 5).

\(S'_1 g'^{-1} g = g'^{-1} g g^{-1} g' S'_1 g'^{-1} g\).

There is an \(S''_1 \in B_1\) such that \(S''_1 \subseteq g^{-1} g' S'_1 g'^{-1} g\), by 4). So, \(g'^{-1} g S''_1 \subseteq g'^{-1} g g^{-1} g' S'_1 g'^{-1} g = S'_1 g'^{-1} g \subseteq S_1\).

So, \(g' g'^{-1} g S''_1 \subseteq g' S_1\), but \(g' g'^{-1} g S''_1 = g S''_1\), so, \(g \in g S''_1 \subseteq g' S_1 \subseteq N_g\).

Step 3:

Let us see that the group operations of \(G\) are continuous.

Let us deal with the inverse map.

Let \(N_{g^{-1}} \subseteq G\) be any neighborhood of \(g^{-1}\).

There is a \(g^{-1} S_1 \in B\) such that \(g^{-1} \in g^{-1} S_1 \subseteq N_{g^{-1}}\).

There is an \(S'_1 \in B_1\) such that \(S'_1 \subseteq g^{-1} S_1 g\), by 4).

So, \(S'_1 g^{-1} \subseteq g^{-1} S_1\).

There is an \(S''_1 \in B_1\) such that \({S''_1}^{-1} S''_1 \subseteq S'_1\), by 3).

\({S''_1}^{-1} S''_1 g^{-1} \subseteq S'_1 g^{-1}\).

But \({S''_1}^{-1} S''_1 g^{-1} = (g {S''_1}^{-1} S''_1)^{-1}\) and \(S''_1 \subseteq {S''_1}^{-1} S''_1\), so, \((g S''_1)^{-1} \subseteq S'_1 g^{-1} \subseteq g^{-1} S_1 \subseteq N_{g^{-1}}\).

The inverse map is a bijection and its inverse is itself, so, the inverse map is a homeomorphism.

Let us deal with the multiplication map.

Let \(N_{g_1 g_2} \subseteq G\) be any neighborhood of \(g_1 g_2\).

There is a \(g_1 g_2 S_1 \in B\) such that \(g_1 g_2 \in g_1 g_2 S_1 \subseteq N_{g_1 g_2}\).

\(g_1 g_2 S_1 = g_1 g_2 S_1 g_2^{-1} g_2\).

There is an \(S'_1 \in B_1\) such that \(S'_1 \subseteq g_2 S_1 g_2^{-1}\), by 4), so, \(g_1 S'_1 g_2 \subseteq g_1 g_2 S_1 g_2^{-1} g_2 = g_1 g_2 S_1\).

There is an \(S''_1 \in B_1\) such that \({S''_1}^{-1} S''_1 \subseteq S'_1\), by 3), so, \(g_1 {S''_1}^{-1} S''_1 g_2 \subseteq g_1 S'_1 g_2 \subseteq g_1 g_2 S_1\).

But as the inverse map is a homeomorphism, \({S''_1}^{-1}\) is an open neighborhood of \(1\), so, there is an \(S'''_1 \in B_1\) such that \(S'''_1 \subseteq {S''_1}^{-1}\), so, \(g_1 S'''_1 S''_1 g_2 \subseteq g_1 {S''_1}^{-1} S''_1 g_2\).

\(g_1 S'''_1 S''_1 g_2 = g_1 S'''_1 g_2 g_2^{-1} S''_1 g_2\).

There is an \(S''''_1 \in B_1\) such that \(S''''_1 \subseteq g_2^{-1} S''_1 g_2\), by 4), so, \(g_1 S'''_1 g_2 S''''_1 \subseteq g_1 S'''_1 S''_1 g_2\).

So, \(g_1 S'''_1 g_2 S''''_1 \subseteq g_1 S'''_1 S''_1 g_2 \subseteq g_1 {S''_1}^{-1} S''_1 g_2 \subseteq g_1 g_2 S_1 \subseteq N_{g_1 g_2}\).

Step 4:

Let us see that \(G\) is Hausdorff.

Let \(g_1, g_2 \in G\) be any such that \(g_1 \neq g_2\).

\({g_1}^{-1} g_2 \neq 1\), so, there is an \(S_1 \in B_1\) such that \({g_1}^{-1} g_2 \notin S_1\), by 1).

There is a symmetric neighborhood of \(1\), \(N_1 \subseteq G\), such that \(N_1^2 \subseteq S_1\), by the proposition that for any group with any topology with any continuous operations (especially, topological group), any neighborhood of \(1\), and any positive natural number, there is a symmetric neighborhood of \(1\) whose power to the natural number is contained in the neighborhood.

Let us see that \(N_1 \cap {g_1}^{-1} g_2 N_1 = \emptyset\).

Let us suppose that \(N_1 \cap {g_1}^{-1} g_2 N_1 \neq \emptyset\).

There would be an \(n \in N_1 \cap {g_1}^{-1} g_2 N_1\).

\(n = {g_1}^{-1} g_2 n'\) for an \(n' \in N_1\).

\({g_1}^{-1} g_2 = n n'^{-1}\). But as \(N_1\) is symmetric, \(n'^{-1} \in N_1^{-1} = N_1\), so, \({g_1}^{-1} g_2 \in N_1^2 \subseteq S_1\), a contradiction against \({g_1}^{-1} g_2 \notin S_1\).

So, \(N_1 \cap {g_1}^{-1} g_2 N_1 = \emptyset\).

There is an \(S'_1 \in B_1\) such that \(S'_1 \subseteq N_1\), and \(S'_1 \cap {g_1}^{-1} g_2 S'_1 \subseteq N_1 \cap {g_1}^{-1} g_2 N_1 = \emptyset\).

So, \(g_1 (S'_1 \cap {g_1}^{-1} g_2 S'_1) = g_1 S'_1 \cap g_2 S'_1 = \emptyset\).

Step 5:

Let us see that \(B'\) satisfies Description 2 of some criteria for any collection of open sets to be a basis.

1) \(G = \cup B\) (refer to the definition of union of set)?

\(1 \in \cup B'\), because \(B_1 \subseteq B'\), so, \(\cup B_1 \subseteq \cup B'\), there is an \(S_1 \in B_1\) such that \(1 \in S_1\), \(S_1 \subseteq \cup B_1\), and \(1 \in S_1 \subseteq \cup B_1 \subseteq \cup B'\).

For each \(g \in G\), \(g \in \cup B'\), because \(B_1 g \subseteq B'\), so, \(\cup B_1 g \subseteq \cup B'\), as there is an \(S_1 \in B_1\) such that \(1 \in S_1\), \(g \in S_1 g \in B_1 g\), \(S_1 g \subseteq \cup B_1 g\), and \(g \in S_1 g \subseteq \cup B_1 g \subseteq \cup B'\).

So, 1) holds.

2) for each sets, \(S_j, S_l \in B'\), and each point, \(g \in S_j \cap S_l\), there is a set, \(S_m \in B'\), such that \(g \in S_m \subseteq S_j \cap S_l\)?

Let \(S_j \in B_1 g_j\), \(S_l \in B_1 g_l\), and \(S_m \in B_1 g_m\).

\(S_j = S_{1, j} g_j\) and \(S_l = S_{1, l} g_j\) where \(S_{1, j}, S_{1, l} \in B_1\).

As \(g \in S_{1, j} g_j\), \(g {g_j}^{-1} \in S_{1, j}\); \(g {g_l}^{-1} \in S_{1, l}\), likewise.

By 5), there is an \(S'_{1, j} \in B_1\) such that \(S'_{1, j} g {g_j}^{-1} \subseteq S_{1, j}\); there is an \(S'_{1, l} \in B_1\) such that \(S'_{1, l} g {g_l}^{-1} \subseteq S_{1, l}\), likewise.

\(S'_{1, j} \subseteq S_{1, j} g_j g^{-1}\) and \(S'_{1, l} \subseteq S_{1, l} g_l g^{-1}\).

So, \(S'_{1, j} g \subseteq S_{1, j} g_j g^{-1} g = S_{1, j} g_j\); \(S'_{1, l} g \subseteq S_{1, l} g_l\), likewise.

By 2), there is an \(S_1 \in B_1\) such that \(S_1 \subseteq S'_{1, j} \cap S'_{1, l}\).

So, \(S_1 g \subseteq (S'_{1, j} \cap S'_{1, l}) g = (S'_{1, j} g) \cap (S'_{1, l} g) \subseteq (S_{1, j} g_j) \cap (S_{1, l} g_l) = S_j \cap S_l\).

\(g \in S_1 g\), because \(1 \in S_1\).

So, \(S_1 g = S_m\) will do.

So, \(G\) with \(B'\) is a topological space, by the proposition that any basis of any topological space determines the topology.

Step 6:

Let us see that \(B_1 g\) is a neighborhoods basis at \(g\).

Let \(N_g\) be any neighborhood of \(g\).

There is a \(S_1 g' \in B'\) such that \(g \in S_1 g' \subseteq N_g\): the point is that \(g'\) is not guaranteed to be taken to be \(g\), yet.

\(g g'^{-1} \in S_1\). So, there is an \(S'_1 \in B_1\) such that \(S'_1 g g'^{-1} \subseteq S_1\), by 5).

So, \(S'_1 g g'^{-1} g' \subseteq S_1 g'\), but \(S'_1 g g'^{-1} g' = S'_1 g\), so, \(g \in S'_1 g \subseteq S_1 g' \subseteq N_g\).

Step 7:

Let us see that the group operations of \(G\) are continuous.

Let us deal with the inverse map.

Let \(N_{g^{-1}} \subseteq G\) be any neighborhood of \(g^{-1}\).

There is a \(S_1 g^{-1} \in B'\) such that \(g^{-1} \in S_1 g^{-1} \subseteq N_{g^{-1}}\).

There is an \(S'_1 \in B_1\) such that \(S'_1 \subseteq g S_1 g^{-1}\), by 4).

So, \(g^{-1} S'_1 \subseteq S_1 g^{-1}\).

There is an \(S''_1 \in B_1\) such that \({S''_1}^{-1} S''_1 \subseteq S'_1\), by 3).

\(g^{-1} {S''_1}^{-1} S''_1 \subseteq g^{-1} S'_1\).

But \(g^{-1} {S''_1}^{-1} S''_1 = ({S''_1}^{-1} S''_1 g)^{-1}\) and \(S''_1 \subseteq {S''_1}^{-1} S''_1\), so, \((S''_1 g)^{-1} \subseteq g^{-1} S'_1 \subseteq S_1 g^{-1} \subseteq N_{g^{-1}}\).

The inverse map is a bijection and its inverse is itself, so, the inverse map is a homeomorphism.

Let us deal with the multiplication map.

Let \(N_{g_1 g_2} \subseteq G\) be any neighborhood of \(g_1 g_2\).

There is a \(S_1 g_1 g_2 \in B'\) such that \(g_1 g_2 \in S_1 g_1 g_2 \subseteq N_{g_1 g_2}\).

\(S_1 g_1 g_2 = g_1 {g_1}^{-1} S_1 g_1 g_2\).

There is an \(S'_1 \in B_1\) such that \(S'_1 \subseteq {g_1}^{-1} S_1 g_1\), by 4), so, \(g_1 S'_1 g_2 \subseteq g_1 {g_1}^{-1} S_1 g_1 g_2 = S_1 g_1 g_2\).

There is an \(S''_1 \in B_1\) such that \({S''_1}^{-1} S''_1 \subseteq S'_1\), by 3), so, \(g_1 {S''_1}^{-1} S''_1 g_2 \subseteq g_1 S'_1 g_2 \subseteq S_1 g_1 g_2\).

But as the inverse map is a homeomorphism, \({S''_1}^{-1}\) is an open neighborhood of \(1\), so, there is an \(S'''_1 \in B_1\) such that \(S'''_1 \subseteq {S''_1}^{-1}\), so, \(g_1 S'''_1 S''_1 g_2 \subseteq g_1 {S''_1}^{-1} S''_1 g_2\).

\(g_1 S'''_1 S''_1 g_2 = g_1 S'''_1 g_1^{-1} g_1 S''_1 g_2\).

There is an \(S''''_1 \in B_1\) such that \(S''''_1 \subseteq g_1 S'''_1 g_1^{-1}\), by 4), so, \(S''''_1 g_1 S''_1 g_2 \subseteq g_1 S'''_1 S''_1 g_2\).

So, \(S''''_1 g_1 S''_1 g_2 \subseteq g_1 S'''_1 S''_1 g_2 \subseteq g_1 {S''_1}^{-1} S''_1 g_2 \subseteq S_1 g_1 g_2 \subseteq N_{g_1 g_2}\).

Step 8:

Let us see that \(G\) is Hausdorff.

Let \(g_1, g_2 \in G\) be any such that \(g_1 \neq g_2\).

\(g_1 {g_2}^{-1} \neq 1\), so, there is an \(S_1 \in B_1\) such that \(g_1 {g_2}^{-1} \notin S_1\), by 1).

There is a symmetric neighborhood of \(1\), \(N_1 \subseteq G\), such that \(N_1^2 \subseteq S_1\), by the proposition that for any group with any topology with any continuous operations (especially, topological group), any neighborhood of \(1\), and any positive natural number, there is a symmetric neighborhood of \(1\) whose power to the natural number is contained in the neighborhood.

Let us see that \(N_1 \cap N_1 g_1 {g_2}^{-1} = \emptyset\).

Let us suppose that \(N_1 \cap N_1 g_1 {g_2}^{-1} \neq \emptyset\).

There would be an \(n \in N_1 \cap N_1 g_1 {g_2}^{-1}\).

\(n = n' g_1 {g_2}^{-1}\) for an \(n' \in N_1\).

\(g_1 {g_2}^{-1} = n'^{-1} n\). But as \(N_1\) is symmetric, \(n'^{-1} \in N_1^{-1} = N_1\), so, \(g_1 {g_2}^{-1} \in N_1^2 \subseteq S_1\), a contradiction against \(g_1 {g_2}^{-1} \notin S_1\).

So, \(N_1 \cap N_1 g_1 {g_2}^{-1} = \emptyset\).

There is an \(S'_1 \in B_1\) such that \(S'_1 \subseteq N_1\), and \(S'_1 \cap S'_1 g_1 {g_2}^{-1} \subseteq N_1 \cap N_1 g_1 {g_2}^{-1} = \emptyset\).

So, \((S'_1 \cap S'_1 g_1 {g_2}^{-1}) g_2 = S'_1 g_2 \cap S'_1 g_1 {g_2}^{-1} g_2 = S'_1 g_2 \cap S'_1 g_1 = \emptyset\).


References


<The previous article in this series | The table of contents of this series | The next article in this series>