<?xml version="1.0" encoding="utf-8" ?><rss version="2.0" xmlns:tt="http://teletype.in/" xmlns:atom="http://www.w3.org/2005/Atom" xmlns:dc="http://purl.org/dc/elements/1.1/" xmlns:content="http://purl.org/rss/1.0/modules/content/" xmlns:media="http://search.yahoo.com/mrss/"><channel><title>Математический рок-н-ролл</title><generator>teletype.in</generator><description><![CDATA[Необычная математика доступным языком.]]></description><link>https://teletype.in/@mathrocknroll?utm_source=teletype&amp;utm_medium=feed_rss&amp;utm_campaign=mathrocknroll</link><atom:link rel="self" type="application/rss+xml" href="https://teletype.in/rss/mathrocknroll?offset=0"></atom:link><atom:link rel="next" type="application/rss+xml" href="https://teletype.in/rss/mathrocknroll?offset=10"></atom:link><atom:link rel="search" type="application/opensearchdescription+xml" title="Teletype" href="https://teletype.in/opensearch.xml"></atom:link><pubDate>Wed, 22 Apr 2026 22:24:37 GMT</pubDate><lastBuildDate>Wed, 22 Apr 2026 22:24:37 GMT</lastBuildDate><item><guid isPermaLink="true">https://teletype.in/@mathrocknroll/de-vries-perspective-1604</guid><link>https://teletype.in/@mathrocknroll/de-vries-perspective-1604?utm_source=teletype&amp;utm_medium=feed_rss&amp;utm_campaign=mathrocknroll</link><comments>https://teletype.in/@mathrocknroll/de-vries-perspective-1604?utm_source=teletype&amp;utm_medium=feed_rss&amp;utm_campaign=mathrocknroll#comments</comments><dc:creator>mathrocknroll</dc:creator><title>Ганс Вредеман де Врис. Перспектива. 1604 год</title><pubDate>Tue, 17 Mar 2026 16:07:14 GMT</pubDate><media:content medium="image" url="https://img2.teletype.in/files/95/13/95132c7d-5d58-4e31-aa59-0a6078ac1652.png"></media:content><category>Геометрия</category><description><![CDATA[<img src="https://img4.teletype.in/files/fc/d9/fcd91d57-e69c-4445-b2ad-9b038ab3137d.png"></img>Книга де Вриса (1604) &quot;Перспектива, то есть знаменитое искусство изображения глубины пространства с помощью взгляда, устремленного внутрь или сквозь объект...&quot;]]></description><content:encoded><![CDATA[
  <figure id="tbAJ" class="m_column">
    <img src="https://img4.teletype.in/files/fc/d9/fcd91d57-e69c-4445-b2ad-9b038ab3137d.png" width="1071" />
  </figure>
  <p id="ybW1"><em><a href="https://ru.wikipedia.org/wiki/%D0%92%D1%80%D0%B8%D1%81_%D0%93%D0%B0%D0%BD%D1%81_%D0%92%D1%80%D0%B5%D0%B4%D0%B5%D0%BC%D0%B0%D0%BD_%D0%B4%D0%B5" target="_blank">Ганс Вредеман де Врис</a></em> (1527 — 1607) был нидерландским архитектором, живописцем и гравером, теоретиком архитектуры и перспективы, искусным рисовальщиком, известным своими перспективными творениями и сочинением причудливых архитектурных орнаментов.</p>
  <figure id="rV83" class="m_column">
    <img src="https://img2.teletype.in/files/1b/13/1b134247-25fd-4ee4-ae98-7e9297af6574.png" width="960" />
    <figcaption>Ioannes Vredemannus Frisius -- так звучало имя де Вриса на латыни.</figcaption>
  </figure>
  <p id="pxy1">Его <em>magnum opus,</em> опубликованный в 1604 году под лаконичным названием «Перспектива», — это уникальный синтез архитектурной теории и прикладной геометрии, выраженных с помощью гравюр.</p>
  <section style="background-color:hsl(hsl(55,  86%, var(--autocolor-background-lightness, 95%)), 85%, 85%);">
    <p id="ls6M"><em>Hans Vredeman de Vries</em>. 1604.<br /><em>«<strong>Perspective, c’est à dire le très renommé art du poinct oculaire d’une veue dedans où travers regardante…</strong>»</em></p>
    <p id="8UeH"><em>«Перспектива, то есть знаменитое искусство изображения глубины пространства с помощью взгляда, устремленного внутрь или сквозь объект…»</em></p>
  </section>
  <p id="dcji">Автор использует необычную методику построения изображений:</p>
  <figure id="0K5F" class="m_column">
    <img src="https://img3.teletype.in/files/a2/59/a2592111-f7e6-4489-9d0c-f3927d1f74b5.png" width="972" />
  </figure>
  <p id="SjNQ">гравюры сопровождаются детальной визуализацией конструктивных сеток, линий визирования и точек схода.</p>
  <figure id="C60T" class="m_column">
    <img src="https://img3.teletype.in/files/e3/41/e341c720-48b2-42e6-a1c9-2d547cc79cdc.png" width="972" />
  </figure>
  <p id="y20d">Поэтому читатель видит не только конечный художественный образ, но и скелет геометрической конструкции, лежащий в основе.</p>
  <figure id="WJ0U" class="m_column">
    <img src="https://img2.teletype.in/files/98/0a/980ae0c6-8067-45df-aa11-4708f36217ea.png" width="972" />
  </figure>
  <p id="T8Mg">Структура трактата демонстрирует дидактический подход, характерный для математических сочинений Возрождения.</p>
  <figure id="sGhc" class="m_column">
    <img src="https://img4.teletype.in/files/35/86/3586c41e-567f-47a8-942c-e627edc7d8a7.png" width="972" />
  </figure>
  <p id="7OTj">Начальные гравюры посвящены абстрактным пространственным конфигурациям — своего рода чистым геометрическим экспериментам.</p>
  <figure id="YDxy" class="m_column">
    <img src="https://img1.teletype.in/files/4d/3d/4d3d5905-723f-4260-af7a-165e7d0cb756.png" width="972" />
  </figure>
  <p id="JSyj">По мере продвижения по тексту задачи усложняются: абстрактные формы обрастают архитектурной детализацией, превращаясь в сложные интерьеры и экстерьеры.</p>
  <figure id="aNVN" class="m_column">
    <img src="https://img2.teletype.in/files/59/52/5952a443-b508-449a-a376-1a8c41376f28.png" width="972" />
  </figure>
  <figure id="gSvA" class="m_column">
    <img src="https://img1.teletype.in/files/c5/6e/c56ebdd4-9b74-44b0-b51a-adf3b969dae8.png" width="972" />
  </figure>
  <p id="AXRF">Примечательно, что строгая геометризация, характерная для стиля де Вриса, порождает неожиданный эстетический эффект.</p>
  <figure id="RzTM" class="m_column">
    <img src="https://img1.teletype.in/files/8f/5f/8f5fd8f9-1667-4fc2-b1dc-135a76c93939.png" width="972" />
  </figure>
  <p id="MKVz">Наслоение архитектурных объемов, бесконечные ряды колонн и сложные конфигурации лестниц, вписанные в жесткие геометрические сетки, создают композиции, которые современный зритель может охарактеризовать как сюрреалистические.</p>
  <figure id="8o8s" class="m_column">
    <img src="https://img2.teletype.in/files/1d/06/1d06f11b-0b0b-4d3c-803b-49f7225a030d.png" width="834" />
  </figure>
  <figure id="i2sy" class="m_column">
    <img src="https://img2.teletype.in/files/1a/bd/1abd4e7e-91d7-4e1f-97fb-bce49155d97c.png" width="834" />
  </figure>
  <figure id="sCjp" class="m_column">
    <img src="https://img4.teletype.in/files/32/a5/32a50849-fa2e-4211-9873-b602e8d3cd15.png" width="834" />
  </figure>
  <p id="wkYk">Возникает визуальный ряд, где математическая точность приводит к иррациональности восприятия, предвосхищая художественные поиски XX века.</p>
  <figure id="bTwh" class="m_column">
    <img src="https://img1.teletype.in/files/4f/78/4f78b60b-5966-454d-a0e5-4879ae621407.png" width="972" />
  </figure>
  <figure id="MvzX" class="m_column">
    <img src="https://img3.teletype.in/files/e6/be/e6beac69-5001-4819-b498-b536ca1636e2.png" width="972" />
  </figure>
  <figure id="DXBK" class="m_column">
    <img src="https://img3.teletype.in/files/2d/a8/2da83736-2b5c-43f6-83a4-fd6f75a40372.png" width="972" />
  </figure>
  <p id="WR66">В итоге, наследие де Вриса служит важной исторической вехой становления строгого научного подхода к визуализации пространства.</p>
  <p id="tkVF"></p>
  <hr />
  <p id="Z10H"></p>
  <p id="waJN">Две части труда де Вриса можно скачать по ссылкам:</p>
  <p id="tLqs"><a href="https://digi.ub.uni-heidelberg.de/diglit/vries1604/download.pdf" target="_blank"><strong>Часть 1</strong>. 1604 год</a>.<br /><a href="https://digi.ub.uni-heidelberg.de/diglit/vries1605/download.pdf" target="_blank"><strong>Часть 2</strong>. 1605 год</a>.<br /></p>

]]></content:encoded></item><item><guid isPermaLink="true">https://teletype.in/@mathrocknroll/hexasphere</guid><link>https://teletype.in/@mathrocknroll/hexasphere?utm_source=teletype&amp;utm_medium=feed_rss&amp;utm_campaign=mathrocknroll</link><comments>https://teletype.in/@mathrocknroll/hexasphere?utm_source=teletype&amp;utm_medium=feed_rss&amp;utm_campaign=mathrocknroll#comments</comments><dc:creator>mathrocknroll</dc:creator><title>Можно ли разбить сферу на правильные шестиугольники?</title><pubDate>Sat, 17 Jan 2026 15:07:42 GMT</pubDate><category>Геометрия</category><description><![CDATA[<img src="https://img4.teletype.in/files/79/0e/790efbef-22b7-4dc9-a383-b92c6ca7cf5f.png"></img>Теория говорит, что этого сделать невозможно. Авторы статьи утверждают обратное.]]></description><content:encoded><![CDATA[
  <p id="cGCO">Теория говорит, что этого сделать невозможно.</p>
  <p id="1Q1Y">Однако, в 2015 году г-н Акопян с сотоварищами путем трудоемких компьютерных расчетов нашли такое разбиение.</p>
  <figure id="1yk5" class="m_original">
    <img src="https://img4.teletype.in/files/79/0e/790efbef-22b7-4dc9-a383-b92c6ca7cf5f.png" width="413" />
  </figure>
  <p id="Fryj"><em>A. V. Akopyan, J. Crowder, H. Edelsbrunner, R. Guseinov.</em> (2015)<br /><a href="https://pub.ista.ac.at/~edels/hexasphere/" target="_blank"><strong>Hexagonal tiling of the two-dimensional sphere</strong></a>.</p>
  <p id="77sg"></p>
  <p id="R8Qn">Вот что они сделали.</p>
  <blockquote id="26mv"><em>Хорошо известно, что эйлерова характеристика граничного комплекса любого четномерного выпуклого многогранника равна нулю, то есть число граней четной и нечетной размерности одинаково. Это позволяет создавать симметричные структуры на многомерных сферах. Исследуя размерности от 4 до 24, мы нашли сечения решетки Лича, которые дают многослойное покрытие двумерной сферы шестиугольниками. Компьютерные расчеты нашли параметры, при которых слои точно совмещаются, образуя регулярную шестиугольную разбиение сферы — так называемую «гексасферу». В конструкции отсутствуют скрытые пятиугольники.</em></blockquote>
  <p id="4aAI"></p>
  <p id="eSqF"><strong>Вопрос к знатокам:</strong> <em>кто же все-таки прав: теория или авторы?</em></p>

]]></content:encoded></item><item><guid isPermaLink="true">https://teletype.in/@mathrocknroll/ai-most-used-words</guid><link>https://teletype.in/@mathrocknroll/ai-most-used-words?utm_source=teletype&amp;utm_medium=feed_rss&amp;utm_campaign=mathrocknroll</link><comments>https://teletype.in/@mathrocknroll/ai-most-used-words?utm_source=teletype&amp;utm_medium=feed_rss&amp;utm_campaign=mathrocknroll#comments</comments><dc:creator>mathrocknroll</dc:creator><title>Слова-индикаторы научного текста, который написал ИИ</title><pubDate>Mon, 05 Jan 2026 22:43:09 GMT</pubDate><media:content medium="image" url="https://img1.teletype.in/files/05/7f/057f76dd-ab34-481e-aaf7-d092e3cea6c9.png"></media:content><category>Математическая статистика</category><description><![CDATA[<img src="https://img4.teletype.in/files/fb/f6/fbf6304d-d598-4572-97b0-fe13ff7ac0db.png"></img>Про слова, которые ИИ чаще всего помещает в аннотацию и заголовок сгенерированной научной статьи.]]></description><content:encoded><![CDATA[
  <figure id="yPmw" class="m_original">
    <img src="https://img4.teletype.in/files/fb/f6/fbf6304d-d598-4572-97b0-fe13ff7ac0db.png" width="800" />
  </figure>
  <p id="ogBB">Эти слова ИИ чаще всего помещает в аннотацию (линейный график) или в заголовок (столбчатый график) сгенерированной научной статьи.</p>
  <p id="ylXj">captivating<br />delve<br />dive<br />elevate<br />embark<br />embrace<br />realm<br />reveal<br />tapestry<br />unveiling</p>
  <p id="0mIa"></p>
  <section style="background-color:hsl(hsl(55,  86%, var(--autocolor-background-lightness, 95%)), 85%, 85%);">
    <p id="iywh"><strong>Delve</strong> <em>(исследовать)</em> — это самый показательный глагол, используемый ИИ. Он не характерен для британского и американского анлийского, но его часто применяют жители Нигерии. Так как они же работают на OpenAI и обучают нейросети компании, отсюда и возникла любовь нейросетей к сему глаголу.</p>
  </section>
  <p id="TPJr"></p>
  <p id="JK7M"><strong>Мораль:</strong> если за вас научную работу пишет ИИ (на английском), потрудитесь хотя бы вычистить из нее эти слова-предатели, которые с головой выдают весь ваш &quot;весомый&quot; вклад.</p>
  <p id="17xM"></p>
  <p id="mBC0"><strong>P.S.</strong> Я обеими руками за применение ИИ в науке, но только в качестве коллеги-помощника, а не основного исполнителя работы.</p>
  <p id="8lpV">(См. <a href="https://t.me/mathrocknroll/21" target="_blank">AI will not replace you—it will assist you</a>.)</p>
  <p id="6ORW"></p>
  <hr />
  <p id="7WdC">Источник:<br /><em>Ivan Reznikov.</em> LangChain for Life Sciences and Healthcare. 2025. Chap. 1</p>

]]></content:encoded></item><item><guid isPermaLink="true">https://teletype.in/@mathrocknroll/poster-simple-illions</guid><link>https://teletype.in/@mathrocknroll/poster-simple-illions?utm_source=teletype&amp;utm_medium=feed_rss&amp;utm_campaign=mathrocknroll</link><comments>https://teletype.in/@mathrocknroll/poster-simple-illions?utm_source=teletype&amp;utm_medium=feed_rss&amp;utm_campaign=mathrocknroll#comments</comments><dc:creator>mathrocknroll</dc:creator><title>Плакат про простые иллионы</title><pubDate>Thu, 18 Dec 2025 20:56:19 GMT</pubDate><category>Теория чисел</category><description><![CDATA[<img src="https://img4.teletype.in/files/b8/3a/b83a27da-ce18-4249-8250-322084900da6.png"></img>Готов плакат про простые иллионы — обозначения больших чисел от миллиона до дециллона.]]></description><content:encoded><![CDATA[
  <figure id="PjLb" class="m_column">
    <img src="https://img4.teletype.in/files/b8/3a/b83a27da-ce18-4249-8250-322084900da6.png" width="1242" />
  </figure>
  <p id="aU1V">Готов плакат про простые иллионы — обозначения больших чисел от миллиона до дециллона.</p>
  <figure id="0FaY" class="m_column">
    <img src="https://img4.teletype.in/files/78/d5/78d5d532-f3de-49a0-8cbb-f0b0f893d3ba.png" width="1242" />
  </figure>
  <p id="0kFG">Плакат бесплатный, формата А4 (20×30 см), выполнен в черном и белом вариантах.</p>
  <figure id="vufT" class="m_original">
    <img src="https://img4.teletype.in/files/33/0d/330dc6c3-4e4c-4403-a6fd-b93c257e695c.png" width="300" />
  </figure>
  <p id="sAms">Плакат рассказывает о простых иллионах, объясняет, как строятся названия, сообщает что-то про sex, показывает сколько нулей в каждом начальном иллионе и конструирует имя числа из 28 цифр.</p>
  <figure id="nUsz" class="m_original">
    <img src="https://img2.teletype.in/files/98/06/9806ff73-7381-47e2-b239-9aaf6e43a9e8.png" width="300" />
  </figure>
  <p id="VCq9">Плакат можно скачать со страницы<br /><a href="https://antonlyakh.ru/illions/" target="_blank"><strong>antonlyakh.ru/illions/</strong></a></p>
  <p id="M99Q">Там же можно задонатить на кофе или на следующий плакат.</p>
  <p id="Pl39"></p>
  <hr />
  <p id="tRTY">Это первый плакат из <a href="https://teletype.in/@mathrocknroll/posters-12-by-12" target="_blank">марафона 12 на 12</a>.</p>

]]></content:encoded></item><item><guid isPermaLink="true">https://teletype.in/@mathrocknroll/posters-12-by-12</guid><link>https://teletype.in/@mathrocknroll/posters-12-by-12?utm_source=teletype&amp;utm_medium=feed_rss&amp;utm_campaign=mathrocknroll</link><comments>https://teletype.in/@mathrocknroll/posters-12-by-12?utm_source=teletype&amp;utm_medium=feed_rss&amp;utm_campaign=mathrocknroll#comments</comments><dc:creator>mathrocknroll</dc:creator><title>Плакатный марафон &quot;12 на 12&quot;</title><pubDate>Tue, 09 Dec 2025 20:56:05 GMT</pubDate><media:content medium="image" url="https://img4.teletype.in/files/71/7c/717c8f26-e2cf-437e-ad44-364d96cadfb6.png"></media:content><category>Математика</category><description><![CDATA[<img src="https://img1.teletype.in/files/45/47/4547759b-6944-442b-858e-f6a7f5d08fd3.png"></img>Решил запустить плакатный марафон -- 12×12: сверстать двенадцать плакатов за двенадцать месяцев.]]></description><content:encoded><![CDATA[
  <p id="17uW">Вспомнил, что неплохо верстаю плакаты (постеры), обложки и каледари. И решил запустить плакатный марафон -- 12×12: сверстать двенадцать плакатов за двенадцать месяцев.</p>
  <p id="WG5Y"></p>
  <section style="background-color:hsl(hsl(55,  86%, var(--autocolor-background-lightness, 95%)), 85%, 85%);">
    <h3 id="Tr7o">Сверстать 12 плакатов за 12 месцев</h3>
  </section>
  <p id="Q219"></p>
  <p id="KCA6">Плакаты будут на разную тематику: часть объяснит интересные математические (геометрические) темы, другие -- что-то еще. Полностью концепцию не продумал, пока есть только видение трех-четырех плакатов.</p>
  <p id="Y1wX">На подходе первый плакат, посвященный простым иллионам. На картинке показаны итерации дизайна. Сам плакат выложу позже.</p>
  <figure id="Ercf" class="m_original">
    <img src="https://img1.teletype.in/files/45/47/4547759b-6944-442b-858e-f6a7f5d08fd3.png" width="520" />
  </figure>
  <p id="gqNH">Некоторые плакаты будут продаваться через Принтдирект.</p>
  <p id="Vz9q"></p>
  <hr />
  <p id="V1GM">Посмотрим, что выйдет из этой затеи.</p>

]]></content:encoded></item><item><guid isPermaLink="true">https://teletype.in/@mathrocknroll/mathmem-usual-math-holidays</guid><link>https://teletype.in/@mathrocknroll/mathmem-usual-math-holidays?utm_source=teletype&amp;utm_medium=feed_rss&amp;utm_campaign=mathrocknroll</link><comments>https://teletype.in/@mathrocknroll/mathmem-usual-math-holidays?utm_source=teletype&amp;utm_medium=feed_rss&amp;utm_campaign=mathrocknroll#comments</comments><dc:creator>mathrocknroll</dc:creator><title>Матмем: обыкновенные выходные обыкновенного математика</title><pubDate>Tue, 14 Oct 2025 17:54:33 GMT</pubDate><media:content medium="image" url="https://img3.teletype.in/files/61/5a/615a96e5-6572-493c-9e2f-1d0f498ed24e.png"></media:content><category>Матмем</category><description><![CDATA[<img src="https://img3.teletype.in/files/23/fd/23fd60de-eecf-4564-86fb-c7c75585744e.jpeg"></img>]]></description><content:encoded><![CDATA[
  <figure id="mxvA" class="m_column">
    <img src="https://img3.teletype.in/files/23/fd/23fd60de-eecf-4564-86fb-c7c75585744e.jpeg" width="1111" />
  </figure>

]]></content:encoded></item><item><guid isPermaLink="true">https://teletype.in/@mathrocknroll/lincos-translate</guid><link>https://teletype.in/@mathrocknroll/lincos-translate?utm_source=teletype&amp;utm_medium=feed_rss&amp;utm_campaign=mathrocknroll</link><comments>https://teletype.in/@mathrocknroll/lincos-translate?utm_source=teletype&amp;utm_medium=feed_rss&amp;utm_campaign=mathrocknroll#comments</comments><dc:creator>mathrocknroll</dc:creator><title>Чудовище Фройденталя или перевод книги о языке Линкос на русский язык</title><pubDate>Fri, 03 Oct 2025 06:11:12 GMT</pubDate><media:content medium="image" url="https://img3.teletype.in/files/e1/8c/e18ca9de-7780-46e0-b956-68b7a889d44d.png"></media:content><category>Алгебра</category><description><![CDATA[<img src="https://img4.teletype.in/files/f5/be/f5be9d9f-5b8e-42eb-a9f7-bac49b87e73b.jpeg"></img>Я молю Бога о том, чтобы вы не читали этот злосчастный текст, чтобы вы выбросили его подальше и бежали без оглядки от того проклятого места, где нашли его, потому что, если вы прочтёте хотя бы одну строчку тех ужасающих символов, назад дороги не будет.]]></description><content:encoded><![CDATA[
  <p id="r880" data-align="right"><em>Я молю Бога о том, чтобы вы не читали этот злосчастный текст, чтобы вы выбросили его подальше и бежали без оглядки от того проклятого места, где нашли его, потому что, если вы прочтёте хотя бы одну строчку тех ужасающих символов, назад дороги не будет.</em></p>
  <p id="fek6" data-align="right">Из предисловия переводчика.</p>
  <figure id="XoSu" class="m_column">
    <img src="https://img4.teletype.in/files/f5/be/f5be9d9f-5b8e-42eb-a9f7-bac49b87e73b.jpeg" width="706" />
  </figure>
  <p id="Hph5">Друзья, не так давно произошло неординарное событие! За 99 часов, 14 минут и 36 секунд уважаемая <a href="https://vk.com/id751041122" target="_blank">温子 岩川</a> (Ивакава Ацуко) перевела на русский язык <a href="https://teletype.in/@mathrocknroll/lincos" target="_blank">книгу Фройденталя о языке Линкос, предназначенном для общения с представителями иных планет!</a><br /></p>
  <p id="zweB">Мне не остается ничего иного, как снять свою шляпу перед этим человеком, пожелать ему спокойствия и процитировать отрывки из его предисловия (стиль и пунктуация сохранены).</p>
  <p id="gwZf"></p>
  <h2 id="y28r">Из предисловия переводчика</h2>
  <p id="Vgsz"><br />Возможно, вы удивлены тому, что предисловие так называется, однако сейчас я всё проясню. На перевод, с момента заявки, ушло 99 часов 14 минут 36 секунд (это, разумеется, неточное число). Вычтем восемь часов на сон, вычтем три часа на завтраки, обеды, ужины, отвлечения. Вычтем ещё один час на принятие ванной, разглядывание узоров своей одежды и игру со своими волосами и кошкой. Итого: 12 часов каждый день. Домножаем на четыре и получаем сорок восемь часов. […] Так или иначе, я чувствую, что меня выжили, как лимон. У меня болела голова, и мне хотелось плакать, а также орать чаечкой.</p>
  <p id="j42d"></p>
  <figure id="9PRH" class="m_original">
    <img src="https://img3.teletype.in/files/64/71/64711b29-da6f-48f3-901a-a69e47b65a6a.jpeg" width="706" />
  </figure>
  <h3 id="RwhP"></h3>
  <h3 id="hhbe">Чудовище Дьедоне</h3>
  <p id="Ldhr">Был математик в группе Никола Бурбаки, небезызвестного господина из Нанкаго, славившегося сложностью своих трудов. Дьедоне, математик из группы Бурбаки, написал ещё более сложный трактат, чем все, что были до него.</p>
  <p id="FOIB">Чтобы опубликовать работу, нужно было единогласное согласие группы. Группа такого согласия не дала и сожгла этот ужасающий и сложнейший трактат, переполненный безумным количеством символов и записей.</p>
  <p id="hmXa">Дьедоне в расстроенных чувствах побежал на второй этаж, в свою комнату, открыл ящик, в котором должна была лежать запасная копия трактата, но увидел лишь пепел с запиской: </p>
  <section style="background-color:hsl(hsl(323, 50%, var(--autocolor-background-lightness, 95%)), 85%, 85%);">
    <p id="mAGE"><em><code>«Здесь покоится прах чудовища Дьедоне»</code></em></p>
  </section>
  <p id="zyEN">Чудовищем, принадлежащим Дьедоне, называли тот самый трактат, содержащий в себе поистине ужасающие и кошмарные нагромождения символов, вгоняющие в тревогу и пучины экзистенциальной печали любого, кто осмелится его прочесть.</p>
  <p id="Jnzx"></p>
  <h3 id="ScCU">Чудовище Фройденталя</h3>
  <p id="gcae">То же самое я хочу сказать и про этот трактат. </p>
  <section style="background-color:hsl(hsl(323, 50%, var(--autocolor-background-lightness, 95%)), 85%, 85%);">
    <p id="Ih49"><em><code>Этот трактат, посвящённый языку, который, вероятно, никогда не найдёт своего применения, способен свести с ума любого, кто попытается хоть на сколько-нибудь серьёзном уровне разобраться в нём.</code></em></p>
  </section>
  <p id="LTlj">Я испытываю хтонический ужас только от одной мысли о том, что со мной стало бы, будь я чуть смелее и упорнее. Стоило бы мне только попытаться разобраться в этих сотворённых явно не человеческим умом полотнах математических символов, мне кажется, от меня и моего разума ничего не осталось бы.</p>
  <p id="uRzY">Даже сейчас, закончив работу над этим хтоническим творением человека, явно рождённого не в этом мире, я испытываю страх и отчаяние. Я чувствую, будто я уже не я, будто моя жизнь до столкновения с этой агонической для моего ограниченного смертным опытом ума книгой была совсем иной. И теперь я с ужасом смотрю в будущее, понимая, что они очень хотели этого.</p>
  <section style="background-color:hsl(hsl(323, 50%, var(--autocolor-background-lightness, 95%)), 85%, 85%);">
    <p id="zF5R"><em><code>Они желали перевода этого трактата ради распространения запретного, богопротивного знания, способного лишить души любого, кто осмелится заглянуть в его пучины, в недра его источника.</code></em></p>
  </section>
  <p id="2Apq">Я молю Бога о том, чтобы вы не читали этот злосчастный текст, чтобы вы выбросили его подальше и бежали без оглядки от того проклятого места, где нашли его, потому что, если вы прочтёте хотя бы одну строчку тех ужасающих символов, назад дороги не будет.</p>
  <figure id="Z0lq" class="m_column">
    <img src="https://img1.teletype.in/files/cf/a6/cfa66cda-ff5b-41ca-9301-2daa360a22df.jpeg" width="706" />
  </figure>
  <p id="RfA2">Но что самое страшное может с вами произойти, так это то, что вы будете не просто читать эти символы.</p>
  <section style="background-color:hsl(hsl(323, 50%, var(--autocolor-background-lightness, 95%)), 85%, 85%);">
    <p id="5qZq"><em><code>Рано или поздно книга начнёт менять вас, терзая вашу душу и ум, не оставляя и воспоминания о том чистом и невинном существе, которым вы когда-то были до столкновения с космическим ужасом.</code></em></p>
  </section>
  <p id="SiE1">Вы вдруг осознаете, что начинаете понимать текст, написанный в книге. И тогда, вам уже ничто не поможет, потому что космический ужас, прибывший из холодных миров, удалённых от нашего на мириады километров, уже обратил на вас свой взор…</p>
  <p id="S5Ld"></p>
  <h3 id="Z2l0">О содержании книги</h3>
  <p id="0vJH">А теперь, собственно, к содержанию. В этой книге автор, Ганс Фрёденталь, нидерландский учёный, рассказывает о собственноручно разработанном искусственном языке! Казалось бы, эти языки (их ещё называют конланги) разрабатывают все, кому не лень. Есть токипона, созданная Соней Ланг, есть новояз, созданный Оруэллом, есть куча языков Толкиена для его фэнтезийных книг… есть даже клингонский для инопланетян из «Звёздного пути» и лаадан, созданный Сьюзет Элджин, но язык, который создал автор отличается от них всех.</p>
  <p id="DV9r">Созданный автором язык предназначен не для какой-то философской цели или протеста — <em>Lincos предназначен для того, чтобы общаться с инопланетянами при помощи радиосигналов! </em></p>
  <p id="TYdb">Автор разработал такую систему правил и описаний, что добился возможности описывать что-либо математическими понятиями и отношениями.</p>
  <section style="background-color:hsl(hsl(323, 50%, var(--autocolor-background-lightness, 95%)), 85%, 85%);">
    <p id="VEVK"><em><code>В этой книге описывается первая, насколько я знаю, в истории человечества осмысленная попытка создать язык, посредством которого можно будет однозначно и без заморочек передавать внеземной цивилизации все наши знания о мире и так далее.</code></em></p>
  </section>
  <p id="EkFm">В книге много формул и записей в математической нотации. Эти записи мной вставлены, как картинки, так как не хотелось заморачиваться при их вводе в компьютер (вы вообще видели, что там автор понавытворял вообще?!). Будьте готовы к тому, что самой понятной частью книги окажется введение.</p>
  <p id="P7JW">По мере сил и знаний мной оставлялись МНОГОЧИСЛЕННЫЕ примечания, касающиеся того или иного термина, в связи с этим хочу объявить </p>
  <section style="background-color:hsl(hsl(323, 50%, var(--autocolor-background-lightness, 95%)), 85%, 85%);">
    <p id="ENfu"><em><code>Теоретический минимум, необходимый для комфортного чтения сей ужасающей литературы: знания математического анализа (пределы, последовательности, бесконечные суммы, производные, интегралы), знание теории множеств и математической логики, хоть какие-нибудь представления о лингвистике, дидактике и психологии. </code></em></p>
  </section>
  <p id="4oqr">В общем думаю, что первых двух курсов информационно-технологического факультета психологического университета (не спрашивайте) должно хватить.</p>
  <p id="2Zg6">[...]</p>
  <p id="I4TW">А теперь, зная, что лингвистика, математика и даже психология с дидактикой соединяются в этой книге, я приведу цитату одного напуганного писателя из Провиденса:</p>
  <section style="background-color:hsl(hsl(55,  86%, var(--autocolor-background-lightness, 95%)), 85%, 85%);">
    <p id="7U6B"><code><em>&quot;Человеческий разум не способен разобраться в своей сущности, и, полагаю, мы должны благодарить природу за ее милосердие. Мы живем на блаженном острове невежества среди черных морей бесконечности, которые нам едва ли суждено переплыть. Науки устремились каждая в своем направлении и не принесли нам особого вреда. Но когда- нибудь, систематизируя обрывки знаний, мы обнаружим чудовищные сферы действительности и поймем, сколь ничтожно в них наше место. От этого мы либо сойдем с ума, либо поспешим скрыться от мертвенного света познания и отыщем спасение в безопасном мирке нового Средневековья.&quot;</em><br />Говард Филипс Лавкрафт</code></p>
  </section>
  <p id="jfS9"></p>
  <p id="6EYC">Предисловие написано <a href="https://vk.com/id751041122" target="_blank">Ивакава Ацуко</a> (岩川温子) в 3:29, 5 августа 2025 года сразу после мурыжки с переводом.</p>
  <p id="KqOM"></p>
  <hr />
  <p id="5Fv6"><br /><strong><a href="https://vk.com/wall751041122_609" target="_blank">Пдф с переводом книги доступен на странице Ивакава</a>.</strong><br /></p>
  <p id="1NPF">Никогда не читайте перед сном незнакомые математические трактаты — поберегите свою психику.</p>

]]></content:encoded></item><item><guid isPermaLink="true">https://teletype.in/@mathrocknroll/lincos</guid><link>https://teletype.in/@mathrocknroll/lincos?utm_source=teletype&amp;utm_medium=feed_rss&amp;utm_campaign=mathrocknroll</link><comments>https://teletype.in/@mathrocknroll/lincos?utm_source=teletype&amp;utm_medium=feed_rss&amp;utm_campaign=mathrocknroll#comments</comments><dc:creator>mathrocknroll</dc:creator><title>Линкос - математический язык для общения с инопланетянами</title><pubDate>Tue, 29 Jul 2025 21:29:57 GMT</pubDate><category>Математика</category><description><![CDATA[<img src="https://img2.teletype.in/files/14/95/14957650-de18-44c9-bb01-3d2931d08bf0.png"></img>Математика — это самый абстрактный предмет из тех, что мы знаем, и в то же время это предмет, который может быть универсально известен человекоподобным разумным существам.]]></description><content:encoded><![CDATA[
  <p id="wH5I" data-align="right"><em>«Математика — это самый абстрактный предмет из тех, что мы знаем, и в то же время это предмет, который может быть универсально известен человекоподобным разумным существам».<br />Фройденталь (1960), стр. 21.</em></p>
  <figure id="7Qyi" class="m_original">
    <img src="https://img2.teletype.in/files/14/95/14957650-de18-44c9-bb01-3d2931d08bf0.png" width="630" />
  </figure>
  <p id="MPkf">После полета первого искусственного спутника Земли, запущенного СССР в 1957 году, голландский профессор математики Ханс Фройденталь (Hans Freudenthal) понял, что мы совсем не умеем разговаривать с представителями внеземной цивилизации. Проникшись этой мыслью, он создал универсальный язык для общения с любыми разумными гуманоидными и негуманоидными существами. </p>
  <p id="Jhcr"></p>
  <section style="background-color:hsl(hsl(323, 50%, var(--autocolor-background-lightness, 95%)), 85%, 85%);">
    <p id="2jim">Это был язык <strong>Линкос</strong> — сокращение от латинского <em>lingua cosmica,</em> что значит космический язык.</p>
  </section>
  <p id="XN6j"><br /><strong>Линкос был выверен и однозначен.</strong> Любую фразу этого языка можно интерпретировать только одним единственным образом. Параллельные прямые в линксое — это именно те самые прямые, которые никогда не пересекаются.</p>
  <figure id="YxJ1" class="m_original">
    <img src="https://img4.teletype.in/files/36/83/368395a2-042d-4a11-9fea-3d45e277fbfa.png" width="630" />
  </figure>
  <p id="YRCu"><strong>Линкос не содержит исключений из правил.</strong> В нем нет никаких <em>&quot;брошюр о жюри с щуками в парашютах&quot;.</em> Если есть правило, то оно действует везде.</p>
  <figure id="uhSg" class="m_original">
    <img src="https://img4.teletype.in/files/f6/5b/f65b7248-b823-4c36-b423-cf7c3e24d34d.png" width="630" />
  </figure>
  <p id="4CPh"><strong>Линкос свободен от фонетического звучания.</strong> Там не нужно менять высоту слога, чтобы изменить его значение, как в китайском; не нужно пропускать кучу букв, чтобы правильно произнести <em>мерси баку</em> при виде <em>merci beaucoup,</em> как во французском; не нужно особым образом складывать губы и подгибать язык, чтобы просвистеть фразу, как в языке Сильбо с острова Гомера. Каждый волен читать слова линкоса так, как ему вздумается, потому что фонетики линкоса не существует, а используемые символы предназначены для кодирования и передачи информации.</p>
  <figure id="8sN9" class="m_original">
    <img src="https://img1.teletype.in/files/0e/89/0e898b9b-7a71-4957-bd72-3c9e80a9e6f9.png" width="630" />
  </figure>
  <section style="background-color:hsl(hsl(323, 50%, var(--autocolor-background-lightness, 95%)), 85%, 85%);">
    <p id="SxR0">Ключевое понятие Линкоса заключается в том, что математика универсальна.</p>
  </section>
  <p id="6AfD">То есть язык математики поймет любое мыслящее существо с руками, рогами, щупальцами, хвостами и костяными пластинами на втором подбородке. А если так, то на основе языка математики можно построить универсальный язык общения — Линкос.</p>
  <figure id="HQdC" class="m_original">
    <img src="https://img1.teletype.in/files/cd/d2/cdd260ab-3a99-4479-96bd-626b1a0ce176.png" width="630" />
  </figure>
  <p id="hGYB">Но чтобы понимать язык, ему необходимо научиться. И Фройнденталь разработал систему обучения линкосу. Он предполагал, что передаче основного сообщения должна предшествовать серия обучающих уроков, сложность которых постепенно возрастает.</p>
  <figure id="Wv5p" class="m_original">
    <img src="https://img2.teletype.in/files/5b/ac/5bacecce-0154-48c7-a900-97923d01a0e8.png" width="630" />
  </figure>
  <p id="F67u">Уроки линкоса Фройнденталь изложил в книге &quot;Lincos. Design of a language for cosmic intercourse. Part 1&quot;, увидевшей свет в 1960 году. Автор предполагал выпустить и вторую часть книги, но как-то не срослось.</p>
  <figure id="ETME" class="m_retina">
    <img src="https://img1.teletype.in/files/c8/0b/c80b4722-c4ca-4b08-b001-2c7597f6b187.png" width="316" />
  </figure>
  <p id="rRkx"> Книга состоит из обширного введения и четырех разделов, озаглавленных <em>&quot;Математика&quot;, &quot;Время&quot;, &quot;Поведение&quot;, &quot;Пространство, движение, масса&quot;.</em></p>
  <figure id="jspj" class="m_original">
    <img src="https://img4.teletype.in/files/b7/2e/b72e3a12-5280-4c6a-82eb-915c88760457.png" width="632" />
  </figure>
  <p id="SR7l">И первая глава представляет первые уроки, посвященные простым математическим понятиям: целым числам и отношениям между ними, которые, со временем, трансформируются в более сложные вещи: систему рациональных и вещественных чисел, теорию множеств и начала интегрирования.</p>
  <figure id="qZdw" class="m_original">
    <img src="https://img4.teletype.in/files/f2/4c/f24c0139-b69a-4c52-bbe1-ee329256cc63.png" width="632" />
  </figure>
  <p id="Tfqb">Честно говоря воспринимать и, тем более, понимать эти записи сложно, потому что любое, вроде бы очевидное для нас понятие вводится через длинную запись достаточно абстрактных символов.</p>
  <p id="u0GD"><br />Последующие главы про время, поведение и основные физические законы еще более сложны для восприятия.</p>
  <figure id="FQk8" class="m_original">
    <img src="https://img2.teletype.in/files/95/8a/958a6d7b-afba-4e7d-99f2-f94258e3ac6f.png" width="632" />
  </figure>
  <p id="2vdV">Книга получила несколько отзывов: от нейтральных, до негативных, что, видимо, и привело автора к решению не публиковать вторую часть. Однако, мне кажется, что никто из оппонентов не смог осилить сложный язык книги и полностью прочитать ее. Они ограничились всего лишь прочтением введения и выборочными отрывками, на основании которых и сделали свои отзывы.</p>
  <p id="ujJ3">Однако Линкос не канул в Лету.</p>
  <p id="Edio"></p>
  <h3 id="VwSv">Вторая жизнь Линкоса</h3>
  <p id="y2ls">В 1999 году два канадский астрофизика Иван Дyтил (Yvan Dutil) и Стефан Думас (Stephane Dumas) в рамках проекта <em>&quot;Космический звонок&quot;</em> (Cosmic call) решили отправить весточку инопланетянам. За основу для написания послания они взяли линкос.</p>
  <p id="EkoF">Они проштудировали книгу Фройнденталя (что уже вызывает уважение), составили иероглифический алфавит, символы которого представляют собой бинарные матрицы, и, с его помощью, написали письмо на 23 страницах.</p>
  <figure id="8xIU" class="m_original">
    <img src="https://img1.teletype.in/files/cf/29/cf292da6-9aee-418a-9798-a3e52439d237.png" width="630" />
  </figure>
  <figure id="xRK1" class="m_original">
    <img src="https://img4.teletype.in/files/bd/15/bd15429d-9da9-4d35-8b0c-d2d7224a44ed.png" width="630" />
  </figure>
  <figure id="o9oK" class="m_original">
    <img src="https://img2.teletype.in/files/55/bc/55bc43e8-e4f8-4670-b329-fa0a8b1285c9.png" width="630" />
  </figure>
  <figure id="s4kS" class="m_original">
    <img src="https://img2.teletype.in/files/1b/85/1b854e21-7bab-44d4-9160-6488cd5381cd.png" width="630" />
  </figure>
  <figure id="OwF1" class="m_original">
    <img src="https://img2.teletype.in/files/54/19/54193272-5971-4d30-a740-d05f620c2f0a.png" width="630" />
  </figure>
  <p id="kXip">Для отправки сообщения они использовали советский радиотелескоп, расположенный неподалеку от Евпатории. В 1999 году послание было отправлено к четырем звездам в созвездии Лебедя и Стрела. В 2003 году они повторили посылку, но уже по другим адресам: к пяти звездам в созвездиях Кассиопея, Орион, Рак, Андромеда и Большая медведица.<br /></p>
  <p id="SpCd">По расчетам первое послание достигнет адресата в 2036 году, после чего мы будем ждать ответа.</p>
  <p id="0inb"><br /></p>
  <hr />
  <p id="s6ZC"></p>
  <p id="n2c1"><em>Фройденталь, стремясь создать универсальный язык, невольно продемонстрировал, что коммуникация требует не только логической структуры, но и прагматических элементов, которые невозможно формализовать без предположения о сходстве мировоззрений отправителя и получателя. Таким образом, Линкос стал важным уроком о пределах логицизма и необходимости учета культурных и когнитивных предпосылок в языковой коммуникации.</em></p>
  <p id="3DYl"></p>
  <hr />
  <p id="G07P"></p>
  <h3 id="s1Mg">Ссылки</h3>
  <p id="Zwwq">Книга Фройденталя (1960)<strong><br /><a href="https://antonlyakh.ru/download/Freudenthal-(1960)--Lincos.pdf" target="_blank">Lincos. Design of a language for cosmic intercourse</a></strong>.Part I.(пдф, 10 Мб)</p>
  <p id="57cj">Обширная критическая рецензия <em>Винценто Латронико</em> (2008)<br /><a href="https://antonlyakh.ru/download/Latronico-(2008)--Communication-against-logical-form.pdf" target="_blank">Communication again logical form. A critical survey of Hans Freudenthal&#x60;s LINCOS</a>. (пдф, 0,2 Мб)</p>
  <p id="9Xas">Немного подробнее о &quot;<a href="https://ru.wikipedia.org/wiki/Cosmic_Call" target="_blank">Космическом звонке</a>&quot;.</p>
  <p id="ROMR"><a href="https://antonlyakh.ru/downloads/Cosmic-call-message-explained.pdf" target="_blank">Подробная расшифровка</a> обоих посланий в космос.</p>

]]></content:encoded></item><item><guid isPermaLink="true">https://teletype.in/@mathrocknroll/1st-isomorphism-theorem</guid><link>https://teletype.in/@mathrocknroll/1st-isomorphism-theorem?utm_source=teletype&amp;utm_medium=feed_rss&amp;utm_campaign=mathrocknroll</link><comments>https://teletype.in/@mathrocknroll/1st-isomorphism-theorem?utm_source=teletype&amp;utm_medium=feed_rss&amp;utm_campaign=mathrocknroll#comments</comments><dc:creator>mathrocknroll</dc:creator><title>Сортируем овощи с помощью первой теоремы об изоморфизме</title><pubDate>Fri, 11 Jul 2025 20:13:49 GMT</pubDate><media:content medium="image" url="https://img2.teletype.in/files/d5/bf/d5bf05da-c724-407e-82b2-2db900aec71f.png"></media:content><category>Алгебра</category><description><![CDATA[<img src="https://img2.teletype.in/files/5d/ea/5deaf6a5-d100-4cc9-beeb-d59ceee6c367.png"></img>Давайте представим, что вы забросили математику и начали выращивать овощи. После года усердного труда вы решили отправить урожай на склад.]]></description><content:encoded><![CDATA[
  <p id="bDya">Давайте представим, что вы забросили математику и начали выращивать овощи. Прочитав необходимые книги, после года усердного труда на свежем воздухе, вы вырастили репу, капусту, салат, морковь и свеклу, и решили отправить урожай на склад.</p>
  <figure id="BB70" class="m_original" data-caption-align="center">
    <img src="https://img2.teletype.in/files/5d/ea/5deaf6a5-d100-4cc9-beeb-d59ceee6c367.png" width="554" />
    <figcaption>Сортировка овощей служит отличной иллюстрацией работы первой теоремы об изоморфизме. <a href="https://doi.org/10.1080/17513472.2022.2059645" target="_blank">Источник</a>.</figcaption>
  </figure>
  <p id="aLLm">С точки зрения алгебры</p>
  <section style="background-color:hsl(hsl(55,  86%, var(--autocolor-background-lightness, 95%)), 85%, 85%);">
    <p id="sVVw"><em>Все выращенные овощи образуют множество A.</em></p>
  </section>
  <p id="rGPK">Однако, во время работы вы нет-нет, да и отвлекались на нерешенные проблемы математики. Это, конечно же, сказалось на качестве грядок. На ваших грядках овощи оказались перемешанными: морковь росла рядом с капустой, салат неподалеку от свеклы, а репа и вовсе встречалась в крайне неожиданных местах.</p>
  <section style="background-color:hsl(hsl(55,  86%, var(--autocolor-background-lightness, 95%)), 85%, 85%);">
    <p id="HM3m"><em>У вас получилось неупорядоченное множество элементов.</em></p>
  </section>
  <p id="fKY8">В результате, перед отправкой овощей на склад, вам пришлось поштучно сортировать каждый овощ: морковку относить в ящик с морковью, капусту с капустой и так далее. Уже у складских ящиков вы отбраковывали гнилые овощи. В результате склад оказался наполнен ящиками с отсортированными качественными овощами.</p>
  <section style="background-color:hsl(hsl(55,  86%, var(--autocolor-background-lightness, 95%)), 85%, 85%);">
    <p id="kI4e"><em>Склад — это множество B, а операция переноса овощей в ящик с отбраковкой гнили — это гомоморфизм f.</em></p>
    <p id="DbLs">f: A → B.</p>
    <p id="yt8N"><em>То есть гомоморфизм f отображает каждый элемент множества A (каждый не гнилой овощ на вашей грядке) в элемент множества B (овощ в правильном ящике на складе).</em></p>
  </section>
  <p id="ld2V">И тут к вам в гости заглянул сосед — заядлый огородник и неплохой алгебраист. Он сказал, что носить и сортировать овощи поштучно — это моветон, и можно действовать по иному.</p>
  <p id="0jM1">Во-первых, нужно сразу, на месте отбрасывать гнилые овощи. </p>
  <section style="background-color:hsl(hsl(55,  86%, var(--autocolor-background-lightness, 95%)), 85%, 85%);">
    <p id="xKWV"><em>Гнилые овощи образуют ядро отображения f — Ker(f). </em></p>
    <p id="uwWB"><em>Множество хороших овощей — это фактор-множество A / Ker(f).</em></p>
    <p id="YUru"><em>Первое действие — это сюръекция A → A / Ker(f).</em></p>
  </section>
  <p id="4J3N">Во-вторых, после отбрасывания гнилых овощей, одинаковые овощи следует складывать в кучки. И уже после этого укладывать готовые кучки в ящики. </p>
  <section style="background-color:hsl(hsl(55,  86%, var(--autocolor-background-lightness, 95%)), 85%, 85%);">
    <p id="opcA"><em>Овощи в ящиках — это образ отображения f, Im(f).</em></p>
    <p id="2aOH"><em>Перенос кучек овощей в ящик — это биекция: A / Ker(f) → Im(f).</em></p>
  </section>
  <p id="JhAV">Наконец, ящики, наполненные отсортированными, перебранными овощами, следует относить на склад.</p>
  <section style="background-color:hsl(hsl(55,  86%, var(--autocolor-background-lightness, 95%)), 85%, 85%);">
    <p id="Zo0i"><em>Перенос ящиков с овощами на склад — это инъекция: Im(f) → B.</em></p>
  </section>
  <p id="H33i">В этом и заключается суть первой теоремы об изоморфизме.</p>
  <section style="background-color:hsl(hsl(55,  86%, var(--autocolor-background-lightness, 95%)), 85%, 85%);">
    <p id="YJ5S" data-align="center"><strong>f: A → B  ≡  A → A / Ker(f) → Im(f) → B</strong>.</p>
  </section>
  <p id="tHgV"></p>
  <p id="6UiS">В более строгом математическом выражении первая теорема об изоморфизме гласит примерно следующее:</p>
  <section style="background-color:hsl(hsl(55,  86%, var(--autocolor-background-lightness, 95%)), 85%, 85%);">
    <p id="iYV1"><em>Гомоморфизм f, действующий из множества A во множество B, f: A → B, раскладывается на три отображения:</em></p>
    <ul id="ws3f">
      <li id="Ke7m"><em>сюрьекцию A → A / Ker(f), преобразующую A во множество без ядра f;</em></li>
      <li id="PS54"><em>биекцию A / Ker(f) → Im(f), преобразующую результат в образ f;</em></li>
      <li id="4wnN"><em>иньекцию Im(f) → B, преобразующую результат во множество B.</em></li>
    </ul>
  </section>
  <p id="Job3"></p>
  <section style="background-color:hsl(hsl(236, 74%, var(--autocolor-background-lightness, 95%)), 85%, 85%);">
    <p id="NN3I">Первая теорема изоморфизма помогает упростить сложную структуру (огород с разными несортированными овощами) до чего-то более понятного (склад с четкими категориями). Ядро (гнилые овощи) — это то, что мешает прямому соответствию. Убрав его, мы получаем идеальное соответствие между огородом и складом.</p>
  </section>
  <p id="bBRk"></p>
  <p id="eejx">Картинка в начале заметки иллюстрирует вышесказанное. В качестве огородницы на ней изображена математик Амалия Эмми Нетер (Emmy Noether). Она доказала рассмотренную теорему и внесла значительный вклад в развитие алгебры.</p>
  <p id="2BxB"></p>
  <hr />
  <p id="JOr6"></p>
  <p id="Msbg">Источник.<br /><a href="https://doi.org/10.1080/17513472.2022.2059645" target="_blank">A comic page for the first isomorphism theorem</a>. (2022).  <br /></p>
  <p id="yZC7">Строго про теоремы об изоморфизмах <a href="https://en.wikipedia.org/wiki/Isomorphism_theorems" target="_blank">написано в Википедии</a>.</p>

]]></content:encoded></item><item><guid isPermaLink="true">https://teletype.in/@mathrocknroll/color-hclust-using-r</guid><link>https://teletype.in/@mathrocknroll/color-hclust-using-r?utm_source=teletype&amp;utm_medium=feed_rss&amp;utm_campaign=mathrocknroll</link><comments>https://teletype.in/@mathrocknroll/color-hclust-using-r?utm_source=teletype&amp;utm_medium=feed_rss&amp;utm_campaign=mathrocknroll#comments</comments><dc:creator>mathrocknroll</dc:creator><title>Красим с помощью R кластеры дерева иерархической кластеризации</title><pubDate>Sat, 28 Jun 2025 16:51:13 GMT</pubDate><media:content medium="image" url="https://img3.teletype.in/files/a0/86/a086573e-5d19-48d6-bd0d-1bdf3b347969.png"></media:content><category>Визуализация данных</category><description><![CDATA[<img src="https://img4.teletype.in/files/31/27/31275b5d-ca3c-4117-b90f-f4c3f712d0c0.png"></img>Выделим в дереве иерархической кластеризации кластеры и красиво их раскрасим.]]></description><content:encoded><![CDATA[
  <p id="H5jV">Выделим в дереве иерархической кластеризации кластеры и красиво их раскрасим.</p>
  <figure id="7gSJ" class="m_column">
    <img src="https://img4.teletype.in/files/31/27/31275b5d-ca3c-4117-b90f-f4c3f712d0c0.png" width="1000" />
  </figure>
  <hr />
  <p id="zhyw">Результат кластеризации</p>
  <pre id="qIpP">hc &lt;- hclust(dist, method=&quot;complete&quot;)</pre>
  <p id="ALj0">преобразуем в дендрограмму</p>
  <pre id="G8T6">dend.c &lt;- as.dendrogram(hc)</pre>
  <p id="jlmZ"></p>
  <p id="AZRL">Рисуем дерево</p>
  <pre id="wHj0">plot(hc)</pre>
  <figure id="Kuro" class="m_column">
    <img src="https://img3.teletype.in/files/eb/9a/eb9a10ef-72f7-4472-b703-5421f658b25a.png" width="942" />
  </figure>
  <p id="vwkP">и рисуем дендрограмму</p>
  <pre id="50as">plot(dend.c)</pre>
  <figure id="H0n9" class="m_column">
    <img src="https://img3.teletype.in/files/ae/a0/aea075f4-b085-4c92-a8dd-22bc760d165f.png" width="942" />
  </figure>
  <p id="BsDF">Дендрограмма выглядит более аккуратной.</p>
  <p id="BHaK">В построенном дереве выделяютя кластеры: три явных, остальные проявляются по мере спуска.</p>
  <p id="520o"></p>
  <h2 id="4vLT">Красим кластеры</h2>
  <p id="Y2aw">Расскрасим кластеры. Это позволит их увидеть перед нарезкой. Для раскраски необходима палитра хорошо отличающихся цветов.</p>
  <h3 id="Tkl5">Палитра</h3>
  <p id="GbKd">Палитру сгенерируем при помощи библиотеки <a href="https://r-graph-gallery.com/package/paletteer.html" target="_blank"><strong>paletteer</strong></a>.</p>
  <pre id="8467">library(paletteer)</pre>
  <p id="I0i4">Палитра бывает трех типов: расходящаяся непрерывная, последовательная непрерывная и дискретная. (Не ручаюсь за точность перевода; в оригинале: diverging, sequential, discrete.)</p>
  <section style="background-color:hsl(hsl(55,  86%, var(--autocolor-background-lightness, 95%)), 85%, 85%);">
    <p id="vWDC"><strong>В расходящейся непрерывной палитре</strong> есть центр и два крайних значения. Ее используют для визуализации данных с центральным значением. Например палитра <em>синий, белый, красный</em> расходящаяся.</p>
    <p id="y051"><strong>Последовательная непрерывная палитра</strong> простирается от одного крайнего значения к другому. Ее используют для визуализации непрерывно возрастающих или убывающих значений.</p>
    <p id="YXP2"><strong>Дискретная палитра</strong> состоит из фиксированного числа цветов. Она используется для визуализации категориальных данных.</p>
  </section>
  <p id="DdJd">Для выделения кластеров используем <em>дискретную категориальную палитру</em>.</p>
  <p id="z7qX">Палитру <a href="https://r-graph-gallery.com/color-palette-finder" target="_blank"><strong>выберем из галереи</strong></a>.</p>
  <figure id="TiWi" class="m_original" data-caption-align="center">
    <img src="https://img3.teletype.in/files/a9/0f/a90f719f-f638-416d-9b04-2b3a72e063b7.png" width="408" />
  </figure>
  <pre id="VWXr">cols &lt;- paletteer_d(&quot;MetBrewer::Austria&quot;)
cols &lt;- paletteer_d(&quot;PrettyCols::Bold&quot;)</pre>
  <p id="nqaQ">И начнем красить кластеры. </p>
  <pre id="7STb">plot( color_branches(dend, k=num.clusters, col=cols) )</pre>
  <p id="MLPm"></p>
  <h3 id="KCsL">Complete linkage</h3>
  <p id="SgMa">Начнем со связности &quot;complete linkage&quot; и 5, 7, 9 кластеров.</p>
  <pre id="YCUP">plot( color_branches(dend.c, k=5, col=cols) )</pre>
  <figure id="xQ2z" class="m_column" data-caption-align="center">
    <img src="https://img4.teletype.in/files/7b/90/7b90c71e-5151-42df-87cd-08053ff4c17a.png" width="1018" />
    <figcaption><strong>5</strong> кластеров</figcaption>
  </figure>
  <figure id="TPS2" class="m_column" data-caption-align="center">
    <img src="https://img1.teletype.in/files/c2/26/c22690a0-2bee-40a0-9ec4-60db9b38213a.png" width="1018" />
    <figcaption><strong>7</strong> кластеров</figcaption>
  </figure>
  <figure id="VxAy" class="m_column" data-caption-align="center">
    <img src="https://img3.teletype.in/files/24/e8/24e86531-0cf4-4b4b-946c-2283ec865f32.png" width="1018" />
    <figcaption><strong>9</strong> кластеров</figcaption>
  </figure>
  <p id="oIBJ"></p>
  <h3 id="Wp2e">ward.D</h3>
  <p id="c7RE">Теперь посмотрим на связность &quot;ward.D&quot;.</p>
  <pre id="VYzQ">dend.w &lt;- as.dendrogram( hclust(dist_matrix, method = &quot;ward.D&quot;) )</pre>
  <p id="eKYq">Обрежем на картинках верх, так как он очень высокий и покрасим 9 и 11 кластеров.</p>
  <figure id="p9Pu" class="m_column" data-caption-align="center">
    <img src="https://img1.teletype.in/files/01/12/011244b6-ec8b-47ed-b980-7f8a5a187cbb.png" width="1000" />
    <figcaption><strong>9</strong> клатеров</figcaption>
  </figure>
  <p id="D8KU">Хочется еще больше кластеров.</p>
  <figure id="mkH1" class="m_column" data-caption-align="center">
    <img src="https://img1.teletype.in/files/41/44/4144c3ea-cd03-465a-b945-231e4ccba69f.png" width="1000" />
    <figcaption><strong>11</strong> кластеров</figcaption>
  </figure>
  <h3 id="HsbM">ward.D2</h3>
  <p id="lHPO">А теперь изучим связность &quot;ward.D2&quot;.</p>
  <pre id="hpmK">dend.w2 &lt;- as.dendrogram( hclust(dist_matrix, method = &quot;ward.D2&quot;) )</pre>
  <figure id="Nxz7" class="m_column" data-caption-align="center">
    <img src="https://img1.teletype.in/files/cc/6d/cc6dc056-fe71-4526-a32a-303f29071aa8.png" width="1000" />
    <figcaption>9 кластеров</figcaption>
  </figure>
  <figure id="qE1Y" class="m_column" data-caption-align="center">
    <img src="https://img4.teletype.in/files/b2/b5/b2b5dddf-c412-4cb3-8fbd-518a684b90fa.png" width="1000" />
    <figcaption><strong>11</strong> кластеров</figcaption>
  </figure>
  <figure id="XoV2" class="m_column" data-caption-align="center">
    <img src="https://img4.teletype.in/files/f8/6b/f86b5704-1469-4160-ad3c-f37a506fc0a0.png" width="1000" />
    <figcaption><strong>21</strong> кластер</figcaption>
  </figure>
  <p id="rxrH"></p>
  <p id="IFe5"></p>
  <h3 id="AMv2">21 кластер</h3>
  <p id="sh9c">Остановимся на 21 кластере. Посмотрим, как они выглядят на трех сгенерированных деревьях.</p>
  <figure id="Puap" class="m_column" data-caption-align="center">
    <img src="https://img4.teletype.in/files/f7/6a/f76aed0e-528f-4fc5-a81e-5a930a2cc648.png" width="914" />
    <figcaption>complete</figcaption>
  </figure>
  <figure id="A2Pg" class="m_column" data-caption-align="center">
    <img src="https://img3.teletype.in/files/24/ee/24ee16b2-1030-4a29-a778-b30ba5280322.png" width="914" />
    <figcaption>ward.D</figcaption>
  </figure>
  <figure id="HXs2" class="m_column" data-caption-align="center">
    <img src="https://img2.teletype.in/files/1b/62/1b62c821-6391-4f99-b97e-47e6bcd37cbb.png" width="914" />
    <figcaption>ward.D2</figcaption>
  </figure>
  <p id="nhbT">Красиво.</p>
  <p id="BzF9">Далее можно нареpать дендрограммы на кластеры.</p>

]]></content:encoded></item></channel></rss>