Semitopological group
In mathematics, a topological group is a group G together with a topology on G such that the group's binary operation and the group's inverse function are continuous functions with respect to the topology. A topological group is a mathematical object with both an algebraic structure and a topological structure. Thus, one may perform algebraic operations, because of the group structure, and one may talk about continuous functions, because of the topology.
Topological groups, along with continuous group actions, are used to study continuous symmetries, which have many applications, for example, in physics.
A topological group, G, is a topological space which is also a group such that the group operations of product:
and taking inverses:
are continuous. Here G × G is viewed as a topological space with the product topology.
Although not part of this definition, many authors require that the topology on G be Hausdorff; it is equivalent to assume that the identity element 1 is a closed subset of G. The reasons, and some equivalent conditions, are discussed below. In any case, any topological group can be made Hausdorff by taking an appropriate canonical quotient.
In the language of category theory, topological groups can be defined concisely as group objects in the category of topological spaces, in the same way that ordinary groups are group objects in the category of sets. Note that the axioms are given in terms of the maps (binary product, unary inverse, and nullary identity), hence are categorical definitions.
A homomorphism of topological groups means a continuous group homomorphism G H. An isomorphism of topological groups is a group isomorphism which is also a homeomorphism of the underlying topological spaces. This is stronger than simply requiring a continuous group isomorphism—the inverse must also be continuous. There are examples of topological groups which are isomorphic as ordinary groups but not as topological groups. Indeed, any non-discrete topological group is also a topological group when considered with the discrete topology. The underlying groups are the same, but as topological groups there is not an isomorphism.
...
Wikipedia