2014 dxdy logo

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

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


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


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

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

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

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

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



Начать новую тему Ответить на тему На страницу Пред.  1, 2
 
 Re: Ассоциативность
Сообщение07.02.2012, 08:54 
Супермодератор
Аватара пользователя


29/07/05
8248
Москва
Ну в общем это все примерно подобные рассуждения, конкретные детали можно выбирать как кому ближе.
Добавлю еще, что в моем рассуждении к обеим внешним скобкам уже применимо предположение индукции, поэтому в них можно расставлять порядок операций так, как удобно для выбранного метода рассуждения.

 Профиль  
                  
 
 Re: Доказать ассоциативность для любого количества переменных
Сообщение17.01.2015, 03:03 
Аватара пользователя


01/11/09
6
Извините заранее за некромантию.
Мне потребовалась весьма строгая формализация этого доказательства, и возник вопрос: почему для любого количества переменных существует последнее ("внешнее") вхождение символа операции? Иными словами, почему для любого n любая расстановка скобок представима в виде
$(x_1...x_k)(x_{k+1}...x_n)$
для некоторого k?

Тут или я туплю совсем в плане определения того, что значит "быть представимым в данном виде", или реально нужен совет.

 Профиль  
                  
 
 Re: Доказать ассоциативность для любого количества переменных
Сообщение17.01.2015, 05:15 
Заслуженный участник


16/02/13
4105
Владивосток
Потому что операция бинарная.

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

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



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

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


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

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