Что такое симметрия? — различия между версиями

Материал из synset
Перейти к: навигация, поиск
 
(не показано 7 промежуточных версий этого же участника)
Строка 1: Строка 1:
 
{| width="100%"   
 
{| width="100%"   
 
  | width="30%"|[[Произвольно движущийся заряд]] <<  
 
  | width="30%"|[[Произвольно движущийся заряд]] <<  
  ! width="40%"|[[Релятивистский мир|Оглавление]] (Последняя версия в: [http://synset.com/pdf/relworld_05.pdf Глава 5])  
+
  ! width="40%"|[[Релятивистский мир|Оглавление]] (Последняя версия в: [http://synset.com/pdf/relworld_06.pdf Глава 6])  
 
  | width="30%" align="right"| >> [[Примеры и определения]]
 
  | width="30%" align="right"| >> [[Примеры и определения]]
 
|}
 
|}
Строка 61: Строка 61:
 
:<center><math>A(x_1,x_2,x_3) = A(x_3,x_1,x_2) = A(x_2,x_3,x_1).</math></center>
 
:<center><math>A(x_1,x_2,x_3) = A(x_3,x_1,x_2) = A(x_2,x_3,x_1).</math></center>
  
Не сложно видеть, что это циклические перестановки аргументов вправо <math>\textstyle a=(\underrightarrow{x_3,x_1,x_2})</math> и влево <math>\textstyle \bar{a}=(\underleftarrow{x_2,x_3,x_1})</math>, от <math>\textstyle e=(x_1,x_2,x_3)</math> являющегося исходным порядком. Их можно выполнять последовательно:
+
Не сложно видеть, что это циклические перестановки аргументов вправо и влево от <math>\textstyle e=(x_1,x_2,x_3)</math> являющегося исходным порядком. Их можно выполнять последовательно:
  
 
:<center><math>a\, a = \bar{a},\;\;\;\;\;\;a\, \bar{a} = \bar{a} \, a = e,\;\;\;\;\;\;\bar{a}\, \bar{a}=a.</math></center>
 
:<center><math>a\, a = \bar{a},\;\;\;\;\;\;a\, \bar{a} = \bar{a} \, a = e,\;\;\;\;\;\;\bar{a}\, \bar{a}=a.</math></center>
Строка 93: Строка 93:
 
Подведём итоги. <blockquote> ''Симметрия'' &mdash; это набор операций по преобразованию системы, которые эту систему или часть её свойств оставляют неизменной. </blockquote> Математический аппарат, описывающий подобные операции называется ''теорией групп''. Рассмотрим её чуть более формально.
 
Подведём итоги. <blockquote> ''Симметрия'' &mdash; это набор операций по преобразованию системы, которые эту систему или часть её свойств оставляют неизменной. </blockquote> Математический аппарат, описывающий подобные операции называется ''теорией групп''. Рассмотрим её чуть более формально.
  
:<center><math>\mathbf{r}=\mathbf{R}-\mathbf{V} R,\;\;\;\;\;</math></center>
+
<math>\textstyle \bullet</math> ''Группа'' &mdash; это множество элементов на котором задана всюду определённая бинарная функция <math>\textstyle x\, y</math> обладающая ассоциативностью; существует единичный элемент <math>\textstyle e</math>, и каждый элемент имеет обратный:
  
{| width="100%"
+
:<center><math>\begin{array}{lll} \triangleright&для\;любых\;x,y\;существует\;z: &z=x\, y\\ \triangleright&ассоциативность\;для\;любых\;x,\;y,\;z: & (x\, y)\, z = x\, (y\, z)\\ \triangleright&существует\;e,\;такой,\;что\;для\;любого\;x: &x\, e = e \, x = x\\ \triangleright&для\;любого\;x\;существует\;x^{-1}:\;\;\; &x\, x^{-1}= x^{-1}\, x = e. \end{array}</math></center>
| width="90%" align="center"|<math> \sqrt{r^2+\gamma^2(\mathbf{V}\mathbf{r})^2} = \gamma\, (R - \mathbf{V}\mathbf{R}), </math>
 
| <div width="10%" align="right" style="color:#0000CC">'''(EQN)'''</div>
 
|}
 
  
} \end{flushright} где <math>\textstyle \mathbf{n}=\mathbf{r}/r</math>. Последняя формула проверяется возведением в квадрат и подстановкой <math>\textstyle \mathbf{R}-\mathbf{V} R</math> вместо <math>\textstyle \mathbf{r}</math>.
+
Количество элементов множества называется ''порядком группы''. Группы могут быть ''конечными'' или ''бесконечными''.
  
Заметим, что <math>\textstyle T=T(\mathbf{x},t)</math> является функцией текущего времени и точки наблюдения. Её вид определяется траекторией <math>\textstyle \mathbf{x}_0(t)</math> заряда и получается из решения уравнения (). При этом <math>\textstyle R=R(\mathbf{x},t)=t-T(\mathbf{x},t)</math>.
+
Бесконечные группы, в свою очередь, бывают ''дискретными'' или ''непрерывными''. Рассмотренная выше группа преобразований квадрата или функции <math>\textstyle A(x_1,x_2,x_3)</math> &mdash; это конечные группы. На множестве целых чисел <math>\textstyle \mathbb Z = \{..., -2,-1, 0, 1, 2, ...\}</math>, мы имеем бесконечную дискретную группу с умножением в виде обычного арифметического сложения и нулём в качестве единичного элемента. Обратными при этом будут одинаковые по модулю и разные по знаку числа. Преобразование Галлилея является бесконечной непрерывной группой.
  
Свяжем с фантомным зарядом в момент времени <math>\textstyle t</math> инерциальную систему отсчёта <math>\textstyle S'</math>. Так как в ней он покоится, для потенциалов поля справедливы кулоновские выражения:
+
<math>\textstyle \bullet</math> Для конечных групп закон группового умножения удобно представлять в виде таблицы умножения. Например, пусть множество состоит из 6 элементов <math>\textstyle \{e,a,b,c,d,f\}</math>, из которых <math>\textstyle e</math> считается единичным. Чтобы задать функцию умножения необходимо перечислить <math>\textstyle 36=6^2</math> значений. Представим в табличном виде два варианта группового умножения:
  
:<center><math>\varphi' = \frac{Q}{r'},\;\;\;\;\;\;\;\;\;\mathbf{A}'=0.</math></center>
+
<center>[[File:sym_tbl01.png]]</center>
  
Подставим их в обратные преобразования Лоренца для потенциалов [(), стр.\pageref{transf_poten}] переставим местами штрихованные и нештрихованные величины и сделаем замену <math>\textstyle \mathbf{v}\mapsto-\mathbf{v}</math>]:
+
В заголовках строчек (по вертикали) стоят имена первого сомножителя, в заголовках колонок (по горизонтали) &mdash; второго. На пересечении строки и колонки находится значение их произведения. В <math>\textstyle \mathbf{D_3}</math>: <math>\textstyle a\, a=b</math>, <math>\textstyle c\, b=d</math>, и т.д. Если результатом оказывается единичный элемент, то вместо "<math>\textstyle e</math>" стоит жирная точка, позволяющая легко находить в таблице обратные элементы. В рамку мы обводим часть таблицы умножения не единичных элементов. Приведенные выше группы <math>\textstyle \mathbf{D_3}</math> и <math>\textstyle \mathbf{C_6}</math> имеют порядок 6.
  
{| width="100%"
+
Для <math>\textstyle n</math> элементов возможно <math>\textstyle n^{n\cdot n}</math> таблиц умножения (бинарных функций). С ростом <math>\textstyle n</math> количество бинарных функций стремительно растет. Однако очень немногие из них удовлетворяют групповым аксиомам. Так при <math>\textstyle n=6</math> возможно <math>\textstyle 6^{36}</math> таблиц, но только 2 из них будет группами!
| width="90%" align="center"|<math> \varphi = \gamma\,\frac{Q}{r'} = \frac{Q\,\gamma}{\sqrt{r^2+\gamma^2(\mathbf{V}\mathbf{r})^2}},\;\;\;\;\;\;\;\;\;\;\;\;\mathbf{A} = \gamma \mathbf{V}\varphi' = \mathbf{V}\varphi, </math>
 
| <div width="10%" align="right" style="color:#0000CC">'''(EQN)'''</div>
 
|}
 
  
где для расстояния от фантомного заряда в момент времени <math>\textstyle t=0</math> до точки наблюдения использовано преобразование для модуля радиус-вектора (см. стр. \pageref{force_transf_electro}). При помощи () потенциалы можно также переписать следующим образом:
+
<math>\textstyle \bullet</math> В общем случае симметричность (''коммутативность'') умножения не предполагается: <math>\textstyle x\, y\neq y\, x</math>. Группы с коммутирующим умножением называются ''абелевыми''. Группа <math>\textstyle \mathbf{C_6}</math> &mdash; абелева. Группа <math>\textstyle \mathbf{D_3}</math> &mdash; неабелева: <math>\textstyle (af=c)\neq(fa=d)</math>. ''Полугруппой'' называется всюду определённое ассоциативное умножение (наличие "<math>\textstyle e</math>" и "<math>\textstyle x^{-1}</math>" не предполагается).
  
{| width="100%"
+
<math>\textstyle \bullet</math> Благодаря существованию единичного и обратных элементов, все группы являются ''регулярными''. Это означает, что из <math>\textstyle z\, x = z\, y</math> следует, что <math>\textstyle x=y</math> (регулярность слева). Чтобы в этом убедиться, достаточно умножить уравнение слева на <math>\textstyle z^{-1}</math> и, благодаря ассоциативности, получить <math>\textstyle x=y</math>. Аналогично, <math>\textstyle x=y</math> следует из <math>\textstyle x\, z = y\, z</math> (регулярность справа). Поэтому в групповых таблицах умножения в любой строке или колонке ''ни какой элемент не встречается дважды''. Действительно, для строки с заголовком <math>\textstyle z</math> и различными колонками <math>\textstyle x</math> и <math>\textstyle y</math> элементы <math>\textstyle z\, x</math> и <math>\textstyle z\, y</math> стоящие на их пересечениях должны различаться.
| width="90%" align="center"|<math> \varphi(\mathbf{r},t) = \frac{Q}{R-\mathbf{V}\mathbf{R}},\;\;\;\;\;\;\;\;\;\;\;\mathbf{A}(\mathbf{r},t) = \frac{Q\, \mathbf{V}}{R-\mathbf{V}\mathbf{R}}. </math>
 
| <div width="10%" align="right" style="color:#0000CC">'''(EQN)'''</div>
 
|}
 
  
Эти потенциалы для произвольно движущегося заряда называют ''потенциалами Лиенара-Вихерта''. В качестве полезного упражнения по работе с дельта-функцией стоит вывести эти же соотношения непосредственно из общего решения (), (). Например, для плотности заряда необходимо записать выражение <math>\textstyle \rho(\mathbf{x},t)=Q\,\delta(\mathbf{x}-\mathbf{x}_0(t))</math>.
+
<math>\textstyle \bullet</math> ''Единичный элемент в группе всегда один.'' Докажем это. Если единичных элементов два: <math>\textstyle e_1</math> и <math>\textstyle e_2</math>, то по определению "единичности" <math>\textstyle e_1</math>, его умножение на <math>\textstyle e_2</math> даст <math>\textstyle e_1\, e_2 = e_2</math>. Это же соотношение, по определению "единичности" <math>\textstyle e_2</math>, должно дать <math>\textstyle e_1\, e_2 = e_1</math>. От сюда следует, что <math>\textstyle e_1=e_2</math>.
  
Отметим один любопытный момент. Уравнения Максвелла были получены для системы равномерно движущихся зарядов. Затем постулировалось, что они справедливы и для ускоренного движения зарядов. Хотя уравнения Максвелла явно не зависят от ускорений, это не означает, что от ускорений не зависят напряжённости поля. Дело в том, что уравнения Максвелла в исходной записи являются системой дифференциальных уравнений первого порядка. Из этой системы можно исключить, например, магнитное поле, получив для электрического поля уравнение второго порядка:
+
<math>\textstyle \bullet</math> ''Каждый <math>\textstyle x</math> имеет только один обратный ему элемент.'' Если бы у <math>\textstyle x</math> было два обратных <math>\textstyle x_1</math> и <math>\textstyle x_2</math>, то умножая <math>\textstyle e=x\, x_1</math> слева на <math>\textstyle x_2</math>, получим:
  
:<center><math>\frac{\partial^2 \mathbf{E}}{\partial t^2} - \Delta \mathbf{E} = -4\pi\,\frac{\partial \mathbf{j}}{\partial t} - 4\pi\,\nabla\rho.</math></center>
+
:<center><math>x_2 = x_2\, (x\, x_1) =(x_2\, x)\, x_1 = e\, x_1= x_1.</math></center>
  
Оно имеет форму уравнения Д'Аламбера, однако источники, стоящие в правой части, содержат производную по времени от тока. Именно это и приводит к тому, что напряжённости окажутся зависящими от ускорения заряда (в то время как потенциалы - нет).
+
Поэтому в каждой строке, и в каждом столбце таблицы умножения должна стоять ''только одна точка'' (единичный элемент).
  
<math>\textstyle \bullet</math> Найдём напряженности электрического и магнитного полей
+
Если <math>\textstyle x</math> и <math>\textstyle y</math> не равны единичному, то их произведение <math>\textstyle x\, y</math> не может быть равно <math>\textstyle x</math> или <math>\textstyle y</math>. В противном случае, умножая, например, <math>\textstyle x\, y=x</math> слева на <math>\textstyle x^{-1}</math> получим <math>\textstyle y=e</math>. Поэтому в строке или колонке соответствующих некоторому элементу <math>\textstyle a</math>, он ''сам стоять не может'', и находится только в заголовке (см. таблицы для <math>\textstyle \mathbf{D_3}</math>, <math>\textstyle \mathbf{C_6}</math>). В результате, каждая строчка и колонка таблицы, включая их заголовки, является некоторой перестановкой элементов группы.
  
:<center><math>\mathbf{E}=-\nabla \varphi - \frac{\partial \mathbf{A}}{\partial t},\;\;\;\;\;\;\;\;\;\;\mathbf{B}=\nabla\times\mathbf{A}.</math></center>
+
<math>\textstyle \bullet</math> Что бы найти элемент обратный произведению двух элементов, достаточно перемножить в обратном порядке обратные к ним элементы:
  
Производные потенциалов берутся по координатам фиксированной точки пространства <math>\textstyle \mathbf{x}=\{x,y,z\}</math> и по текущему моменту времени <math>\textstyle t</math>, а выражения для потенциалов () зависят (в правых частях) от величин в момент времени <math>\textstyle T</math>. Поэтому потребуются определённые математические хитрости. Возьмём дифференциал от условия запаздывания: <math>\textstyle t = T+R = T + \sqrt{(\mathbf{x}-\mathbf{x}_0(T))^2}. </math>
+
:<center><math>(x\, y)^{-1} = y^{-1}\, x^{-1}.</math></center>
  
:<center><math>dt = dT + \frac{\mathbf{R}\,d\mathbf{x}-\mathbf{V}\mathbf{R}\,dT}{R}\;\;\;\;\;\;\;=>\;\;\;\;\;\;\; dT = \frac{R dt}{R-\mathbf{V}\mathbf{R}} - \frac{\mathbf{R} d\mathbf{x}}{R-\mathbf{V}\mathbf{R}},</math></center>
+
Действительно, используя ассоциативность, имеем:
  
где <math>\textstyle \mathbf{V}=d\mathbf{x}_0(T)/dT</math> &mdash; скорость в момент времени <math>\textstyle T</math>, а <math>\textstyle \mathbf{R}=\mathbf{x}-\mathbf{x}_0(T)</math>. По определению дифференциала функции <math>\textstyle T=T(t, \mathbf{x})</math> имеем:
+
:<center><math>(x\, y)^{-1}\, (x\, y) = (y^{-1}\, x^{-1}) \, (x\, y) = y^{-1}\, (x^{-1} \, x)\, y = y^{-1}\, e \, y =y^{-1}y= e.</math></center>
  
:<center><math>\frac{\partial T}{\partial t} = \frac{R}{R-\mathbf{V}\mathbf{R}},\;\;\;\;\;\;\;\;\;\;\;\;\;\;\;\;\;\frac{\partial T}{\partial \mathbf{x}} = - \frac{\mathbf{R}}{R-\mathbf{V}\mathbf{R}}.</math></center>
+
Аналогичное правило справедливо и для произведения нескольких элементов: <math>\textstyle (x\, y\, z)^{-1}=z^{-1}\, y^{-1}\, x^{-1}</math>, и т.д.
  
Потенциалы зависят от <math>\textstyle \mathbf{x}</math> явно и неявно через <math>\textstyle T=T(t, \mathbf{x})</math>. Например, скалярный потенциал () имеет вид:
+
<math>\textstyle \bullet</math> Таблицы умножения &mdash; не единственный способ задания группы. Иногда оказывается, что один или несколько элементов перемножаясь, порождают все остальные элементы группы. Такие элементы называются ''системой порождающих элементов''. Минимальное количество независимых элементов, необходимых для задания всей таблицы умножения называется ''рангом группы''. При помощи порождающих элементов группа записывается в виде угловых скобок, внутри которых до вертикальной черты перечисляются все порождающие элементы (кроме единичного), а после &mdash; ''определяющие соотношения'', т.е. правила которые необходимо учитывать при порождении других элементов:
  
:<center><math>\varphi = \frac{Q}{ \sqrt{\{\mathbf{x}-\mathbf{x}_0(T)\}^2}-\mathbf{V}\,\{\mathbf{x}-\mathbf{x}_0(T)\}}.</math></center>
+
:<center><math>\mathbf{C_6}=\left\langle a | a^6=e\right\rangle ,\;\;\;\;\;\;\;\;\;\;\;\;\mathbf{D_3} =\left\langle a, c | a^3 =e,\;c^2=e,\;(ac)^2=e\right\rangle .</math></center>
  
Поэтому градиент и производная по <math>\textstyle t</math> равны:
+
Так, <math>\textstyle \mathbf{C_6}</math> означает, что умножение элемента <math>\textstyle a</math> самого на себя: <math>\textstyle a^2=a\cdot a</math>, <math>\textstyle a^3=a\cdot a\cdot a</math>, и т.д. будет приводить к новым элементам, пока мы не сделаем это шесть раз: <math>\textstyle a^6=e</math>, получив единичный элемент. Группа замыкается, состоит из 6-ти элементов, имеющих (в обозначениях таблицы <math>\textstyle \mathbf{C_6}</math> на стр.\,\pageref{group_def_axioms}) вид: <math>\textstyle \{e, a, a^2=b, a^3=c, a^4=d, a^5=f\}</math>.
  
:<center><math>\nabla\varphi = \frac{\partial\varphi}{\partial \mathbf{x}} + \frac{\partial\varphi}{\partial T}\,\frac{\partial T}{\partial \mathbf{x}}, \;\;\;\;\;\;\;\;\;\;\;\; \frac{\partial \mathbf{A}}{\partial t} = \frac{\partial \mathbf{A}}{\partial T}\,\frac{\partial T}{\partial t}.</math></center>
+
Алгебра определяющих соотношений для <math>\textstyle \mathbf{D_3}</math> работает следующим образом. Единичный элемент "<math>\textstyle e</math>" и два порождающих элемента <math>\textstyle a</math> и <math>\textstyle c</math> дают 6 элементов:
  
Для получения ротора векторного потенциала
+
:<center><math>e,\;\;a,\;\; a^2=b,\;\; c,\;\; ac=d,\;\; ca=f.</math></center>
  
:<center><math>\nabla\times\mathbf{A} =\nabla\times(\mathbf{V}\varphi) = \varphi \,\nabla\times \mathbf{V}-\mathbf{V}\times\nabla \phi</math></center>
+
Другие элементы можно было бы получать перемножением <math>\textstyle \{a,b,c,d,f\}</math>. Однако определяющие соотношения блокируют эту деятельность. Например, <math>\textstyle d^2=(ac)^2=e</math>, <math>\textstyle df=acca=a^2=b</math>. Несколько сложнее:
  
необходимо найти также ротор от скорости
+
:<center><math>f^2 = (ca)(ca) = (ca)(ca)c^2 = c(ac)^2 c = c^2 = e.</math></center>
  
:<center><math>\nabla\times \mathbf{V} =\frac{\partial T}{\partial \mathbf{x}}\frac{\partial }{\partial T}\times \mathbf{V} =-\frac{\mathbf{R}\times\mathbf{W}}{R-\mathbf{V}\mathbf{R}},</math></center>
+
''Порядком элемента'' называется такое наименьшее число <math>\textstyle k</math>, что <math>\textstyle a^k=e</math>. Из уравнения <math>\textstyle a\cdot b=a</math> следует, что <math>\textstyle b=e</math> (умножаем слева на <math>\textstyle a^{-1}</math>). Поэтому, не может быть такой ситуации, при которой, порождая новые элементы <math>\textstyle a, aa, aaa,...</math>, мы получим <math>\textstyle a</math> не достигнув единичного (цикличность через себя же). В результате, каждый элемент конечной группы имеет конечный порядок <math>\textstyle k</math>, меньший чем порядок самой группы <math>\textstyle n</math>. Понятно, что при этом <math>\textstyle a^{k-1}=a^{-1}</math>.
  
где <math>\textstyle \mathbf{W}=d\mathbf{V}/dT</math> &mdash; ускорение частицы в момент времени <math>\textstyle T</math>. Вычисляя все производные и проводя несложные алгебраические преобразования (<math>\textstyle \lessdot</math> H), получим:
+
Целое число <math>\textstyle n>k</math> всегда можно записать в виде <math>\textstyle n=k\cdot q+p</math>, где <math>\textstyle p</math> и <math>\textstyle q</math> целые числа. Поэтому <math>\textstyle a^n=(a^k)^p\cdot a^q=e^p\cdot a^q=a^q</math>. Отсюда следует, что порядок <math>\textstyle k</math> элемента является делителем порядка <math>\textstyle n</math> группы.
  
{| width="100%"
+
Группа <math>\textstyle \mathbf{D_3}</math> имеет порядок 6: <math>\textstyle \{e,a,b,c,d,f\}</math>. Порядок её двух ''независимых'' порождающих элементов равны 3 (<math>\textstyle a^3=e</math>) и 2 (<math>\textstyle c^2=e</math>).
| width="90%" align="center"|<math> \mathbf{E} = \frac{Q}{R^2}\,\frac{(1-V^2)(\mathbf{N}-\mathbf{V})}{ (1 - \mathbf{V}\mathbf{N})^{3}} + \frac{Q}{R}\,\frac{\mathbf{N}\times[(\mathbf{N}-\mathbf{V})\times \mathbf{W}]} { (1 - \mathbf{V}\mathbf{N})^{3}}, </math>
 
| <div width="10%" align="right" style="color:#0000CC">'''(EQN)'''</div>
 
|}
 
  
{| width="100%"
+
<math>\textstyle \bullet</math> Одна и та же группа в конкретных приложениях может иметь различные реализации, которые называют ''представлениями группы''. Рассмотрим, например, множество из четырех элементов <math>\textstyle \{e,a,b,c\}</math> на котором зададим групповую таблицу умножения <math>\textstyle \mathbf{C_4}</math> (слева):
| width="90%" align="center"|<math> \mathbf{B} = \mathbf{N}\times\mathbf{E}, </math>
 
| <div width="10%" align="right" style="color:#0000CC">'''(EQN)'''</div>
 
|}
 
  
где <math>\textstyle \mathbf{N}=\mathbf{R}/R</math>. Магнитное поле оказывается перпендикулярным электрическому и радиус-вектору <math>\textstyle \mathbf{R}</math> от заряда в момент времени <math>\textstyle T=T(\mathbf{x},t)</math>.
+
<center>[[File:sym_tbl02.png]]</center>
  
При помощи радиус-вектора <math>\textstyle \mathbf{r}</math> от фантомного заряда к точке наблюдения электрическое поле можно записать в следующем виде:
+
Эта таблица определяет ''абстрактную'' абелеву (<math>\textstyle x\cdot y=y\cdot x</math>) группу, так как она симметрична относительно ''главной диагонали'' (из левого верхнего угла в правый нижний). Её элементам можно придать различный содержательный смысл. Пусть, например <math>\textstyle \{e,a,b,c\}=\{1,\imath, -1,\imath^*\}</math>, где 1, <math>\textstyle -1</math> &mdash; обычные числа, <math>\textstyle \imath</math> &mdash; мнимая единица, а <math>\textstyle \imath^*</math> &mdash; её комплексное сопряжение. Групповое умножение в этом случае &mdash; это умножение комплексных чисел (вторая таблица выше).
  
:<center><math>\mathbf{E} = Q\,\frac{\gamma\mathbf{r}}{(r^2+\gamma^2(\mathbf{V}\mathbf{r})^2)^{3/2}} + Q\,\frac{\gamma^3[\mathbf{R}\times[\mathbf{r}\times \mathbf{W}]]}{(r^2+\gamma^2(\mathbf{V}\mathbf{r})^2)^{3/2}}.</math></center>
+
Другое представление можно построить, считая элементы группы целыми числами <math>\textstyle \{e,a,b,c\}=\{0,1,2,3\}</math>. Групповая операция умножения удовлетворяющая таблице <math>\textstyle \mathbf{C_4}</math> имеет вид:
  
Первое слагаемое является напряжённостью электрического поля равномерно движущегося со скоростью <math>\textstyle \mathbf{V}</math> фантомного заряда. Если бы заряд не менял свою скорость, он совпадал бы с этим фантомом.
+
:<center><math>x\cdot y: \;\;\; (x+y)\;{\rm mod}\;4,</math></center>
  
Напряжённость электрического поля можно также переписать в следующем изящном виде, найденном Ричардом Фейнманом (<math>\textstyle \lessdot</math> H):
+
где плюс &mdash; обычное арифметическое сложение, а "<math>\textstyle z\;{\rm mod}\;4</math>" &mdash; операция получения остатка от деления <math>\textstyle z</math> на 4.
  
:<center><math>\mathbf{E} = Q\,\frac{\mathbf{N}}{R^2}+ QR\frac{d}{dt}\left(\frac{\mathbf{N}}{R^2}\right) + Q \frac{d^2 \mathbf{N}}{dt^2}.</math></center>
+
Группа <math>\textstyle \mathbf{C_4}</math> имеет также матричное представление:
  
Обратим внимание, что все производные вычисляются по текущему времени <math>\textstyle t=T+R(T)</math>, а не по <math>\textstyle T</math>, к которому относятся величины <math>\textstyle R</math> и <math>\textstyle \mathbf{N}</math>.
+
:<center><math>e= \begin{pmatrix} 1 & 0 \\ 0 & 1 \\ \end{pmatrix},\;\;\;\;\; a= \begin{pmatrix} 0 & -1 \\ 1 & 0 \\ \end{pmatrix},\;\;\;\;\; b= \begin{pmatrix} -1 & 0 \\ 0 & -1 \\ \end{pmatrix},\;\;\;\;\; c= \begin{pmatrix} 0 &1 \\ -1 & 0 \\ \end{pmatrix}.</math></center>
  
Если скорость заряда мала, то напряжённость электрического поля можно приближённо записать следующим образом:
+
Перемножение этих матриц приводит к той же групповой таблице.
  
:<center><math>\mathbf{E} \approx \frac{Q}{ R^{2}}\,\mathbf{N} \;+\; \frac{Q}{R}\;[\mathbf{N}\times[\mathbf{N}\times \mathbf{W}]].</math></center>
+
Наконец, для группы <math>\textstyle \mathbf{C_4}</math> справедливо геометрическое представление, состоящее из рассмотренных ранее поворотов квадрата вокруг центра, без отражений вокруг осей:
  
Второе слагаемое убывает, как <math>\textstyle 1/R</math>. Первый же ("кулоновский") член убывает, как <math>\textstyle 1/R^2</math>, т.е. существенно быстрее. Пренебрегая на больших расстояниях первым слагаемым, найдём импульс электромагнитной волны. Так как второе слагаемое перпендикулярно <math>\textstyle \mathbf{R}</math>, т.е. <math>\textstyle \mathbf{E}\mathbf{R}=0</math>, имеем:
+
<center>[[File:sym_squar3.png]]</center>
  
:<center><math>\mathbf{P} = \frac{\mathbf{E}\times\mathbf{B}}{4\pi}= \frac{\mathbf{E}\times[\mathbf{R}\times{\mathbf{E}}]}{4\pi R} = \frac{\mathbf{E}^2}{4\pi}\,\mathbf{N} \approx \frac{Q}{4\pi}\,\frac{\mathbf{W}^2-(\mathbf{W}\mathbf{N})^2}{R^2}\, \mathbf{N}.</math></center>
+
Композиция поворотов <math>\textstyle \{a,b,c\}</math> снова формирует групповую таблицу <math>\textstyle \mathbf{C_4}</math>.
 
 
''Интенсивность излучения'' <math>\textstyle dI</math> в направлении телесного угла <math>\textstyle d\Omega</math> определяется, как поток энергии, проходящий в единицу времени через элемент поверхности <math>\textstyle dS=R^2 d\Omega</math> сферы радиуса <math>\textstyle R</math> (см. стр.\pageref{intens_dipol_rad}).
 
 
 
:<center><math>\frac{dI}{d\Omega} = R^2 \,(\mathbf{N}\mathbf{P}) \approx \frac{Q^2}{4\pi}\, W^2 \, \sin^2\theta,</math></center>
 
 
 
где <math>\textstyle \theta</math> &mdash; угол между ускорением и направлением в точку наблюдения из запаздывающего положения заряда <math>\textstyle \mathbf{N}</math>. Интеграл по всему телесному углу <math>\textstyle d\Omega = d\phi \,\sin\theta d\theta</math> даёт полное излучение заряда (''формула Лармора''):
 
 
 
:<center><math>I\approx \frac{2}{3}\,Q^2 \,\mathbf{W}^2.</math></center>
 
 
 
Его можно сравнить с излучением в дипольном приближении (стр.\pageref{intens_dipol_rad}). Для одиночного заряда <math>\textstyle \mathbf{d}(T)=Q\mathbf{x}_0(T)</math> и, соответственно, <math>\textstyle \ddot{\mathbf{d}}=Q\mathbf{W}</math>.
 
 
 
<math>\textstyle \bullet</math> Изучим теперь излучение заряда, не считая его скорость маленькой. На больших расстояниях от заряда напряжённости поля равны:
 
 
 
:<center><math>\mathbf{E} = \frac{Q}{R}\,\frac{\mathbf{N}\times[(\mathbf{N}-\mathbf{V})\times \mathbf{W}]} { (1 - \mathbf{V}\mathbf{N})^{3}}, \;\;\;\;\;\;\;\;\;\;\; \mathbf{B} = \mathbf{N}\times\mathbf{E}.</math></center>
 
 
 
Пусть скорость <math>\textstyle \mathbf{V}</math> и ускорение <math>\textstyle \mathbf{W}</math> параллельны, так что <math>\textstyle \mathbf{V}\times\mathbf{W}=0</math>. В этом случае интенсивность излучения равна:
 
 
 
:<center><math>\frac{dI}{d\Omega} = R^2\frac{\mathbf{E}^2}{4\pi} = \frac{Q^2 W^2}{4\pi}\,\frac{\sin^2\theta}{(1-V\cos\theta)^6}.</math></center>
 
 
 
Для медленного заряда излучение максимально в направлении, перпендикулярном ускорению. Чем ближе скорость заряда к скорости света, тем сильнее максимум излучения смещается в направлении движения (см. ниже первые два рисунка). Похожим свойством обладает движущийся изотропный (в собственной системе отсчёта) источник света в результате аберрации (стр.\pageref{aberr_isotr_source}).
 
 
 
<center>[[File:mov_E_chage.png]]</center>
 
 
 
Найдём суммарную интенсивность излучения. Интеграл по <math>\textstyle \phi</math> даст <math>\textstyle 2\pi</math>, а для интегрирования по <math>\textstyle \theta</math> сделаем замену <math>\textstyle z=\cos\theta</math>:
 
 
 
{| width="100%"
 
| width="90%" align="center"|<math> I = \frac{Q^2 W^2}{2}\int\limits^1_{-1}\frac{1-z^2}{(1-V z)^6}\,dz = \frac{2Q^2 W^2}{15}\,\frac{5+V^2}{(1-V^2)^4}. </math>
 
| <div width="10%" align="right" style="color:#0000CC">'''(EQN)'''</div>
 
|}
 
 
 
Интеграл по <math>\textstyle z</math> находится при помощи дифференцирования определённого интеграла по параметру. Эти вычисления несложны, но сравнительно громоздки (<math>\textstyle \lessdot</math> H).
 
 
 
Найдём энергию, теряемую зарядом при излучении за единицу времени. Её величина для движущегося заряда отличается от <math>\textstyle I</math>. Действительно, проследим за излучённой в прошлом энергией между моментами времени <math>\textstyle T</math> и <math>\textstyle T+dT</math>. Если бы заряд был неподвижен, к текущему моменту эта энергия была бы сконцентрирована между двумя сферами с радиусами <math>\textstyle R</math> и <math>\textstyle R-dT</math> и совпадающими центрами. При движении заряда за время <math>\textstyle dT</math> центр внутренней сферы смещается на <math>\textstyle \mathbf{V}dT</math>, а её поверхность прижимается к внешней сфере в направлении движения (3-й рисунок).
 
 
 
В результате толщина зазора между сферами в направлении <math>\textstyle \mathbf{N}</math> уменьшается на <math>\textstyle \mathbf{N}\mathbf{V}dT</math>. Если <math>\textstyle \mathbf{V}=0</math>, то толщина зазора равна <math>\textstyle dT</math>. При <math>\textstyle \mathbf{V}\neq 0</math> она равна <math>\textstyle dT\,(1-\mathbf{V}\mathbf{N})</math>. Соответственно, в <math>\textstyle (1-\mathbf{V}\mathbf{N})</math> раз изменяется элемент объёма сферического слоя в направлении <math>\textstyle \mathbf{N}</math> (хотя суммарный объём между сферами, конечно, не меняется). Энергия, расположенная между слоями в телесном углу <math>\textstyle d\Omega</math>, равна:
 
 
 
:<center><math>d\mathcal{E} = \frac{\mathbf{E}^2+\mathbf{B}^2}{8\pi}\,R^2d\Omega dT\,(1-\mathbf{V}\mathbf{N}) \;\;\;\;=>\;\;\;\; \frac{d\tilde{I}}{d\Omega} = \frac{d\mathcal{E}}{dTd\Omega} = R^2\,\frac{\mathbf{E}^2}{4\pi}\,(1-\mathbf{V}\mathbf{N}).</math></center>
 
 
 
Поэтому интенсивность теряемой энергии <math>\textstyle \tilde{I}</math> отличается от <math>\textstyle I</math> множителем <math>\textstyle 1-\mathbf{V}\mathbf{N}</math>. Интегрирование по всем телесным углам даёт (<math>\textstyle \lessdot</math> H):
 
 
 
:<center><math>\tilde{I} = \frac{Q^2 W^2}{2}\int\limits^1_{-1}\frac{1-z^2}{(1-V z)^5}\,dz = \frac{2}{3}\,\frac{Q^2W^2}{(1-V^2)^3}.</math></center>
 
 
 
Кроме линейного торможения (например, рентгеновское излучение при ударе электрона об электрод) существует ещё одна важная разновидность излучения. В магнитном поле заряд движется по окружности (или спирали). В этом случае скорость и ускорение перпендикулярны. При малой скорости заряда излучение направлено перпендикулярно плоскости орбиты и называется ''циклотронным''. Если же скорость заряда ультрарелятивистская, то максимум излучения сконцентрирован в направлении текущего (с учётом запаздывания) мгновенного вектора скорости. Подобное излучение (касательное к окружности или спирали) называют ''синхротронным''. Оно возникает в круговых ускорителях частиц (отсюда и происходит название). Его же регулярно наблюдают астрономы в окрестности самых разнообразных космических объектов.
 
 
 
Для произвольной ориентации скорости и ускорения теряемая в единицу времени энергия даётся ''формулой Льенара'' (1898 г.):
 
 
 
{| width="100%"
 
| width="90%" align="center"|<math> \tilde{I} = \frac{2}{3}\,Q^2 \, \frac{\mathbf{W}^2 - [\mathbf{V}\times\mathbf{W}]^2}{(1-V^2)^3}. </math>
 
| <div width="10%" align="right" style="color:#0000CC">'''(EQN)'''</div>
 
|}
 
 
 
Вывести её предлагается самостоятельно (<math>\textstyle \lessdot</math> H). Стоит также проверить, что формула Льенара может быть записана в следующем инвариантном виде:
 
 
 
:<center><math>\tilde{I}=\frac{2}{3}\,\frac{e^2}{m^2}\, \left(\frac{d\mathrm{p}}{d\tau}\right)^2,</math></center>
 
 
 
где <math>\textstyle \mathrm{p}</math> &mdash; 4-импульс частицы с компонентами <math>\textstyle p^\nu=\{\mathbb{E},\mathbf{p}\}</math>, а <math>\textstyle d\tau =dT\sqrt{1-\mathbf{V}^2}</math> &mdash; её собственное время с учётом эффекта запаздывания.
 
  
 +
Развитие теории групп обычно идёт по двум направлениям. Во первых, ищут закономерности в структуре таблиц умножения, на основе которых проводится классификация абстрактных групп. Во вторых, изучаются различные представления групп и следствия, которые возникают из их существования для конкретных теорий.
  
 
----
 
----
 
{| width="100%"   
 
{| width="100%"   
 
  | width="30%"|[[Произвольно движущийся заряд]] <<  
 
  | width="30%"|[[Произвольно движущийся заряд]] <<  
  ! width="40%"|[[Релятивистский мир|Оглавление]] (Последняя версия в: [http://synset.com/pdf/relworld_05.pdf Глава 5])
+
  ! width="40%"|[[Релятивистский мир|Оглавление]] (Последняя версия в: [http://synset.com/pdf/relworld_06.pdf Глава 6])
 
  | width="30%" align="right"| >> [[Примеры и определения]]
 
  | width="30%" align="right"| >> [[Примеры и определения]]
 
|}
 
|}
 
----
 
----
 
[[Релятивистский мир]] - лекции по теории относительности, гравитации и космологии
 
[[Релятивистский мир]] - лекции по теории относительности, гравитации и космологии

Текущая версия на 18:56, 2 июля 2013

Произвольно движущийся заряд << Оглавление (Последняя версия в: Глава 6) >> Примеры и определения

Мы говорим, что квадрат — более симметричная фигура, чем прямоугольник, а окружность симметричнее квадрата. Откуда возникают такие ощущения? Крутя в руках осколок плоской плитки или целые плитки различной формы, мы замечаем что после некоторых манипуляций плитка снова совпадает со своей начальной ориентацией. Чтобы первая фигура на рисунке ниже совпала сама с собой её необходимо для этого повернуть на 360 градусов, и других возможностей нет:

Sym1.png

У прямоугольника есть уже больше вариантов. Например, его можно повернуть на 180 или 360 градусов. Для квадрата и круга преобразований начального состояния, приводящих к той же ориентации, ещё больше.

Представим лежащую на столе прозрачную квадратную плитку с цифрами в углах. Рассмотрим элементарные операции которые можно совершить "одним движением", чтобы изменилось положение цифр, но не ориентация плитки. Прежде всего квадрат можно повернуть на 90, 180 и 270 градусов:

Sym squar.png

Кроме этого, плитку из исходного состояния "" можно перевернуть "вверх ногами" вокруг двух осей перпендикулярных сторонам и двух осей проходящих по диагоналям квадрата:

Sym squar2.png

Других возможностей для расположения цифр, при неизменной ориентации квадрата не существует.

Обозначим проделанные манипуляции буквами , , , , , , , используя "" для обозначения операции: "ничего не делаем" (остаёмся в первоначальном состоянии). Такую операцию будем называть единичной. Символ "" — это поворот на 90 градусов, "" — на 180, и т.д.

Операции можно проделывать последовательно. Например, повернуть квадрат на 90 градусов (), а затем на 180 градусов (). Такая комбинированная операция эквивалентна одной — повороту на 270 градусов (). Будем этот факт обозначать следующим образом:

Возможно несколько сложнее проследить, что приводит к . Имеет смысл, вырезав квадрат из бумаги, проделать эти операции руками.

Записывая преобразования друг за другом мы тем самым обозначаем их последовательное выполнение — сначала , затем . В результате получается некоторая новая операция . Такую композицию операций будем называть групповым умножением или просто умножением. На самом деле, умножение операций, это функция двух аргументов (бинарная функция), которая каждому и ставит в соответствие некоторый . Тем не менее эту функцию принято записывать в виде умножения с точкой между операциями () или без неё ().

Функция группового умножения не всегда симметрична. Так, поворот плитки на 90 градусов (), и последующий переворот () эквиваленты одной операции . Проделав эти же действия в обратном порядке — переворот и поворот мы получим . В тоже время , т.е. поворот сначала на 90 градусов, а затем на 180 приводит к такому же результату, как и повороты в обратном порядке. Поэтому, не смотря на привычную алгебраическую запись умножения , необходимо помнить, что и это не числа, а некоторые, вообще говоря, не перестановочные действия.

Единичная операция ("ничего не делаем") выполненная до или после любой операции , по определению, приводит к ней же, поэтому:

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

Например, , поэтому и . Поворот на 180 обратен сам к себе , поэтому . Аналогично, сами себе обратны операции по переворачиванию плитки , , , . Обратную операцию иногда также обозначают при помощи черты сверху .

Для любых преобразований выполняется свойство ассоциативности:

В математике очень многие действия с двумя объектами (бинарные функции) обладают ассоциативностью, например, умножение или сложение чисел, умножение матриц и т.п. Хотя существуют и неассоциативные функции. Простейший пример — это возведение в степень , для которой . Тем не менее композиция преобразований ассоциативна. Действительно, означает, что сначала выполняют , затем и на результат воздействуют операцией . Вторая возможность состоит в том, что сначала выполняется , затем находят композицию преобразований и её применяют к результату преобразования . Понятно, что это просто эквивалентно последовательности действий .

Благодаря ассоциативности можно опускать скобки при записи произвольного числа "сомножителей". Часто мы будем использовать сокращение или , обращаясь со степенями "как обычно". В частности . Поэтому, если , то этот "" будет с "" перестановочен: .

Именно наличие свойства ассоциативности у функции групповой композиции привело к термину "групповое умножение" и к обозначению .

Геометрические симметрии наглядны, так как заложены в нашем восприятии пространства. Однако симметрии могут быть не только геометрическими. Определим, например, функцию от 3-х переменных:

В качестве преобразования рассмотрим операцию по перестановке аргументов функции местами. Например, по любой паре аргументов функция антисимметрична . Однако существуют перестановки (операции) которые не изменяют значение функции:

Не сложно видеть, что это циклические перестановки аргументов вправо и влево от являющегося исходным порядком. Их можно выполнять последовательно:

Видно, что операции и обратны друг другу, и их можно выполнять в любом порядка (групповое умножение симметрично).

Симметричными могут быть уравнения. Рассмотрим систему частиц расположенных на прямой и взаимодействующих друг с другом при помощи парных сил, зависящих только от расстояния между частицами:

Эти динамические уравнения Ньютона записаны в фиксированной системе отсчёта относительно которой заданы координаты. Рассмотрим другую систему отсчета, которая движется относительно первой с постоянной скоростью . Если при начала систем совпадали, то связь координат в них имеет вид: (стр.\,\pageref{Group_Gal_simple}). Несложно проверить (\,H), что в движущейся системе отсчёта уравнения движения будут выглядеть точно также. Это преобразование симметрии уравнений является преобразованием Галилея.

Последовательность преобразований Галилея (переход сначала к системе движущейся со скоростью , а затем к со скоростью ) эквивалентно движению со скоростью :

Преобразование можно записать в операторном виде, действуя оператором на справа:

тогда композиция выражается в виде группового умножения, с "правильной" последовательностью операторов:

Невозможно разобрать выражение (синтаксическая ошибка): {\displaystyle x''=x'\hat{G}(v_2) = x\hat{G}(v_1)\hat{G}(v_2)\;\;\;или\;\;\;\hat{G}(v_1)\, \hat{G}(v_2) = \hat{G}(v_1+v_2).}

Обратное преобразование получается обращением скорости:

Невозможно разобрать выражение (синтаксическая ошибка): {\displaystyle x''= x'+vt = (x-vt) + vt = x\;\;\;или\;\;\;\hat{G}^{-1}(v)=\hat{G}(-v).}

Ассоциативность группового умножения очевидна в силу операторного характера действия . Заметим, что в отличие от предыдущих двух симметрий — это симметрия непрерывная, так как преобразования различаются при помощи "непрерывного индекса" — скорости .

Подведём итоги.

Симметрия — это набор операций по преобразованию системы, которые эту систему или часть её свойств оставляют неизменной.

Математический аппарат, описывающий подобные операции называется теорией групп. Рассмотрим её чуть более формально.

Группа — это множество элементов на котором задана всюду определённая бинарная функция обладающая ассоциативностью; существует единичный элемент , и каждый элемент имеет обратный:

Невозможно разобрать выражение (неизвестная функция «\begin{array}»): {\displaystyle \begin{array}{lll} \triangleright&для\;любых\;x,y\;существует\;z: &z=x\, y\\ \triangleright&ассоциативность\;для\;любых\;x,\;y,\;z: & (x\, y)\, z = x\, (y\, z)\\ \triangleright&существует\;e,\;такой,\;что\;для\;любого\;x: &x\, e = e \, x = x\\ \triangleright&для\;любого\;x\;существует\;x^{-1}:\;\;\; &x\, x^{-1}= x^{-1}\, x = e. \end{array}}

Количество элементов множества называется порядком группы. Группы могут быть конечными или бесконечными.

Бесконечные группы, в свою очередь, бывают дискретными или непрерывными. Рассмотренная выше группа преобразований квадрата или функции — это конечные группы. На множестве целых чисел , мы имеем бесконечную дискретную группу с умножением в виде обычного арифметического сложения и нулём в качестве единичного элемента. Обратными при этом будут одинаковые по модулю и разные по знаку числа. Преобразование Галлилея является бесконечной непрерывной группой.

Для конечных групп закон группового умножения удобно представлять в виде таблицы умножения. Например, пусть множество состоит из 6 элементов , из которых считается единичным. Чтобы задать функцию умножения необходимо перечислить значений. Представим в табличном виде два варианта группового умножения:

Sym tbl01.png

В заголовках строчек (по вертикали) стоят имена первого сомножителя, в заголовках колонок (по горизонтали) — второго. На пересечении строки и колонки находится значение их произведения. В : , , и т.д. Если результатом оказывается единичный элемент, то вместо "" стоит жирная точка, позволяющая легко находить в таблице обратные элементы. В рамку мы обводим часть таблицы умножения не единичных элементов. Приведенные выше группы и имеют порядок 6.

Для элементов возможно таблиц умножения (бинарных функций). С ростом количество бинарных функций стремительно растет. Однако очень немногие из них удовлетворяют групповым аксиомам. Так при возможно таблиц, но только 2 из них будет группами!

В общем случае симметричность (коммутативность) умножения не предполагается: . Группы с коммутирующим умножением называются абелевыми. Группа — абелева. Группа — неабелева: . Полугруппой называется всюду определённое ассоциативное умножение (наличие "" и "" не предполагается).

Благодаря существованию единичного и обратных элементов, все группы являются регулярными. Это означает, что из следует, что (регулярность слева). Чтобы в этом убедиться, достаточно умножить уравнение слева на и, благодаря ассоциативности, получить . Аналогично, следует из (регулярность справа). Поэтому в групповых таблицах умножения в любой строке или колонке ни какой элемент не встречается дважды. Действительно, для строки с заголовком и различными колонками и элементы и стоящие на их пересечениях должны различаться.

Единичный элемент в группе всегда один. Докажем это. Если единичных элементов два: и , то по определению "единичности" , его умножение на даст . Это же соотношение, по определению "единичности" , должно дать . От сюда следует, что .

Каждый имеет только один обратный ему элемент. Если бы у было два обратных и , то умножая слева на , получим:

Поэтому в каждой строке, и в каждом столбце таблицы умножения должна стоять только одна точка (единичный элемент).

Если и не равны единичному, то их произведение не может быть равно или . В противном случае, умножая, например, слева на получим . Поэтому в строке или колонке соответствующих некоторому элементу , он сам стоять не может, и находится только в заголовке (см. таблицы для , ). В результате, каждая строчка и колонка таблицы, включая их заголовки, является некоторой перестановкой элементов группы.

Что бы найти элемент обратный произведению двух элементов, достаточно перемножить в обратном порядке обратные к ним элементы:

Действительно, используя ассоциативность, имеем:

Аналогичное правило справедливо и для произведения нескольких элементов: , и т.д.

Таблицы умножения — не единственный способ задания группы. Иногда оказывается, что один или несколько элементов перемножаясь, порождают все остальные элементы группы. Такие элементы называются системой порождающих элементов. Минимальное количество независимых элементов, необходимых для задания всей таблицы умножения называется рангом группы. При помощи порождающих элементов группа записывается в виде угловых скобок, внутри которых до вертикальной черты перечисляются все порождающие элементы (кроме единичного), а после — определяющие соотношения, т.е. правила которые необходимо учитывать при порождении других элементов:

Так, означает, что умножение элемента самого на себя: , , и т.д. будет приводить к новым элементам, пока мы не сделаем это шесть раз: , получив единичный элемент. Группа замыкается, состоит из 6-ти элементов, имеющих (в обозначениях таблицы на стр.\,\pageref{group_def_axioms}) вид: .

Алгебра определяющих соотношений для работает следующим образом. Единичный элемент "" и два порождающих элемента и дают 6 элементов:

Другие элементы можно было бы получать перемножением . Однако определяющие соотношения блокируют эту деятельность. Например, , . Несколько сложнее:

Порядком элемента называется такое наименьшее число , что . Из уравнения следует, что (умножаем слева на ). Поэтому, не может быть такой ситуации, при которой, порождая новые элементы , мы получим не достигнув единичного (цикличность через себя же). В результате, каждый элемент конечной группы имеет конечный порядок , меньший чем порядок самой группы . Понятно, что при этом .

Целое число всегда можно записать в виде , где и целые числа. Поэтому . Отсюда следует, что порядок элемента является делителем порядка группы.

Группа имеет порядок 6: . Порядок её двух независимых порождающих элементов равны 3 () и 2 ().

Одна и та же группа в конкретных приложениях может иметь различные реализации, которые называют представлениями группы. Рассмотрим, например, множество из четырех элементов на котором зададим групповую таблицу умножения (слева):

Sym tbl02.png

Эта таблица определяет абстрактную абелеву () группу, так как она симметрична относительно главной диагонали (из левого верхнего угла в правый нижний). Её элементам можно придать различный содержательный смысл. Пусть, например , где 1, — обычные числа, — мнимая единица, а — её комплексное сопряжение. Групповое умножение в этом случае — это умножение комплексных чисел (вторая таблица выше).

Другое представление можно построить, считая элементы группы целыми числами . Групповая операция умножения удовлетворяющая таблице имеет вид:

где плюс — обычное арифметическое сложение, а "" — операция получения остатка от деления на 4.

Группа имеет также матричное представление:

Перемножение этих матриц приводит к той же групповой таблице.

Наконец, для группы справедливо геометрическое представление, состоящее из рассмотренных ранее поворотов квадрата вокруг центра, без отражений вокруг осей:

Sym squar3.png

Композиция поворотов снова формирует групповую таблицу .

Развитие теории групп обычно идёт по двум направлениям. Во первых, ищут закономерности в структуре таблиц умножения, на основе которых проводится классификация абстрактных групп. Во вторых, изучаются различные представления групп и следствия, которые возникают из их существования для конкретных теорий.


Произвольно движущийся заряд << Оглавление (Последняя версия в: Глава 6) >> Примеры и определения

Релятивистский мир - лекции по теории относительности, гравитации и космологии