Линейная алгебра: различия между версиями
[отпатрулированная версия] | [непроверенная версия] |
Almabot (обсуждение | вклад) м робот добавил: gan:線性代數 |
→Определение: викификация |
||
(не показано 5 промежуточных версий 3 участников) | |||
Строка 1: | Строка 1: | ||
'''Лине́йная а́лгебра''' — |
|||
⚫ | |||
== Определение == |
|||
'''Линейная алгебра''' задаётся системой аксиом, которые определяют операции допустимые в этой алгебре. |
|||
Пусть даны два различных множества: |
|||
1) Поле '''K''', элементы которого обозначаются греческими буквами <math>~\alpha, \beta, \ldots </math> и называются коэффициентами или скалярами. |
|||
2) Множество '''L''' , элементы которого обозначаются латинскими буквами '''x, y, z''' и которые мы назовём векторами. |
|||
В качестве множества '''K''' в линейной алгебре рассматриваются в основном поле действительных чисел '''R''', поле комплексных чисел '''C''', тело кватернионов '''H''' и тело октав '''Ca'''. Приведём систему аксиом, когда множество коэффициентов '''K''' является полем. Систему аксиом для общего случая, когда множество коэффициентов '''K''' является телом можно найти в [1], [2]. |
|||
=== Аксиомы линейной алгебры === |
|||
*Первые четыре аксиомы требуют чтобы, элементы множества '''L''' по сложению были коммутативной (или абелевой) группой т.е. |
|||
1) <math>~x+y=y+x</math>; 2) <math>~(x+y)+z=x+(y+z) </math>; 3) <math>~ x+\Theta =x </math>; |
|||
4) <math>~ x+(-x)=\Theta </math>; где: <math>~ \Theta </math>; нейтральный элемент относительно сложения; |
|||
*Ещё четыре аксиомы определяют закон умножения векторов и скаляров. |
|||
5) <math>~ \alpha(\beta x)=( \alpha\beta)x </math>; |
|||
6) <math>~ \alpha(x+y)= \alpha x+\alpha y </math>; |
|||
7) <math>~ (\alpha+\beta)x=\alpha x+\beta x </math>; |
|||
8) <math>~ 1x=x</math>; где: <math>~ 1 </math> --нейтральный элемент относительно умножения или единица из '''K''', |
|||
*В качестве девятой аксиомы используется условие существования |
|||
9) Для любых <math>~ \alpha \in K </math> и <math>~ x \in L </math> существует <math>~ y=\alpha x </math> при этом <math>~ y \in L </math>. |
|||
== Ограничения линейной алгебры == |
|||
Как следует из приведенного определения, в линейной алгебре существуют ограничения по отношению к некоторым операциям с элементами '''K''' и '''L''', а именно: |
|||
*в линейной алгебре не определено сложение вектора из множества '''L''' с коэффициентом из множества '''K''', т.е. операция вида <math>~ x+ \alpha </math>, где <math>~ x \in L </math> и <math>~ \alpha \in K </math> не определена; |
|||
*в линейной алгебре не определено умножение векторов в множестве '''L''', т.е. операция вида <math>~ x y </math>, где <math>~ x \in L </math> и <math>~ y \in L </math> не определена; |
|||
*множества '''K''' и '''L''' имеют различную природу и не имеют общих элементов, т.е. <math>~ K \bigcap L= \varnothing </math>. |
|||
Необходимо указать, что существуют [[мультивекторные пространства]], в которых алгебра векторов не является линейной алгеброй. В этих пространствах множества '''K''' и '''L''' совпадают, при этом становится возможным умножение векторов. |
|||
== Расширения == |
|||
Более широким понятием является понятие пространства, т.е. множества элементов с определённой для этих элементов алгеброй. Если мы говорим о линейной алгебре, то ей будут соответствовать [[линейные пространства]]. |
|||
Вместо множества векторов '''L''' , могут выступать другие множества, например, множество матриц одинакового строения, множество функций и т.д. Для действий с элементами этих множеств также определена система аксиом линейной алгебры. И эти множества с определённой для них линейной алгеброй являются линейными пространствами. |
|||
== История == |
== История == |
||
Строка 5: | Строка 49: | ||
Линейные уравнения, как уравнения прямых и плоскостей, стали естественным предметом изучения после изобретения [[Декарт, Рене|Декартом]] и [[Ферма, Пьер|Ферма]] [[метод координат|метода координат]] (около [[1636]]). [[Гамильтон, Уильям Роуан|Гамильтон]] в своей работе [[1833]] представлял [[комплексное число|комплексные числа]] в виде, как мы бы сейчас сказали, двумерного вещественного векторного пространства, ему принадлежит открытие [[кватернион]]ов, а также авторство термина «вектор». Теория матриц была разработана в трудах [[Кэли, Артур|Кэли]] ([[1850-е]]). Системы линейных уравнений в матрично-векторном виде впервые появились, по-видимому, в работах [[Лагерр, Эдмон Никола|Лагерра]] ([[1867]]). [[Грассман, Герман Гюнтер|Грассман]] в работах [[1844]] и [[1862]] года изучает то, что мы теперь назвали бы [[Алгебра (алгебраическая система)|алгебрами]], и его формальное изложение по существу является первой аксиоматической теорией алгебраических систем. В явном виде аксиомы линейного пространства сформулированы в работе [[Пеано, Джузеппе|Пеано]] ([[1888]]). |
Линейные уравнения, как уравнения прямых и плоскостей, стали естественным предметом изучения после изобретения [[Декарт, Рене|Декартом]] и [[Ферма, Пьер|Ферма]] [[метод координат|метода координат]] (около [[1636]]). [[Гамильтон, Уильям Роуан|Гамильтон]] в своей работе [[1833]] представлял [[комплексное число|комплексные числа]] в виде, как мы бы сейчас сказали, двумерного вещественного векторного пространства, ему принадлежит открытие [[кватернион]]ов, а также авторство термина «вектор». Теория матриц была разработана в трудах [[Кэли, Артур|Кэли]] ([[1850-е]]). Системы линейных уравнений в матрично-векторном виде впервые появились, по-видимому, в работах [[Лагерр, Эдмон Никола|Лагерра]] ([[1867]]). [[Грассман, Герман Гюнтер|Грассман]] в работах [[1844]] и [[1862]] года изучает то, что мы теперь назвали бы [[Алгебра (алгебраическая система)|алгебрами]], и его формальное изложение по существу является первой аксиоматической теорией алгебраических систем. В явном виде аксиомы линейного пространства сформулированы в работе [[Пеано, Джузеппе|Пеано]] ([[1888]]). |
||
== А также == |
|||
⚫ | Линейная алгебра важная в приложениях часть [[алгебра|алгебры]], изучающая [[вектор (алгебра)|векторы]], векторные, или [[линейное пространство|линейные пространства]], [[линейное отображение|линейные отображения]] и [[Система линейных алгебраических уравнений|системы линейных уравнений]]. Векторные пространства встречаются в математике и её приложениях повсеместно. Линейная алгебра широко используется в [[Абстрактная алгебра|абстрактной алгебре]] и [[функциональный анализ|функциональном анализе]] и находит многочисленные приложения в естественных науках. |
||
== См. также == |
== См. также == |
||
[[Линейные пространства]] |
|||
* [[Аналитическая геометрия]] |
|||
== Литература == |
== Литература == |
||
* ''Мальцев А. И.'' Основы линейной алгебры. М.: Наука, 1975. |
* 1. ''Мальцев А. И.'' Основы линейной алгебры. М.: Наука, 1975. |
||
* 2. Б.Л. ван дер Варден Алгебра. М. Наука ФМ 1979. |
|||
⚫ | |||
⚫ | |||
⚫ | |||
== Дополнительная литература == |
|||
* ''[[Гельфанд, Израиль Моисеевич|Гельфанд И. М.]]'' Лекции по линейной алгебре М.: Наука, 1971. |
* ''[[Гельфанд, Израиль Моисеевич|Гельфанд И. М.]]'' Лекции по линейной алгебре М.: Наука, 1971. |
||
* ''[[Фаддеев, Дмитрий Константинович|Фаддеев Д. К.]]'' Лекции по алгебре. М.: Наука, 1984. |
* ''[[Фаддеев, Дмитрий Константинович|Фаддеев Д. К.]]'' Лекции по алгебре. М.: Наука, 1984. |
||
* ''Кострикин А. И.'' Введение в алгебру, М.: Наука, 1977. |
* ''Кострикин А. И.'' Введение в алгебру, М.: Наука, 1977. |
||
⚫ | |||
* ''В. А. Ильин, Г. Д. Ким'' Линейная алгебра и аналитическая геометрия, М.: ТК Велби, Изд-во Проспект, 2007, 400с. |
* ''В. А. Ильин, Г. Д. Ким'' Линейная алгебра и аналитическая геометрия, М.: ТК Велби, Изд-во Проспект, 2007, 400с. |
||
* ''[[Беклемишев, Дмитрий Владимирович|Беклемишев Д. В.]] Аналитическая геометрия и линейная алгебра.-М.: Высш. шк. 1998, 320с. |
* ''[[Беклемишев, Дмитрий Владимирович|Беклемишев Д. В.]] Аналитическая геометрия и линейная алгебра.-М.: Высш. шк. 1998, 320с. |
||
Строка 22: | Строка 81: | ||
* ''[[Гантмахер, Всеволод Феликсович|Гантмахер Ф. Р.]] Теория матриц.-М.: Наука 1966, 576с. |
* ''[[Гантмахер, Всеволод Феликсович|Гантмахер Ф. Р.]] Теория матриц.-М.: Наука 1966, 576с. |
||
* ''Гельфанд И. М.'', [http://www.nature.ru/db/msg.html?mid=1151602&uri=index.html Линейная алгебра]. Курс лекций. |
* ''Гельфанд И. М.'', [http://www.nature.ru/db/msg.html?mid=1151602&uri=index.html Линейная алгебра]. Курс лекций. |
||
⚫ | |||
* ''Кострикин А. И., Манин Ю. И.'' Линейная алгебра и геометрия.-М.:Наука 1986, 304с. |
* ''Кострикин А. И., Манин Ю. И.'' Линейная алгебра и геометрия.-М.:Наука 1986, 304с. |
||
⚫ | |||
* ''Ланкастер П.'' Теория матриц.-М.:Наука 1973, 280с. |
* ''Ланкастер П.'' Теория матриц.-М.:Наука 1973, 280с. |
||
* ''Проскуряков И. В.'' Сборник задач по линейной алгебре.-М.:Наука 1966, 384с. |
* ''Проскуряков И. В.'' Сборник задач по линейной алгебре.-М.:Наука 1966, 384с. |
||
Строка 35: | Строка 92: | ||
* ''[[Шафаревич, Игорь Ростиславович|Шафаревич И. Р.]], Ремизов А. О.'' Линейная алгебра и геометрия, — Физматлит, Москва, 2009. |
* ''[[Шафаревич, Игорь Ростиславович|Шафаревич И. Р.]], Ремизов А. О.'' Линейная алгебра и геометрия, — Физматлит, Москва, 2009. |
||
⚫ | |||
{{Разделы математики}} |
{{Разделы математики}} |
||
⚫ | |||
[[trtg:Алгебраи хаттӣ]] |
|||
[[:Doğrusal cebir]] |
|||
[[ar:جبر خطي]] |
[[ar:جبر خطي]] |
||
Строка 75: | Строка 136: | ||
[[pt:Álgebra linear]] |
[[pt:Álgebra linear]] |
||
[[ro:Algebră liniară]] |
[[ro:Algebră liniară]] |
||
[[scn:Algibbra liniari]] |
|||
[[sh:Linearna algebra]] |
[[sh:Linearna algebra]] |
||
[[simple:Linear algebra]] |
[[simple:Linear algebra]] |
Версия от 09:43, 28 апреля 2010
Лине́йная а́лгебра —
Определение
Линейная алгебра задаётся системой аксиом, которые определяют операции допустимые в этой алгебре.
Пусть даны два различных множества:
1) Поле K, элементы которого обозначаются греческими буквами и называются коэффициентами или скалярами.
2) Множество L , элементы которого обозначаются латинскими буквами x, y, z и которые мы назовём векторами.
В качестве множества K в линейной алгебре рассматриваются в основном поле действительных чисел R, поле комплексных чисел C, тело кватернионов H и тело октав Ca. Приведём систему аксиом, когда множество коэффициентов K является полем. Систему аксиом для общего случая, когда множество коэффициентов K является телом можно найти в [1], [2].
Аксиомы линейной алгебры
- Первые четыре аксиомы требуют чтобы, элементы множества L по сложению были коммутативной (или абелевой) группой т.е.
1) ; 2) ; 3) ;
4) ; где: ; нейтральный элемент относительно сложения;
- Ещё четыре аксиомы определяют закон умножения векторов и скаляров.
5) ; 6) ; 7) ;
8) ; где: --нейтральный элемент относительно умножения или единица из K,
- В качестве девятой аксиомы используется условие существования
9) Для любых и существует при этом .
Ограничения линейной алгебры
Как следует из приведенного определения, в линейной алгебре существуют ограничения по отношению к некоторым операциям с элементами K и L, а именно:
- в линейной алгебре не определено сложение вектора из множества L с коэффициентом из множества K, т.е. операция вида , где и не определена;
- в линейной алгебре не определено умножение векторов в множестве L, т.е. операция вида , где и не определена;
- множества K и L имеют различную природу и не имеют общих элементов, т.е. .
Необходимо указать, что существуют мультивекторные пространства, в которых алгебра векторов не является линейной алгеброй. В этих пространствах множества K и L совпадают, при этом становится возможным умножение векторов.
Расширения
Более широким понятием является понятие пространства, т.е. множества элементов с определённой для этих элементов алгеброй. Если мы говорим о линейной алгебре, то ей будут соответствовать линейные пространства.
Вместо множества векторов L , могут выступать другие множества, например, множество матриц одинакового строения, множество функций и т.д. Для действий с элементами этих множеств также определена система аксиом линейной алгебры. И эти множества с определённой для них линейной алгеброй являются линейными пространствами.
История
Исторически первым вопросом линейной алгебры был вопрос о линейных уравнениях. Построение теории систем таких уравнений потребовало таких инструментов, как теория матриц и определителей, и естественно привело к появлению теории векторных пространств.
Линейные уравнения, как уравнения прямых и плоскостей, стали естественным предметом изучения после изобретения Декартом и Ферма метода координат (около 1636). Гамильтон в своей работе 1833 представлял комплексные числа в виде, как мы бы сейчас сказали, двумерного вещественного векторного пространства, ему принадлежит открытие кватернионов, а также авторство термина «вектор». Теория матриц была разработана в трудах Кэли (1850-е). Системы линейных уравнений в матрично-векторном виде впервые появились, по-видимому, в работах Лагерра (1867). Грассман в работах 1844 и 1862 года изучает то, что мы теперь назвали бы алгебрами, и его формальное изложение по существу является первой аксиоматической теорией алгебраических систем. В явном виде аксиомы линейного пространства сформулированы в работе Пеано (1888).
А также
Линейная алгебра важная в приложениях часть алгебры, изучающая векторы, векторные, или линейные пространства, линейные отображения и системы линейных уравнений. Векторные пространства встречаются в математике и её приложениях повсеместно. Линейная алгебра широко используется в абстрактной алгебре и функциональном анализе и находит многочисленные приложения в естественных науках.
См. также
Литература
- 1. Мальцев А. И. Основы линейной алгебры. М.: Наука, 1975.
- 2. Б.Л. ван дер Варден Алгебра. М. Наука ФМ 1979.
- 3. Ефимов Н. В., Розендорн Э. Р. Линейная алгебра и многомерная геометрия.-М.:Наука 1969, 528с.
- 4. Курош А. Г. Курс высшей алгебры.-М.:Наука 1968, 331с.
- 5. В. А. Ильин, Э. Г. Позняк Линейная алгебра, М.: Наука — Физматлит, 1999.
Дополнительная литература
- Гельфанд И. М. Лекции по линейной алгебре М.: Наука, 1971.
- Фаддеев Д. К. Лекции по алгебре. М.: Наука, 1984.
- Кострикин А. И. Введение в алгебру, М.: Наука, 1977.
- В. А. Ильин, Г. Д. Ким Линейная алгебра и аналитическая геометрия, М.: ТК Велби, Изд-во Проспект, 2007, 400с.
- Беклемишев Д. В. Аналитическая геометрия и линейная алгебра.-М.: Высш. шк. 1998, 320с.
- Беклемишев Д. В. Дополнительные главы линейной алгебры.-М.:Наука 1983, 336с.
- Булдырев В. С., Павлов Б. С. Линейная алгебра и функции многих переменных.-Л.:ЛГУ 1985, 496с.
- Бутузов В.Ф., Крутицкая Н.Ч., Шишкин А.А. Линейная алгебра в вопросах и задачах. — М.: ФИЗМАТЛИТ, 2002. — 248 с.
- Гантмахер Ф. Р. Теория матриц.-М.: Наука 1966, 576с.
- Гельфанд И. М., Линейная алгебра. Курс лекций.
- Кострикин А. И., Манин Ю. И. Линейная алгебра и геометрия.-М.:Наука 1986, 304с.
- Ланкастер П. Теория матриц.-М.:Наука 1973, 280с.
- Проскуряков И. В. Сборник задач по линейной алгебре.-М.:Наука 1966, 384с.
- Стренг Г. Линейная алгебра и ее применения.-М.:Мир 1980, 454с.
- Фаддеев Д. К., Фаддеева В. Н. Вычислительные методы линейной алгебры.- 356с.
- Халмош П. Конечномерные векторные пространства.-М.:Физматгиз 1963, 264с.
- Хорн Р., Джонсон Ч. Матричный анализ.- 655с.
- Шилов Г. Е. Математический анализ (Конечномерные линейные пространства).- 264с.
- Тыртышников Е. Е. Матричный анализ и линейная алгебра. Курс лекций для студентов факультета ВМК, МГУ.
- Шафаревич И. Р., Ремизов А. О. Линейная алгебра и геометрия, — Физматлит, Москва, 2009.