Akemi
10.11.2012 23:29soul_gem
Наконец-то понял, о чем теорема Титце о продолжении.
На самом деле она должна формулироваться так — пучок непрерывных функций на нормальном пространстве мягкий.
Вообще, пучки — это здорово. Надо их в обязательную программу младшекурсников включать и потом везде использовать.
4da
31.01.2013 19:23
Я знаю 4 доказательства этой теоремы: одно топологическое и использует свойства фундаментальной группы проколотого диска, другое, тоже топологическое, использует теорему Брауэра о неподвижной точке, третье, аналитическое, использует разложение полинома в ряд Тэйлора в окрестности минимума, и четвертое, ... more →
lukish
25.11.2012 13:59
В чём разница между теорией категорий и алгебраической теорией категорий
?
Akemi
23.11.2012 17:25soul_gem
Дочитал вторую часть Кемпера. Может быть переключусь на Атью или Айзенбада.
И еще что-то читал, но мало. Пора уже взять себя в руки.
Akemi
11.11.2012 19:52soul_gem
Читал статью Атьи, понял мало. Не хватает знаний. ._.
Читал обзор симплектической геометрии Dusa McDuff, на второй половине отрубился, но что-то вроде бы понял.
Алгебра сегодня не идет как-то. Только треть параграфа прочел.
Прочел первый параграф Милнора-Сташефа. Устаревший подход к многообразиям немного ... more →
Akemi
10.11.2012 23:21soul_gem
Теперь тут будут ежедневные отчеты о сделанном по тегу *nyafk3 и математика по тегу *матх. Может быть поможет учить больше.
Elemir
18.09.2012 19:48sendxmpp
Наконец-таки наткнулся на книгу, качественно и полно раскрывающую тему задания и исследования систем типов с помощью теории категорий, — "Introduction to Higher-Order Categorical Logic" Ламбека. Она описывает три разных способа задать типовые системы с помощью категориальных структур, — начиная от наивного CCC, ... more →
Elemir
29.08.2012 13:16sendxmpp
Поцоны, кто на какие курсы в НМУ в этом году пойдёт?
http://ium.mccme.ru/f12/algebra1.html
Я думаю над алгеброй-2, выбираю между топологией и геометрией, и хочу попытаться сходить к Мише. Кто чо как?
lukish
04.05.2012 19:02
Человек, употребляющий слова «тян» и «баттхёрт», как правило оказывается непроходимо скучным дебилом.
Уж не помню, как именно выработался такой критерий, но работает почему-то совершенно безотказно
!
lukish
24.04.2012 16:29
Напомните, пожалуйста, хороший учебник по основам дифференциальных уравнений.
lukish
17.04.2012 19:43
Прочитав #oesief, задумался о проблеме незаслуженной предвзятой оцениваемости дедфуда. Возникло несколько мыслей по этому поводу.
*** ДЕДФУД ***
Дедфуд, вообще говоря, удивительный образчик трагического героя настоящего времени. Пожалуй, не сыскать иного узника собственных юношеских необдуманных порывов и ... more →
lukish
20.04.2012 20:44
Пятничный день не задался с самого начала. Не выдержав будничного поноса рабской скуки, решил развеяться где-нибудь в рандомной бургерной.
Чудесную трапезу прервал скромный вопросик из-за плеча, дескать, что это я такое интересное из стрелочек и буковок пишу в своём блокнотике. Странное дело, но вопросик донёсся ... more →
238328
15.04.2012 20:07
Кэлерова метрика — эрмитова метрика на комплексном многообразии, фундаментальная форма \omega которой замкнута.
Эрмитова метрика h на комплексном многообразии является кэлеровой тогда и только тогда, когда параллельный перенос вдоль любой кривой (относительно связности Леви-Чивита) является комплексным линейным ... more →
Akemi
09.04.2012 17:04soul_gem
решил, что буду сюда постить всякие глупости и бред, а в хуйк хорошее
Akemi
09.04.2012 17:33soul_gem
http://www.youtube.com/watch?v=d06z1jmSw...
хотя Захар Павлович знал одного человека, рыбака с озера Мутево, который многих расспрашивал о смерти и тосковал от своего любопытства; этот рыбак больше всего любил рыбу, не как пищу, а как особое существо, наверное знающее тайну смерти. Он показывал глаза ... more →
lukish
09.04.2012 16:27BitlBee
*pops */dt/ Кто-нибудь идёт в среду на Тибета?
3 comments
Subscribe
Add to blacklist
