2014 dxdy logo

Научный форум dxdy

Математика, Физика, Computer Science, Machine Learning, LaTeX, Механика и Техника, Химия,
Биология и Медицина, Экономика и Финансовая Математика, Гуманитарные науки




Начать новую тему Ответить на тему На страницу 1, 2  След.
 
 Мера сходства групп.
Сообщение14.11.2008, 16:17 


07/09/07
463
Как можно оценить насколько одна группа похожа на другую?
Можно ли ввести расстояние между группами?
И вообще, какие мысли по поводу пространства групп, пространства, где елементом является группа. ?

 Профиль  
                  
 
 
Сообщение14.11.2008, 17:16 
Заслуженный участник
Аватара пользователя


21/12/05
5937
Новосибирск
Группы "похожи", если они изоморфны. Пример: мультипликативная группа положительных действительных изоморфна аддитивной группе всех действительных чисел.
Расстояние между изоморфными естественно положить равным нулю, а дальше никак, не говоря уже о пространствах.

А давайте лучше менее абстрактные группы рассматривать, например, группы сапог. Тут можно дальше продвинуться. Расстояние $\rho (b_1, b_2)$ от сапога $b_1$ до сапога $ b_2 $ можно измерить. Два сапога назовём парой, но можно рассматривать группы сапог любой мощности. Расстоянием между группами сапог $B_1$ и $B_2$ естественно назвать $\inf\limits_{b_1\in B_1, b_2 \in B_2} \rho (b_1,b_2)$

Пространствами овладевать лучше в сапогах и не в одиночку, а именно в группах - эт Вы хорошо проидумали.

 Профиль  
                  
 
 
Сообщение15.11.2008, 19:23 


07/09/07
463
Сапоги в моей задаче не подходят. Нужны группы и их взаимодействия.И их схожести.
Пример, Группа1 имеет две подгруппы Подгруппа1 и Подгруппа2. Есть еще Группа2 и Группа3. Так вот Подгруппа1 изоморфна Группа2 а Подгруппа2 изоморфна Группа3. Чем не Группа2+Группа3=Группа1?Единицей для такого сложения будет группа из одного элемента.

 Профиль  
                  
 
 
Сообщение15.11.2008, 23:24 


12/09/08

2262
STilda в сообщении #158457 писал(а):
Пример, Группа1 имеет две подгруппы Подгруппа1 и Подгруппа2. Есть еще Группа2 и Группа3. Так вот Подгруппа1 изоморфна Группа2 а Подгруппа2 изоморфна Группа3. Чем не Группа2+Группа3=Группа1?
Группа целых по сложению имеет подргруппы четных и кратных трем. Обе эти подгруппы изоморфны группе целых. Получаем, $\mathbb{Z} = \mathbb{Z} + \mathbb{Z}$. Хорошо получается ;)

 Профиль  
                  
 
 
Сообщение21.11.2008, 23:04 


07/09/07
463
А еще она имеет подгруппу кратных пяти.Таким образом имеем $\mathbb{Z}=\mathbb{Z}+\mathbb{Z}+\mathbb{Z}$. Тоесть $\mathbb{Z}$ единица. А подгруппы $\mathbb{Z}$ не изоморфной $\mathbb{Z}$ не бывает получается?

 Профиль  
                  
 
 
Сообщение22.11.2008, 01:09 


12/09/08

2262
STilda в сообщении #160717 писал(а):
А подгруппы $\mathbb{Z}$ не изоморфной $\mathbb{Z}$ не бывает получается?
Не бывает. Сколько бы элементов $\{a_1,\ldots, a_k\}$ в нее не назначить, она всяко будет порождена элементом $\text{НОД}(a_1,\ldots, a_k)$, а потому изоморфна $\mathbb{Z}$.

 Профиль  
                  
 
 
Сообщение23.11.2008, 00:04 
Заслуженный участник


31/12/05
1530
STilda писал(а):
Тоесть $\mathbb{Z}$ единица.
А куда же подевалась группа из одного элемента? Вы в ней разочаровались?

И вообще у вас "сложение" определено неоднозначно. У вас одновременно

1) как мы убедились, $\mathbb{Z}=\mathbb{Z}+\mathbb{Z}$,
2) как легко убедиться, $\mathbb{Z}\oplus\mathbb{Z}=\mathbb{Z}+\mathbb{Z}$.

 Профиль  
                  
 
 
Сообщение24.11.2008, 01:18 


07/09/07
463
tolstopuz писал(а):
А куда же подевалась группа из одного элемента? Вы в ней разочаровались?
Да уж не знаю что и думать.
tolstopuz писал(а):
2) как легко убедиться, $\mathbb{Z}\oplus\mathbb{Z}=\mathbb{Z}+\mathbb{Z}$.
Но если $\mathbb{Z}\oplus\mathbb{Z}$ изоморфно $\mathbb{Z}$ тогда какие проблемы? Определено с точностью до изоморфизма.
Получается мы рассматриваем такое: Есть множество из двух элементов $\{G1,G2\}$: группа $G1=\{\{0\}, +, 0+0=0\}$ и группа $G2=\{\{...-2,-1,0,1,2...\}, +\}$; Есть сложение $+$ на множестве $\{G1,G2\}$ которое удовлетворяет условиям $G1+G1=G1,G1+G2=G2,G2+G2=G2$. Не знаю что здесь назвать единицей можно а что нулем.
Да сложение не однозначно. Значит можно попробовать суммой групп назвать группу котора есть их прямым произведением (или как оно называется, забыл). Тогда получится более строго и однозначно. О так получается прямое произведение и есть операция на множестве групп которая дает нам группу из элементов-групп.

 Профиль  
                  
 
 
Сообщение24.11.2008, 13:23 
Заслуженный участник


31/12/05
1530
STilda писал(а):
Но если $\mathbb{Z}\oplus\mathbb{Z}$ изоморфно $\mathbb{Z}$ тогда какие проблемы?
А если нет? :)
STilda писал(а):
Значит можно попробовать суммой групп назвать группу котора есть их прямым произведением (или как оно называется, забыл).
Или которая есть их прямой суммой (для конечных сумм/произведений это одно и то же). То есть, можно сказать, уже назвали.

 Профиль  
                  
 
 
Сообщение26.12.2008, 19:41 


26/12/08
7
Если рассматривать конечно порожденные группы, то их можно рассматривать как метрические пространства. И на этом пространстве есть понятие метрики Громова-Хаусдорфа.

Также группы можна сравнивать наличием изоморфных подгрупп конечного индекса. Или рядом подгрупп с изоморфными факторами.

 Профиль  
                  
 
 
Сообщение26.12.2008, 20:05 
Заслуженный участник
Аватара пользователя


01/03/06
13626
Москва
ibond в сообщении #171705 писал(а):
Если рассматривать конечно порожденные группы, то их можно рассматривать как метрические пространства.
С какой метрикой?

 Профиль  
                  
 
 
Сообщение26.12.2008, 20:10 


26/12/08
7
Определена норма $|g|=\min \{ k | g=s_1s_2\ldots s_k, s_i\in S\cup S^{-1} \}$ и соответственно метрика. Другими словами, просто рассматривается граф Келли относительно данной системы образующих, и комбинаторную метрику на графе.

 Профиль  
                  
 
 
Сообщение26.12.2008, 20:22 
Заслуженный участник
Аватара пользователя


01/03/06
13626
Москва
А как эта метрика поможет подсчитать расстояние между разными конечно порожденными группами, чтобы установить меру их близости?

 Профиль  
                  
 
 
Сообщение26.12.2008, 20:31 


26/12/08
7
Может я перед этим не совсем ясно выразился: на совокупности всех конечно-порожденных групп (так как они метрические пространтва с метрикой описаной выше) есть метрика Громова-Хаусдорфа, которая в некоторой степени измеряет насколько две группы похожи. Метрика Громова-Хаусдорфа: рассматриваются изометрические вложения двух групп в любое метрическое пространство, меряется расстояние между этими подмножествами по метрике Хаусдорфа, и берется инфинум. Грубо говоря, группы тем ближе, чем большего радиуса существуют изометрические шары с центром в 1 в этих группах.

 Профиль  
                  
 
 
Сообщение26.12.2008, 20:49 
Заслуженный участник
Аватара пользователя


01/03/06
13626
Москва
Спасибо, Ваша идея кажется мне весьма здравой :D

 Профиль  
                  
Показать сообщения за:  Поле сортировки  
Начать новую тему Ответить на тему  [ Сообщений: 16 ]  На страницу 1, 2  След.

Модераторы: Модераторы Математики, Супермодераторы



Кто сейчас на конференции

Сейчас этот форум просматривают: Brizon


Вы не можете начинать темы
Вы не можете отвечать на сообщения
Вы не можете редактировать свои сообщения
Вы не можете удалять свои сообщения
Вы не можете добавлять вложения

Найти:
Powered by phpBB © 2000, 2002, 2005, 2007 phpBB Group