Разлика помеѓу преработките на „Векторски простор“

нема опис на уредувањето
с (robot Dodaje: zh-classical:向量空間)
Векторскиот простор во основа е всушност '''множество''' во чии рамки елементите задоволуваат одредени својства. Векторскиот простор е еден од основните концепти на вишата математика. Со неговото воведување возможно е теоретски да се решат голем број проблеми, а како најбитно се овозможува '''димензионална апстракција''' - да се погледне ''преку'' третата димензија (односно максималниот број на просторни димензии кои човековиот мозок може сетилно да ги разграничи), т.е. да се разгледуваат простори со повеќе од три димензии. Иако неговата дефиниција и теориска разработка лежи во [[Линеарна алгебра|линеарната алгебра]], концептот на векторски простор е многу битен и во останатите делови на [[математика]]та, а посебно во [[Аналитичка геометрија|аналитичката геометрија]].
 
Нека е дадено непразно множество <math>\ V</math> чии елементи ќе ги нaрекуваме '''вектори''' (тука настанува основната забуна: поимот [[вектор]] веќе не мора да се сфаќа како насочена отсечка од [[рамнина]]та или просторот, туку едноставно кажано сè, буквално сè што може да припаѓа на едно множество е вектор!); нека исто така ни е дадено едно [[поле]] <math>\ \Bbb{F}</math>, т.е. множество броеви кои има [[Алгебарски структури|структура на поле]], a чии пак елементи ќе ги нарекуваме '''скалари'''. Дефинираме операции: '''собирање''' (<math>\ +</math> ) на два елемента <math>\ x</math>, и <math>y</math> од\in множеството <math>V</math> така што збирот <math>\ x + y</math> припаѓа\in во <math>V</math>; и '''множење со скалар''' (·<math>\ \cdot</math>), т.е. множење на елемент <math>\ a</math> од\in полето <math>\Bbb{F}</math> со елемент од <math>\ x</math> од\in множеството <math>V</math> така што производот <math>\ a </math>·<math>\cdot x</math> повторно\in да припаѓа во множеството <math>V</math>.
 
 
За множеството <math>\ V</math> се вели дека е векторски простор над полето <math>\ \Bbb{F}</math> ако и само ако се задоволени следниве осум '''[[Аксиома|аксиоми]]''', т.е. својства:
* '''С1 (комутативност на собирањето):''' <math>\ x + y = y + x</math>, за секои <math>x, y \in V</math>;
* '''С2 (асоцијативност на собирањето):''' <math>\ ( x + y ) + z = x + ( y + z )</math> за секои <math>x, y, z \in V</math>;
* '''С3 (постоење на нуланулти-вектор):''' постои <math>\ \Bbb{O} \in V</math> така што: <math>\ x + \Bbb{O} = \Bbb{O} + x = x</math>, за секој <math>\ x \in V</math>;
* '''С4 (постоење на инверзен елемент):''' за секој <math>\ x \in V</math>, постои <math>\ w \in V</math> така што <math>\ x + w = w + x = \Bbb{O}</math>;
 
* '''М1:''' <math>\ a</math>\cdot · <math>( x + y ) = a</math>\cdot · <math>x + a</math>\cdot · <math>y</math>, за секое <math>a \in \Bbb{F}</math> и секои <math>\ x, y \in V</math>;
* '''М2:''' <math>\ ( a + b )</math> ·\cdot <math>x = a</math>\cdot · <math>x + b</math>\cdot · <math>x</math>, за секое <math>\ x \in V</math> и секои <math>\ a, b \in \Bbb{F}</math>;
* '''М3:''' <math>a</math>\cdot · <math>( b</math>\cdot · <math>x ) = ( a</math>\cdot · <math>b )</math>\cdot · <math>x</math>, за секое <math>\ x\in V</math> и секои <math>\ a, b \in \Bbb{F}</math>;
* '''М4 (постоење на неутрален елемент):''' постои <math>\ e \in F</math> така што <math>e</math>\cdot · <math>x = x</math>\cdot · <math>e = x</math>, за секој <math>\ x \in V</math>;
 
Доколку се исполнети '''сите''' овие аксиоми, само тогаш <math>\ V</math> е векторски простор и тогаш пишуваме: <math>V (= V(\Bbb{F })</math> (читај: „V над F“ или „V е векторски простор над полето F“). Често пати наместо ''векторски простор'' се вели само ''простор''. Ако полето на просторот е полето [[реален број|реални броеви]] <math>\ \Bbb{R}</math>, тогаш за просторот велиме дека е ''реален (векторски) простор'', а ако полето на просторот е полето [[комплексен број|комплексни броеви]] <math>\ \Bbb{C}</math>, тогаш за просторот велиме дека е ''комплексен (векторски) простор''.
 
Примери за векторски простор се: права од просторот која минува низ координатниот почеток; рамнина од просторот која минува низ координатниот почеток; целиот тридимензионален простор.
 
Познато е дека секоја точка од рамнината и просторот може да се претстави како [[Подреден пар|подредена двојка (пар)]] и подредена тројка од реални броеви соодветно. Членовите на парот, односно тројката се нарекуваат ''координати на точката''. Ако секоја точка од рамнината / просторот ја претставиме преку нејзиниот [[радиусвектор]] (кој пак ги има истите координати како и точката), и дефинираме собирање на два радиусвектора <math>\ u = ( a , b )</math>, и <math>v = ( c , d )</math> со: <math>\ u + v = ( a , b ) + ( c , d ) = ( a + b , c + d)</math> и множење со скалар со <math>\ k</math>\cdot · <math>u = k</math>\cdot · <math>( a , b ) = ( k\cdot </math> · <math>a , k</math>\cdot · <math>b ), k \in \Bbb{F}</math> (k е скалар од полето), тогаш лесно се проверува дека во однос на вака дефинираните операции множествотамножествaта од подредени двојки / тројки (односно некоја рамнина од 3D-просторот и самиот 3D-простор) се реални векторски простори. Ако пак се апстрахираме од визуелното геометриско значење на координатите на точките и воведеме: '''подредени четворки:''' (a<sub>1</submath>\ (a_1,a<sub>2</sub> a_2,a<sub>3</sub> a_3,a<sub>4 a_4)</submath>), '''подредени петорки:''' (a<sub>1</submath>\ (a_1,a<sub>2</sub> a_2,a<sub>3</sub> a_3,a<sub>4</sub> a_4,a<sub>5 a_5)</submath>), или пак за произволен природен број '''n''' воведеме '''подредена n-торка:''' (a<sub>1</submath>\ (a_1,a<sub>2</sub> a_2,...,a<sub>n a_n)</submath>), а операциите ги дефинираме на потполно ист начин (збир на два вектора [две n-торки] е вектор чии координати претставуваат збир од соодветните координати на векторите [n-торките]; а производ на вектор [n-торка] со скалар е вектор [n-торка] чии координати се координатите на векторот [n-торката] помножени со скаларот), тогаш се проверува дека множеството од n-торки ги задоволува погорните аксиоми, т.е. дека тоа е векторски простор.
 
Напомена: векторскиот простор е '''затворено множество''' во однос на во него дефинираните операции, т.е. ако едно множество е векторски простор тогаш преку операциите не може да се излезе„излезе од неговите границиграници“, т.е. не постојат вектори кои припаѓаат во просторот, а чиј збир не припаѓа во просторот, ниту таков вектор од просторот и таков скалар од полето чијшто производ не припаѓа во просторот.
 
=База и димензија на векторски простор=
 
Да избереме неколку вектори од векторскиот простор: <math>\ v_1, v_2,..., v_n \in V</math> и од нив да формираме множество <math>S</math>.\ Нека <math>S=(</math>v<sub>1</sub>,v<sub>2</sub>, т.е..,v<sub>n</sub>: <math>)</math>\ кадеS што= со\{ v<sub>1</sub>v_1,v<sub>2</sub> v_2,...,v<sub>n v_n \}</submath> се означени векторите кои сме ги избрале. За множеството <math>\ S</math> се викавели дека е '''генератор (генераторно множество) за векторскиот простор''' <math>\ V</math> ако секој вектор од просторот може да се запише како [[Линеарна зависност|линеарна комбинација]] од векторите од множеството <math>V\ S</math>, т.е. ако постојат скалари a<sub>1</submath>\ a_1,a<sub>2</sub> a_2,...,a<sub>n a_n \in \Bbb{F}</math> такви што за произволен вектор <math>\ x \in V</math> точно е:
:<math>\ x = a_1\cdot v_1 + a_2\cdot + v_2 + ... + a_n\cdot v_n</math>
: x = a<sub>1</sub>·v<sub>1</sub> + a<sub>2</sub>·v<sub>2</sub> + ... + a<sub>n</sub>·v<sub>n</sub>
 
Поедноставно, ако сите вектори од <math>\ V</math> може да ги претставиме преку вектортите од множеството <math>\ S</math>, тогаш за <math>\ S</math> се вели дека е генератор за <math>\ V</math>.
Дополнително, ако множеството <math>\ S</math> е [[Линеарна зависност|линеарно независно]], тогаш се вели дека <math>\ S</math> претставува '''база''' на векторскиот простор <math>\ V</math>. Веднаш дефинираме и '''димензија''' на векторскиот простор како '''број на вектори што ја сочинуваат базата'''. Дека просторот <math>\ V</math> има димензија ''n'' бележиме со: ''<math>\ dimV = n''</math>. Така базата на тридимензионален простор има три вектори, на дводимензионален - два на стодимензионален, сто вектори.
На пример секој вектор од обичниот, тридимензионален простор може да се претстави преку векторите: <math>\ v_1 = '''(1,0,0)''', '''v_2 = (0,1,0)''', v_3 и= '''(0,0,1)'''</math> што значи дека тие сочинуваат база, а нивниот број е три.
Базата на просторот не е единствена, т.е. еднозначно определена. Тоа значи дека за секој простор постојат бесконечно многу бази. Теориски, било кое линеарно независно множество вектори од еден простор може да сочинува база за тој простор. Но, како и да е, димензијата на просторот секогаш е еднозначно определена - сите бази на просторот се сочинети од ист број вектори.
 
=Векторски потпростори=
1.577

уредувања