Диференційовний многовид: відмінності між версіями

[неперевірена версія][неперевірена версія]
Вилучено вміст Додано вміст
поміняв слово інфінітесімал(infinitesimal) на нескінченно малі
м Заміна застарілого математичного синтаксису відповідно до mw:Extension:Math/Roadmap
Рядок 14:
=== Комплексні многовиди ===
 
Задачі [[аналітична геометрія|аналітичної]] і [[алгебраїчна геометрія|алгебраїчної геометрії]] приводять до необхідності розгляду у визначенні диференціальної структури замість простору <math>\R^n</math> загальніших просторів <math>\CComplex^n</math> або навіть <math>K^n\,</math>, де ''K'' — повне недискретне нормоване поле. Так, у випадку <math>K = \CComplex</math> відповідна <math>C^k</math>-структура, <math>k \geqslant 1</math>, неодмінно виявляється аналітичною структурою, вона називається комплексно аналітичною, або просто комплексною, а відповідний диференційовний многовид — комплексним многовидом. При цьому на будь-якому такому многовиді є і природна дійсна аналітична структура.
=== Сумісні структури ===