@@ -1,97 +1,178 @@
-- LU-разложение
+= LU-разложение
 
 ----
-	* писать LU-разложение или $$roman LU$$-разложение?
+
+	* точное указание ограничений на применимость LU-разложения: какой должны быть матрица $$A$$, чтобы невозможно было её разложить (и нужно было бы переходить к РазложениеLUP)?
+
 ----
 
--- Гильза
+- Определение
 
 LU-разложением матрицы $$A$$ называется её представление в виде произведения матриц $$LU$$:
 
 %EQ
-roman A = 
-roman LU =
-left (
+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 [
 matrix {
 ccol {l sub 11 above vdots above l sub n1}
 ccol {dots above ddots above dots}
 ccol {0 above vdots above l sub nn}
 }
-right )
+right ]
 ~
-left (
+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 )
+right ]
 %EN
 
-Например, для некоторой матрицы $$roman B sub {(3 times 3)}$$:
+Матрица $$L$$ (от англ. «lower» — «нижний») — нижняя треугольная матрица: все элементы, находящиеся строго выше главной диагонали, являются нулями.
+
+Матрица $$U$$ (от англ. «upper» — «верхний») — верхняя треугольная матрица: все элементы, находящиеся строго ниже главной диагонали, являются нулями.
+
+Например, для некоторой матрицы $$B sub {(3 times 3)}$$:
 
 %EQ
-roman B sub {(3 times 3)} = 
-roman LU =
-left (
+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 )
+right ]
 ~
-left (
+left [
 matrix {
 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
 
-Нужно отметить, что в данном примере матрица $$roman B sub {(3 times 3)}$$ должна быть невырожденной.
+Нужно отметить, что в данном примере матрица $$B sub {(3 times 3)}$$ должна быть невырожденной.
 
-Матрица $$roman L$$ называется нижней треугольной матрицей (все элементы строго выше главной диагонали являются нулями), а матрица $$roman U$$ — верхней треугольной матрицей (все элементы строго ниже главной диагонали являются нулями).
+- Использование LU-разложения
 
 LU-разложение позволяет эффективно выполнять следующие действия:
-	1 Решение матричных уравнений вида $$roman A bold x = bold b$$.
-	1 Вычисление определителя матрицы $$roman A$$ : $$det( roman A)$$.
-	1 Обращение матрицы $$roman A$$ : $$roman A \(-> roman A sup -1$$.
+	1 Решение систем линейных алгебраических уравнений (СЛАУ) вида $$A bold x = bold b$$.
+	1 Вычисление определителя матрицы $$A$$ : $$roman det (A)$$.
+	1 Обращение матрицы $$A$$ : $$A \(-> A sup -1$$.
 
--- Первый слой
+-- Решение матричных уравнений 
 
-Решение матричных уравнений вида $$roman A bold x = bold b$$.
+Решение СЛАУ вида $$A bold x = bold b$$.
 
-После LU-разложения матрицы $$roman A$$ можем записать исходное матричное уравнение $$roman A bold x = bold b$$ в виде:
+После LU-разложения матрицы $$A$$ можем записать исходное СЛАУ $$A bold x = bold b$$ в виде:
 
 %EQ
-roman LU bold x = bold b
+LU bold x = bold b
 %EN
 
-Заменив $$bold y = roman U bold x$$ получим систему, которую просто можно решить прямым ходом (прямой подстановкой):
+Заменив $$bold y = U bold x$$ получим систему, которую просто можно решить прямым ходом (прямой подстановкой):
 
 %EQ
-roman L bold y = bold b
+L bold y = bold b
 %EN
 
 Затем, получив решение предыдущего уравнения ($$bold y$$) можем разрешить систему обратным ходом (обратной подстановкой):
 
 %EQ
-roman U bold x = bold y
+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)$$.
+
+Определителем любой треугольной матрицы будет произведение ее диагональных элементов, поэтому
 
-Вычисление определителя матрицы $$roman A$$ : $$det( roman A)$$.
+%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$$, можем записать:
 
-Если $$roman A = roman LU$$, то $$det( roman A) = det( roman LU ) = det( roman L) det( roman U)$$
+%EQ
+L U A sup -1 = I 
+%EN
+
+и решить это СЛАУ тем же способом, что и описанный выше способ решения СЛАУ через LU-разложение.
 
--- Третий слой
+- Реализация метода
+
+-- Алгоритмическая реализация метода
+
+----
 
-Обращение матрицы $$roman A$$ : $$roman A \(-> roman A sup -1$$.
+	* Дописать.
 
+----
+
+-- Программная реализация метода
+
+----
+
+	* Дописать.
+
+----
+
+- Эффективность метода
+
+Данное разложение является более вычислительно эффективным: как в аспекте алгоритмической сложности, так и в вопросе программной реализации, — чем стандартные методы решения СЛАУ (метод Крамера), вычисления определителей (разложением по строке или по столбцу или рекурсивное вычисление) и обращения матриц (через МетодГаусса или матрицу алгебраических дополнений).
+
+Необходимо отметить, что 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.$$.
 
 # КатегорияЛинейнаяАлгебра | КатегорияПрикладнаяМатематика