Topological Spaces and Groups: part 3: Fast Review

Reference: Topological Transformation Groups by Deane Montgomery and Leo Zippin, Dover Publications, available Amazon India.

1.21 COSET SPACE of LOCAL GROUPS

DEFINITION. A closed subset H of a local group G is called a subgroup if a neighbourhood V of e exists such that V^{2} is defined, V open and symmetric, and:

i) x \in H \bigcap V implies x^{-1} \in H \bigcap V

ii) x, y \in H \bigcap V implies xy \in H.

The subgroup is called invariant if a V exists satisfying (i) and (ii) and also

(iii) y \in V, h \in H \bigcap V implies y^{-1}ky \in H

LEMMA.

Let G be a local group, H a subgroup, V a neighbourhood as described above, and let W be a symmetric open neighbourhood of a e with W^{16} \subset V.. Then for x, y \in W and x^{-1}y \in H is an equivalence relation and x^{-1}y \in H if and only if xH \bigcap W = yH \bigcap W.

Proof:

The relation x^{-1}y \in H is reflexive since x^{-1}x = e \in H. It is symmetric since if x, y \in W then x^{-1}y \in W^{2} hence y^{-1}x is defined and belongs to W^{2}. Now x^{-1}y \in H implies y^{-1}x \in H. The relation is transitive because x, y, z \in W and x^{-1}y , y^{-1}z \in H implies x^{-1}z \in H by condition (2).

It can be seen that the sets xH \bigcap W where x \in W are the equivalence classes of this equivalence relation. They are called the local cosets and are the points of a coset space W/(H \bigcap W). We shall now define the topology for this space.

Let T denote the natural map of W onto W/(H \bigcap W) defined by

T : x \rightarrow (xH \bigcap W)

Note that T (for local groups) is defined only on W. Let the open sets of the coset space be those which have an open set in W as inverse under T. Then T is open and continuous.

COROLLARY.

With the same assumptioins and notation as in the preceding Lemma, let H be invariant. Then W/(H \bigcap W) is a local group when the product is defined in the natural way.

The product function is defined for x, y \in W by:

(xH \bigcap W) (yH \bigcap W) = (xyH \bigcap W)

To prove that this is a single valued function (or a well-defined function) on cosets it needs to be shown that for h, h^{'} \in H and xh, yh^{'} \in W the product (xy)^{-1}(xhyh^{'}) exists and is in H. The product is in W^{4} and defines an element of V, This element can be seen to be in H \bigcap V by the use of the associative law and condition (3) above; it must be verified that all indicated products are well-defined. Finally let U_{0} be an open neighbourhood of e in G, with U_{0}^{2} \subset W. It can be seen that the product of each pair of elements in the open set T(U_{0}H \bigcap W) is defined as an element of W/(H \bigcap W). The remaining details can be verified by the reader. ( I have yet to ! :-))

THEOREM.

A local group G possesses such a family of neighbourhoods as is defined in Section 1.17 (previous blog). For every subgroup H of G and neighbourhood W of e (this neighbourhood chosen as above) the coset space W/(W \bigcap H) is a Hausdorff space.

The proof is the same as in 1.16 and 1.17. (previous blog)

Remarks on the side: Some of the principal results of the succeeding chapters are valid for local groups as well as global groups. However, the consideration of local groups in each preliminary Lemma and Theorem is not feasible in a work of this kind. In the sequel we shall only occasionally need to make explicit mention of the local groups.

1.22 INVARIANT METRIC

The construction of metrics and invariant metrics in groups was carried out by Garrett Birkhoff and Kakutani independently.

A local group is called metric if some neighbourhood of the identity is metric.

THEOREM.

Let G be a topological group whose open sets at e have a countable basis. Then G is metrizable (Section 1.9) and moreover, there exists a metric which is right invariant.

(From Section 1.9 we reproduce the definition of metrizable: A space is called metrizable if a metric can be defined for it which induces in it the original topology.)

Let U_{i} for i=1,2, \ldots be a countable basis for open sets at e and for each positive integer n let O_{n}=\bigcap_{1}^{n}U_{i}. The sets O_{n} are monotonic decreasing and form a basis at e. Let V_{r} for each dyadic rational r=k/2^{n}, where 1 \leq k \leq 2^{n}, where n \in \mathcal{N} be a family of neighbourhoods of e in G such as is constructed in Section 1.17 (previous blog).

Define a function

f(x,y) on G as follows:

(i) f(x,y) =0 if and only if y \in V_{r}V_{r}^{-1}x for every r.

(ii) otherwise f(x,y) =lub(r) where y \in V_{r}V_{r}^{-1}x

For any set U and element a in G, y \in Ux if and only if ya \in Uxa. From this it follows that f(x,y) is right invariant:

(iii) f(x,y) = f(xa,ya)

Next from the fact that V_{r}V_{r}^{-1} is symmetric it follows that xy^{-1} \in V_{r}V_{r}^{-1} if and only if yx^{-1} \in V_{r}V_{r}^{-1} for the same r. It follows that f is symmetric

f(x,y) = f(y,x)

The sets V_{1/2^{n}} are symmetric so that V_{1/2^{n}}V_{1/2^{n}}^{-1} = V_{1/2^{n}}^{2} \subset V_{1/2^{n-1}} by (5) of section 1.17. Also V_{1/2^{n-1}} \subset O_{n-1} and \bigcap O_{n-1}=e. It follows now that

f(x,y)=0 if and only if x=y

We next define the distance function:

*) d(x,y) = lub_{u}|f(x,u)-f(y,u)|

The definition shows that d(x,y) = d(y,x)

d(x,y) \geq f(x,y) \geq 0 and d(x,x)=0

If d(x,y)=0 then f(x,y)=0 and x=y. Finally the triangle inequality:

d(x,z) =lub_{u}|f(x,u) -f (y,u) + f(y,u)-f(z,u) | \leq d(x,y) + d(y,z)

The right invariance of the metric is shown as follows:

d(xa, ya ) = lub_{u}|f(xa,u) - f(ya,u)| = lub_{va}|f(xa,va) - f(ya,va)| = lub_{v}|f(x,v)-f(y,v)|=d(x,y)

Finally we must show the equivalence of the original neighbourhoods of G and the sphere neighbourhoods of the metric. It is sufficient to verify this at a e because of the invariance of the metric on the one hand and the translation properties of G (Section 1.13 previous blog) on the other. Let S_{1/2^{n}} denote the set of elements whose distance from a is less than 1/2^{n}. The fact that

V_{1/2^{n+1}} \subset S_{1/2^{n}}

shows that the metric spheres are neighbourhoods of e in the original topology. It remains to show that they form a basis at e. Let a neighbourhood O of e be given. Since the sets O_{n} are a basis at e there is an integer k such that O_{k} \subset O. Then if x \in S_{1/2^{k+1}}, and d(e,x) < 1/2^{k+1} and f(e,x) < 1/2^{k+1}, and finally

x \in V_{1/2^{k+1}}^{2} \subset V_{1/2^{k}}\subset O_{k} hence

S_{1/2^{k+1}}\subset O_{k}

This completes the proof.

1.23 METRIC HOMOGENEOUS SPACE

THEOREM.

Let H be a closed subgroup of a metric group G. Then G/H is metrizable.

Proof.

Let d(x,y) be a right invariant metric in G. Define D(xH, yH) as follows:

D(xH, yH) = glb \hspace{0.1in} d(xa, yb) where a, b \in H

then for every \epsilon >0, H contains elements a, b, c, d such that

D(xH, yH) + D(yH, zH) +2\epsilon \geq d(xa,yb) + d(yc, zd) = d(xa,yb) + d(yb,zdc^{-1}b) \geq d(xa,zdc^{-1}b) \geq D(xH,zH)

This shows that D satisfies the triangle inequality. It can be verified that D is single-valued in G/H x G/H, that is , D is symmetric and that D(xH,yH) =0 if and only if xH=yH. Then D is a metric.

The set yH belongs to the set S_{1/2^{n}}(e).xH if D(xH, yH) < 1/2^{n}. Therefore any neighbourhood of xH in the original topology includes a metric neighbourhood. The converse can also be shown. Therefore the metric D induces the topology of G/H.

1.24 CONNECTEDNESS

A subset M of a topological space S is called connected if whenever M = A \bigcup B where A and B are open relative to M and are not empty, it follows that A \bigcap B is not empty.

LEMMA.

If M is connected and A is a subset which is both open and closed relative to M, then A = M, or A is the empty set.

This follows from the definition.

LEMMA.

If G is a topological group and H is a subgroup which is open, then H is also closed.

Since H is open each coset of H is open. The compliment of H is the union of cosets of H. Hence, the complement of H is open so H must be closed.

THEOREM.

If G is a connected group and W is an open neighbourhood of e, then G = \bigcup_{n}W^{n}.

The set H  = \bigcup_{n}(W \bigcap W^{-1})^{n} is an open subgroup of G. Therefore H is a closed subgroup, and then it follows from the connectedness of G that H=G.

A union of an arbitrary number of connected subsets is connected, provided every two of the sets have a point in common. It follows that to each point x \in S there is uniquely associated a maximal connected subset of M containing x; these maximal connected subsets are called components of S. The closure of a component is connected — therefore the component is closed. A space is called totally-disconnected when each point if a component.

LEMMA.

If M is connected and f is a continuous map of M into a space N then f(M) is connected.

If f(M) = A \bigcup B and A \bigcap B=\Phi

Then M = f^{-1}(A) \bigcup f^{-1}(B) and f^{-1}(A) \bigcap f^{-1}(B) = \Phi

COROLLARY.

If G is a connected group and H is a closed subgroup, then G/H is a connected space.

DEFINITION.

A space is called normal if any two disjoint closed sets are contained in disjoined open sets; two sets are disjoined (disjunct, mutually separated) if they have no common points.

LEMMA.

A compact Hausdorff space is normal.

The proof is straight forward and is omitted.

LEMMA.

Let S be a compact Hausdorff space and x a point in S. Let Q be a set of indices \{ q\}. If \{ A_{q}\} is the set of all compact open subsets containing x, then C = \bigcap_{a}A_{a} is the x-component of S.

Let

\bigcap_{a}A_{a} = X \bigcup Y where X \bigcap Y = \Phi

and X and Y are closed. There exist open sets V \supset X and W \supset Y such that V \bigcap W = \Phi. Hence,

*) (S - (V \bigcup W)) \bigcap (\bigcap _{q}A_{q}) = \Phi

and there is a finite set of indices Q^{'} \subset Q such that *) continues to hold if the intersection \bigcap_{a} os restricted to q \in Q^{'}. Let A = \bigcap_{q^{'}}A_{q^{'}} where q^{'} \in Q^{'}. Then, A is compact and open and x \in A.

Finally, since

A = (A \bigcap V) \bigcup (A \bigcap W)

it follows that A \bigcap V and A \bigcap W are compact open sets only one of which can contain x. Since the system \{ A_{q}\} where q \in Q is maximal, one of A \bigcap V and A \bigcap W is in \{ A_{q}\}, say A \bigcap V \in \{ A_{q}\} and therefore \bigcap_{a}A_{a} \subset A \bigcap V \subset V; hence, Y is empty.

This shows that C = \bigcap_{q}A_{q} is connected. It is now clear that Cis the component containing x.

COROLLARY.

Let S be compact Hausdorff space, C be a component of S, let F be a closed set and suppose that F \bigcap C = \Phi. Then there is a compact open set A^{'}, C \subset A^{'}, F \bigcap A^{'} = \Phi.

It follows from the hypothesis that there is a finite set Q^{''} \subset Q such that

F \bigcap (\bigcap_{q^{''}}A_{q^{''}}) = \Phi where q^{''} \in Q^{''}

Let

A^{'} = \bigcap_{a^{''}}A_{q^{''}}.

This is the set required by the corollary.

1.25 THE IDENTITY COMPONENT G_{0}

THEOREM.

Let g be a topological group and G_{0} the component of G containing the identity. Then G_{0} is closed invariant subgroup and the factor group G/G_{0} is totally disconnected.

If M is a connected subset of G, M^{-1} is connected, Mx and xM where x \in G are connected (section 1.13). It follows that the identity component G_{0} is a group and that the cosets xG_{0} are also components. We have already remarked that components are closed sests. Then G_{0} is a closed subgroup. Since x^{-1}G_{0}x is connected and contains the identity e for every x \in G, it is clear that G_{0} is invariant.

Now let M denote a connected subset of G/G_{0}. Let T be the natural map of G onto G/G_{0}. We shall show that T^{-1}(M) is connected, thus proving that it is in a coset of G/G_{0}. Suppose that

T^{-1}(M) = A \bigcup B

where A and B are relatively open (and closed ) in T^{-1}(M) and A \bigcap B is empty. Then T(T^{-1}(M)) = M = T(A) \bigcup T(B). Since there exists an open set, say U, in G, such that A = U \bigcap T^{-1}(M) and since T is an open set, say U, in G, such that A = U \bigcap T^{-1}(M) and since T is an open map, the set T(A) is open relatively to M. This is true also of T(B). Since M is connected it follows that T(A) \bigcap T(B) is not empty. Let xG_{0} \in T(A) \bigcap T(B). Since xG_{0} is a connected subset of G,

xG_{0} = (xG_{0} \bigcap A) \bigcup (xG_{0} \bigcap B

leads to a contradiction.

A subgroup of a group G is called central if each of its elements communtes with every element in the whole group. Subgroups H and g^{-1}Hg are called conjugate.

THEOREM.

If G is a connected group and H is an invariant totally disconnected subgroup then H is central.

Let x be an element of H and consider the map of G into H depending on x:

g \rightarrow gxg^{-1} where g \in G.

Since H contains no connected set with more than one point, the image of G which contains x, must coincide with x. This completes the proof.

1.26 TRANSFORMATION GROUPS

We shall soon confine our attention to groups which are locally compact, and we shall be particularly interested in the transformation groups of locally-euclidean spaces. For the time being, we continue to study the more general phenomenon.

DEFINITION I.

Let M denote a Hausdorff space and G a topological group each element of which is a homeomorphism of M onto itself:

(1) f(g; x) = g(x) = x^{'} \in M; g \in G, and x \in M

The pair (G,M), or sometimes G itself will be called a topological transformation group if for every pair of elements of G, and every x of M,

(2) g_{1}(g_{2}(x)) = (g_{1}g_{2})(x) ;

and if x^{'} = g(x) = f(g; x) is continuous simultaneously in x \in M and g \in G.

From (2) and from the fact that each g is one-one on M, it follows that for every x \in M

(3) e(x)=x; e the identity in G.

If e is the only element in G which leaves all of M fixed, that is if e is the only element satisfying (3) for all x, then G is called effective.

DEFINITION I’

A pair (G,M) will be called a local transformation group if all conditions of the preceding Definition are fulfilled excepting only that G is assumed to be a local group, and condition (2) holds whenever g_{1}g_{2} is defined.

Some of the remarks below apply both to local and global case for the most part, except when noted.

Let G be a transformation group, g \in G, x, y \in M and suppose that

g(x) = y \neq x

Since M is a Hausdorff space, there is a neighbourhood Y of y not containing x. By the definition of the transformation group, there is a neighbourhood U of g such that for g^{'} \in U, g^{'}(x) \in Y. Therefore, g^{'}(x) \neq x, and it follows that the set of elements of G which leave x fixed is closed. Therefore this set is a closed subgroup of G. We shall denote it by G_{x}. Similarly, the set of elements of G leaving fixed every point of M is a closed subgroup of G_{M}.

THEOREM

Let (G,M) be a transformation group, and let K be the closed subgroup of G leaving all of M fixed. Then K is invariant and G/K is an effective transformation group of M under the action:

T^{*}: (gK)(x) = g(x) where g \in G.

For x \in M, h \in K, g \in G we must always have: (g^{-1}hg)(x)=x. This shows the invariance of K. If (gK)x=y and a neighbourhood Y of y is given, there is a neighbourhood U of g and X of x such that g^{'} \in X, x^{'} \in X imply g^{'}(x^{'}) \in Y. But then (g^{'}(K)(x^{'}) \in Y. From this it is clear that T^{*} is continuous simultaneously in gK and x. It can be seen that

g_{1}K(g_{2}K(x)) = g_{1}g_{2}K(x)

It follows also that gK(x)=x for every x implies g \in K, equivalently gK=K.

1.28.1

If G is a transformation group of M and h is a homeomorphism of M onto itself, then the homeomorphisms:

\{ hgh^{-1}\}

of M onto itself form a transformation group which is said to be topologically equivalent to G.

1.26.2

A topological group G can be regarded as a transformation group on itself as space in several ways, in particular by associating with a \in G.

  1. a(g) = ag (left translation)
  2. a(g) = ga^{-1} (right translation)
  3. a(g) = aga^{-1} (conjugation, taking of transforms.
    Also G is a transformation group of a left coset space G/H where H is a closed subgroup, by
  4. a(gH) = agH In cases (1) and (2) G is effective. In case (4) if agH = gH for every g \in G then a \in gHg^{-1} for every g \in G. Then K = \bigcap gHg^{-1} is an invariant subgroup of G, and G/K is effective on G/H. Of course, K is a subgroup of H which depends on H as well as G and which may be trivial.

1.26.3

Further examples of transformation groups are given below, proofs are omitted. (PS: I will supply the proofs in a later blog, most probably after this blog):

  1. Let G = GL(n,R) be the real n x n matrices where a = (a_{ij}) with |a_{ij}| neq 0. Let E_{n} be the space of n real variables u_{1}, u_{2}, \ldots, u_{n}. Then G is a transformation group of E_{n} whose elements are T_{a}^{*}: a(u) = u^{'} where u_{i}^{'} = \Sigma a_{ij}u_{j}
  2. With G as above, let S^{n-1} in E_{n} be the (n-1)-sphere defined by \Sigma u _{i}^{2}=1. Let G act on S^{n-1} as follows: T_{a}^{''}: a(u)=u^{''} where u_{i}^{''}=u_{i}^{'}/(\Sigma u_{i}^{2})^{1/2} and u_{i}^{'} is as above. Here the effective group is G/Kn where Kn consists of scalar matrices: (h\delta_{ij}) where \delta_{ij} is the Kronecker delta and h is positive.
  3. Let G be the group of two by two real matrices with determinant one and let it act on E_{2} as in (1).
  4. Let G be the group of two by two real matrices of determinant one and let G act on itself by inner automorphisms. As a space G is the product of a circle and a plane. One parameter groups fill a neighbourhood of the identity and in the large are closed sets which are either circles or lines. No two of them cross and they are permuted by G.
  5. For fixed integers m, n let G be the circle group acting on E_{4} as follows: x_{1}^{1}=x_{1}\cos{2\pi m t} + x_{2}\sin{2\pi mt}; x_{2}^{1} = -x_{1}\sin{2\pi mt} + x_{2}\cos{2\pi mt} ; x_{3}^{1}=x_{3}\cos{2 \pi n t} + x_{4}\sin{2 \pi n t}; x_{4}^{1}=-x_{3}\sin{2\pi n t}+x_{4}\cos{2 \pi nt}. This can also be viewed as a transformation group on the unit sphere S^{3} in E^{4} since it leaves S^{3} invariant. It is known that the simple closed curves swept out by points of S^{3} are linked.
  6. A quasi-relation in E_{3} in a fixed cylindrical coordinate system (z,r, \theta) is a group of homeomorphisms depending on a positive continuous function F(r,z), where 0 < r, < \infty, -\infty < z < \infty, F bounded on compact sets in E_{3} and given by (*) h_{t}: (z,r,\theta) \rightarrow (z,r, \theta + 2\pi F (r,z)t) for all real t.

Each point which is not a fixed point moves in a circle about the z-axis. The period of a moving point, that is the least positive t for which it is left fixed by (*) above varies continuously. If h is an arbitrary homeomorphism of E_{3} upon itself, then \{ h^{-1}h_{1}h\} defines a topological quasi-rotation group. As we shall mention later, these groups can be characterized abstractly.

1.26.4

The transformation group G is called transitive on M if for every x, y \in M there is at least one g \in G such that g(x)=y. As remarked earlier every topological group G is transitive on G/H. where H is a closed subgroup.

THEOREM.

Let (G,M) be a topological transformation group which is transitive on M. Then the groups of stability G_{x} where x \in M are conjugate and for any one of them G/G_{x} is mapped in a continuous one-one way onto M by the map:

T_{1}: gG_{x} \rightarrow g(x)

Let x, y \in M be given with g(x)=y. If g^{'}(x)=x, gg^{'}g^{-1}(y)=y. It follows that G_{x} and G_{y} are conjugate.

Now let x be fixed. If g^{'}(x)=x, gg^{'}(x)=g(x) for every g \in G and this shows that the map

T_{1}: G/G_{x} \rightarrow M defined in the theorem is one-one. It maps G/G_{x} onto M because G is transitive.

Let T be the natural map G \rightarrow G/G_{x}. Then T_{1}T maps G onto M T_{1}Tg=g(x).

This map is continuous in G by the definition of a transformation group. Let U be open in M. Then (T_{1}T)^{-1}U is open in G and T(T_{1}T)^{-1}U is open in G/G_{x}, since F is an open map. This shows that T_{1} is continuous as well as one-one. In the cases of most interest it will turn out that T_{1} is a homeomorphism.

1.27 LOCALLY EUCLIDEAN SPACES

We have used E_{n}, where n \in \mathcal{N} to denote euclidean n-space, with real coordinates x_{1}, x_{2}, \ldots, x_{n}. It is the topological class of spaces homeomorphic to E_{n} which we have in mind, rather than the space endowed with a standard euclidean metric. By the Brouwer theorem, an open subset of E_{m} and an open subset of E_{n} cannot be homeomorphic if m \neq n. This shows that the possibility of the one-one bicontinuous coordinatization (x_{1}, x_{2}, \ldots, x_{n}) of E_{n} is a topological property. This number n is a topological invariant and is called the dimension.

The term locally euclidean is used to describe a topological space E of fixed dimension n each point of which has a neighbourhood that is homeomorphic to an open set in E_{n}. The simplest examples of such spaces are the open subsets of E_{n}. If a locally euclidean space is connected, it is called a MANIFOLD. For example, the spheres of all dimensions, the ordinary torus, the cylinder, etc. are manifolds.

A locally euclidean space can be covered by a certain number (not necessarily finite) of open sets each homeomorphic to an open set in E_{n}; let us call such sets each with a fixed homeomorphism, a coordinate neighbourhood. The circle C_{1} can be covered by two (or more) coordinate neighbourhoods, the two dimensional sphere S^{2} by two or more. However, to describe classical euclidean space one uses the entire family of those coordinate systems which are related to each other by orthogonal transformations. Similarly to define affine n-dimensional space, one uses a larger family, namely, all coordinate systems which are affinely related to each other.

We describe a topological manifold one could use in it the family of all coordinate neighbourhoods. However, if for some purpose a restricted class of coordinate neighbourhoods covering the manifold is specified, then one can speak of admissible coordinate systems. In general, where two coordinate neighbourhoods overlap, the coordinate systems will not be found to be in any simple relation. It may happen that the admissible coordinate have been so selected that in every region of overlap of two such systems the two sets of coordinates are related by functions which are differentiable or analytic.

A manifold is said to be a differentiable manifold and to have a differentiable structure of class C^{r} where r is greater than or equal to 1, if there is given a covering family of coordinate neighbourhoods in such a way that where any two of the neighbourhoods overlap the coordinate transformation in both directions is given by n functions with continuous, partial derivatives of order r. A manifold may have essentially different differentiable structures (Milnor). A manifold need not possess a differentiable structure (Kervaire, Smale). The n-sphere (with the possibe exception of n=3) has only a finite number of such structures (see Kervaire-Milnor).

In the same way a manifold is said to be a real analytic manifold and to have a real analytic structure if there is given a covering family of coordinate neighbourhoods in such a way that where any two overlap the coordinate transformation in both directions is given by n functions which are real analytic, that is in some neighbourhood of each point of the overlap they can be expanded in power series.

The definition of a complex analytic manifold and structure is similar to the above. Such a manifold of course has an even number of real dimensions; it is automatically real analytic. However, there are many real analytic manifolds of even dimension which cannot be given a complex analytic structure; thus the existence of a complex analytic structure is a much stronger property than the existence of a differentiable or even real analytic structure.

1.27.1

Suppose that M is an n-dimensional manifold and that x and y are points of M belonging to a set U which is homeomorphic to an open n-sphere. Then it is not difficult to describe a homeomorphism of M onto itself which keeps fixed all points of M not inside of U, and which maps x onto y. Using this and using the connectedness of M, and being given an arbitrary pair of points x and y of M one can find a homeomorphism of M onto itself mapping x on y. The details are not presented here.

1.27.2

Suppose that M and N are manifolds and that there is given a continuous map f of M onto M^{'}. The map f is called a covering map and M is said to cover M^{'} if the following conditions are satisfied:

a) for each y in M^{'} there is an open neighbourhood V of y such that f^{-1}(V) is the union of disjoined open sets U_{x} where there is a U_{x} for each x \in f^{-1}(y) and x \in U_{x}

b) f is a homeomorphism of U_{x} onto V for each x in f^{-1}(y). For each y \in M^{'}, each x \in f^{-1}(y) is called a covering point. It is clear that M and M^{'} are of the same dimension, and it is clear that each point of f^{-1}(y) is an isolated point of f^{-1}(y) (each point is a relatively open subset) so that f^{-1}(y) is a discrete set.

By way of example, let M^{'} be the ordinary torus with momentarily convenient coordinates u, v: 0 \leq u, v <1 and let M be the ordinary plane with real coordinates x and y. Define the map f(M) = M^{'} by

(x,y) \rightarrow (u,v) if and only if x \equiv u and y \equiv v {\pmod 1} This pair of manifolds can also be regarded as an example of a group M covering a factor-group M^{'}. Thus let M now denote the two-dimensional vector space V_{2} and let x_{1} and y_{1} denote two independent vectors in V_{2}. Let D be the countable, discrete subgroup of V_{2} consisting of the linear combinations of x_{1} and y_{1} with integral coefficients. Finally, let M^{'} now denote the toral group V_{2}/D.

A more general example is the following:

If G is any connected locally euclidean group and H is a discrete subgroup of G then G covers the coset-space G/H under the natural map G \rightarrow G/H.

A manifold M^{'} is called simply connected if whenever it is covered by a manifold M, the covering map f: f(M) = M^{'} is a homeomorphism (in that case f^{-1}(y) is single-valued). Euclidean spaces of all dimensions and the sphere-spaces of dimension greater than one are simply connected manifolds; the one-dimensional sphere (circumference of a circle) and more generally the toral spaces of all dimensions are not simply connected.

Cheers,

Nalin Pithwa

Leave a Reply

Fill in your details below or click an icon to log in:

WordPress.com Logo

You are commenting using your WordPress.com account. Log Out /  Change )

Google photo

You are commenting using your Google account. Log Out /  Change )

Twitter picture

You are commenting using your Twitter account. Log Out /  Change )

Facebook photo

You are commenting using your Facebook account. Log Out /  Change )

Connecting to %s

This site uses Akismet to reduce spam. Learn how your comment data is processed.