Кіріспе
n сферада қанша сызықтық тәуелсіз тегіс нөлдік емес векторлық өрістер болуы мүмкін? Математикада сфералардағы векторлық өрістерді талқылау дифференциалдық топологияның классикалық мәселесі болып табылады, ол түкті шар теоремасымен және бөлу алгебраларын жіктеу жөніндегі алғашқы жұмыстармен басталды. Нақтырақ айтқанда, сұрақ – өлшемді Евклид кеңістігіндегі сферада қанша сызықтық тәуелсіз тегіс нөлдік емес векторлық өрістерді құрастыруға болады. 1962 жылы Франк Адамс осы сұраққа нақты жауап берді. Клиффорд алгебрасын тікелей пайдалану арқылы кем дегенде мұндай өрістердің бар екені бұрыннан белгілі болды (төмендегі анықтаманы қараңыз). Адамс гомотопия теориясы мен топологиялық K теориясын қолданып, одан артық тәуелсіз векторлық өрістерді табу мүмкін еместігін дәлелдеді. Сондықтан өлшемді сферадағы барлық нүктелерде сызықтық тәуелсіз векторлық өрістердің нақты саны – .
In mathematics, the discussion of vector fields on spheres was a classical problem of differential topology, beginning with the hairy ball theorem, and early work on the classification of division algebras. Specifically, the question is how many linearly independent smooth nowhere zero vector fields can be constructed on a sphere in dimensional Euclidean space. A definitive answer was provided in 1962 by Frank Adams. It was already known, by direct construction using Clifford algebras, that there were at least such fields (see definition below). Adams applied homotopy theory and topological K theory to prove that no more independent vector fields could be found. Hence is the exact number of pointwise linearly independent vector fields that exist on an dimensional sphere.
Техникалық мәліметтер
Толықрақ айтқанда, бұл сұрақ "дөңгелек сфераларға" және олардың тангенциалдық жиынтықтарына қатысты: шындығында, барлық экзотикалық сфераларда изоморфты тангенциалдық жиынтықтар болғандықтан, Радон-Хурвиц сандары кез келген гомотопиялық сфераның тангенциалдық жиынтығының сызықтық тәуелсіз қималарының максималды санын анықтайды. Поанкаре-Хопф индексі теоремасы (шашты шар теоремасы деп те аталады) тақ жағдайды қамтиды, сондықтан жұп жағдай оның жалғасы болып табылады. Адамс сферадағы үздіксіз (тегіс те бірдей болар еді) нүктелік сызықтық тәуелсіз векторлық өрістердің максималды саны осыған тең екенін көрсетті. Өрістердің құрылысы нақты Клиффорд алгебраларымен байланысты, бұл 8-ге дейінгі периодтылыққа ие теория және осы жерде де көрінеді. Грам-Шмидт процесі бойынша, нүктелік сызықтық тәуелсіздікті сұрау немесе әр нүктеде ортонормалдық база беретін өрістерді сұрау бірдей.
The construction of the fields is related to the real Clifford algebras, which is a theory with a periodicity modulo 8 that also shows up here. By the Gram–Schmidt process, it is the same to ask for (pointwise) linear independence or fields that give an orthonormal basis at each point.