n├Чn рдореИрдЯреНрд░рд┐рдХреНрд╕ рд╕рд╛рд░рдгрд┐рдХ рдХреИрд▓рдХреБрд▓реЗрдЯрд░ рдХреНрдпрд╛ рд╣реИ?
рдпрд╣ рдЯреВрд▓ рд╡рд╛рд╕реНрддрд╡рд┐рдХ рд╕рдВрдЦреНрдпрд╛рдУрдВ рд╡рд╛рд▓реЗ рдХрд┐рд╕реА рднреА рд╡рд░реНрдЧ n├Чn рдореИрдЯреНрд░рд┐рдХреНрд╕ рдХрд╛ рд╕рд╛рд░рдгрд┐рдХ \(\det(A)\) рдирд┐рдХрд╛рд▓рддрд╛ рд╣реИ, рд╕рд╛рде рд╣реА рдЙрд╕рдХрд╛ рд╡реНрдпреБрддреНрдХреНрд░рдо \(\frac{1}{\det(A)}\) рднреАред рд╕рд╛рд░рдгрд┐рдХ рдПрдХ рдРрд╕реА рдЕрдХреЗрд▓реА рд╕рдВрдЦреНрдпрд╛ рд╣реИ рдЬреЛ рдмрддрд╛рддреА рд╣реИ рдХрд┐ рдореИрдЯреНрд░рд┐рдХреНрд╕ рд╡реНрдпреБрддреНрдХреНрд░рдордгреАрдп (invertible, \(\det \neq 0\)) рд╣реИ рдпрд╛ рдПрдХрд╡рдЪрдиреА (singular, \(\det = 0\))ред рдпрд╣ рд░реИрдЦрд┐рдХ рдмреАрдЬрдЧрдгрд┐рдд, рдЬреНрдпрд╛рдорд┐рддрд┐ (рдЪрд┐рд╣реНрдирд┐рдд рдЖрдпрддрди рдХрд╛ рдорд╛рдкрди) рдФрд░ рд╕рдореАрдХрд░рдг рдирд┐рдХрд╛рдпреЛрдВ рдореЗрдВ рд╣рд░ рдЬрдЧрд╣ рдХрд╛рдо рдЖрддрд╛ рд╣реИред рдЧрдгрд┐рдд рд╕рд╛рд░реНрд╡рднреМрдорд┐рдХ рд╣реИ тАФ рджреБрдирд┐рдпрд╛ рднрд░ рдореЗрдВ рдЗрд╕рдХрд╛ рддрд░реАрдХрд╛ рдПрдХ рдЬреИрд╕рд╛ рд╣реА рд░рд╣рддрд╛ рд╣реИред
рдЗрд╕рдХрд╛ рдЙрдкрдпреЛрдЧ рдХреИрд╕реЗ рдХрд░реЗрдВ
рдкрд╣рд▓реЗ рдореИрдЯреНрд░рд┐рдХреНрд╕ рдХрд╛ рдЖрдХрд╛рд░ \(n\) (1 рд╕реЗ 10) рддрдп рдХрд░реЗрдВ, рдлрд┐рд░ рдЧреНрд░рд┐рдб рдореЗрдВ рд╣рд░ рдкреНрд░рд╡рд┐рд╖реНрдЯрд┐ \(a_{ij}\) рднрд░реЗрдВред рдкреНрд░рд╡рд┐рд╖реНрдЯрд┐рдпрд╛рдБ рдЛрдгрд╛рддреНрдордХ, рджрд╢рдорд▓рд╡ рдпрд╛ рд╢реВрдиреНрдп рднреА рд╣реЛ рд╕рдХрддреА рд╣реИрдВред рдЕрдзрд┐рдХ рдкрд░рд┐рд╢реБрджреНрдзрддрд╛ рдЪрд╛рд╣рд┐рдП рддреЛ рдкреНрд░рджрд░реНрд╢рд┐рдд рд╣реЛрдиреЗ рд╡рд╛рд▓реЗ рдЕрдВрдХреЛрдВ рдХреА рд╕рдВрдЦреНрдпрд╛ рдЪреБрди рд▓реЗрдВред рдХреИрд▓рдХреБрд▓реЗрдЯрд░ рд╕рд╛рд░рдгрд┐рдХ рджреЗрддрд╛ рд╣реИ рдФрд░ рдЬрдм рдореИрдЯреНрд░рд┐рдХреНрд╕ рд╡реНрдпреБрддреНрдХреНрд░рдордгреАрдп рд╣реЛ рддреЛ рд╡реНрдпреБрддреНрдХреНрд░рдо \(\frac{1}{\det(A)}\) рднреА рджрд┐рдЦрд╛рддрд╛ рд╣реИред рдпрджрд┐ рд╕рд╛рд░рдгрд┐рдХ рд╢реВрдиреНрдп рдирд┐рдХрд▓реЗ рддреЛ рдпрд╣ рдореИрдЯреНрд░рд┐рдХреНрд╕ рдХреЛ рдПрдХрд╡рдЪрдиреА рдмрддрд╛рддрд╛ рд╣реИ рдФрд░ рд╡реНрдпреБрддреНрдХреНрд░рдо рдХреЛ рдЕрдкрд░рд┐рднрд╛рд╖рд┐рдд рджрд░реНрд╢рд╛рддрд╛ рд╣реИред
рд╕реВрддреНрд░
рд╕рд╛рд░рдгрд┐рдХ рдХреЛ рдХрд┐рд╕реА рдкрдВрдХреНрддрд┐ рдХреЗ рдЕрдиреБрджрд┐рд╢ рд▓рд╛рдкреНрд▓рд╛рд╕ (рд╕рд╣рдЦрдВрдб) рд╡рд┐рд╕реНрддрд╛рд░ рд╕реЗ рдкрд░рд┐рднрд╛рд╖рд┐рдд рдХрд┐рдпрд╛ рдЬрд╛ рд╕рдХрддрд╛ рд╣реИ: \(\det(A) = \sum_{j} a_{ij}\cdot(-1)^{i+j}\cdot M_{ij}\), рдЬрд╣рд╛рдБ \(M_{ij}\) рд╡рд╣ рдЙрдкрд╕рд╛рд░рдгрд┐рдХ (minor) рд╣реИ рдЬреЛ рдкрдВрдХреНрддрд┐ \(i\) рдФрд░ рд╕реНрддрдВрдн \(j\) рд╣рдЯрд╛рдиреЗ рдкрд░ рдорд┐рд▓рддрд╛ рд╣реИред \(n = 2\) рдХреЗ рд▓рд┐рдП, \(\det = a_{11}a_{22} - a_{21}a_{12}\)ред рд╕рдВрдЦреНрдпрд╛рддреНрдордХ рд╕реНрдерд┐рд░рддрд╛ рдФрд░ рдЧрддрд┐ рдХреЗ рд▓рд┐рдП рдпрд╣ рдХреИрд▓рдХреБрд▓реЗрдЯрд░ рдЗрд╕рдХреЗ рдмрдЬрд╛рдп рдЖрдВрд╢рд┐рдХ рдзреБрд░рд╛рдЧреНрд░рд╣рдг (partial pivoting) рдХреЗ рд╕рд╛рде рдЧрд╛рдЙрд╕реА рдирд┐рд╡рд╛рд░рдг рдХрд╛ рдЙрдкрдпреЛрдЧ рдХрд░рддрд╛ рд╣реИ: A рдХреЛ рдКрдкрд░реА-рддреНрд░рд┐рднреБрдЬреАрдп рд░реВрдк рдореЗрдВ рд▓рд╛рдПрдБ, рдкрдВрдХреНрддрд┐-рдЕрджрд▓рд╛-рдмрджрд▓реА рд╕реЗ рд╣реЛрдиреЗ рд╡рд╛рд▓реЗ рдЪрд┐рд╣реНрди-рдкрд░рд┐рд╡рд░реНрддрдиреЛрдВ рдХрд╛ рд╣рд┐рд╕рд╛рдм рд░рдЦреЗрдВ, рдФрд░ рд╡рд┐рдХрд░реНрдг рдХреЗ рдзреБрд░рд╛-рддрддреНрд╡реЛрдВ (pivots) рдХреЛ рдЧреБрдгрд╛ рдХрд░реЗрдВ тАФ $$\det(A) = \operatorname{sign} \cdot \prod_{k=1}^{n} U_{kk}$$
рд╣рд▓ рдХрд┐рдпрд╛ рд╣реБрдЖ рдЙрджрд╛рд╣рд░рдг
A = [[1,2,3],[4,5,6],[7,8,10]] рдХреЗ рд▓рд┐рдП: $$\det = 1(5\cdot10 - 6\cdot8) - 2(4\cdot10 - 6\cdot7) + 3(4\cdot8 - 5\cdot7) = 1(2) - 2(-2) + 3(-3) = 2 + 4 - 9 = -3$$ рдЕрддрдГ \(\det(A) = -3\) рдФрд░ \(\frac{1}{\det(A)} \approx -0.3333\)ред
рдЕрдХреНрд╕рд░ рдкреВрдЫреЗ рдЬрд╛рдиреЗ рд╡рд╛рд▓реЗ рдкреНрд░рд╢реНрди
рд╕рд╛рд░рдгрд┐рдХ рдХрд╛ 0 рд╣реЛрдирд╛ рдХреНрдпрд╛ рджрд░реНрд╢рд╛рддрд╛ рд╣реИ? рдореИрдЯреНрд░рд┐рдХреНрд╕ рдПрдХрд╡рдЪрдиреА (singular) рд╣реИ: рдЗрд╕рдХреА рдкрдВрдХреНрддрд┐рдпрд╛рдБ рдпрд╛ рд╕реНрддрдВрдн рд░реИрдЦрд┐рдХ рд░реВрдк рд╕реЗ рдкрд░рддрдВрддреНрд░ рд╣реИрдВ, рдЗрд╕рдХрд╛ рдХреЛрдИ рд╡реНрдпреБрддреНрдХреНрд░рдо рдирд╣реАрдВ рд╣реЛрддрд╛, рдФрд░ \(\frac{1}{\det(A)}\) рдЕрдкрд░рд┐рднрд╛рд╖рд┐рдд рд░рд╣рддрд╛ рд╣реИред
рдХреНрдпрд╛ рдкреНрд░рд╡рд┐рд╖реНрдЯрд┐рдпрд╛рдБ рджрд╢рдорд▓рд╡ рдпрд╛ рдЛрдгрд╛рддреНрдордХ рд╣реЛ рд╕рдХрддреА рд╣реИрдВ? рд╣рд╛рдБ тАФ рдХреЛрдИ рднреА рд╡рд╛рд╕реНрддрд╡рд┐рдХ рд╕рдВрдЦреНрдпрд╛ рд╕реНрд╡реАрдХрд╛рд░реНрдп рд╣реИред
рд╕рд╣рдЦрдВрдб рд╡рд┐рд╕реНрддрд╛рд░ рдХреЗ рдмрдЬрд╛рдп рдирд┐рд╡рд╛рд░рдг рд╡рд┐рдзрд┐ рдХреНрдпреЛрдВ? рд╕рд╣рдЦрдВрдб рд╡рд┐рд╕реНрддрд╛рд░ рдореЗрдВ \(O(n!)\) рд╕рдВрдХреНрд░рд┐рдпрд╛рдПрдБ рд▓рдЧрддреА рд╣реИрдВ; рдЬрдмрдХрд┐ рдЧрд╛рдЙрд╕реА рдирд┐рд╡рд╛рд░рдг \(O(n^3)\) рд╣реЛрддрд╛ рд╣реИ рдФрд░ рдмрдбрд╝реЗ рдореИрдЯреНрд░рд┐рдХреНрд╕ рдХреЗ рд▓рд┐рдП рд╕рдВрдЦреНрдпрд╛рддреНрдордХ рд░реВрдк рд╕реЗ рд╕реНрдерд┐рд░ рд░рд╣рддрд╛ рд╣реИред