2014 dxdy logo

Научный форум dxdy

Математика, Физика, Computer Science, Machine Learning, LaTeX, Механика и Техника, Химия,
Биология и Медицина, Экономика и Финансовая Математика, Гуманитарные науки




 
 Диффеоморфизм многообразий
Сообщение28.05.2014, 12:26 
Добрый день.

Необходимо проверить, что диффеоморфные многообразия имеют одинаковую размерность.

Подумалось, что, при картах $\varphi$ и $\psi$, $\varphi^{-1}$ $\circ$ f $\circ$ $\psi$ - гомеоморфизм, а $\mathbb{R}^{n}$ не гомеоморфно $\mathbb{R}^{m}$

Но как раз с последним у меня проблемы. Подскажите, пожалуйста, как это проверить.

 
 
 
 Re: Диффеоморфизм многообразий
Сообщение28.05.2014, 12:37 
Ну, например, если одну точку выкинуть из $\mathbb{R}^n$ и $\mathbb{R}^m$, то гомологии будут разные.

Если вам про (ко)гомологии ничего не говорили и в них лезть не хочется, то можно почитать про топологическую теорию размерности. Есть целые книжки про это, но для вашей задачи вполне достаточно Постникова, "Лекции по геометрии. Семестр III. Гладкие многообразия", лекции 8 и 9.

-- Ср май 28, 2014 11:47:31 --

А, подождите, это я на слово "гомеоморфность" среагировал --- ее доказать действительно непросто. А вот недиффеоморфность (а вам именно она и нужна) --- гораздо проще, там кроме стандартного анализа вообще ничего не нужно.

-- Ср май 28, 2014 12:02:35 --

Да и даже к картам переходить не надо: просто возьмите произвольную точку и подумайте, что вы можете сказать про дифференциал диффеоморфизма в этой точке.

 
 
 
 Re: Диффеоморфизм многообразий
Сообщение28.05.2014, 14:15 
Аватара пользователя
Jammin в сообщении #868752 писал(а):
при картах $\varphi$ и $\psi$, $\varphi^{-1}\circ f \circ \psi$ - гомеоморфизм
Если $f$ — это что?

 
 
 
 Re: Диффеоморфизм многообразий
Сообщение28.05.2014, 14:31 
svv в сообщении #868788 писал(а):
Jammin в сообщении #868752 писал(а):
при картах $\varphi$ и $\psi$, $\varphi^{-1}\circ f \circ \psi$ - гомеоморфизм
Если $f$ — это что?

Диффеоморфизм из M в N

Narn в сообщении #868754 писал(а):

Да и даже к картам переходить не надо: просто возьмите произвольную точку и подумайте, что вы можете сказать про дифференциал диффеоморфизма в этой точке.


Ранг диффеоморфизма равен $\min\{m,n\}$?

 i  Deggial: формулы оформляйте $\TeX$ом, иначе тема поедет в Карантин.

 
 
 
 Re: Диффеоморфизм многообразий
Сообщение28.05.2014, 15:27 
Ладно, еще прозрачнее: у диффеоморфизма есть обратный диффеоморфизм, у которого дифференциал является для дифференциала исходного отображения ...чем?

 
 
 
 Re: Диффеоморфизм многообразий
Сообщение30.05.2014, 20:07 
До меня, кажется, дошло.
Если бы многообразия были диффеоморфны, то мы могли бы $\mathbb{R}^n$ отобразить биективно на $\mathbb{R}^m$, а такого не бывает из линейной алгебры.

 
 
 
 Re: Диффеоморфизм многообразий
Сообщение30.05.2014, 21:10 
Аватара пользователя
Jammin в сообщении #868752 писал(а):
Необходимо проверить, что диффеоморфные многообразия имеют одинаковую размерность.

Я в этом понимаю мало, но мне кажется, диффеоморфизм тут излишен. Гомеоморфные многообразия имеют одинаковую размерность. Гомеоморфизм есть следствие диффеоморфизма.

 
 
 
 Re: Диффеоморфизм многообразий
Сообщение30.05.2014, 21:13 
Аватара пользователя
Jammin
Биективно можно, но у Вас будет к тому же линейное отображение, а это уже нельзя.
мат-ламер
Выше писали, что с гомеоморфизмом доказывать сложнее.

 
 
 [ Сообщений: 8 ] 


Powered by phpBB © 2000, 2002, 2005, 2007 phpBB Group