PDIFF - Википедия - PDIFF

Splines бөлік-тегіс, сондықтан PDIFF-де, бірақ жаһандық тегіс немесе кесінді-сызықты емес, демек, DIFF немесе PL-де емес.

Жылы геометриялық топология, PDIFF, үшін бекі рет айырмашылыққалпына келтірілуі мүмкін санат туралы кесек -тегіс коллекторлар және кесек-тегіс карталар олардың арасында. Оның құрамында DIFF бар (санаты тегіс коллекторлар және тегіс функциялар арасында) және PL (санаты сызықтық коллекторлар және кесек сызықтық карталар және олардың анықталған себебі - осы екі санатты байланыстыруға мүмкіндік беру. Бұдан әрі, сияқты функциялар сплайндар және көпбұрышты тізбектер математикада кең таралған, және PDIFF оларды талқылауға арналған санатты ұсынады.

Мотивация

PDIFF DIFF және PL-ді байланыстыруға қызмет етеді және ол PL-ге тең.

PDIFF көбінесе техникалық нүкте болып табылады: тегіс карталар кесінді сызықтық емес (сызықтық болмаса), ал кесінді сызықтық карталар тегіс емес (жаһандық сызықтық болмаса) - қиылысу сызықтық карталар, дәлірек айтсақ аффиналық карталар (өйткені негізделмеген) - сондықтан олар тікелей байланысты бола алмайды: олар аффиналық карта ұғымының бөлек жалпыламалары.

Алайда, тегіс коллектор PL коллекторы болмаса да, канондық PL құрылымын алып жүреді - ол ерекше үшбұрышталады; керісінше, кез-келген PL коллекторы тегіс емес. Белгілі бір тегіс коллектор немесе тегіс коллекторлар арасындағы тегіс карта үшін бұл коллекторды жеткілікті кішігірім бөліктерге бөліп, содан кейін әр бөлікке коллекторды немесе картаны сызықтау арқылы көрсетуге болады: мысалы, жазықтықтағы шеңберді жақындатуға болады үшбұрыш, бірақ а емес 2-гон, өйткені соңғысын сызықтық түрде енгізу мүмкін емес.

Дифф пен ПЛ арасындағы бұл қатынас таңдауды қажет етеді, алайда бұл екі категорияны да үлкен санатқа қосу арқылы табиғи түрде көрінеді және түсініледі, содан кейін PL-дің қосылуы эквивалент болып табылады: әр тегіс коллектор және әрбір PL коллекторы болып табылады PDiff коллекторы. Осылайша, Diff-тен PDiff-ке және PL-ге PDiff-ке өту табиғи нәрсе - бұл жай ғана қосу. PL-ден PDiff-ке дейінгі карта, теңдік болмаса да, әр тегіс функция біртектес сызықтық емес - бұл эквивалент: сызықтық кесінділер арқылы артқа өтуге болады. Осылайша оны кейбір мақсаттарға аударуға болады немесе картаны беретін изоморфизм деп санауға болады Бұл санаттардың барлығы TOP ішінде, топологиялық коллектордың санаты және олардың арасындағы үздіксіз карталар.

Қысқаша айтқанда, PDiff Diff-тен гөрі жалпы болып табылады, өйткені ол бөліктерге (бұрыштарға) мүмкіндік береді, ал жалпы тегіс бұрыштарға ие бола алмайды, ал PL PDIF-тен кем емес, өйткені кесінділерді сызықтай білуге ​​болады (дәлірек айтқанда, оларды бөлшектеуге тура келеді) кішігірім бөліктер, содан кейін PDiff-те рұқсат етілген сызықтық).

Тарих

Бұл әрбір тегіс (шынымен де, C1) коллектордың бастапқыда дәлелденген бірегей PL құрылымы барУайтхед 1940 ). Егжей-тегжейлі экспозициялық дәлел (Мункрес 1966 ). Нәтиже егжей-тегжейлі дәлелдеу үшін қарапайым және жеткілікті техникалық болып табылады, сондықтан ол тек қазіргі мәтіндерде эскизделеді, өйткені (Thurston 1997 ). Өте қысқаша құрылым (МакМуллен 1997 ж ), ал қысқа, бірақ егжей-тегжейлі дәлел (Lurie 2009 ).

Әдебиеттер тізімі

  • Лури, Джейкоб (13 ақпан, 2009), Уайтхед үшбұрыштары (3-дәріс) (PDF)
  • МакМаллен, C. Т. (21 тамыз 1997). «Re: PL және DIFF коллекторлары: сұрақ». Жаңалықтар тобығылыми-зерттеу. Архивтелген түпнұсқа 2013 жылдың 8 сәуірінде. Алынған 10 мамыр, 2012.
  • Мунрес, Джеймс Р. (1966), Бастапқы дифференциалды топология, Математика зерттеулерінің жылнамалары, 54, Принстон университетінің баспасы, ISBN  0-69109093-9, II тарау
  • Терстон, Уильям (1997), Үш өлшемді геометрия және топология, Принстон университетінің баспасы, 194-195 б., ISBN  978-0-69108304-9, PDIFF «біртекті тегіс» ретінде сипатталды
  • Уайтхед, Дж. (Қазан 1940). «Қосулы C1-Кешендер ». Математика шежіресі. Екінші серия. 41 (4): 809–824. дои:10.2307/1968861. JSTOR  1968861.