2014 dxdy logo

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

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


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


Посмотреть правила форума



Начать новую тему Эта тема закрыта, вы не можете редактировать и оставлять сообщения в ней. На страницу 1, 2  След.
 
 Бинарная операция
Сообщение16.08.2020, 10:58 


21/04/19
1182
Будем исходить из того, что для совершения бинарной операции необходимо два элемента.

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

Пусть дано множество $\{a, b, c, \cdots, w\}$ неповторяющихся элементов и на нем определена бинарная операция $ \circ $, которую мы назовем умножением. Мы можем умножить $a$ на $b$: $a \circ b=c$, -- но умножить $a$ на $a$ (или взять степень от $a$) не можем.

Теперь пусть каждый элемент множества $\{a, b, c, \cdots, w\}$ является множеством, состоящим из равных элементов, то есть классом, и пусть будет определена бинарная операция $ \circ$ (ее также назовем умножением), которая ставит в соответствие любой паре элементов, взятых из произвольных классов (в частности, из одного и того же класса), некоторый элемент некоторого класса.

Пусть $a_1, a_2$ являются элементами класса $a$, и пусть в результате их перемножения получается элемент класса $b$:

$$a_1  \circ a_2=b_1=b_2=b_3 \cdots .$$
Выражение "умножить элемент $a$ сам на себя" является условным, оно означает не то, что $a$ умножается на $a$, а то, что два элемента из класса $a$ умножаются друг на друга.

При этом можно смотреть на это как на перемножение классов и записывать это как

$$a  \circ a=b$$
что и делается.

Правильно?

 Профиль  
                  
 
 Re: Бинарная операция
Сообщение16.08.2020, 11:02 


21/05/16
4292
Аделаида
Vladimir Pliassov в сообщении #1479363 писал(а):
но умножить $a$ на $a$ (или взять степень от $a$) не можем.

Почему??? Бинарная операция определена на каждой паре чисел нашего множества.

 Профиль  
                  
 
 Re: Бинарная операция
Сообщение16.08.2020, 11:03 
Аватара пользователя


11/06/12
10390
стихия.вздох.мюсли
Vladimir Pliassov в сообщении #1479363 писал(а):
Мы можем умножить $a$ на $b$: $a \circ b=c$, -- но умножить $a$ на $a$ (или взять степень от $a$) не можем.
Дальше можно не читать, наверное. Чем пара равных элементов не заслужила иметь право перемножаться? Это ведь тоже два элемента рассматриваемого множества. Они равны, ну и что?

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


16/07/14
8337
Цюрих
Как выше уже написали - умножать элемент на себя можно. Вот для введения степени нужна ассоциативность.

 Профиль  
                  
 
 Re: Бинарная операция
Сообщение16.08.2020, 11:32 


21/04/19
1182
mihaild в сообщении #1479368 писал(а):
... умножать элемент на себя можно.


Вот именно, нельзя - если "исходить из того, что для совершения бинарной операции необходимо два элемента," - у меня там в самом начале написано.

 Профиль  
                  
 
 Re: Бинарная операция
Сообщение16.08.2020, 11:40 
Аватара пользователя


11/06/12
10390
стихия.вздох.мюсли
Vladimir Pliassov, два-то два, но почему нельзя взять два одинаковых элемента? Их же два!

 Профиль  
                  
 
 Re: Бинарная операция
Сообщение16.08.2020, 11:40 
Заслуженный участник
Аватара пользователя


16/07/14
8337
Цюрих
Vladimir Pliassov в сообщении #1479373 писал(а):
исходить из того, что для совершения бинарной операции необходимо два элемента
Я не понимаю, что значит эта фраза, но если она говорит, что умножать элемент на себя нельзя, то исходить из неё не надо.
Формально, бинарная операция - это функция на множестве пар элементов нашего множества. Компоненты пары не обязаны отличаться.

 Профиль  
                  
 
 Re: Бинарная операция
Сообщение16.08.2020, 11:50 


21/04/19
1182
Aritaborian в сообщении #1479375 писал(а):
Vladimir Pliassov, два-то два, но почему нельзя взять два одинаковых элемента? Их же два!


Потому что во взятом множестве нет двух одинаковых элементов - там написано: "Пусть дано множество $\{a, b, c, \cdots, w\}$ неповторяющихся элементов ..." -

правда, "неповторяющихся элементов" я приписал позже (редактировал).

 Профиль  
                  
 
 Re: Бинарная операция
Сообщение16.08.2020, 11:54 


21/05/16
4292
Аделаида
Пусть наше множество называется $M$. Тогда эта операция - функция с $M\times M$ на $M$. В $M\times M$ также входят и пары из одинаковых элементов.

 Профиль  
                  
 
 Re: Бинарная операция
Сообщение16.08.2020, 12:02 


21/04/19
1182
mihaild в сообщении #1479376 писал(а):
Vladimir Pliassov в сообщении #1479373 писал(а):
исходить из того, что для совершения бинарной операции необходимо два элемента
Я не понимаю, что значит эта фраза, но если она говорит, что умножать элемент на себя нельзя, то исходить из неё не надо.
Формально, бинарная операция - это функция на множестве пар элементов нашего множества. Компоненты пары не обязаны отличаться.


Пара состоит из двух элементов, а у нас только один.

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

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

 Профиль  
                  
 
 Re: Бинарная операция
Сообщение16.08.2020, 12:10 
Аватара пользователя


11/12/16
13195
уездный город Н
Vladimir Pliassov в сообщении #1479381 писал(а):
и взять из этого класса два произвольных элемента - они все одинаковые.


Из множества
Vladimir Pliassov в сообщении #1479363 писал(а):
$\{a, b, c, \cdots, w\}$

Вы "взяли" (как первый операнд бинарной операции) элемент $a$.
Множество изменилось?

 Профиль  
                  
 
 Re: Бинарная операция
Сообщение16.08.2020, 12:11 
Заслуженный участник


31/12/05
1405
Vladimir Pliassov в сообщении #1479381 писал(а):
Пара состоит из двух элементов, а у нас только один.
В алфавите только одна буква "а", а вы ее вон уже сколько раз использовали.

 Профиль  
                  
 
 Re: Бинарная операция
Сообщение16.08.2020, 12:15 
Аватара пользователя


11/12/16
13195
уездный город Н
tolstopuz

(Оффтоп)

tolstopuz в сообщении #1479384 писал(а):
В алфавите только одна буква "а", а вы ее вон уже сколько раз использовали.

В алфавите "a а", а он использует "the а"
:mrgreen:

 Профиль  
                  
 
 Re: Бинарная операция
Сообщение16.08.2020, 12:21 
Аватара пользователя


11/06/12
10390
стихия.вздох.мюсли

(EUgeneUS)

EUgeneUS в сообщении #1479385 писал(а):
В алфавите "a а"
Не "a a", а "an a"! ;-Þ

 Профиль  
                  
 
 Re: Бинарная операция
Сообщение16.08.2020, 13:15 


21/04/19
1182
kotenok gav в сообщении #1479380 писал(а):
Пусть наше множество называется $M$. Тогда эта операция - функция с $M\times M$ на $M$. В $M\times M$ также входят и пары из одинаковых элементов.


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

Исходя из этой посылки, функция $M\times M$ предполагает, что когда говорят: "элемент из $M$ умножается сам на себя", - то имеется в виду, что элементы $M$ представляют собой классы, и перемножаются два элемента из одного и того же класса.

То есть при умножении элемента из $M$ самого на себя $M$ является фактор-множеством - каждый его элемент есть класс (равных) элементов.

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

Как было сказано, "выражение "умножить элемент $a$ сам на себя" является условным, оно означает не то, что $a$ умножается на $a$, а то, что два элемента из класса $a$ умножаются друг на друга," - но чаще всего над этой условностью не задумываются и воспринимают это выражение буквально.

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

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



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

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


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

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