2014 dxdy logo

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

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


Правила форума


В этом разделе нельзя создавать новые темы.

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

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

Не ищите на этом форуме халяву, правила запрещают участникам публиковать готовые решения стандартных учебных задач. Автор вопроса обязан привести свои попытки решения и указать конкретные затруднения.

Обязательно просмотрите тему Правила данного раздела, иначе Ваша тема может быть удалена или перемещена в Карантин, а Вы так и не узнаете, почему.



Начать новую тему Ответить на тему На страницу Пред.  1, 2
 
 Re: Вопрос по группам
Сообщение20.01.2006, 21:41 


08/01/06
52
Требование, чтобы каждый элемент группы мог быть получен в результате групповой операции над другими элементами группы входит в определение понятия группа...
открываем учебник по линалу (Jänich//Lineare Algebra)...
Группа - непустое множество М, такое, что выполняется
1) $\forall a,b\in M\colon a$\circ$b$\in M\ --- замкнутость, относительно операции $\circ$, формально, ведь всегда можно положить a=е (см. пункт 3) :wink:
2) $\forall a,b,c\in M\colon (a$\circ$b$)$\circ$c$=$a$\circ$($b$\circ$c$) --- закон ассоциативности,
3) $\exists e\in M\:\forall a\in M\colon e$\circ$a$=$a$\circ$e=$a$ --- наличие двусторонней единицы,
4) $\forall a\in M\exists a^{-1}\colon a^{-1}\circ a= a\circ a^{-1} = e$ --- существование обратного элемента.

Если выкинуть 4) пункт, то, как было сказано выше, получим полугруппу с единицей...

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


09/10/05
1142
В условиях подразумевалось наличие обратного для каждого элемента (является так-же непременным условием для групповых аксиом, находит применение, например, в определнии подгруппы)...
Вообще, похоже просто спрашиволось, как я поняла :wink: , если группа задана аксиомами группы, то задают ли аксиомы группы само понятие группу. И ответ похоже должен быть "да", хотя сам вопрос несколко... эээ... нестандартен, что-ли

 Профиль  
                  
 
 Re: Ответ для lofar
Сообщение21.01.2006, 11:54 


01/01/06
35
Freude писал(а):
Если в определении группы, заменить требование существования обратного элемента, на требование, чтобы каждый элемент группы мог быть получен в результате групповой операции над другими элементами группы? Тогда единичный элемент должен получаться как результат умножения, то есть предполагается наличие обратного.

Мне не очевидно. Докажите.

Прошу прощения, не дописал. Предполагается наличие обратного для хотя бы одного элемента, иначе откуда возьмется единичный элемент?

Capella писал(а):
Вообще, похоже просто спрашиволось, как я поняла :wink: , если группа задана аксиомами группы, то задают ли аксиомы группы само понятие группу. И ответ похоже должен быть "да", хотя сам вопрос несколко... эээ... нестандартен, что-ли

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

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

 Профиль  
                  
 
 Re: Ответ для lofar
Сообщение21.01.2006, 13:55 
Супермодератор
Аватара пользователя


29/07/05
8248
Москва
temp писал(а):
То есть, существуют множества, где единичный элемент существует, но обратный элемент существует не для всех. А любая квадратная матрица может быть получена из таких же?


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

Кроме того, поскольку в наше множество входят невырожденные матрицы, то любую матрицу A можно всегда представить в виде A=(AB)C, где B - невырождена, С - обратная к В.

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

 Профиль  
                  
 
 
Сообщение21.01.2006, 15:07 


01/01/06
35
Спасибо, понял.

 Профиль  
                  
 
 
Сообщение21.01.2006, 20:43 
Экс-модератор


12/06/05
1595
MSU
Цитата:
Если же хочется представить вырожденную матрицу А в виде произведения вырожденных матриц, то очевидного представления я сходу не нахожу, но принципиально не вижу и никаких сложностей к нему.

Можно попробовать так: если квадратная матрица А вырождена, то она переводит все пространство в подпространство L меньшей размерности, обнуляя собственные векторы. Поэтому, если мы домножим ее на матрицу В - ортогональный проектор на пространство L, - то будет верно А=АВ=ВА
Ну и в том же духе можно умножать на всякие повороты пространства L и обратные к ним.

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

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



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

Сейчас этот форум просматривают: нет зарегистрированных пользователей


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

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