H-space

In mathematics, an H-space,[1] or a topological unital magma, is a topological space X (generally assumed to be connected) together with a continuous map μ : X × X → X with an identity element e such that μ(e, x) = μ(x, e) = x for all x in X. Alternatively, the maps μ(e, x) and μ(x, e) are sometimes only required to be homotopic to the identity (in this case e is called homotopy identity), sometimes through basepoint preserving maps. These three definitions are in fact equivalent for H-spaces that are CW complexes. Every topological group is an H-space; however, in the general case, as compared to a topological group, H-spaces may lack associativity and inverses.

Examples and properties

The multiplicative structure of an H-space adds structure to its homology and cohomology groups. For example, the cohomology ring of a path-connected H-space with finitely generated and free cohomology groups is a Hopf algebra. Also, one can define the Pontryagin product on the homology groups of an H-space.

The fundamental group of an H-space is abelian. To see this, let X be an H-space with identity e and let f and g be loops at e. Define a map F: [0,1]×[0,1] → X by F(a,b) = f(a)g(b). Then F(a,0) = F(a,1) = f(a)e is homotopic to f, and F(0,b) = F(1,b) = eg(b) is homotopic to g. It is clear how to define a homotopy from [f][g] to [g][f].

Adams' Hopf invariant one theorem, named after Frank Adams, states that S0, S1, S3, S7 are the only spheres that are H-spaces. Each of these spaces forms an H-space by viewing it as the subset of norm-one elements of the reals, complexes, quaternions, and octonions, respectively, and using the multiplication operations from these algebras. In fact, S0, S1, and S3 are groups (Lie groups) with these multiplications. But S7 is not a group in this way because octonion multiplication is not associative, nor can it be given any other continuous multiplication for which it is a group.

gollark: Reencoding is to be avoided if possible, due to quality loss apiids.
gollark: Those are standard codecs, you should just be able to `ffmpeg -i 20220112_203847_001.mp4 -c copy bees.mp4`.
gollark: Interesting idea, but consider ffmpeg -filter_complex "[1:v]hue=s=0[outv];overlay;aresample" -map 1🅰️0 -y -n -fs 1102 -ar 44100 -vf -dc 4.
gollark: What does ffprobe say it is?
gollark: (we have ffmpeg)

See also

Notes
  1. The H in H-space was suggested by Jean-Pierre Serre in recognition of the influence exerted on the subject by Heinz Hopf (see J. R. Hubbuck. "A Short History of H-spaces", History of topology, 1999, pages 747–755).

References
  • Hatcher, Allen (2002), Algebraic Topology, Cambridge: Cambridge University Press, ISBN 0-521-79540-0. Section 3.C
  • Stasheff, James D. (1963), "Homotopy associativity of H-spaces. I, II", Transactions of the American Mathematical Society, 108: 275–292, 293–312, doi:10.2307/1993609, MR 0158400.
  • Stasheff, James D. (2006), H-spaces from a Homotopy Point of View, Berlin: Springer.


This article is issued from Wikipedia. The text is licensed under Creative Commons - Attribution - Sharealike. Additional terms may apply for the media files.