Szerző: xyz » 2015.06.03. 17:21
Be lehet vezetni az érintővektorokat minden szemlélet nélkül a következő módon:
A sokaság legyen M, egy pontja legyen p, p környezetéből -be menő függvény (térképezés) legyen .
Egy függvényt nevezzünk simának p-ben, ha akárhányszor deriválható -ben. Az M-en vett mindenhol sima függvények tere legyen F(M).
M egy p-beli érintővektorán egy olyan leképezést értünk, ami teljesíti a következőket:
és (a és b valós számok, f és g M-en vett sima függvények)
Belátható, hogy az ilyen módon definiált érintővektorok vektorteret alkotnak, a következő módon definiálva két vektor összegét, illetve egy vektor számszotosát:
és
Definiáljuk -t a következő módon: (Itt a jobboldalon egy közönséges parciális deriválás van)
Belátható, hogy -k (i=1,2,...,n) p-beli érintővektorok, és egy bázisát adják az érintőtérnek.