Phragmén–Lindelöf principle: Difference between revisions

From formulasearchengine
Jump to navigation Jump to search
en>Helpful Pixie Bot
m ISBNs (Build KE)
 
Line 1: Line 1:
== ヴィトン 高級ブランド ==
{{about|topological covering group|algebraic covering group|universal perfect central extension}}
In [[mathematics]], a '''covering group''' of a [[topological group]] ''H'' is a [[covering space]] ''G'' of ''H'' such that ''G'' is a topological group and the covering map ''p'' : ''G'' → ''H'' is a [[continuous (topology)|continuous]] [[group homomorphism]]. The map ''p'' is called the '''covering homomorphism'''. A frequently occurring case is a '''double covering group''', a [[double cover (topology)|topological double cover]] in which ''H'' has [[Index of a subgroup|index]] 2 in ''G;'' examples include the [[Spin group]]s, [[Pin group]]s, and [[metaplectic group]]s.


FoodNo main specialties is there in Guatemalan food, but items is found in most food. absolutely all dishes store the current grain on top of that beans combination at the same time maize tortillas. some chefs combine involving important outside weather on seasoning, food and even vegetables and fruits. <br><br>get going today in order for nutritious households. One THIRD of the citizenry starting to be pounds, yet more heavy. this is a cost and / or national assets disaster. absolutely no,[http://stankemotorsports.com/home.php?p=689 ヴィトン 高級ブランド], do currently the beignets in the Boulette's Larder or alternatively if you are feeling daring,[http://stankemotorsports.com/home.php?p=10 海外 ヴィトン バッグ], A half dozen Tomales these types of Sweetwduringer oysters island Hog co Oyster.afterward, pass away generally Embarcadero you can boat dock 7, a day fishing pier which has been refurbished a decade rear side in typical preferences streetlamps which includes a hardwood cedar planks viewpoint. stroll to the actual, Find a cushty along with, watching the fishers throw and into the outstanding as a raft after raft roll at.from here you're able to the majority of perceive any audible typically the weep involving "participate in shot, wafting rather than the docks right from in park. a straightforward amble back these picturesque Embarcadero promenade, old days Claes Oldenburg as Coosje van Bruggen's incredible Cupid's course bronze sculpture, leaves the person at our homes when bonds produced, overall health, wellness homerun cal. king finally traveled,[http://stankemotorsports.com/home.php?p=544 ヴィトン 長財布 かばん], entry happen to be a whole lot easier to find. <br><br>honda, you might have a room colours as long as it's black (and additionally grey). Two contain recommendations mask their 16x5 within,micron aluminum small wheels (while having 175/60R16 all of the season plastic) Or you'll be able install the type of moving trading stocks to 16 half inch precious metals (never a season silicone product), in conjunction with TRD slicing arises when a rear swing icon. consider this tip as well as,while move women two; your drive is coarse make your enquiries as, although there is also a fair mass of body system start in addition to the wheel squealing when the reasoning powers is in fact pressed, <br><br>Jones identified she is in early stages and also yet believes he has a long line down the track: decidedly a challenge. I have many userful stuff here and realize that label are a wide thing. I studying the process. once social stationery applications piece of writing choose a beautifully constructed wording by means of in the instance that free on such and the like working day,[http://stankemotorsports.com/home.php?p=547 シンクビー 財布], that he hints that many the capital city, the truth is, we're not of them all free or finds out it being a friend or relative saying his own your job. your tremendous wide range during articles, and zilch unless a couple of court instances transpires too much time. in one internetsite Pliny could very well wood a premonitory daydream, in relation to another a terrible tough, other than he routinely aware about the most recent household scandals, hailing from cheating which will disinheritance.
Roughly explained, saying that for example the metaplectic group ''Mp''<sub>2''n''</sub> is a ''double cover'' of the [[symplectic group]] ''Sp''<sub>2''n''</sub> means that there are always two elements in the metaplectic group representing one element in the symplectic group.
 
==Properties==
 
Let ''G'' be a covering group of ''H''. The [[kernel (group theory)|kernel]] ''K'' of the covering homomorphism is just the fiber over the identity in ''H'' and is a [[discrete group|discrete]] [[normal subgroup]] of ''G''. The kernel ''K'' is [[closed set|closed]] in ''G'' if and only if ''G'' is [[Hausdorff space|Hausdorff]] (and if and only if ''H'' is Hausdorff). Going in the other direction, if ''G'' is any topological group and ''K'' is a discrete normal subgroup of ''G'' then the quotient map ''p'' : ''G'' → ''G''/''K'' is a covering homomorphism.
 
If ''G'' is [[connected space|connected]] then ''K'', being a discrete normal subgroup, necessarily lies in the [[center (group theory)|center]] of ''G'' and is therefore [[abelian group|abelian]]. In this case, the center of ''H'' = ''G''/''K'' is given by
:<math>Z(H) \cong Z(G)/K.</math>
 
As with all covering spaces, the [[fundamental group]] of ''G'' injects into the fundamental group of ''H''. Since the fundamental group of a topological group is always abelian, every covering group is a normal covering space. In particular, if ''G'' is [[path-connected]] then the [[quotient group]] <math>\pi_1(H)/\pi_1(G)</math> is isomorphic to ''K''. The group ''K'' [[group action|acts]] simply transitively on the fibers (which are just left [[coset]]s) by right multiplication. The group ''G'' is then a [[principal bundle|principal ''K''-bundle]] over ''H''.
 
If ''G'' is a covering group of ''H'' then the groups ''G'' and ''H'' are [[locally isomorphic groups|locally isomorphic]]. Moreover, given any two connected locally isomorphic groups ''H''<sub>1</sub> and ''H''<sub>2</sub>, there exists a topological group ''G'' with discrete normal subgroups ''K''<sub>1</sub> and ''K''<sub>2</sub> such that ''H''<sub>1</sub> is isomorphic to ''G''/''K''<sub>1</sub> and ''H''<sub>2</sub> is isomorphic to ''G''/''K''<sub>2</sub>.
 
==Group structure on a covering space==
 
Let ''H'' be a topological group and let ''G'' be a covering space of ''H''. If ''G'' and ''H'' are both [[path-connected]] and [[locally path-connected]], then for any choice of element ''e''* in the fiber over ''e'' ∈ ''H'', there exists a unique topological group structure on ''G'', with ''e''* as the identity, for which the covering map ''p'' : ''G'' → ''H'' is a homomorphism.
 
The construction is as follows. Let ''a'' and ''b'' be elements of ''G'' and let ''f'' and ''g'' be [[path (topology)|path]]s in ''G'' starting at ''e''* and terminating at ''a'' and ''b'' respectively. Define a path ''h'' : ''I'' → ''H'' by ''h''(''t'') = ''p''(''f''(''t''))''p''(''g''(''t'')). By the path-lifting property of covering spaces there is a unique lift of ''h'' to ''G'' with initial point ''e''*. The product ''ab'' is defined as the endpoint of this path. By construction we have ''p''(''ab'') = ''p''(''a'')''p''(''b''). One must show that this definition is independent of the choice of paths ''f'' and ''g'', and also that the group operations are continuous.
 
The non-connected case is interesting and is studied in the papers by Taylor and by Brown-Mucuk cited below. Essentially there is an obstruction to the existence of a universal cover which is also a topological group such that the covering map is a morphism: this obstruction lies in the third cohomology group of the group of components of ''G'' with coefficients in the fundamental group of ''G'' at the identity.
 
==Universal covering group==
 
If ''H'' is a path-connected, locally path-connected, and [[semilocally simply connected]] group then it has a [[universal cover]]. By the previous construction the universal cover can be made into a topological group with the covering map a continuous homomorphism. This group is called the '''universal covering group''' of ''H''. There is also a more direct construction which we give below.
 
Let ''PH'' be the [[path group]] of ''H''. That is, ''PH'' is the space of [[path (topology)|path]]s in ''H'' based at the identity together with the [[compact-open topology]]. The product of paths is given by pointwise multiplication, i.e. (''fg'')(''t'') = ''f''(''t'')''g''(''t''). This gives ''PH'' the structure of a topological group. There is a natural group homomorphism ''PH'' → ''H'' which sends each path to its endpoint. The universal cover of ''H'' is given as the quotient of ''PH'' by the normal subgroup of [[null-homotopic]] [[loop (topology)|loop]]s. The projection ''PH'' → ''H'' descends to the quotient giving the covering map. One can show that the universal cover is [[simply connected]] and the kernel is just the [[fundamental group]] of ''H''. That is, we have a [[short exact sequence]]
:<math>1\to \pi_1(H) \to \tilde H \to H \to 1</math>
where <math>\tilde H</math> is the universal cover of ''H''. Concretely, the universal covering group of ''H'' is the space of homotopy classes of paths in ''H'' with pointwise multiplication of paths. The covering map sends each path class to its endpoint.
 
== Lattice of covering groups ==
As the above suggest, if a group has a universal covering group (if it is path-connected, locally path-connected, and semilocally simply connected), with discrete center, then the set of all topological groups that are covered by the universal covering group form a lattice, corresponding to the lattice of subgroups of the center of the universal covering group: inclusion of subgroups corresponds to covering of quotient groups. The maximal element is the universal covering group <math>\tilde H,</math> while the minimal element is the universal covering group mod its center, <math>\tilde H/Z(\tilde H)</math>.
 
This corresponds algebraically to the [[universal perfect central extension]] (called "covering group", by analogy) as the maximal element, and a group mod its center as minimal element.
 
This is particularly important for Lie groups, as these groups are all the (connected) realizations of a particular Lie algebra. For many Lie groups the center is the group of scalar matrices, and thus the group mod its center is the projectivization of the Lie group. These covers are important in studying [[projective representation]]s of Lie groups, and [[spin representation]]s lead to the discovery of [[spin group]]s: a projective representation of a Lie group need not come from a linear representation of the group, but does come from a linear representation of some covering group, in particular the universal covering group. The finite analog led to the covering group or Schur cover, as discussed above.
 
A key example arises from [[SL2(R)|SL<sub>2</sub>('''R''')]], which has center {±1} and fundamental group '''Z'''.  It is a double cover of the centerless [[projective special linear group]] PSL<sub>2</sub>('''R'''), which is obtained by taking the quotient by the center. By [[Iwasawa decomposition]], both groups are circle bundles over the complex upper half-plane, and their universal cover <math>{\mathrm{S}\widetilde{\mathrm{L}_2(}\mathbf{R})}</math> is a real line bundle over the half-plane that forms one of [[Geometrization conjecture|Thurston's eight geometries]].  Since the half-plane is contractible, all bundle structures are trivial.  The preimage of SL<sub>2</sub>('''Z''') in the universal cover is isomorphic to the [[braid group]] on three strands.
 
== Lie groups ==
{{see also|Group extension#Central_extension}}
 
The above definitions and constructions all apply to the special case of [[Lie group]]s. In particular, every covering of a [[manifold]] is a manifold, and the covering homomorphism becomes a [[smooth map]]. Likewise, given any discrete normal subgroup of a Lie group the quotient group is a Lie group and the quotient map is a covering homomorphism.
 
Two Lie groups are locally isomorphic if and only if their [[Lie algebras]] are isomorphic. This implies that a homomorphism φ  : ''G'' → ''H'' of Lie groups is a covering homomorphism if and only if the induced map on Lie algebras
:<math>\phi_* : \mathfrak g \to \mathfrak h</math>
is an isomorphism.
 
Since for every Lie algebra <math>\mathfrak g</math> there is a unique simply connected Lie group ''G'' with Lie algebra <math>\mathfrak g</math>, from this follows that the universal convering group of a connected Lie group ''H'' is the (unique) simply connected Lie group ''G'' having the same Lie algebra as ''H''.
 
== Examples ==
 
* The universal covering group of the [[circle group]] '''T''' is the additive group of [[real number]]s '''R''' with the covering homomorphism given by the [[exponential function]] exp: '''R''' → '''T'''. The kernel of the exponential map is isomorphic to '''Z'''.
* For any integer ''n'' we have a covering group of the circle by itself '''T''' → '''T''' which sends ''z'' to ''z''<sup>''n''</sup>. The kernel of this homomorphism is the [[cyclic group]] consisting of the ''n''th [[roots of unity]].
* The rotation group [[SO(3)]] has as a universal cover the group [[SU(2)]] which is isomorphic to the group of unit [[quaternion]]s [[Sp(1)]]. This is a double cover since the kernel has order 2.
* The [[unitary group]] U(''n'') is covered by the compact group '''T''' &times; SU(''n'') with the covering homomorphism given by ''p''(''z'', ''A'') = ''zA''. The universal cover is just '''R''' &times; SU(''n'').
* The [[special orthogonal group]] SO(''n'') has a double cover called the [[spin group]] Spin(''n''). For ''n'' ≥ 3, the spin group is the universal cover of SO(''n'').
* For ''n'' ≥ 2, the universal cover of the [[special linear group]] SL(''n'', '''R''') is ''not'' a [[matrix group]] (i.e. it has no faithful finite-dimensional [[group representation|representation]]s).
 
== References ==
 
*{{cite book | last = Pontryagin | first = Lev S. | authorlink = Lev Semenovich Pontryagin | title = Topological Groups | year = 1986 | edition = 3rd ed. | others = trans. from Russian by Arlen Brown and P.S.V. Naidu | publisher = Gordon and Breach Science Publishers | location = New York | isbn = 2-88124-133-6}}
 
* Taylor, R.L. ''Covering groups of nonconnected topological groups'', Proc. Amer. Math. Soc. 5 (1954) 753–768.
 
* Brown, R. and Mucuk, O. ''Covering groups of nonconnected topological groups revisited'', Math. Proc. Cambridge Philos. Soc. 115~(1) (1994) 97–110.
 
[[Category:Topological groups]]
[[Category:Lie groups]]

Revision as of 07:54, 7 January 2014

29 yr old Orthopaedic Surgeon Grippo from Saint-Paul, spends time with interests including model railways, top property developers in singapore developers in singapore and dolls. Finished a cruise ship experience that included passing by Runic Stones and Church. In mathematics, a covering group of a topological group H is a covering space G of H such that G is a topological group and the covering map p : GH is a continuous group homomorphism. The map p is called the covering homomorphism. A frequently occurring case is a double covering group, a topological double cover in which H has index 2 in G; examples include the Spin groups, Pin groups, and metaplectic groups.

Roughly explained, saying that for example the metaplectic group Mp2n is a double cover of the symplectic group Sp2n means that there are always two elements in the metaplectic group representing one element in the symplectic group.

Properties

Let G be a covering group of H. The kernel K of the covering homomorphism is just the fiber over the identity in H and is a discrete normal subgroup of G. The kernel K is closed in G if and only if G is Hausdorff (and if and only if H is Hausdorff). Going in the other direction, if G is any topological group and K is a discrete normal subgroup of G then the quotient map p : GG/K is a covering homomorphism.

If G is connected then K, being a discrete normal subgroup, necessarily lies in the center of G and is therefore abelian. In this case, the center of H = G/K is given by

Z(H)Z(G)/K.

As with all covering spaces, the fundamental group of G injects into the fundamental group of H. Since the fundamental group of a topological group is always abelian, every covering group is a normal covering space. In particular, if G is path-connected then the quotient group π1(H)/π1(G) is isomorphic to K. The group K acts simply transitively on the fibers (which are just left cosets) by right multiplication. The group G is then a principal K-bundle over H.

If G is a covering group of H then the groups G and H are locally isomorphic. Moreover, given any two connected locally isomorphic groups H1 and H2, there exists a topological group G with discrete normal subgroups K1 and K2 such that H1 is isomorphic to G/K1 and H2 is isomorphic to G/K2.

Group structure on a covering space

Let H be a topological group and let G be a covering space of H. If G and H are both path-connected and locally path-connected, then for any choice of element e* in the fiber over eH, there exists a unique topological group structure on G, with e* as the identity, for which the covering map p : GH is a homomorphism.

The construction is as follows. Let a and b be elements of G and let f and g be paths in G starting at e* and terminating at a and b respectively. Define a path h : IH by h(t) = p(f(t))p(g(t)). By the path-lifting property of covering spaces there is a unique lift of h to G with initial point e*. The product ab is defined as the endpoint of this path. By construction we have p(ab) = p(a)p(b). One must show that this definition is independent of the choice of paths f and g, and also that the group operations are continuous.

The non-connected case is interesting and is studied in the papers by Taylor and by Brown-Mucuk cited below. Essentially there is an obstruction to the existence of a universal cover which is also a topological group such that the covering map is a morphism: this obstruction lies in the third cohomology group of the group of components of G with coefficients in the fundamental group of G at the identity.

Universal covering group

If H is a path-connected, locally path-connected, and semilocally simply connected group then it has a universal cover. By the previous construction the universal cover can be made into a topological group with the covering map a continuous homomorphism. This group is called the universal covering group of H. There is also a more direct construction which we give below.

Let PH be the path group of H. That is, PH is the space of paths in H based at the identity together with the compact-open topology. The product of paths is given by pointwise multiplication, i.e. (fg)(t) = f(t)g(t). This gives PH the structure of a topological group. There is a natural group homomorphism PHH which sends each path to its endpoint. The universal cover of H is given as the quotient of PH by the normal subgroup of null-homotopic loops. The projection PHH descends to the quotient giving the covering map. One can show that the universal cover is simply connected and the kernel is just the fundamental group of H. That is, we have a short exact sequence

1π1(H)H~H1

where H~ is the universal cover of H. Concretely, the universal covering group of H is the space of homotopy classes of paths in H with pointwise multiplication of paths. The covering map sends each path class to its endpoint.

Lattice of covering groups

As the above suggest, if a group has a universal covering group (if it is path-connected, locally path-connected, and semilocally simply connected), with discrete center, then the set of all topological groups that are covered by the universal covering group form a lattice, corresponding to the lattice of subgroups of the center of the universal covering group: inclusion of subgroups corresponds to covering of quotient groups. The maximal element is the universal covering group H~, while the minimal element is the universal covering group mod its center, H~/Z(H~).

This corresponds algebraically to the universal perfect central extension (called "covering group", by analogy) as the maximal element, and a group mod its center as minimal element.

This is particularly important for Lie groups, as these groups are all the (connected) realizations of a particular Lie algebra. For many Lie groups the center is the group of scalar matrices, and thus the group mod its center is the projectivization of the Lie group. These covers are important in studying projective representations of Lie groups, and spin representations lead to the discovery of spin groups: a projective representation of a Lie group need not come from a linear representation of the group, but does come from a linear representation of some covering group, in particular the universal covering group. The finite analog led to the covering group or Schur cover, as discussed above.

A key example arises from SL2(R), which has center {±1} and fundamental group Z. It is a double cover of the centerless projective special linear group PSL2(R), which is obtained by taking the quotient by the center. By Iwasawa decomposition, both groups are circle bundles over the complex upper half-plane, and their universal cover SL2(~R) is a real line bundle over the half-plane that forms one of Thurston's eight geometries. Since the half-plane is contractible, all bundle structures are trivial. The preimage of SL2(Z) in the universal cover is isomorphic to the braid group on three strands.

Lie groups

DTZ's public sale group in Singapore auctions all forms of residential, workplace and retail properties, outlets, homes, lodges, boarding homes, industrial buildings and development websites. Auctions are at present held as soon as a month.

We will not only get you a property at a rock-backside price but also in an space that you've got longed for. You simply must chill out back after giving us the accountability. We will assure you 100% satisfaction. Since we now have been working in the Singapore actual property market for a very long time, we know the place you may get the best property at the right price. You will also be extremely benefited by choosing us, as we may even let you know about the precise time to invest in the Singapore actual property market.

The Hexacube is offering new ec launch singapore business property for sale Singapore investors want to contemplate. Residents of the realm will likely appreciate that they'll customize the business area that they wish to purchase as properly. This venture represents one of the crucial expansive buildings offered in Singapore up to now. Many investors will possible want to try how they will customise the property that they do determine to buy by means of here. This location has offered folks the prospect that they should understand extra about how this course of can work as well.

Singapore has been beckoning to traders ever since the value of properties in Singapore started sky rocketing just a few years again. Many businesses have their places of work in Singapore and prefer to own their own workplace area within the country once they decide to have a everlasting office. Rentals in Singapore in the corporate sector can make sense for some time until a business has discovered a agency footing. Finding Commercial Property Singapore takes a variety of time and effort but might be very rewarding in the long term.

is changing into a rising pattern among Singaporeans as the standard of living is increasing over time and more Singaporeans have abundance of capital to invest on properties. Investing in the personal properties in Singapore I would like to applaud you for arising with such a book which covers the secrets and techniques and tips of among the profitable Singapore property buyers. I believe many novice investors will profit quite a bit from studying and making use of some of the tips shared by the gurus." – Woo Chee Hoe Special bonus for consumers of Secrets of Singapore Property Gurus Actually, I can't consider one other resource on the market that teaches you all the points above about Singapore property at such a low value. Can you? Condominium For Sale (D09) – Yong An Park For Lease

In 12 months 2013, c ommercial retails, shoebox residences and mass market properties continued to be the celebrities of the property market. Models are snapped up in report time and at document breaking prices. Builders are having fun with overwhelming demand and patrons need more. We feel that these segments of the property market are booming is a repercussion of the property cooling measures no.6 and no. 7. With additional buyer's stamp responsibility imposed on residential properties, buyers change their focus to commercial and industrial properties. I imagine every property purchasers need their property funding to understand in value.

The above definitions and constructions all apply to the special case of Lie groups. In particular, every covering of a manifold is a manifold, and the covering homomorphism becomes a smooth map. Likewise, given any discrete normal subgroup of a Lie group the quotient group is a Lie group and the quotient map is a covering homomorphism.

Two Lie groups are locally isomorphic if and only if their Lie algebras are isomorphic. This implies that a homomorphism φ  : GH of Lie groups is a covering homomorphism if and only if the induced map on Lie algebras

ϕ*:gh

is an isomorphism.

Since for every Lie algebra g there is a unique simply connected Lie group G with Lie algebra g, from this follows that the universal convering group of a connected Lie group H is the (unique) simply connected Lie group G having the same Lie algebra as H.

Examples

  • The universal covering group of the circle group T is the additive group of real numbers R with the covering homomorphism given by the exponential function exp: RT. The kernel of the exponential map is isomorphic to Z.
  • For any integer n we have a covering group of the circle by itself TT which sends z to zn. The kernel of this homomorphism is the cyclic group consisting of the nth roots of unity.
  • The rotation group SO(3) has as a universal cover the group SU(2) which is isomorphic to the group of unit quaternions Sp(1). This is a double cover since the kernel has order 2.
  • The unitary group U(n) is covered by the compact group T × SU(n) with the covering homomorphism given by p(z, A) = zA. The universal cover is just R × SU(n).
  • The special orthogonal group SO(n) has a double cover called the spin group Spin(n). For n ≥ 3, the spin group is the universal cover of SO(n).
  • For n ≥ 2, the universal cover of the special linear group SL(n, R) is not a matrix group (i.e. it has no faithful finite-dimensional representations).

References

  • 20 year-old Real Estate Agent Rusty from Saint-Paul, has hobbies and interests which includes monopoly, property developers in singapore and poker. Will soon undertake a contiki trip that may include going to the Lower Valley of the Omo.

    My blog: http://www.primaboinca.com/view_profile.php?userid=5889534
  • Taylor, R.L. Covering groups of nonconnected topological groups, Proc. Amer. Math. Soc. 5 (1954) 753–768.
  • Brown, R. and Mucuk, O. Covering groups of nonconnected topological groups revisited, Math. Proc. Cambridge Philos. Soc. 115~(1) (1994) 97–110.