«Վեկտորական տարածություն»–ի խմբագրումների տարբերություն
չ վերջակետների ուղղում, փոխարինվեց: ն: → ն։ (4) oգտվելով ԱՎԲ |
չ փոխարինվեց: ` → ՝ (6) oգտվելով ԱՎԲ |
||
Տող 2. | Տող 2. | ||
== Սահմանում == |
== Սահմանում == |
||
<math> \{x_0, x_1, x_2 ....\}=L</math> էլեմենտների բազմությունը կոչվում է գծային տարածություն, եթե տեղի ունեն հետևյալ |
<math> \{x_0, x_1, x_2 ....\}=L</math> էլեմենտների բազմությունը կոչվում է գծային տարածություն, եթե տեղի ունեն հետևյալ պնդումները՝ |
||
# <math> \forall x, y \in L </math> համապատասխանության մեջ է դրած ինչ-որ <math> z \in L</math>, որը կոչվում է <math> x, y </math> |
# <math> \forall x, y \in L </math> համապատասխանության մեջ է դրած ինչ-որ <math> z \in L</math>, որը կոչվում է <math> x, y </math> գումար՝ <math>x+y</math>, |
||
#<math> \forall \lambda </math> իրական թվին և <math> \forall x \in L </math> համապատասխանության մեջ է դրած <math>z \in L</math>, որը կոչվում է <math> \lambda*x</math> արտադրյալ։ |
#<math> \forall \lambda </math> իրական թվին և <math> \forall x \in L </math> համապատասխանության մեջ է դրած <math>z \in L</math>, որը կոչվում է <math> \lambda*x</math> արտադրյալ։ |
||
=== Հատկություններ=== |
=== Հատկություններ=== |
||
Վերոհիշյալ |
Վերոհիշյալ գործողությունները՝ գումարումը և բազմապատկումը, բավարարում են հետևյալ ութ աքսիոմներին՝ |
||
# <math> x + y = y + x</math>, գումարումը կոմուտատիվ է |
# <math> x + y = y + x</math>, գումարումը կոմուտատիվ է |
||
# <math>(x + y) + z = x + (y + z)</math>, գումարումը ասոցիատիվ է |
# <math>(x + y) + z = x + (y + z)</math>, գումարումը ասոցիատիվ է |
||
# գոյություն ունի տարածության մեջ զրոյական էլեմենտ, այնպիսին որ, <math>\forall x \in L</math> ճիշտ է <math>x + 0 = x</math> |
# գոյություն ունի տարածության մեջ զրոյական էլեմենտ, այնպիսին որ, <math>\forall x \in L</math> ճիշտ է <math>x + 0 = x</math> |
||
# կամայական էլեմենտի ունի իր |
# կամայական էլեմենտի ունի իր հակադիրը՝ <math> x + x^' = 0, x, x^' \in L </math> |
||
# գոյություն ունի |
# գոյություն ունի միավոր՝ <math>E*x=x, \forall x \in L</math> |
||
# <math>(\lambda *\mu)*x=\lambda*(\mu*x) , \forall x \in L </math>, որտեղ <math>\lambda, \mu </math> իրական թվեր են |
# <math>(\lambda *\mu)*x=\lambda*(\mu*x) , \forall x \in L </math>, որտեղ <math>\lambda, \mu </math> իրական թվեր են |
||
# <math>(\lambda +\mu)*x=\lambda*x + \mu*x, \forall x \in L </math>, որտեղ <math>\lambda, \mu </math> իրական թվեր են |
# <math>(\lambda +\mu)*x=\lambda*x + \mu*x, \forall x \in L </math>, որտեղ <math>\lambda, \mu </math> իրական թվեր են |
03:32, 25 Հուլիսի 2016-ի տարբերակ
Գծային կամ վեկտորական տարածությունը հանդիսանում է գծային հանրահաշվի հիմնական ուսումնասիրման առարկան։
Սահմանում
էլեմենտների բազմությունը կոչվում է գծային տարածություն, եթե տեղի ունեն հետևյալ պնդումները՝
- համապատասխանության մեջ է դրած ինչ-որ , որը կոչվում է գումար՝ ,
- իրական թվին և համապատասխանության մեջ է դրած , որը կոչվում է արտադրյալ։
Հատկություններ
Վերոհիշյալ գործողությունները՝ գումարումը և բազմապատկումը, բավարարում են հետևյալ ութ աքսիոմներին՝
- , գումարումը կոմուտատիվ է
- , գումարումը ասոցիատիվ է
- գոյություն ունի տարածության մեջ զրոյական էլեմենտ, այնպիսին որ, ճիշտ է
- կամայական էլեմենտի ունի իր հակադիրը՝
- գոյություն ունի միավոր՝
- , որտեղ իրական թվեր են
- , որտեղ իրական թվեր են
Գծային տարածության բազիս և չափողականություն
գծային տարածության էլեմենտները կոչվում են գծորեն կախված, եթե գոյություն ունեն այնպիսին, որ միաժամանակ զերո չեն և :
գծային տարածության էլեմենտները կոչվում են գծորեն անկախ, եթե գոյություն չունեն նման սկալյարներ, այսինքն այդ համախմբից չկա այնպիսին, որը կարտահայտվի մյուսների գծային կոմբինացիաով։
Եթե էլեմենտների համախումբը պարունակում է զրոյական էլեմենտը, հետևաբար դրանք գծորեն կախված են։ գծային տարածության համախումբը կոչվում է բազիս այդ տարածության մեջ, եթե դրանք գծորեն անկախ են և այդ տարածության կամայական էլեմենտի համար գոյություն ունեն այնպիսի սկալյարներ, որ
Վիքիպահեստ նախագծում կարող եք այս նյութի վերաբերյալ հավելյալ պատկերազարդում գտնել Վեկտորական տարածություն կատեգորիայում։ |