avva: (moose)
[personal profile] avva
Эта запись продолжает предыдущую "о литрах, людях и умножении" - начните с нее, если еще не читали.

Сейчас я расскажу вам, что я лично для себя нового понял из всей этой истории. Не знаю, как для вас, а для меня это понимание было совершенно неожиданным, даже ошеломительным. Я думал, что все понимаю в задаче про 18 литров и вычислении размерностей, а оказалось, что самое важное понимаю не до конца.

Я сидел и читал довольно долго отрывки из разных учебников арифметики 19 века вчера, некоторые из которых процитировал в прошлой записи. И все не мог понять, зачем же им нужны эти странные правила, что только множимое может быть конкретным (литры, люди, метры, доллары), а множитель обязательно абстрактным (разы)? Ведь действительно, самый простой способ записать пример с литрами, чтобы все размерности сходились - это
"2л/ч * 9ч = 18л". Тут все учтено и все логично, и ведь сказано в условии, что по два литра на человека. Или возьмите другой тривиальный пример, который приводили: машина едет 2 часа со скоростью 60 км/ч. Сколько она проехала? Понятно же, что 2ч * 60км/ч = 60км/ч * 2ч = 120км, порядок значения не имеет, часы в любом случае сокращаются и размерности обоих множителей важны для этого. А если по этим книгам 19 века, то непонятно даже, как это записать логично. Почему же они так извращались?

Я вам сейчас задам несколько риторических вопросов, а вы в них вдумайтесь, как следует, не отвергайте как глупые сразу, ладно?

Машина едет со скоростью 60 километров в час. Или, как мы записываем, 60 км/ч. Единица измерения - единица скорости - км/ч.

Скажите, друзья, а что это такое - поделить километр на час? Какой у этого действия смысл? Когда это вы такое видели? Я знаю, что такое поделить километр на 10 равных частей, например. Поделить пирог на три куска. Поделить 18 на 3. Это все я понимаю. А что такое "поделить километр на час"?

Фермер продал 9 покупателям по 2 литра на человека, мы записываем 2 л/чел * 9чел = 18л. Извините, а что это такое "л/чел"? Как это - поделить литр на человека? Как вы себе такое представляете?

Я знаю, что такое километр в час, это значит, что одному часу соответствует один километр. Но я не знаю, что такое километр поделить на час. Я знаю, что такое литр на человека, это значит, что один человек получает один литр. Но я не знаю, что такое литр поделить на человека, если пользоваться тем понятием 'деление', которое мы знаем из арифметики. То, в котором можно поделить пирог на троих или 10 на 2.

Но мы говорим вслух "километр в час", а записываем км/ч. Говорим вслух "литр на человека", а записываем л/ч. Я осознал, что я это делаю, не задумываясь ни на секунду о том, что это несколько разные вещи. Я предлагаю вам продумать это, как следует - ведь это прекрасно совершенно, мы постоянно пишем бессмыслицу, не задумываясь об этом! (я преувеличиваю ради риторики, это не бессмыслица, конечно, но можно так на это посмотреть). Все эти км/ч - что это такое вообще?

"км/ч" - это использование, повседневное и незаметное, метода размерностей. "км/ч" - это такой способ записать алгебраически обычное и понятное "километр в час", чтобы потом обычными правилами умножения этих абстрактных единиц все "правильно сократилось". Когда мы записываем 60 км/ч * 2 ч = 120 км, то все удобно сокращается, потому что мы так специально подстроили, записав км/ч в виде дроби. По природе своей в этом понятии скорости нет дроби в арифметическом смысле, нет деления, как мы его знаем из арифметики.

Каковы на самом деле единицы скорости, что такое "60 километров в час"? Это фиксирование определенного масштабирования, определенного способа совместить шкалу "километры" и шкалу "часы". В этом нет ничего от "деления", но у этой операции общие свойства с делением. Если мы берем сколько-то "километров в час" и умножаем их на сколько-то "часов", то в результате будут только "километры". Это раз. Более того, если мы изменим масштаб километров (перейдем в метры, скажем), то скорость изменится в одну сторону, а если изменим масштаб часов, то в другую (километры в метры - скорость увеличится; часы в секунды - уменьшится). Это ровно то, что происходит с делением: если делитель увеличить, частное увеличится, делимое увеличить - частное уменьшится. Выходит, что эту операцию фиксации масштаба, операцию "в,на", удобно записать в виде деления "км/ч", и все единицы размерности будут себя вести ровно так, как нам надо.

Но кто-то должен был это придумать. Это не очевидно "просто так", что можно взять и записать "километр в час" как км/ч. И я не знаю, когда это придумали, но в 19-м веке, судя по всему, так не делали! Я просмотрел, например, несколько учебников механики 19 века. Когда там описывается скорость, везде пишут "feet per second" итд., нигде ни разу не написано "f/s" или m/s или еще как. Нам кажется странным, что они так не писали, а с их точки зрения, вполне резонной, это же полный бред: как можно метры поделить на секунду, зачем писать такую чепуху???

(да, они умели, конечно, оперировать многочленами, и понимали, что такое x/y. Но зачем, с их точки зрения, относиться к конкретным метрам и секундам как к неизвестным величинам x и y? Опять-таки, бред какой-то).

В "Британнике" за 1911 год я прочитал статью о единицах измерения, и там сказано, что метод размерностей впервые был сформулирован в 1822 году, в книге Фурье "Аналитическая теория тепла". Вот соответствующий раздел этой книги в английском переводе (раздел "General remarks"). Фурье объясняет там, что в каждом физическом уравнении размерности длины/времени/температуры/итд. с двух сторон должны быть одинаковыми, и этим удобно пользоваться. Но он не пишет, как написали бы мы сейчас, что если слева m/s^2, то и справа должно быть m/s^2. Он не делит метры на секунды! Он пишет, что в такой ситуации у длины есть экспонента +1 с обеих сторон уравнения, а у времени экспонента -2. И объясняет, что это значит, с точки зрения перехода на другие единицы (скажем, если экспонента длины +1, то увеличив длину в 10 раз, мы увеличим значение в 10 раз, а если -1, то уменьшим в 10 раз). Но ему не приходит в голову взять эти единицы размерности и записать их делением (или умножением!). Это определенный дополнительный абстрактный шаг, который кто-то когда-то придумал позже, возможно, в конце 19-го века или даже начале 20-го. Я бы хотел проследить, кто и когда (если у вас есть идеи, поделитесь).

И вот это меня ошеломило, на самом деле - что столь очевидное для меня км/ч или л/чел или что угодно еще на самом деле даже в конце 19-го века не использовалось широко, и всего за последние 100 лет так твердо вошло в наш математический язык, что школьники сейчас пользуются этим, не задумываясь ни на секунду.

Но вот что следует признать из всего этого, и опять-таки мне это было нетривиально понять - что как минимум школьникам в младших классах, которым только объясняют, что такое умножение, объяснять "2 л/чел * 9 чел" было бы совершенно неправильно. Нам эти 2л/чел кажутся совершенно прозрачным способом написать "2 литра на человека", но на самом деле это нетривиальная абстракция (до которой в 19-м веке не додумались!), в определенном смысле "нечестное" использование деления - которого эти школьники вообще еще не знают - для того, чтобы сошлись размерности. Это не значит, что я согласен с защитниками того самого учителя, нет; все равно и 2*9, и 9*2 надо считать правильным ответом. Но до того, как я обо всем этом как следует подумал, я бы наивно предложил объяснить детям про 2л/чел, а теперь понимаю, что это куда сложнее, чем материал "что такое умножение", который они проходят.

Date: 2013-04-18 08:25 pm (UTC)
From: [identity profile] gul-kiev.livejournal.com
Тема действительно благодатная, иначе бы она не собрала многие тысячи комментов.
Я для себя вынес следующее:
1. Подавляющее большинство людей считают, что 5*3 и 3*5 - разные формы записи одного и того же. Что a*b=b*a то ли по определению, то ли это аксиома, то ли потому что симметрия - один из основных законов мироздания. То же относится и к коммутативности сложения. На вопрос, почему это не относится к возведению в степень, внятно ответить не могут. На вопрос о неабелевых группах молчат. Вывод: коммутативность в школе заучивают, а не объясняют.
2. Подавляющее большинство людей считают, что умножение вводится через сложение только в начальной школе, а на самом деле сложение ни при чём, настоящее умножение к сложению не привязано, ведь иначе можно было бы умножать только на натуральное число. И вот настоящее умножение изначально коммутативно, позволяет умножать хоть на дробное число, хоть на метры. На предложение определить настоящее умножение ответа нет. В ответ на аксиомы Пеано и определение умножения на произвольное действительное число через сложение молчат.
3. Размерности. Вообще песня. Понимания нет практически ни у кого. Даже люди, заявляющие о тринадцати годах научной работы физика, утверждают, что логарифм отношения не всегда равен разности логарифмов, ведь если это отношение размерных величин, то в случае разности с размерностями получается какая-то ерунда. С размерностями учат работать, но не учат пониманию того, что это такое, почему оно вообще работает и что означает. Это может быть темой отдельного немаленького поста.

Несколько тезисов о размерностях.
1. Если кто-то думает, что логарифмов от размерных величин не бывает - посмотрите, например, сюда (http://ru.wikipedia.org/wiki/Адиабатический_процесс#.D0.92.D1.8B.D0.B2.D0.BE.D0.B4_.D1.83.D1.80.D0.B0.D0.B2.D0.BD.D0.B5.D0.BD.D0.B8.D1.8F).
2. Математика отдельно, размерности отдельно. Нельзя логарифмировать попугая, но и делить его тоже нельзя. Все математические действия производятся только над числами.
3. Размерность говорит о том, как изменится число в формуле при изменении единицы измерения. Как правило, результат пропорционален единице измерения в какой-то степени (набор таких пропорциональностей и есть размерность результата), но это не обязательно так.
4. Набор основных единиц измерения и их количество специфично для физической теории, оно связано с количеством фундаментальных физических постоянных и при смене теории может измениться в любую сторону.
Edited Date: 2013-04-18 08:40 pm (UTC)

Date: 2013-04-18 08:48 pm (UTC)
From: [identity profile] asox.livejournal.com
Во всех известных мне формулах - под знаком функции типа ln, экспоненты или тригонометрической - всегда стояли безразмерные коэффициенты.
Величина dV/V - безразмерная, я, конечно, знаю, что термодинимака - это тёмная магия, но всё-таки не до такой степени, пмсм.
Хотя в час ночи я не придумаю, как это уравнение "отнормировать".

Date: 2013-04-19 05:21 am (UTC)
From: [identity profile] gul-kiev.livejournal.com
Чтобы "отнормировать", там достаточно вместо неопределённого интеграла записать определённый, и получится разность логарифмов, которая равна логарифму отношения.
Вопрос ведь не в том, можно ли "отнормировать", а в том, что такое размерность и что с ней можно делать. Ну получился в формуле логарифм размерной величины - это ещё не говорит о том, что где-то ошибка. Работу идеального газа при изотермическом расширении вполне можно считать по формуле
A = NkT(ln(V1)-ln(V2)),
где N - число частиц газа, Т - температура, k - постоянная Больцмана, V1 и V2 - объём в начале и в конце процесса. Необязательно сначала объёмы делить, а потом логарифмировать, можно и сначала прологарифмировать объёмы (о ужас!), а потом вычесть результаты, математические тождества работают.

Date: 2013-04-19 07:13 am (UTC)
From: [identity profile] asox.livejournal.com
Чтобы "отнормировать", там достаточно вместо неопределённого интеграла записать определённый

Я это минут через пятнадцать вспомнил после написания письма - точнее вспомнил, что при неопределённом интеграле полагается приписывать постоянную интегрирования, причём при каждом - свою, о которых здесь забыли.
Что касается логарифма объёма... Ну да, здесь такой фокус проскакивает - но вообще он выглядит "грязным".
Поэтому для размерных величин раскрывать отношение под логарифмом не стоит.
Edited Date: 2013-04-19 07:22 am (UTC)

Date: 2013-04-19 04:48 am (UTC)
From: [identity profile] alex shayda (from livejournal.com)
скажите, а калькулятор у вас есть?

Date: 2013-04-19 05:05 am (UTC)
From: [identity profile] gul-kiev.livejournal.com
Да, bc есть.
Вы что-то хотели сказать?

Date: 2013-04-19 05:30 am (UTC)
From: [identity profile] alex shayda (from livejournal.com)
я хотел было сказать, что умножение в калькуляторе всегда коммутативно, однако стал в том сомневатся (допустим, при переполнении как он себя ведет? неопределенно, завист от модели калькулятора). наверное калькулятор-то как раз и есть тот единственный предмет на котором можно увидеть некоммутативность. типа, A*B*C <> A*C*B


Date: 2013-04-19 05:49 am (UTC)
From: [identity profile] gul-kiev.livejournal.com
Неужели кто-то оспаривает коммутативность умножения чисел? 8-)

Я уверен, даже учитель, исправивший 9*2 на 2*9, хорошо знал, что результат от порядка множителей не зависит.

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

Date: 2013-04-19 06:08 am (UTC)
From: [identity profile] alex shayda (from livejournal.com)
ну вот вы, неабелевы группы вспоминаете. в них результат бинарной операции от порядка операндов зависит. если уж в начальной школе оценивать порядок операндов, то о некоммутативности умножения нужно рассказывать (в некоторых кольцах), и о неабелевых группах нужно вскользь упомянуть.

такая вот точка зрения.
Edited Date: 2013-04-19 06:12 am (UTC)

Date: 2013-04-19 07:45 am (UTC)
From: [identity profile] gul-kiev.livejournal.com
О неабелевых группах в начальной школе? Даже если приводить простые примеры вроде преобразований кубика Рубика (или просто дискретных вращений куба) - боюсь, для начальной школы это будет слишком. В начальной школе не тот уровень абстрактного мышления.

А вот объяснить, почему 3+3+3+3+3 равно 5+5+5, нужно - например, считая количество клеточек прямоугольника 3x5, суммируя по столбцам и по строкам. Чтобы ученик понимал, что 5*3 и 3*5 - это разные вещи, дающие одинаковый результат.

Date: 2013-04-20 03:12 am (UTC)

December 2025

S M T W T F S
  123 4 56
78 9 10 11 1213
1415 1617181920
21 22 23 24 2526 27
28293031   

Most Popular Tags

Style Credit

Expand Cut Tags

No cut tags
Page generated Dec. 30th, 2025 05:58 am
Powered by Dreamwidth Studios