Теория музыки для математиков/Тональный ряд: различия между версиями

Содержимое удалено Содержимое добавлено
Нет описания правки
Нет описания правки
Строка 1:
Я считаю что [[Участник:Самохвалов|Cамохвалов]] тупой [[гомосексуал]]ист-педераст что [[Участник:Lvova|Анастасия Львова]] идиотка и она трахалась со [[Сталин]]ым и за это её ебали нацистские генералы [[Гитлер]]а ещё Самохвалова отъебли немцы-[[фашисты]] в немецком концлагере а потом отправили его в [[газенваген]]!
{{wikify}}
 
Теперь обратимся к последовательностям из элементов тонального множества (назовем их тональными последовательностями). Будем рассматривать (пока) лишь конечные последовательности (последовательности длины N).
Обращением последовательности (x1, x2, ..., xN) называется последовательность (x2, ..., xN, x1). Если мы повторим операцию обращения i раз, то получим i-ое обращение. Саму последовательность будем для удобства называть своим нулевым обращением. Последовательность длины N имеет ровно N обращений – дальше все повторяется.
Отношение «быть обращением» является отношением эквивалентности на множестве тональных последовательностей (рефлексивность, симметричность и транзитивность нетрудно проверить).
 
Тональным подмножеством назовем подмножество тонального множества. Любому такому множеству можно поставить в соответствие последовательность, если расставить элементы множества в возрастающем порядке. Такую последовательность назовем стандартной. Обратно – любая последовательность задает некоторое множество – множество своих элементов. Это соответсвие взаимно однозначно.
Особое место занимает класс порождающих тональных подмножеств.
Порождающим тональным подмножеством называется тональное подмножество, расстояния между соседними элементами которого не превышает тона. (Соседство понимается в стандартной последовательности множества, последний элемент является соседним с первым.)
 
Пример порождающего множества мощности 9: {0, 2, 3, 4, 6, 8, 9, 10, 11}
 
'''Лемма 1.''' Чтобы SНT являлось порождающим множеством в T необходимо и достаточно чтобы любой элемент t из T либо сам лежал в S, либо #t и @t лежали в S (и соответственно t мог бы быть представлен повышением/понижением на полтона какого-либо элемента из S).
 
'''Доказательство.'''<br>
''Необходимость.'' Возьмем t из T. Если t лежит в S – все доказано. Если же нет, то пойдем от противного. Возьмем элементы #t и @t. По нашему допущению хотя бы один из них не лежит в S. Без ограничения общности положим, что #t не лежит в S. Возьмем наибольший элемент из S, не превосходящий @t и наименьший элемент из S, превосходящий #t. Расстояние между ними строго больше 2 (между ними как минимум t и #t) , что противоречит тому, что S – порождающее множество. Предположение неверно и необходимость доказана.
 
''Достаточность.'' Опять от противного. Пусть существуют такие соседние в S звуки t и t*, что t*-t > 2. Тогда между ними найдутся как минимум два звука x < y из T, не принадлежащих S. Т.е. ни x, ни #x не принадлежат S, что противоречит нашей посылке. Достаточность тоже доказана.
 
'''Лемма 2.''' Если n – мощность порождающего множества S, то 6 Ј n Ј 12.
 
'''Доказательство.''' Обозначим через x – количество полутоновых интервалов между соседними элементами стандартной последовательности S, а через y – количество тоновых интервалов. Из того, что общее количество элементов – n следует, что x + y = n. Суммарная же длина всех интервалов составляет очевидно 12: x + 2y = 12. Очевидно также, что как x, так и y – неотрицательные. Получаем такую систему уравнений:
 
x + 2y = 12
x + y = n (4)
xі0, yі0
 
Решая систему относительно x и y, получаем
 
x = 2n – 12 і 0 (5)
y = 12 – n і 0
 
Откуда непосредственно вытекает искомый результат.
 
'''Лемма 3.''' Количество различных порождающих множеств мощности n равно
 
n! / (12-n)! (2n-12)! (6)
 
'''Доказательство.''' В нашей последовательности из n элементов встречается x полутонов. Количество способов, которыми можно выбрать места, на которых встречаются полутоны в последовательности есть Cnx = n! / x! (n-x)!. На остальных местах тогда стоят целые тоны. Подставив вместо x результаты из предыдущей леммы получаем желаемое.
Тот же результат получается, если рассуждать не о полутонах, а о тонах – все симметрично.
 
Особую роль играют порождающие множества мощности 7.
Интересный вопрос – почему именно множества из 7 элементов. С ходу можно придумать как-минимум два объяснения из математических соображений. Имеют ли они под собой какую-то основу – непонятно. Первая идея – при построениии музыкального звукоряда мы использовали именно 7 октав. Вторая идея – 7- это наименьшая мощность, при которой получается нетривиальное порождающее множество (т.е. как расстояния между элементами фигурируют как тоны, так и полутоны). Множество мощности 6 состоит согласно предыдущей лемме лишь из тонов.
 
При n=7 мы имеем x = 2 и y = 5, а количество различных порождающих множеств - 21.
 
Рассмотрим класс тональных последовательностей x1, ..., xN с такими свойствами:
*N = 7
*последовательность строго возрастающая, т.е. x1 < x2 < ... < x7
*интервал между соседними элементами последовательности не превышает одного целого тона (т.е. составляет либо 1 полутон, либо 2), т.е. 1 <= xi+1 – xi <=2, i = 1,...,6 и 1 <= x1 – x7 <=2 (интервал между последним элементом и первым также не превосходит 2)
 
Пример такой последовательности: (0, 2, 4, 5, 7, 9, 11)
 
Главным порождающим множеством назывется следующее множество: {0, 2, 4, 5, 7, 9, 11}. Звуки этого множества имеют собственные обозначения:
 
===========================
номер латинское русское
название название
---------------------------
0 C до
2 D ре
4 E ми
5 F фа
7 G соль
9 A ля
11 H си
===========================
 
В англоязычной традиции принято обозначать 11-ый звук не H, а B. В русской и немецкой традиции – H остается за 11-м звуком, а буквой B обозначается 10-й звук.
 
По лемме 1 все другие звуки могут быть получены из звуков главного множества понижением или повышением на полтона:
 
C, #C=@D, D, #D=@E, E, F, #F=@G, G, #G=@A, A, #A=@H=B, H
 
Данная запись и является традиционной музыкальной записью нот.
 
[[Теория музыки для математиков: Содержание|к содержанию]]