Метка «топология»

В данной статье я продалжаю свое нежное введение в топологию. Первая часть находится здесь.
Я опять предупреждаю, что все что вы читаете — написано дважды гуманитарием (бакалавром и магистром), поэтому слепо верить не стоит. Вообщем, вы предупреждены.
Замечания про ошибки (математические) приветствуются.
Еще одно предупреждение — очень много картинок.
Картинка для привлечения внимания (никак не относящаяся к нашему тексту).
Топология для самых маленьких. Часть 2
Как вы думете, не разрывая эти фигуры, но деформируя любым образом, можно ли их рассоединить?

Первоначально я планировал во второй части рассказать о метрических пространствах, но потом решил отложить это на будщее, а сейчас поговорить более подробно об окрестностях и связаных с ними понятиях, о которых в прошлой части лишь кратко упомянул. Таким образом мы находимся где-то в первой главе какой-нибудь книги по «Общей топологии».
Черный сплошной контур на рисунках будет обозначать замкнутые множества, а множества без контура будут открытыми. Буквами ттт я буду сокращать тогда и только тогда.
Поехали.
Читать полностью »

Не помню, когда я впервые узнал про топологию, но меня эта наука сразу заинтересовала. Чайник превращается в бублик, сфера выворачивается наизнанку. Многие слышали про это. Но у тех, кто хочет углубиться в эту тему на более серьёзном уровне, часто возникают трудности. Особенно это относится к освоению самых начальных понятий, которые по своей сути очень абстрактны. Более того, многие источники, как будто специально стремятся запутать читателя. Скажем русская вики даёт весьма туманную формулировку того, чем занимается топология. Там говорится, что это наука изучающая топологические пространства. В статье про топологические пространства читатель может узнать, что топологические пространства — это пространства снабжённые топологией. Такие объяснения в стиле лемовских сепулек не очень проясняют суть предмета. Я попробую далее изложить основные базовые понятия в более ясной форме. В моей заметке не будет превращающихся чайников и бубликов, но будут сделаны первые шаги, которые позволят в конце концов научиться этой магии.

Впрочем, так как я не математик, а стопроцентный гуманитарий, то вполне возможно, что написанное ниже — враньё! Ну, или по крайней мере часть.

Впервые я написал эту заметку, как начало цикла статей о топологии, для своих гуманитарных друзей, но никто из них читать ее не стал. Исправленную и расширенную версию я решил выложить на хабр. Мне показалось, что здесь существует определенный интерес к этой теме и статей как раз такого рода еще не было. Заранее благодарен за все комментарии об ошибках и неточностях. Предупреждаю, что я использую много картинок.
Читать полностью »

Топология — довольно красивое, звучное слово, очень популярное в некоторых нематематических кругах, заинтересовало меня еще в 9 классе. Точного представления конечно же я не имел, тем не менее, подозревал, что все завязано на геометрии.

Читать полностью »

История λ-исчисления уходит в начало прошлого века. Этимология названия данного раздела математической логики, который служит основой для «computer science», следующая. Сам значек «λ» используется для одной из двух основных конструкций в созданной Черчем системе — абстракции. Оказывается, что выбор обозначения абстракции не был совершенно случайным, а сделан в противопоставление другой более ранней конструкции, которую использовали Whitehead и Russell и обозначали как «xˆ». Для новой конструкции, чтобы отличать ее от прежней, Черч заменил обозначение сначала на «∧x», а затем — на «λx», очевидно, интерпретировав первый символ как заглавную букву «Λ», для упрощения набора.

Опишем кратко систему λβη, то есть классическое бестиповое экстенсиональное λ-исчисление, сделав конспект классической монографии по λ-исчислению (Х. Барендрегт, «Ламбда-исчисление. Его синтаксис и семантика», перевод с английского Г. Е. Минца под редакцией А. С. Кузичева, Москва, «Мир», 1985).Читать полностью »


https://ajax.googleapis.com/ajax/libs/jquery/3.4.1/jquery.min.js