Микель Альберти - Мир математики. т 40. Математическая планета. Путешествие вокруг света
Большинство отношений, обладающих рефлексивностью, симметричностью и транзитивностью, являются отношениями эквивалентности, поэтому совокупности субъектов или элементов, связанных такими отношениями, называются классами эквивалентности.
Классы эквивалентности — это то, с чем каждый день имеют дело все люди (хотя при этом они используют не термины, а обычные слова). Когда мы говорим «яблоко», то имеем в виду вид фруктов, но говорим о нем как о классе эквивалентности на множестве всех фруктов. Если мы говорим «ранетка», то имеем в виду класс эквивалентности на множестве яблок. «Является яблоком» и «является ранеткой» — отношения эквивалентности на множестве фруктов и яблок соответственно.
Существуют ли отношения эквивалентности среди родственных связей? В следующей таблице приведены свойства, которыми обладают отношения кровного родства и свойства (выделены серым цветом). Пол людей в таблице не учитывается, то есть отношения «является братом» и «является сестрой» равнозначны.
Так как никакое из этих отношений не обладает всеми тремя свойствами, то ни одно из них не является отношением эквивалентности. Ближайший кандидат — отношение «быть братом»: оно симметрично и транзитивно, но не обладает рефлексивностью.
В нашей культуре геометрической моделью структуры родства является генеалогическое дерево. На нем изображены отношения кровного родства и брака. На следующем дереве браки обозначены горизонтальными линиями.
Отношения между дедами, отцами, сыновьями и внуками, связывающие разные поколения, составляют вертикальную ось системы. Отношения кровного родства на уровне каждого поколения, то есть отношения, обозначенные на схеме горизонтальными линиями, — это связи между родными и двоюродными братьями и сестрами. Отношения свойства — это связи между супругами и их родственниками.
Совокупность отношений кровного родства и свойства определяет другие отношения, которые на генеалогическом древе обозначены диагоналями. Это родственные связи между дядьями и племянниками, тестями, тещами, невестками и зятьями.
Если говорить о поле, наша система обладает двойственностью в том смысле, что в несимметричных отношениях (таких большинство) присутствуют дополняющие элементы. В отношениях между родными и двоюродными братьями и сестрами, между супругами и их родственниками дополняющие элементы необязательны. Если А — родной или двоюродный брат, супруг или родственник супруга В, то В — родной или двоюродный брат, супруг или родственник супруга А. Но в асимметричных отношениях дело обстоит иначе:
дед — внук
отец — сын
тесть — зять
дядя — племянник.
Генеалогическое древо — геометрическая модель отношений родства в том виде, в каком они понимаются в нашей культуре. Теперь составим алгебраическую модель отношений кровного родства (за исключением родных и двоюродных братьев, дядей и племянников), охватывающую пять поколений (деды, отцы, наше поколение, дети и внуки). Представители различных поколений обозначены числами: 0 обозначает поколение, к которому принадлежит читатель, отрицательные числа — предшествующие поколения (-1 — отцы, — 2 — деды), положительные числа — последующие поколения (1 — дети; 2 — внуки).
Будем предполагать, что читатель принадлежит к поколению 0. Тогда операция (—1) * (1) означает «дед моего внука», то есть я, то есть 0. Проведя аналогичные рассуждения, заполним таблицу.
Операция *, определенная в этой таблице, эквивалентна сумме цифр в соответствующем столбце и строке. Композиция отношения с самим собой обозначается символом (°) и может представлять собой исходное либо какое-то другое отношение.
Отец ° отец = дед.
Сын ° сын = внук.
Брат ° брат = брат.
Родственные отношения народа варяпири (Австралия)
Варлпири — аборигены, живущие в Австралии. Сложная структура их родственных отношений определяет модели поведения, взаимоотношений, общественной и политической организации, а также проведение ритуалов. Для варлпири, как и для других народов, все сущее связано между собой в единой картине мира, определенной мифологическими предками, которые сотворили горы и реки, флору и фауну и дали всему названия. Предки варлпири также указали, что является священным и какие ритуалы и церемонии следует проводить.
Структура родственных отношений варлпири описывается рядом правил. Каждый абориген принадлежит к одной из восьми групп. Так, группа, к которой принадлежат дети от брака, отличается от групп, к которым принадлежат родители, и определяется по материнской линии. Если мы обозначим группы числами от 1 до 8, то дочь женщины из группы 4 будет принадлежать группе 2, ее дочь — группе 3, дочь последней — группе 1. Аналогично определяются взаимосвязи между группами 5, 6, 7 и 8. Следовательно, по материнской линии существует два непересекающихся цикла четвертого порядка, {1, 4, 2, 3} и {3, 7, 6, 8}.
Циклы, определяемые по материнской линии в структуре родственных отношений австралийских аборигенов варлпири.
Еще одно правило заключается в том, что браки не могут заключаться в пределах одной группы. В следующей геометрической модели структуры родства браки обозначены пунктирными линиями.
Браки в структуре родственных отношений варлпири.
Так как группы, к которым принадлежат мужчины, определяются на основе женских, то если мужчина из группы 1 женится на женщине из группы 5, их сын будет принадлежать к группе 7. Следовательно, он женится на женщине из группы 3, а сын от их брака вновь будет принадлежать к исходной группе 1. По отцовской линии определено четыре цикла второго порядка: {1, 7}, {2, 8}, {3, 6} и {4, 3}.
Циклы, определяемые по отцовской линии в структуре родственных отношений варлпири.
Таким образом, имеем два цикла четвертого порядка по материнской линии и четыре цикла второго порядка по отцовской линии, которые в сумме охватывают все восемь групп структуры родственных отношений. Упомянутые восемь групп могут объединяться разными способами и образовывать множества, для которых определяются различные аспекты жизни в обществе. К примеру, группы, описывающие права наследования, отличаются от групп, описывающих допустимые браки или объединения для проведения каких-либо работ.
Формальное математическое описание этой структуры есть не что иное, как практическое применение понятия, которое в теории групп называется группой изометрии восьмого порядка. Чтобы проиллюстрировать эту идею, покажем, как изометрии квадрата образуют группу изометрии восьмого порядка.
Изометрия — это преобразование, не изменяющее форму и размер объектов.
На плоскости определены три изометрических преобразования: параллельный перенос, поворот и отражение (осевая симметрия). Параллельный перенос попросту меняет положение фигуры, поворот заключается во вращении фигуры вокруг неподвижной точки, называемой центром, отражение представляет собой осевую симметрию относительно отрезка. Какие из этих преобразований можно применить к квадрату так, чтобы результат преобразования совпадал с исходной фигурой?
Наименьший угол поворота, при котором квадрат остается неизменным, равен 90°. Такой поворот представляет собой преобразование четвертого порядка:
* * *
ГЕОМЕТРИЯ В ИЗМЕРЕНИИ ПРОСТРАНСТВА И ВРЕМЕНИ
Осознаем ли мы что-то так же четко, как ход времени? Сегодня время измеряется в секундах, минутах, часах, днях, месяцах, годах и единицах, кратных и дробных указанным. Не так давно расстояния также измерялись по времени в пути. Для измерения интервалов времени меньше дня или ночи мореплаватели изготавливали различные приспособления. Одним из них был пустой кокос с небольшим отверстием в нижней части. Кокос помещался в таз с водой, постепенно наполнялся и полностью погружался в воду примерно за один час.
Еще одно из таких устройств применяется до сих пор — это песочные часы. В идеальном варианте песчинки падают одна за другой через узкое отверстие, соединяющее два стеклянных конуса. Это наводит на мысли о времени как о дискретной величине, которую можно измерить отдельными песчинками. Однако мы представляем время как непрерывную величину, которая описывается движением радиуса окружности, закрепленного одним концом в ее центре. Измерение времени тесно связано с окружностью и ее делением на 60 частей. Эту систему мы унаследовали от народов Месопотамии и используем как для определения времени, так и для ориентирования в пространстве.
