| Topological Group |
Article Index for Topological |
Website Links For Topological |
Information AboutTopological Group |
| CATEGORIES ABOUT TOPOLOGICAL GROUP | |
| topological groups | |
| fourier analysis | |
|
Almost all objects investigated in Analysis are topological groups (usually with some additional structure). EXAMPLES Every group can be trivially made into a topological group by considering it with the Discrete Topology ; such groups are called Discrete Group s. In this sense, the theory of topological groups subsumes that of ordinary groups. The Real Number s R, together with addition as operation and its ordinary topology, form a topological group. More generally, Euclidean ''n''-space R''n'' with addition and standard topology is a topological group. More generally still, the additive groups of all Topological Vector Space s, such as Banach Space s or Hilbert Space s, are topological groups. The above examples are all Abelian . Examples of non-abelian topological groups are given by Lie Group s (topological groups that are also Manifold s). For instance, the General Linear Group GL(''n'',R) of all invertible ''n''-by-''n'' Matrices with real entries can be viewed as a topological group with the topology defined by viewing GL(''n'',R) as a Subset of Euclidean space R''n''×''n''. All Lie groups are locally compact. An example of a topological group which is not a Lie group is given by the Rational Number s Q with the topology inherited from '''R'''. This is a Countable space and it does not have the Discrete Topology . For a nonabelian example, consider the subgroup of rotations of '''R'''3 generated by two rotations by irrational multiples of 2π about different axes. In every Banach Algebra with multiplicative identity, the set of invertible elements forms a topological group under multiplication. PROPERTIES The algebraic and topological structures of a topological group interact in non-trivial ways. For example, in any topological group the Identity Component (i.e. the Connected Component containing the identity element) is a Closed Normal Subgroup . The inversion operation on a topological group ''G'' gives a Homeomorphism from ''G'' to itself. Likewise, if ''a'' is any element of ''G'', then left or right multiplication by ''a'' yields a homeomorphism ''G'' → ''G''. Every topological group can be viewed as a Uniform Space in two ways; the ''left uniformity'' turns all left multiplications into Uniformly Continuous maps while the ''right uniformity'' turns all right multiplications into uniformly continuous maps. If ''G'' is not abelian, then these two need not coincide. The uniform structures allow to talk about notions such as Completeness , Uniform Continuity and Uniform Convergence on topological groups. As a uniform space, every topological group is Completely Regular . It follows that if a topological group is T0 (i.e. Kolmogorov ), then it is already T2 (i.e. Hausdorff ). The most natural notion of ''homomorphism'' between topological groups is that of a continuous Group Homomorphism . Topological groups, together with continuous group homomorphisms as Morphism s, form a Category . Every . If ''H'' is a Normal Subgroup of ''G'', then the Factor Group , ''G''/''H'' becomes a topological group, and the Isomorphism Theorem s known from ordinary group theory remain valid in this setting. However, if ''H'' is not Closed in the topology of ''G'', then ''G''/''H'' won't be T0 even if ''G'' is. It is therefore natural to restrict oneself to the category of T0 topological groups, and restrict the definition of ''normal'' to ''normal and closed''. If ''H'' is a subgroup of ''G'' then the Closure of ''H'' is also a subgroup. Likewise, if ''H'' is a normal subgroup, the closure of ''H'' is normal. RELATIONSHIP TO OTHER AREAS OF MATHEMATICS Of particular importance in Harmonic Analysis are the Locally Compact topological groups, because they admit a natural notion of Measure and Integral , given by the Haar Measure . In many ways, the locally compact topological groups serve as a generalization of countable groups, while the Compact Topological Group s can be seen as a generalization of finite groups. The theory of Group Representation s is almost identical for finite groups and for compact topological groups. SEE ALSO > |
|
|