Линейная алгебра: различия между версиями

Материал из Википедии — свободной энциклопедии
Перейти к навигации Перейти к поиску
[отпатрулированная версия][непроверенная версия]
Содержимое удалено Содержимое добавлено
м робот добавил: 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.

* 3. ''Ефимов Н. В., Розендорн Э. Р.'' Линейная алгебра и многомерная геометрия.-М.:Наука 1969, 528с.

* 4. ''Курош А. Г.'' Курс высшей алгебры.-М.:Наука 1968, 331с.

* 5. ''В. А. Ильин, Э. Г. Позняк'' Линейная алгебра, М.: Наука — Физматлит, 1999.

== Дополнительная литература ==
* ''[[Гельфанд, Израиль Моисеевич|Гельфанд И. М.]]'' Лекции по линейной алгебре М.: Наука, 1971.
* ''[[Гельфанд, Израиль Моисеевич|Гельфанд И. М.]]'' Лекции по линейной алгебре М.: Наука, 1971.
* ''[[Фаддеев, Дмитрий Константинович|Фаддеев Д. К.]]'' Лекции по алгебре. М.: Наука, 1984.
* ''[[Фаддеев, Дмитрий Константинович|Фаддеев Д. К.]]'' Лекции по алгебре. М.: Наука, 1984.
* ''Кострикин А. И.'' Введение в алгебру, М.: Наука, 1977.
* ''Кострикин А. И.'' Введение в алгебру, М.: Наука, 1977.
* ''В. А. Ильин, Э. Г. Позняк'' Линейная алгебра, М.: Наука — Физматлит, 1999.
* ''В. А. Ильин, Г. Д. Ким'' Линейная алгебра и аналитическая геометрия, М.: ТК Велби, Изд-во Проспект, 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 Линейная алгебра]. Курс лекций.
* ''Ефимов Н. В., Розендорн Э. Р.'' Линейная алгебра и многомерная геометрия.-М.:Наука 1969, 528с.
* ''Кострикин А. И., Манин Ю. И.'' Линейная алгебра и геометрия.-М.:Наука 1986, 304с.
* ''Кострикин А. И., Манин Ю. И.'' Линейная алгебра и геометрия.-М.:Наука 1986, 304с.
* ''Курош А. Г.'' Курс высшей алгебры.-М.:Наука 1968, 331с.
* ''Ланкастер П.'' Теория матриц.-М.:Наука 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.


trtg:Алгебраи хаттӣ Doğrusal cebir