Czysty podrozmaitość

W topologii różniczkowej , obszarze matematyki, zgrabna podrozmaitość rozmaitości z granicą jest rodzajem „dobrze zachowującej się” podrozmaitości .

Aby zdefiniować to dokładniej, najpierw niech

$\$ z granicą i

być podrozmaitością $}$$displaystyle M$ .

Wtedy mówi się, że jest zgrabną podrozmaitością $,$${\ displaystyle M}$ jeśli spełnia następujące dwa warunki: ZA {\ displaystyle A

• Granica jest podzbiorem granicy $\ displaystyle M$$}$ . To znaczy ${\ Displaystyle \ częściowy A \ podzbiór \ częściowy M}$ .
• $równoważne$ punkt ma otoczenie, w którym $osadzenie$$jest$ z osadzeniem hiperpłaszczyzny w wielowymiarowej przestrzeni euklidesowej

$\$ , $}$ być objęte wykresami z ${$$M$ że ( { $displaystyle A}$ . gdzie jest wymiarem $\$ Na przykład w kategorii $,$ gładkich oznacza to że osadzenie musi być również gładkie.

Zobacz też

• Lokalna płaskość