Представлення групи

Матеріал з Вікіпедії — вільної енциклопедії.
Перейти до навігації Перейти до пошуку

Представлення (зображення) груп описує абстрактні групи за допомогою лінійних перетворень векторних просторів, зокрема за допомогою матриць.

Відповідно групові операції подаються за допомогою добутку лінійних перетворень чи добутку матриць

За допомогою представлень проблеми теорії груп зводяться до простіших проблем з лінійної алгебри.

Представлення груп є одним із найважливіших знарядь у дослідженні теорії груп і мають широке застосування у геометрії, фізиці, хімії і кристалографії.

Розділ математики, що вивчає представлення груп, називається теорією представлень груп.

Визначення

[ред. | ред. код]

Представлення (зображення) групи,гомоморфізм заданої групи в групу невироджених лінійних перетворень векторного простору. Образ цього гомоморфізму є групою, елементами якої є відповідні лінійні перетворення або їх матриці. Тобто, представленням групи , є гомоморфізм груп

,

де позначає групу автоморфізмів векторного простору . Відповідно маємо:

де — добуток елементів групи, а — добуток лінійних перетворень, що є образами цих елементів при відображенні h.

Ізоморфність представлень

[ред. | ред. код]

Нехай V і W — векторні простори над деяким тілом K. Два представлення

і

називають ізоморфними, якщо існує ізоморфізм векторних просторів:

що виконується рівність:

Типи представлень

[ред. | ред. код]

Розділи теорії представлень груп

[ред. | ред. код]

Для різних видів груп представлення мають різні властивості і для їх дослідження використовуються різні математичні методи. Тому теорія представлення груп ділиться на кілька окремих розділів. Серед найважливіших зокрема є:

  • Теорія представлення скінченних груп. Є дуже важливою у вивченні загальних властивостей скінченних груп, також має важливі застосування у геометрії і кристалографії.
  • Теорія представлення компактних і локально компактних груп. Застосовує багато методів, що використовуються і для скінченних груп. Є важливою частиною гармонічного аналізу.
  • Теорія представлення груп Лі. Багато важливих приладів груп Лі є компактними, тож для їх дослідження використовуються методи теорії представлення компактних груп. Існують також і специфічні методи для груп Лі. Групи Лі і їх представлення широко використовуються у фізиці і хімії.
  • Теорія представлення лінійних алгебраїчних груп є значно менш розвинута, ніж попередні, хоча лінійні алгебраїчні групи мають багато властивостей схожих з властивостями груп Лі.

Варіації і узагальнення

[ред. | ред. код]

У ширшому сенсі, під представленням групи може розумітися гомоморфізм групи в групу всіх невироджених перетворень деякої множини . Наприклад:

Фізичний зміст

[ред. | ред. код]

Фізичний аспект теорії зображень груп полягає у врахуванні й використанні уявлень про симетрію, пов'язаних із різними фізичними процесами. Такі уявлення симетрії виникають у фізиці двоїстим чином. По-перше, оскільки будь-який фізичний процес перебігає у просторі (та у часі), при описі таких процесів доводиться використовувати ту чи іншу систему координат. Однак вибір цієї системи виділяє у просторі деякі напрямки (які відповідають осям координат), що суперечить «ізотропності» простору, тобто рівноправності усіх його напрямків; тому фізичний зміст може мати лише таке співвідношення, яке не змінюється при повороті осей системи координат. Ця обставина (яка доповнюється врахуванням «однорідності» простору, яка полягає у рівноправності усіх його точок, а також врахуванням рівноправності будь-яких двох моментів часу) вельми сильно обмежує можливі «фізичні закони».

Ще більш жорсткі вимоги симетрії накладає на фізичні явища теорія відносності, яка стверджує, що будь-який фізичний закон повинен виражатися формулами, які не змінюються за усіх так званих «перетворень Лоренца» чотиривимірного простору-часу.

По-друге, самі досліджувані фізичні об'єкти (атоми, молекули, кристали) часто мають деяку «симетрію», яка також повинна враховуватися.

Наприклад, єдиним виразом, який пов'язує координати довільного вектора й не змінює свого значення за будь-якого повороту осей системи координат, є сума квадратів координат вектора

яка дорівнює квадрату довжини вектора (та будь-яка функція виразу ). Але добре відомо, що закон перетворення частинних похідних деякої функції при повороті осей системи координат співпадає із законом перетворення координат вектора, причому другі похідні перетворюються як квадрати координат. Ця обставина визначає роль у фізиці оператора Лапласа:

Найпростіші фізичні закони, які задовольняють умовам симетрії, які накладаються ізотропністю та однорідністю простору, можуть записуватися одним з трьох диференціальних рівнянь:

(рівняння Пуасона, за перетворюється на рівняння Лапласа)

(рівняння теплопровідності)

(хвильове рівняння)

де  — функція, яка має інваріантний фізичний зміст, та  — відомі функції.[1]

Див. також

[ред. | ред. код]

Література

[ред. | ред. код]
  1. Юрій Дрозд Вступ до теорії зображень [Архівовано 16 листопада 2021 у Wayback Machine.]
  2. Пилипів В.М. Теорія представлень груп та її застосування(навчальний посібник). -Івано-Франківськ: ВДВ ЦІТ Прикарпатського національного університету імені Василя Стефаника, 2008.-156с.
  3. Fulton, William; Harris, Joe (1991), Representation theory. A first course, Graduate Texts in Mathematics, Readings in Mathematics, 129, New York: Springer-Verlag, MR1153249, ISBN 978-0-387-97527-6, ISBN 978-0-387-97495-8 .
  4. James, Gordon; Liebeck, Martin (2001). Representations and Characters of Groups (2nd ed.). Cambridge University Press. ISBN 0-521-00392-X.
  5. Serre, Jean-Pierre (1977). Linear Representations of Finite Groups. Springer-Verlag. ISBN 0-387-90190-6.
  1. Hermann Weyl - Symmetry.