Revision #938 → #1631 · back to history
addedTopological groupd43db326f2fc
addedGroup topologyde7ceb6f5ee4
addedContinuity of product mapcbfa94cb38bf
addedContinuity of inversion map0810197f8045
addedSufficient condition for compatibilitye58d8621af25
addedHomomorphism of topological groups14ca57045a29
addedContinuity from continuity at a point60c5ae87277f
addedIsomorphism of topological groups24a95ab8b58a
addedDiscrete vs indiscrete topology on a groupe2c1702bb284
addedDiscrete groups90a61b5802fa
addedReal numbers and Euclidean space as topological groupsc58eb5c70ead
addedGeneral linear group12270310b0cf
addedOrthogonal group972e663bd676
addedLie groups239409df7e7c
addedRationals and p-adic integersd23a2c3a1895
addedProfinite groups94483e113f36
addedInfinite dimensional Lie groups38ac59a8f304
addedInvertible elements of Banach algebra83ce5708a47a
addedTranslation invariance of topologyeec325201379
addedInversion is a homeomorphismc5b3ebfde8c5
addedSymmetric subset311832cde64b
addedSymmetric neighborhood basis5a7eb4f47d0e
addedRelatively compact symmetric neighborhood99b8b7e9c6ce
addedLeft and right uniformities7363dda45534
addedCompact set absorbed by neighborhooded85dd2646f3
addedEquivalence of separation axioms for topological groups09f4f0e2ea77
addedDiscrete subgroup iff isolated point14d1ddb81b28
addedHausdorff quotient by closure of identityb82f74c339d5
addedMetrisable topological group12c5d9997d65
addedLeft/right-invariant metricb4b900f35d7f
addedProper metric8180fde3d8a6
addedBirkhoff–Kakutani theorem859b7231a5fd
addedProper metrisability equivalences17cf7835a324
addedSubgroup is a topological group982fdac0b3b6
addedOpen subgroup is closed5fa452f78c2f
addedClosure of subgroup is subgroupb0689f8aa1d0
addedClosure of normal subgroup is normal9ab9e65cc9aa
addedHomogeneous space G/Hd98ea9a700b5
addedQuotient map is openc5cad6ca374c
addedSphere as homogeneous spaceefc2221c74f9
addedG/H Hausdorff iff H closed7d0a6f5563cb
addedQuotient group is topological groupf5632b06ecf4
addedIdentity component is closed normal subgroup16731517c88e
addedProduct of compact and closed sets is closedd4912d31d33e
addedClosure product inclusiond4259f005d62
addedClosedness criterion for subgroupe41c5feb83af
addedDiscrete subgroup is closed150a61d5d3e0
addedFirst isomorphism theorem for topological groups90a18d7e1036
addedContinuous Lie group homomorphism is smoothdff8de03b22c
addedCartan's theorem56e7adaa00e6
addedHilbert's fifth problem (Gleason–Montgomery–Zippin)3fafecffa4d8
addedCompact groups are inverse limits of compact Lie groups74741e582e4b
addedConnected locally compact groups are inverse limits of Lie groups4749c6698f8a
addedTotally disconnected locally compact group contains compact open subgroup06414c2b0e40
addedAction of a topological group1f6aca71bd9a
addedRepresentation of a topological group70aef03c2f73
addedFinite-dim representation decomposes as direct sum79232395375d
addedPeter–Weyl theorembd0627b8c0f8
addedIrreducible representations of the circle group62c24ee2f94d
addedWeyl character formula4d61daf6508a
addedDirect integral decomposition for locally compact groups2875d8f3e883
addedFourier transform as direct integrala99d21c618a8
addedPontryagin dualitybd2641af2ec1
addedGelfand–Raikov theorem1e39d38303c8
addedClassifying space and loop spaceaea3789852a0
addedFundamental group of topological group is abelian763ae56316f4
addedCohomology ring is a Hopf algebra71aa99a0b66c
addedStructure of rational cohomology ringa344177cec5b
addedMaximal compact subgroup of connected Lie groupd5389723bf51
addedClassification of compact connected Lie groupsde9cabc015b9
addedDiagonal and canonical entourage2fdc76a3a8b5
addedCanonical uniformityae110c470d8b
addedTranslation-invariant uniformityc4419a0b2563
addedCanonical uniformity is translation-invariant1f092739d0ca
addedProduct, sum, and difference of netsa200264552a0
addedCauchy netb785c7e5bbeb
addedCauchy sequenceced011c88f9f
addedN-small set855a180087e5
addedCauchy prefilterf15c0c86b42a
addedConvergence iff adherent and Cauchy1fbce835f113
addedComplete subset225e9a8d3960
addedSequentially complete subset388dc2cdd3cd
addedComplete groupacdae66543db
addedSequentially complete topological groupc763029cdb4a
addedNeighborhood basis of a completione71f3cf20133
addedUniform continuity between topological groupsbbbc848e91e6
addedSemitopological group346ed164b201
addedQuasitopological group459a78c1af1d
addedParatopological groupd746be3eebbf