Анықтама 3. векторы және ковекторы бір-біріне ортогональ деп аталады, егер болса.
Айталық, кеңістігінде базисі берілсін. векторының Е базисі бойынша (2) – жіктелуіндегі векторының -шы координатын қарастырайық. (2) жіктелудің бірмәнділігінен кеңістігінен бір бекітілген базисті таңдап алғанда координаты – бұл сан, векторымен бірмәнді анықталады.
(8)
формуласымен анықталатын бейнелеуін қарастырайық.
Векторларды қосқанда олардың координаты Е базисінде қосылады, ал векторды санға көбейткенде, оның координаттары осы санға көбейтіледі. Бұдан жоғарыда анықталған бейнелеу сызықты болады: Ендеше, кеңістігінде әрбір базисін таңдау кеңістігінен алынған қандай да бір функционалдар жиынтығымен байланысады. функционалдары базисінің координаттық функционалдары деп атайды. Олар үшін
(9)
(9) қатынасты биортогональдық қатынасы деп, ал (9) қатынасты қанағатандыратын және векторлар жүйесі биортогональды деп аталады, және деп белгіленеді.
Теорема 1. координаттық функционалдары сызықтық тәуелсіз және кеңістігінде базис құрайды.
Дәлелдеу. базисінде нөлге тең координаттық функционалдардың сызықтық комбинациясын қарастырайық:
(10)
(10) сол жақ бөлігі нөлдік функционал болып табылады. Ендеше, оның мәні базистік векторында нөлге тең:
(11)
қосылғыштан тұратын (9) биортогональдық қатынастың негізінде (11) сол жақ бөлігінде тек қана -ші қосылғыш қана қалады, сонымен қатар . Сондықтан да, (11)-ден болады. кез келген болғандықтан, енді (10) сызықтық комбинацияның тривиальдығы және координаттық функционалдардың сызықтық тәуелсіздігі шығады.
Теореманы дәлелдеуді аяқтау үшін кез келген функционалы координаттық функционалдың сызықтық комбинациясына жіктелуі мүмкін.
кеңістігінен кез келген векторын қарастырайық. Онда (3) жіктеуден векторында функционалының мәні үшін (8) ескеріп мынаны аламыз:
(12)
Мұнда – тан алынған сандар жиынтығы. векторы кез келген болғандықтан алынған теңдікті функционалдар теңдігі ретінде жазуға болады:
(13)
(13) формула кез келген функционалын координаттық функционалдардың сызықтық комбинациясына жіктелуі болып табылады. Мұндай сызықтық комбинацияның коэффициенттері базистік векторында функционалының мәніне тең болады.
Салдар 1. кеңістігінің кез келген Е базисі үшін кеңістігіне тиісті, болатындай жалғыз ғана базисі бар болады.