n-ылчовли арифметик фазо Rn даги векторлар S={a1, a2 , . . . , ak } ва T = ={ b1, b2, . . . , bs} системалари берилган былсин .
Агар S системадаги щар бир векторни Т системасидаги векторларнинг чизи=ли комбинацияси кыринишида ва аксинча Т системадаги щар бир векторни S системалаги векторларнинг чизи=ли комбинацияси кыринишда ифодалаш мумкин былса, S ваТ векторлар системаларига эквивалент векторлар системаларидейилади ва S T кыринишда ёзилади. муносабат бинар муносабат былиб, рефлексив(S S), симметрик (S T TS) ва транзитив (ST ва TL S L) лик хоссаларига быйсунади, яъни эквивалентлик муноса-бати былади .
Хоссалари. 1. Иккита системанинг эквивалент былиши учун уларнинг чизи=ли =оби=ларининг тенг былиши зарур ва етарлидир .
Исботи. S T былсин, L (S )=L (T) эканлигини кырсатамиз. S~T aS a L (T), яъни L (S) L (T). Агарда b L(T ),у щолда ТSбылгани учун b L(S );яъни L(T) L (S) . Демак , L(S ) L(T ) .
Агар L (S)= L(T) былса, ST эканлиги таърифдан бевосита келиб чи=ади.
2. Агар иккита векторларнинг чекли системалари ызаро эквивалент былиб, чизи=ли эркли былса, улар бир хил сондаги векторлардан тузилган былади.
Исботи. Агар иккала векторлар системалари быш былса, теорема ыринли. Фараз этайлик u1, u2, . . . , un ва v1, v2, . . . , vsлар эквивалент системалар былиб щар бири чизи=ли бо\ланмаган былсин. У щолда илгариги мавзудаги иккинчи натижага кыра r s ва s r былиб, былардан r=s келиб чи=ади.
Чекли векторлар системасидаги элементар алмаштиришлар деб =уйидагиларга айтилади:
1). Системадаги бирор векторни сонга кыпайтириш;
2). Системадаги бирор векторни га кыпайтириб иккинчи бир векторга =ышиш;
3). Системадан нол векторни чи=ариб ташлаш ёки нол векторни =ышиш.
1) ва 2)-элементар алмаштиришларга хосмас, 3) га эса хос алмашти-риш дейилади.
1-теорема. Агар чекли сондаги векторларнинг бирор системаси иккинчи бир вектор системасидан элемент алмаштиришлар ёрдамида щосил =илинган былса, бу икки система ызаро эквивалент былади.
Исботи. Фараз этайлик ,
a1, a2 , . . . , am (1)
векторлар системаси берилган былсин . Агар янги система (1) дан 1) алмаштириш натижасида щосил =илинган былса , у щолда
a1, a2 , . . . , am (2)
система щосил былади ва (1) щамда (2) ларнинг эквивалент эканлиги таърифдан бевосита келиб чи=ади . Агар янги система
a1+ a2, a2 , . . . , am (3)
кыринишда былса щам (1) ва (3) лар эквивалентдир.
Энди векторли фазолар назариясининг асосий тушунчаларидан бирига таъриф берамиз.
Таъриф. Берилган чекли сондаги векторлар системасининг базиси деб унинг чизи=ли бо\ланмаган ва берилган системага эквивалент быш былмаган =исмий системасига айтилади.
Бош=ача сыз билан айтганда берилган векторлар системасидаги щар бир векторни ифодалаш мумкин былган, чизи=ли бо\ланмаган, быш былмаган =исмий системадир.
2-теорема. Агар чекли векторлар системасида щеч былмаса бирорта нолдан фар=ли вектор мавжуд былса, бу система базисга эга. Берилган системанинг щар =андай иккита базиси бир хил сондаги векторлардан тызилган былади.