Разница между 1.83 и текущей версией РазложениеLU.
@@ -1,30 +1,178 @@
-- LU-разложение
+= LU-разложение
+
+----
+
+	* точное указание ограничений на применимость LU-разложения: какой должны быть матрица $$A$$, чтобы невозможно было её разложить (и нужно было бы переходить к РазложениеLUP)?
+
+----
+
+- Определение
 
 LU-разложением матрицы $$A$$ называется её представление в виде произведения матриц $$LU$$:
 
 %EQ
 A = 
+left [
+matrix {
+ccol {a sub 11 above vdots above a sub n1}
+ccol {dots above ddots above dots}
+ccol {a sub 1n above vdots above a sub nn}
+}
+right ] =
 LU =
-left (
+left [
 matrix {
 ccol {l sub 11 above vdots above l sub n1}
-ccol {0 above vdots above l sub n2}
 ccol {dots above ddots above dots}
 ccol {0 above vdots above l sub nn}
 }
-right )
+right ]
+~
+left [
+matrix {
+ccol {u sub 11 above vdots above 0}
+ccol {dots above ddots above dots}
+ccol {u sub 1n above vdots above u sub 22}
+}
+right ]
+%EN
+
+Матрица $$L$$ (от англ. «lower» — «нижний») — нижняя треугольная матрица: все элементы, находящиеся строго выше главной диагонали, являются нулями.
+
+Матрица $$U$$ (от англ. «upper» — «верхний») — верхняя треугольная матрица: все элементы, находящиеся строго ниже главной диагонали, являются нулями.
+
+Например, для некоторой матрицы $$B sub {(3 times 3)}$$:
+
+%EQ
+B sub {(3 times 3)} = 
+left [
+matrix {
+ccol {b sub 11 above b sub 21 above b sub 31}
+ccol {b sub 12 above b sub 22 above b sub 32}
+ccol {b sub 13 above b sub 23 above b sub 33}
+}
+right ] =
+LU =
+left [
+matrix {
+ccol {l sub 11 above l sub 21 above l sub 31}
+ccol {0 above l sub 22 above l sub 32}
+ccol {0 above 0 above l sub 33}
+}
+right ]
 ~
-left (
+left [
 matrix {
-ccol {u sub 11 above 0 above vdots above 0}
-ccol {u sub 12 above u sub 22 above vdots above 0}
-ccol {dots above dots above ddots above dots}
-ccol {u sub 1n above u sub 2n above vdots above u sub 22}
+ccol {u sub 11 above 0 above 0}
+ccol {u sub 12 above u sub 22 above 0}
+ccol {u sub 13 above u sub 23 above u sub 33}
 }
-right )
+right ]
+%EN
+
+Нужно отметить, что в данном примере матрица $$B sub {(3 times 3)}$$ должна быть невырожденной.
+
+- Использование LU-разложения
+
+LU-разложение позволяет эффективно выполнять следующие действия:
+	1 Решение систем линейных алгебраических уравнений (СЛАУ) вида $$A bold x = bold b$$.
+	1 Вычисление определителя матрицы $$A$$ : $$roman det (A)$$.
+	1 Обращение матрицы $$A$$ : $$A \(-> A sup -1$$.
+
+-- Решение матричных уравнений 
+
+Решение СЛАУ вида $$A bold x = bold b$$.
+
+После LU-разложения матрицы $$A$$ можем записать исходное СЛАУ $$A bold x = bold b$$ в виде:
+
+%EQ
+LU bold x = bold b
+%EN
+
+Заменив $$bold y = U bold x$$ получим систему, которую просто можно решить прямым ходом (прямой подстановкой):
+
+%EQ
+L bold y = bold b
+%EN
+
+Затем, получив решение предыдущего уравнения ($$bold y$$) можем разрешить систему обратным ходом (обратной подстановкой):
+
+%EQ
+U bold x = bold y
+%EN
+
+В итоге получив искомый вектор $$bold x$$.
+
+-- Вычисление определителя 
+
+Вычисление определителя матрицы $$A$$ : $$roman  det (A)$$.
+
+Если $$A = LU$$, то $$roman det (A) = roman det (LU) = roman det (L) ~ roman det (U)$$.
+
+Определителем любой треугольной матрицы будет произведение ее диагональных элементов, поэтому
+
+%EQ
+roman det (L) ~ roman det (U) =
+( size +4 Pi from i=1 to n l sub ii ) ~ ( size +4 Pi from i=1 to n u sub ii )
 %EN
 
+-- Получение обратной матрицы
+
+Обращение матрицы $$A$$ : $$A \(-> A sup -1$$.
+
+По основному свойству обратной матрицы $$A A sup -1 = I ~ $$, где $$I$$ — единичная матрица.
+
+Разложив матрицу $$A$$, можем записать:
+
+%EQ
+L U A sup -1 = I 
+%EN
+
+и решить это СЛАУ тем же способом, что и описанный выше способ решения СЛАУ через LU-разложение.
+
+- Реализация метода
+
+-- Алгоритмическая реализация метода
+
+----
 
-Матрица $$L$$ называется нижней треугольной матрицей (все элементы строго выше главной диагонали являются нулями), а матрица $$U$$ — верхней треугольной матрицей (все элементы строго ниже главной диагонали являются нулями).
+	* Дописать.
+
+----
+
+-- Программная реализация метода
+
+----
+
+	* Дописать.
+
+----
+
+- Эффективность метода
+
+Данное разложение является более вычислительно эффективным: как в аспекте алгоритмической сложности, так и в вопросе программной реализации, — чем стандартные методы решения СЛАУ (метод Крамера), вычисления определителей (разложением по строке или по столбцу или рекурсивное вычисление) и обращения матриц (через МетодГаусса или матрицу алгебраических дополнений).
+
+Необходимо отметить, что LU-разложение может применяться не к любой невырожденной матрице $$A$$. Если LU-разложение неприменимо, то необходимо использовать РазложениеLUP.
+
+- Ограниченность метода
+
+Не всякая невырожденная квадратная матрица может быть разложена с помощью LU-разложения.
+
+----
+
+	* Дописать.
+
+----
+
+- Важные частные случаи
+
+Если матрица $$A$$ является симметрической (т. е. её элементы симметричны относительно главной диагонали) и положительно определенной, то этот частный случай LU-разложения называют РазложениеХолецкого.
+
+Запись LU-разложения будет в этом случае следующей:
+
+%EQ
+A = L L sup roman T = U sup roman T U
+%EN
+, причем $$L = U sup roman T.$$.
 
 # КатегорияЛинейнаяАлгебра | КатегорияПрикладнаяМатематика