Кіріспе
Топтық гомоморфизм векторлық кеңістік үстіндегі жалпы сызықтық топқа бейнелеу теориясының математикалық саласында топтық бейнелеулер абстрактіл топтарды векторлық кеңістіктің өзіне биективті сызықтық түрлендірулері (яғни векторлық кеңістіктің автоморфизмдері) арқылы сипаттайды; атап айтқанда, оларды топтық элементтерді кері өзгеритін матрицалар ретінде бейнелеуге болады, осылайша топтық операцияны матрица көбейту арқылы көрсетуге болады. Химияда топтық бейнелеу математикалық топтық элементтерді молекулалардың симметриялық айналулары мен шағылысуларына байланыстыра алады. Топтардың бейнелеуі көптеген топтық теориялық мәселелерді сызықтық алгебрадағы проблемаларға дейін азайтуға мүмкіндік береді. Физикада олар физикалық жүйенің симметрия тобы сол жүйені сипаттайтын теңдеулердің шешімдеріне қалай әсер ететінін сипаттайды. Топтың бейнелеуі термині математикалық объектінің түрлендірулер тобы ретінде топтың кез келген "бейнесі" деген мағынада да қолданылады. Формальды түрде, "бейнелеу" дегеніміз – топтан объектінің автоморфизм тобына гомоморфизм. Егер объект векторлық кеңістік болса, онда бізде сызықтық бейнелеу болады. Кейбір мамандар жалпы ұғым үшін "іске асыру" терминін қолданады және сызықтық бейнелеудің ерекше жағдайы үшін "бейнелеу" терминін сақтайды. Бұл мақаланың басым бөлігі сызықтық бейнелеу теориясын сипаттайды; жалпылаулар үшін соңғы бөлімді қараңыз.
In the mathematical field of representation theory, group representations describe abstract groups in terms of bijective linear transformations of a vector space to itself (i. e. vector space automorphisms); in particular, they can be used to represent group elements as invertible matrices so that the group operation can be represented by matrix multiplication. In chemistry, a group representation can relate mathematical group elements to symmetric rotations and reflections of molecules. Representations of groups allow many group theoretic problems to be reduced to problems in linear algebra. In physics, they describe how the symmetry group of a physical system affects the solutions of equations describing that system. The term representation of a group is also used in a more general sense to mean any "description" of a group as a group of transformations of some mathematical object. More formally, a "representation" means a homomorphism from the group to the automorphism group of an object. If the object is a vector space we have a linear representation. Some people use realization for the general notion and reserve the term representation for the special case of linear representations. The bulk of this article describes linear representation theory; see the last section for generalizations.
Топтық өкілдік теориясының салалары
Топтардың бейнелеу теориясы топтың түріне қарай ішкі теорияларға бөлінеді. Әр түрлі теориялар егжей-тегжейлі түрде өзгешеленеді, бірақ кейбір негізгі анықтамалар мен ұғымдар ұқсас. Ең маңызды бөлімдер:
Finite groups — Group representations are a very important tool in the study of finite groups. They also arise in the applications of finite group theory to crystallography and to geometry. If the field of scalars of the vector space has characteristic p, and if p divides the order of the group, then this is called modular representation theory; this special case has very different properties. See Representation theory of finite groups. Compact groups or locally compact groups — Many of the results of finite group representation theory are proved by averaging over the group. These proofs can be carried over to infinite groups by replacement of the average with an integral, provided that an acceptable notion of integral can be defined. This can be done for locally compact groups, using the Haar measure. The resulting theory is a central part of harmonic analysis. The Pontryagin duality describes the theory for commutative groups, as a generalised Fourier transform. See also: Peter–Weyl theorem. Lie groups — Many important Lie groups are compact, so the results of compact representation theory apply to them. Other techniques specific to Lie groups are used as well. Most of the groups important in physics and chemistry are Lie groups, and their representation theory is crucial to the application of group theory in those fields. See Representations of Lie groups and Representations of Lie algebras. Linear algebraic groups (or more generally affine group schemes) — These are the analogues of Lie groups, but over more general fields than just R or C. Although linear algebraic groups have a classification that is very similar to that of Lie groups, and give rise to the same families of Lie algebras, their representations are rather different (and much less well understood). The analytic techniques used for studying Lie groups must be replaced by techniques from algebraic geometry, where the relatively weak Zariski topology causes many technical complications. Non compact topological groups — The class of non compact groups is too broad to construct any general representation theory, but specific special cases have been studied, sometimes using ad hoc techniques. The semisimple Lie groups have a deep theory, building on the compact case. The complementary solvable Lie groups cannot be classified in the same way. The general theory for Lie groups deals with semidirect products of the two types, by means of general results called Mackey theory, which is a generalization of Wigner's classification methods. Representation theory also depends heavily on the type of vector space on which the group acts. One distinguishes between finite dimensional representations and infinite dimensional ones. In the infinite dimensional case, additional structures are important (e. g. whether or not the space is a Hilbert space, Banach space, etc.). One must also consider the type of field over which the vector space is defined. The most important case is the field of complex numbers. The other important cases are the field of real numbers, finite fields, and fields of p adic numbers. In general, algebraically closed fields are easier to handle than non algebraically closed ones. The characteristic of the field is also significant; many theorems for finite groups depend on the characteristic of the field not dividing the order of the group.
Шектелген топтар — Топтық бейнелеулер шектелген топтарды зерттеуде өте маңызды құрал болып табылады. Олар сондай-ақ шектелген топтар теориясының кристаллография мен геометрияға қолданылуында да пайда болады. Егер векторлық кеңістіктің скалярларының өрісінің сипаттамасы p болса, және егер p топтың ретін бөлсе, онда бұл модульдік бейнелеу теориясы деп аталады; бұл ерекше жағдай өте әртүрлі қасиеттерге ие. Шектелген топтардың бейнелеу теориясын қараңыз.
Finite groups — Group representations are a very important tool in the study of finite groups. They also arise in the applications of finite group theory to crystallography and to geometry. If the field of scalars of the vector space has characteristic p, and if p divides the order of the group, then this is called modular representation theory; this special case has very different properties. See Representation theory of finite groups. Compact groups or locally compact groups — Many of the results of finite group representation theory are proved by averaging over the group. These proofs can be carried over to infinite groups by replacement of the average with an integral, provided that an acceptable notion of integral can be defined. This can be done for locally compact groups, using the Haar measure. The resulting theory is a central part of harmonic analysis. The Pontryagin duality describes the theory for commutative groups, as a generalised Fourier transform. See also: Peter–Weyl theorem. Lie groups — Many important Lie groups are compact, so the results of compact representation theory apply to them. Other techniques specific to Lie groups are used as well. Most of the groups important in physics and chemistry are Lie groups, and their representation theory is crucial to the application of group theory in those fields. See Representations of Lie groups and Representations of Lie algebras. Linear algebraic groups (or more generally affine group schemes) — These are the analogues of Lie groups, but over more general fields than just R or C. Although linear algebraic groups have a classification that is very similar to that of Lie groups, and give rise to the same families of Lie algebras, their representations are rather different (and much less well understood). The analytic techniques used for studying Lie groups must be replaced by techniques from algebraic geometry, where the relatively weak Zariski topology causes many technical complications. Non compact topological groups — The class of non compact groups is too broad to construct any general representation theory, but specific special cases have been studied, sometimes using ad hoc techniques. The semisimple Lie groups have a deep theory, building on the compact case. The complementary solvable Lie groups cannot be classified in the same way. The general theory for Lie groups deals with semidirect products of the two types, by means of general results called Mackey theory, which is a generalization of Wigner's classification methods. Representation theory also depends heavily on the type of vector space on which the group acts. One distinguishes between finite dimensional representations and infinite dimensional ones. In the infinite dimensional case, additional structures are important (e. g. whether or not the space is a Hilbert space, Banach space, etc.). One must also consider the type of field over which the vector space is defined. The most important case is the field of complex numbers. The other important cases are the field of real numbers, finite fields, and fields of p adic numbers. In general, algebraically closed fields are easier to handle than non algebraically closed ones. The characteristic of the field is also significant; many theorems for finite groups depend on the characteristic of the field not dividing the order of the group.
Компактты топтар немесе жергілікті компактты топтар — Топтың шектелген топтық бейнелеу теориясының көптеген нәтижелері топ бойынша орташалау арқылы дәлелденеді. Бұл дәлелдеулерді интегралмен орташаны алмастыру арқылы шексіз топтарға көшіруге болады, егер интегралдың қабылданатын түсінігін анықтауға болады. Бұл Haar өлшемін пайдалана отырып, жергілікті тығыз топтар үшін орындалуы мүмкін. Нәтижесінде пайда болған теория гармониялық талдаудың негізгі бөлігі болып табылады. Понтрагиннің дуалдығы коммутативті топтар теориясын жалпыланған Фурье түрлендіруі ретінде сипаттайды. Сондай-ақ қараңыз: Питер-Вейл теоремасы.
Finite groups — Group representations are a very important tool in the study of finite groups. They also arise in the applications of finite group theory to crystallography and to geometry. If the field of scalars of the vector space has characteristic p, and if p divides the order of the group, then this is called modular representation theory; this special case has very different properties. See Representation theory of finite groups. Compact groups or locally compact groups — Many of the results of finite group representation theory are proved by averaging over the group. These proofs can be carried over to infinite groups by replacement of the average with an integral, provided that an acceptable notion of integral can be defined. This can be done for locally compact groups, using the Haar measure. The resulting theory is a central part of harmonic analysis. The Pontryagin duality describes the theory for commutative groups, as a generalised Fourier transform. See also: Peter–Weyl theorem. Lie groups — Many important Lie groups are compact, so the results of compact representation theory apply to them. Other techniques specific to Lie groups are used as well. Most of the groups important in physics and chemistry are Lie groups, and their representation theory is crucial to the application of group theory in those fields. See Representations of Lie groups and Representations of Lie algebras. Linear algebraic groups (or more generally affine group schemes) — These are the analogues of Lie groups, but over more general fields than just R or C. Although linear algebraic groups have a classification that is very similar to that of Lie groups, and give rise to the same families of Lie algebras, their representations are rather different (and much less well understood). The analytic techniques used for studying Lie groups must be replaced by techniques from algebraic geometry, where the relatively weak Zariski topology causes many technical complications. Non compact topological groups — The class of non compact groups is too broad to construct any general representation theory, but specific special cases have been studied, sometimes using ad hoc techniques. The semisimple Lie groups have a deep theory, building on the compact case. The complementary solvable Lie groups cannot be classified in the same way. The general theory for Lie groups deals with semidirect products of the two types, by means of general results called Mackey theory, which is a generalization of Wigner's classification methods. Representation theory also depends heavily on the type of vector space on which the group acts. One distinguishes between finite dimensional representations and infinite dimensional ones. In the infinite dimensional case, additional structures are important (e. g. whether or not the space is a Hilbert space, Banach space, etc.). One must also consider the type of field over which the vector space is defined. The most important case is the field of complex numbers. The other important cases are the field of real numbers, finite fields, and fields of p adic numbers. In general, algebraically closed fields are easier to handle than non algebraically closed ones. The characteristic of the field is also significant; many theorems for finite groups depend on the characteristic of the field not dividing the order of the group.
Ли топтары — Көптеген маңызды Ли топтары компактты, сондықтан компактты бейнелеу теориясының нәтижелері оларға қолданылады. Ли топтарына тән басқа да әдістер де қолданылады. Физика мен химияда маңызды топтардың көпшілігі Ли топтары болып табылады, ал олардың бейнелеу теориясы сол салаларда топ теориясын қолдану үшін өте маңызды. Ли тобының бейнелеулері және Ли алгебрасының бейнелеулері туралы беттерді қараңыз.
Finite groups — Group representations are a very important tool in the study of finite groups. They also arise in the applications of finite group theory to crystallography and to geometry. If the field of scalars of the vector space has characteristic p, and if p divides the order of the group, then this is called modular representation theory; this special case has very different properties. See Representation theory of finite groups. Compact groups or locally compact groups — Many of the results of finite group representation theory are proved by averaging over the group. These proofs can be carried over to infinite groups by replacement of the average with an integral, provided that an acceptable notion of integral can be defined. This can be done for locally compact groups, using the Haar measure. The resulting theory is a central part of harmonic analysis. The Pontryagin duality describes the theory for commutative groups, as a generalised Fourier transform. See also: Peter–Weyl theorem. Lie groups — Many important Lie groups are compact, so the results of compact representation theory apply to them. Other techniques specific to Lie groups are used as well. Most of the groups important in physics and chemistry are Lie groups, and their representation theory is crucial to the application of group theory in those fields. See Representations of Lie groups and Representations of Lie algebras. Linear algebraic groups (or more generally affine group schemes) — These are the analogues of Lie groups, but over more general fields than just R or C. Although linear algebraic groups have a classification that is very similar to that of Lie groups, and give rise to the same families of Lie algebras, their representations are rather different (and much less well understood). The analytic techniques used for studying Lie groups must be replaced by techniques from algebraic geometry, where the relatively weak Zariski topology causes many technical complications. Non compact topological groups — The class of non compact groups is too broad to construct any general representation theory, but specific special cases have been studied, sometimes using ad hoc techniques. The semisimple Lie groups have a deep theory, building on the compact case. The complementary solvable Lie groups cannot be classified in the same way. The general theory for Lie groups deals with semidirect products of the two types, by means of general results called Mackey theory, which is a generalization of Wigner's classification methods. Representation theory also depends heavily on the type of vector space on which the group acts. One distinguishes between finite dimensional representations and infinite dimensional ones. In the infinite dimensional case, additional structures are important (e. g. whether or not the space is a Hilbert space, Banach space, etc.). One must also consider the type of field over which the vector space is defined. The most important case is the field of complex numbers. The other important cases are the field of real numbers, finite fields, and fields of p adic numbers. In general, algebraically closed fields are easier to handle than non algebraically closed ones. The characteristic of the field is also significant; many theorems for finite groups depend on the characteristic of the field not dividing the order of the group.
Сызықтық алгебралық топтар (немесе жалпырақ айтқанда, аффиндік топтар схемалары) — Бұл Ли топтарының аналогтары, бірақ R немесе C-ден гөрі жалпы өрістерде. Сызықтық алгебралық топтардың Ли топтарына өте ұқсас жіктелуі болғанымен, және Ли алгебраларының бірдей отбасыларын тудырады, олардың бейнелеулері біршама өзгеше (және әлдеқайда аз зерттелген). Ли топтарын зерттеу үшін қолданылатын аналитикалық әдістерді алгебралық геометрияның әдістерімен алмастыру қажет, онда салыстырмалы түрде әлсіз Зариски топологиясы көптеген техникалық қиындықтарға әкеледі.
Finite groups — Group representations are a very important tool in the study of finite groups. They also arise in the applications of finite group theory to crystallography and to geometry. If the field of scalars of the vector space has characteristic p, and if p divides the order of the group, then this is called modular representation theory; this special case has very different properties. See Representation theory of finite groups. Compact groups or locally compact groups — Many of the results of finite group representation theory are proved by averaging over the group. These proofs can be carried over to infinite groups by replacement of the average with an integral, provided that an acceptable notion of integral can be defined. This can be done for locally compact groups, using the Haar measure. The resulting theory is a central part of harmonic analysis. The Pontryagin duality describes the theory for commutative groups, as a generalised Fourier transform. See also: Peter–Weyl theorem. Lie groups — Many important Lie groups are compact, so the results of compact representation theory apply to them. Other techniques specific to Lie groups are used as well. Most of the groups important in physics and chemistry are Lie groups, and their representation theory is crucial to the application of group theory in those fields. See Representations of Lie groups and Representations of Lie algebras. Linear algebraic groups (or more generally affine group schemes) — These are the analogues of Lie groups, but over more general fields than just R or C. Although linear algebraic groups have a classification that is very similar to that of Lie groups, and give rise to the same families of Lie algebras, their representations are rather different (and much less well understood). The analytic techniques used for studying Lie groups must be replaced by techniques from algebraic geometry, where the relatively weak Zariski topology causes many technical complications. Non compact topological groups — The class of non compact groups is too broad to construct any general representation theory, but specific special cases have been studied, sometimes using ad hoc techniques. The semisimple Lie groups have a deep theory, building on the compact case. The complementary solvable Lie groups cannot be classified in the same way. The general theory for Lie groups deals with semidirect products of the two types, by means of general results called Mackey theory, which is a generalization of Wigner's classification methods. Representation theory also depends heavily on the type of vector space on which the group acts. One distinguishes between finite dimensional representations and infinite dimensional ones. In the infinite dimensional case, additional structures are important (e. g. whether or not the space is a Hilbert space, Banach space, etc.). One must also consider the type of field over which the vector space is defined. The most important case is the field of complex numbers. The other important cases are the field of real numbers, finite fields, and fields of p adic numbers. In general, algebraically closed fields are easier to handle than non algebraically closed ones. The characteristic of the field is also significant; many theorems for finite groups depend on the characteristic of the field not dividing the order of the group.
Компакт емес топологиялық топтар — Компакт емес топтар класы кез келген жалпы бейнелеу теориясын құру үшін тым кең, бірақ кейбір арнайы жағдайлар зерттелді, кейде арнайы әдістерді қолданады. Жартылай қарапайым Ли топтарының компактты жағдайға негізделген терең теориясы бар. Қосымша шешімді Ли топтарын бірдей жіктеуге болмайды. Ли топтарының жалпы теориясы екі типтің жартылай тікелей көбейтінділерімен айналысады, бұл Маккей теориясы деп аталатын жалпы нәтижелер арқылы, бұл Вигнердің жіктеу әдістерінің жалпылауы.
Finite groups — Group representations are a very important tool in the study of finite groups. They also arise in the applications of finite group theory to crystallography and to geometry. If the field of scalars of the vector space has characteristic p, and if p divides the order of the group, then this is called modular representation theory; this special case has very different properties. See Representation theory of finite groups. Compact groups or locally compact groups — Many of the results of finite group representation theory are proved by averaging over the group. These proofs can be carried over to infinite groups by replacement of the average with an integral, provided that an acceptable notion of integral can be defined. This can be done for locally compact groups, using the Haar measure. The resulting theory is a central part of harmonic analysis. The Pontryagin duality describes the theory for commutative groups, as a generalised Fourier transform. See also: Peter–Weyl theorem. Lie groups — Many important Lie groups are compact, so the results of compact representation theory apply to them. Other techniques specific to Lie groups are used as well. Most of the groups important in physics and chemistry are Lie groups, and their representation theory is crucial to the application of group theory in those fields. See Representations of Lie groups and Representations of Lie algebras. Linear algebraic groups (or more generally affine group schemes) — These are the analogues of Lie groups, but over more general fields than just R or C. Although linear algebraic groups have a classification that is very similar to that of Lie groups, and give rise to the same families of Lie algebras, their representations are rather different (and much less well understood). The analytic techniques used for studying Lie groups must be replaced by techniques from algebraic geometry, where the relatively weak Zariski topology causes many technical complications. Non compact topological groups — The class of non compact groups is too broad to construct any general representation theory, but specific special cases have been studied, sometimes using ad hoc techniques. The semisimple Lie groups have a deep theory, building on the compact case. The complementary solvable Lie groups cannot be classified in the same way. The general theory for Lie groups deals with semidirect products of the two types, by means of general results called Mackey theory, which is a generalization of Wigner's classification methods. Representation theory also depends heavily on the type of vector space on which the group acts. One distinguishes between finite dimensional representations and infinite dimensional ones. In the infinite dimensional case, additional structures are important (e. g. whether or not the space is a Hilbert space, Banach space, etc.). One must also consider the type of field over which the vector space is defined. The most important case is the field of complex numbers. The other important cases are the field of real numbers, finite fields, and fields of p adic numbers. In general, algebraically closed fields are easier to handle than non algebraically closed ones. The characteristic of the field is also significant; many theorems for finite groups depend on the characteristic of the field not dividing the order of the group.
Бейнелеу теориясы топтың әрекет ететін векторлық кеңістіктің түріне де тәуелді. Біреу шекті өлшемді бейнелеулер мен шексіз өлшемді бейнелеулерді ажыратады. Шексіз өлшемді жағдайда қосымша құрылымдар маңызды (мысалы, кеңістік Гилберт кеңістігі, Банах кеңістігі және т.б.). Сондай-ақ векторлық кеңістіктің анықталатын өрісінің түрін де қарастыру керек. Ең маңызды жағдай — күрделі сандар өрісі. Басқа маңызды жағдайлар — нақты сандар өрісі, шекті өрістер және p-адық сандар өрістері. Жалпы, алгебралық жабық өрістерді алгебралық жабық емес өрістерге қарағанда оңай өңдеуге болады. Өрістің сипаттамасы да маңызды; шектелген топтар үшін көптеген теоремалар топтың ретін бөлмейтін өрістің сипаттамасына байланысты.
Finite groups — Group representations are a very important tool in the study of finite groups. They also arise in the applications of finite group theory to crystallography and to geometry. If the field of scalars of the vector space has characteristic p, and if p divides the order of the group, then this is called modular representation theory; this special case has very different properties. See Representation theory of finite groups. Compact groups or locally compact groups — Many of the results of finite group representation theory are proved by averaging over the group. These proofs can be carried over to infinite groups by replacement of the average with an integral, provided that an acceptable notion of integral can be defined. This can be done for locally compact groups, using the Haar measure. The resulting theory is a central part of harmonic analysis. The Pontryagin duality describes the theory for commutative groups, as a generalised Fourier transform. See also: Peter–Weyl theorem. Lie groups — Many important Lie groups are compact, so the results of compact representation theory apply to them. Other techniques specific to Lie groups are used as well. Most of the groups important in physics and chemistry are Lie groups, and their representation theory is crucial to the application of group theory in those fields. See Representations of Lie groups and Representations of Lie algebras. Linear algebraic groups (or more generally affine group schemes) — These are the analogues of Lie groups, but over more general fields than just R or C. Although linear algebraic groups have a classification that is very similar to that of Lie groups, and give rise to the same families of Lie algebras, their representations are rather different (and much less well understood). The analytic techniques used for studying Lie groups must be replaced by techniques from algebraic geometry, where the relatively weak Zariski topology causes many technical complications. Non compact topological groups — The class of non compact groups is too broad to construct any general representation theory, but specific special cases have been studied, sometimes using ad hoc techniques. The semisimple Lie groups have a deep theory, building on the compact case. The complementary solvable Lie groups cannot be classified in the same way. The general theory for Lie groups deals with semidirect products of the two types, by means of general results called Mackey theory, which is a generalization of Wigner's classification methods. Representation theory also depends heavily on the type of vector space on which the group acts. One distinguishes between finite dimensional representations and infinite dimensional ones. In the infinite dimensional case, additional structures are important (e. g. whether or not the space is a Hilbert space, Banach space, etc.). One must also consider the type of field over which the vector space is defined. The most important case is the field of complex numbers. The other important cases are the field of real numbers, finite fields, and fields of p adic numbers. In general, algebraically closed fields are easier to handle than non algebraically closed ones. The characteristic of the field is also significant; many theorems for finite groups depend on the characteristic of the field not dividing the order of the group.
Төмендету мүмкіндігі
Топтық әрекетте инвариант болып табылатын V-нің W субкеңістігі субөкілдік деп аталады. Егер V-де дәл екі субөкілдік болса, атап айтқанда нөлдік өлшемді субкеңістік және V-нің өзі, онда өкілдік азайтылмайтын болады; егер ол нөлдік емес өлшемді дұрыс субөкілдікке ие болса, өкілдік азайтылатын болады. Нөлдік өлшемді өкілдік азайтылатын да, азайтылмайтын да емес деп есептеледі, дәл 1 саны құрама да, жай да емес деп есептелінетіндей. Егер K өрісінің сипаттамасы топтың өлшемін бөлмесе, онда шекті топтардың өкілдіктерін азайтылмайтын субөкілдіктердің тікелей қосындысына жіктеуге болады (Машке теоремасын қараңыз). Бұл, әсіресе, күрделі сандар өрісіндегі кез келген шекті топтың өкілдігі үшін орындалады, себебі күрделі сандардың сипаттамасы нөлге тең, ал нөл топтың өлшемін бөле алмайды. Жоғарыдағы мысалда келтірілген алғашқы екі өкілдік (ρ және σ) екеуі де екі 1 өлшемді субөкілдікке жіктеледі (пан {(1,0)} және span {(0,1)} арқылы берілген), ал үшінші өкілдік (τ) азайтылмайтын болады.